Cooperation PragmaDev
2006-2015
PragmaDev has integrated and distributes some of the tools from the IF toolbox (static analysis, model-checking) for validation of SDL-RT systems.
Verimag people involved
- Marius Bozga
- Susanne Graf
View online : PragmaDev web site
Browsing
News
Seminars
- Seminars
- 11 December 2018 Bibek Kabi: Combining zonotope abstraction and constraint programming for synthesizing inductive (...)
- 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
New publications
- Recent Publications
- Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: Global and Local Deadlock Freedom in BIP
- Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
- Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
