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
Oded Maler:
On Under-Determined Dynamical Systems
Gilles Barthes, Mathilde Duclos, Yassine Lakhnech:
A Computational Indistinguishability Logic for the Bounded Storage Model
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Automated distributed implementation of component-based models with priorities
Julien Legriel:
Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems
Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech:
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience
Jean-Francois Kemph, Marius Bozga, Oded Maler:
Performance Evaluation of Schedulers in a Probabilistic Setting
Jobs
Jobs
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.12
+
AHUNTSIC
[CC License]
Logged in visitors:
13
; visits:
169986
English
Français