Error in query: No results found.
The path you have selected does not seem valid. Please return to the previous page and verify the information provided.
Alexandre Donzé, Goran Frehse:
Modular, hierarchical models of control systems in SpaceEx
Marius Bozga, Radu Iosif, Filip Konecn\'y:
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops
Algorithmic Analysis of Continuous and Hybrid Systems
Josselin Feist, Laurent Mounier, Marie-Laure Potet:
Statically detecting Use-After-Free on Binary Code
Erwan Jahier, Simplice Djoko-Djoko, Chaouki Maiza, Eric Lafont:
Environment-Model Based Testing of Control Systems: Case Studies
High-level Models for Embedded Systems
Registering with the site
You can take an active part in this website and write your own articles by registering below. You will then receive immediately an email giving you an access code to the private area of the site.
How to reach us
Jobs and Internships
Workshops and Conferences
Site created with SPIP 2.1.26
Logged in visitors: