Home
>
Teams
>
Teams
Teams
Synchrone
Research Topics
Languages and Tools for Critical Real-Time Systems
Virtual Prototyping and Simulation
Distributed Algorithms and Applications to Embedded Systems
Automatic Testing of Reactive Systems
Past Research Topics
Publications
Team members
Some Former Members
Synchrone Team members
Projects
Tools
Dissemination
Jobs and Internships
Partners
Tempo
Tools
Projects
Jobs and Internships
Publications
Partners
Tempo Team members
Pacss
Research Topics
Publications
Projects
Tools
Jobs and Internships
Current members
Partners
RSD
Research Topics
Modeling Component-Based Systems
Scalable Verification and Analysis Techniques
Correct-by-Construction Implementation Techniques
Domain Specific Design Flows
Projects
Tools
Publications
Jobs and Internships
People
Partners
News
NEWS
Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit
New Book: Introduction to Distributed Self-Stabilizing Algorithms
Conferences
November 25-29 2019
Synchron 2019
Seminars
Seminars
26 September 2019
Pierre-jean Meyer:
Reachability analysis and decompositions for abstraction-based control (...)
8 October 2019
Valentin Touzeau:
Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
New publications
Recent Publications
Jobs and internships
Jobs and internships
Browsing
Sections
Verimag
Teams
Synchrone
Tempo
Pacss
RSD
Contact
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.11
+
AHUNTSIC
[CC License]
info visites
1316710
English
Français
