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
Alexandre Donzé, Thomas Ferrére, Oded Maler:
Efficient Robust Monitoring for STL
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka:
On Temporal Logic and Signal Processing
Jean-Francois Kempf, Marius Bozga, Oded Maler:
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
Susanne Graf, Sophie Quinton:
Knowledge for the Distributed Implementation of Constrained Systems
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux:
Implementing hash-consed data structures in Coq
Goran Frehse, Colas Le Guernic, Rajat Kateja:
Flowpipe Approximation and Clustering in Space-Time
Jobs
Jobs
[postdoc] Advanced static analysis
PhD position 2013-2016, Timed and Hybrid group (Tempo)
PhD position 2013-2016 available: Shared self-configuring models and software infrastructures for Smart City monitoring and control
Experienced engineer wanted (compiler frontend / GUIs)
[funded PhD] avanced static analysis techniques
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.
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.20
+
AHUNTSIC
[CC License]
Logged in visitors:
11
; visits:
305075
English
Français