Error 404

Error in query: No results found.

The path you selected does not seem to be valid. Please return to the previous page and verify the information provided.

Select

New publications

Recent Publications
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Sch"onfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
- Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis: A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
- Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar: Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
- Mohammed Foughali: A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
- Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
- Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Dubois, Lawrence L. Larmore: Election in Unidirectional Rings with Homonyms

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1693561

CNRS

INP Grenoble