Cassez, Franck
Cassez, Franck, 1967-
VIAF ID: 67368432 ( Personal )
Permalink: http://viaf.org/viaf/67368432
Preferred Forms
- 100 1 _ ‡a Cassez, Franck
-
- 100 1 _ ‡a Cassez, Franck
-
- 100 1 _ ‡a Cassez, Franck ‡d 1967-
- 100 1 _ ‡a Cassez, Franck ‡d 1967-
-
-
-
- 100 1 _ ‡a Cassez, Franck, ‡d 1967-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings | |
Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel | |
Compilation et verification des programmes Electre | |
Contrôle des applications temps-réel : modèles temporisés et hybrides | |
Dynamic observers for the synthesis of opaque systems | |
Extension temps réel d'AltaRica | |
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings | |
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents. | |
Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : Revised Tutorial Lectures | |
MOVEP 2000 | |
Multi-agent games properties. | |
Propriétés de jeux multi-agents | |
Robustesse des automates temporisés : calculer les stratégies les plus permissives. | |
Robustness of timed automata : computing the maximally-permissive strategies | |
Synthèse d'ordonnanceurs corrects par conception pour les systèmes hybrides. | |
Synthèse pour une logique temps-réel faible. | |
Synthesis for a weak real-time logic | |
Synthesis of correct-by-design schedulers for hybrid systems |