Thao Dang and Tarik Nahhal
Randomized simulation of Hybrid Systems (2006)
Randomized simulation of Hybrid Systems (2006)
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Technical Reports
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Navigation
Actualités
- Conférences
- 13 July 2018 ADSL 2018
- 26-28 september 2018 VECoS 2018
- 10-13 November 2018 RV 2018
Séminaires
Nouvelles publications
- Publications
Récentes
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled: Generation of Applicative Attacks Scenarios Against Industrial Systems
- Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger: Counterexample-Guided Refinement of Template Polyhedra
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
- Karine Altisen, Pierre Corbineau: Composition certifié d'algorithmes autostabilisants silencieux
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps
Offres d'emploi et stages
- Offres d'emploi et stages
- Phd Position : Vulnerability search in Industrial Control Systems
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- PHD proposal : Data Mining Dynamic Behaviors using Signal Temporal Logic
- Post-Doc and/or Research Engineer positions on Software Security
- [M1 internship] Modeling of Graph Topologies Using Coq
