Home
>
Verimag
>
personal pages
>
personal pages
personal pages
Catherine Parent-Vigouroux
Karine Altisen
News
Seminars
Seminars
28 January 2021
Etienne André:
Symbolic monitoring against specifications parametric in time and data
11 February 2021
Franck Pommereau:
To be announced
New publications
Some Recent Publications
Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Dubois, Lawrence L. Larmore:
Election in Unidirectional Rings with Homonyms
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
Cyril Six, Sylvain Boulmé, David Monniaux:
Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
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
Postdoctoral position at VERIMAG
Simulation of Distributed Algorithms
Verifying Concurrent Systems with Automata over Infinite Alphabets
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
Seminars
Documents
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.13
+
AHUNTSIC
[CC License]
info visites
1700270
English
Français