Error 404
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.
Select
previous page
Search
Home page
Site Map
New publications
Recent Publications
Marius Bozga, Radu Iosif, Filip Konecn\'y:
Deciding Conditional Termination
Christian von Essen, Barbara Jobstmann:
Synthesizing Efficient Controllers
Julien Henry, David Monniaux, Matthieu Moy:
Succinct Representations for Abstract Interpretation
Alexandre Donzé, Eric Fanchon, Lucie Martine Gattepaille, Oded Maler, Philippe Tracqui:
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks
Julien Legriel:
Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems
Nicolas Berthier, Florence Maraninchi, Laurent Mounier:
Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
Jobs
Jobs
Looking for PhD Candidates
Navigation
Sections
Teams
Synchrone
DCS
Tempo
Verimag
Presentation
Organisation chart
People
Documents
How to reach us
Jobs and Internships
Dissemination
Partners
Projects
Seminars
Tools
Workshops and Conferences
Publications
Site Map
Search:
Contact
|
Site Map
|
Site created with SPIP 2.1.13
+
AHUNTSIC
[CC License]
Logged in visitors:
31
; visits:
207566
English
Français