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
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Brandt's Fully Private Auction Protocol Revisited
Goran Frehse, Colas Le Guernic, Rajat Kateja:
Flowpipe Approximation and Clustering in Space-Time
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis:
Model-Based Implementation of Parallel Real-Time Systems
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade:
Routage sécurisé et résilient pour réseaux de capteurs sans fil
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade:
SR3: Secure Resilient Reputation-based Routing
Jannik Dreier, Hugo Jonker, Pascal Lafourcade:
Verifiability in E-Auction Protocols
Jobs
Jobs
PhD position 2013-2016, Timed and Hybrid group (Tempo)
Experienced engineer wanted (compiler frontend / GUIs)
[funded PhD] avanced static analysis techniques
[postdoc] Advanced static analysis
PhD position 2013-2016 available: Shared self-configuring models and software infrastructures for Smart City monitoring and control
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:
3
; visits:
304302
English
Français