Introduction
Objectives
Partners
- ABB Corporate Research
- EDF
- PARADES
- ETH Zurich, Switzerland
- CWI, Amsterdam
- Lund University
- University of Siena
VERIMAG People involved
- Oded Maler (Coordinator)
CC
European IST, 2002-2005
View online : Project Web Page
Browsing
News
Seminars
- Seminars
- 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 31 January 2019 Jacques Combaz: Assembling components in bip
New publications
- Recent Publications
- Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Alexey Bakhirkin, Thomas Ferrére, Oded Maler: Efficient Parametric Identification for STL
- Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Beno\^ Dupont de Dinechin: DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
- Remy Boutonnet, Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
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
