Confs & Workshops


  • VECoS'2015: 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Bucharest, Romania - September 10-11, 2015 ( Program chair )
  • ISDA'2014: 14th International Conference on Intelligent Systems Design and Applications - 27-30 Nov. 2014 ( Special Session Co-chair )
  • RTNS'2014: 22nd International Conference on Real-Time Networks and Systems - 8-10 Oct. 2014 ( General Co-chair )
  • VECoS'2014: 8th International Workshop on Verification and Evaluation of Computer and Communication Systems - 29-30 Sep. 2014 ( PC member )
  • VECoS'2013: 7th International Workshop on Verification and Evaluation of Computer and Communication Systems - 21-22 Novp. 2013 ( PC member )
  • VECoS'2012: 6th International Workshop 27-08 Aug. 2012 ( PC member )

Séminaires


  1. Rigorous Design of Component-Based Systems — The BIP Component Framework (30/01/2014 - Annonce & Accès )
  • Rigorous flow design of BIP (Saddek BENSALEM, Professor, Verimag-UJF) (PDF )
  • A General Framework for Architecture Composability (simon BLIUDZE, RISD-EPFL)
  • BIP real-time (Jacques COMBAZ, Research Engineer, Verimag-CNRS) (PDF )
  • Mixed-critical scheduling (Dario SOCCI, Phd, Verimag-UJF) (Attach:PDF Δ)
  1. Specifying Systems with Mathematics:the TLA+ Language and Tools (27/06/2013 - Annonce & Accès )
  • Specifying Systems with Mathematics:the TLA+ Language and Tools (Leslie Lamport, Senior Scientist at Microsoft Corporation)