Home
>
Contact
>
Contact
Contact
Whom to contact
How to reach us
News
Conferences
Webinar. June, 4th. 2pm CET.
CAPITAL Workshop - sCalable And PrecIse Timing AnaLysis for multicore platforms
Seminars
Seminars
23 April 2021
Schoitsch Erwin :
Ethical aspects and recommendations for trustworthy highly automated/autonomous (...)
New publications
Some Recent Publications
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck:
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet:
Countermeasures Optimization in Multiple Fault-Injection Context
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
Structural Invariants for the Verification of Systems with Parameterized Architectures
Jobs and internships
Jobs and internships
Certified compilation for security
Convex polyhedra in floating point
Decision Procedures for Separation Logic Modulo Theories of Data
Local Reasoning about Reconfigurable Component-based Systems
PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
Simulation of Distributed Algorithms
Verifying Concurrent Systems with Automata over Infinite Alphabets
Browsing
Sections
Verimag
Topics
Contact
Whom to contact
How to reach us
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.15
+
AHUNTSIC
[CC License]
info visites
1730419
English
Français