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
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard:
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
Emmanuel Sifakis:
Towards efficient and secure shared memory applications
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Brandt's Fully Private Auction Protocol Revisited
Jean-Francois Kempf, Marius Bozga, Oded Maler:
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond:
Engineering Functional Requirements of Reactive Systems using Synchronous Languages
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux:
Implementing hash-consed data structures in Coq
Jobs
Jobs
PhD position 2013-2016, Timed and Hybrid group (Tempo)
[funded PhD] avanced static analysis techniques
PhD position 2013-2016 available: Shared self-configuring models and software infrastructures for Smart City monitoring and control
Experienced engineer wanted (compiler frontend / GUIs)
[postdoc] Advanced static analysis
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:
5
; visits:
304002
English
Français