Accueil
>
Axes
>
MOHYTOS
>
Emplois et stages
>
Emplois et stages
Emplois et stages
Emplois et stages
Emplois et stages à Verimag
Nouvelles publications
Quelques Publications Récentes (Mohytos)
Marius Bozga, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent Systems
Marius Bozga, Lucas Bueri, Radu Iosif:
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of component-based systems with recursive architectures
Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems
Mnacho Echenim, Radu Iosif, Nicolas Peltier:
Entailment is Undecidable for Symbolic Heap Separation Logic Formul\ae with Non-Established Inductive Rules
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen:
Reasoning about distributed reconfigurable systems
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin:
Model-checking of space systems designed with TASTE/SDL
Navigation
Rubriques
Verimag
Axes
Ressources partagées
ETiCS
Formal Proofs
PACS
MOHYTOS
Membres
Partenaires
Projets
Outils
Publications
Thèse en cours
Emplois et stages
FETLAS
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.17
+
AHUNTSIC
[CC License]
info visites
1997279
English
Français