Centre International de Recherche Scientifique
Centre International de Recherche Scientifique
alur
Professor
Department of Computer and Information Science
University of Pennsylvania, USA.
Design tools for embedded software, Formal modeling and verification of reactive systems, Model checking, Hybrid systems, Distributed computing, Logic and automata theory.
Projects :
- CHARON: Hierarchical Design and Analysis of Hybrid Systems (Funded by DARPA MOBIES and NSF ITR programs)
- Games For Formal Design And Verification Of Reactive Systems
- OpEm: Open Embedded Systems (Funded by ARO URI)
- HERMES: Model Checking of Hierarchical State Machines
- Specification, Analysis, and Testing of Scenario-based Requirements.
Mentions légales -
Contact
Copyright © 2026 - www.cirs.info - Tous droits réservés