Accueil
>
Axes
>
MOHYTOS
Partenaires
Collaborations actuelles
Partenaires academiques
IRIT/MACAO
:
IF Toolset
Partenaires industriels
PragmaDev, Paris, France
:
Cooperation PragmaDev
Collaborations Anciennes
Anciens partenaires académiques
IRIT/MACAO
:
Moc4Space
Anciens partenaires industriels
GMV Innovating Solutions, Spain
:
Moc4Space
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
Nouvelles publications
Quelques Publications Récentes (Mohytos)
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
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
Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems
Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of component-based systems with recursive architectures
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
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.17
+
AHUNTSIC
[CC License]
info visites
1994431
English
Français