Accueil
>
Axes
>
MOHYTOS
>
Emplois et stages
>
Emplois et stages
Emplois et stages
Emplois et stages
Thèse
[PhD] Logical Foundations of Self-Adapting Distributed Systems
Emplois et stages à Verimag
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
Marius Bozga, Lucas Bueri, Radu Iosif:
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
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, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent Systems
Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of component-based systems with recursive architectures
Offres d'emploi et stages
Offres d'emploi et stages (Mohytos)
[PhD] Logical Foundations of Self-Adapting Distributed Systems
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.19
+
AHUNTSIC
[CC License]
info visites
2085864
English
Français