Verimag is mentionned in a France Culture broadcast
Home > Verimag > Actualités
Automation: Flying High?
View online : https://www.franceculture.fr/emissi...
Browsing
New publications
- Recent Publications
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Prenex Separation Logic with One Selector Field
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck: Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
Jobs and internships
- Jobs and internships
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Self-Stabilization in TVG
