Verimag

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
- Nikolaos Kekatos, Marcelo Forets, Goran Frehse: Constructing verification models of nonlinear Simulink systems via syntactic hybridization
- Arvind S. Adimoolam, Thao Dang: Template complex zonotopes for stability and invariant verification
- Anaïs Durand: Election et anneaux unidirectionnels en présence d'homonymes
- Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau: Collision Prevention in Distributed 6TiSCH Networks
- Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
- Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger: Counterexample-Guided Refinement of Template Polyhedra

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

info visites 1054226

CNRS

INP Grenoble