Home
>
Topics
>
MOHYTOS
>
Jobs and Internships
>
Jobs and Internships
Jobs and Internships
Jobs and internships
PhD Thesis
[PhD] Logical Foundations of Self-Adapting Distributed Systems
Jobs in the whole Verimag lab
New publications
Some Recent Publications (Mohytos)
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, 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, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent 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
Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems
Jobs and internships
Jobs and internships (Mohytos)
[PhD] Logical Foundations of Self-Adapting Distributed Systems
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
PACS
MOHYTOS
Members
Partners
Projects
Tools
Publications
Ongoing Phd Thesis
Jobs and Internships
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2086476
English
Français