Home > Topics > MOHYTOS

Members

Professors & Assistant Professors

Nicolas Basset	0457422215	UGA
Mathias Ramparison		Grenoble INP/ CNU 27

Researchers

Thao Dang	0457422212	CNRS
Susanne Graf	0457422219	CNRS
Radu Iosif	0457422221	CNRS
Joseph Sifakis	0457422244	CNRS

Engineers

Marius-Dorel Bozga	0457422207	CNRS
Jacques Combaz	0457422210	CNRS
Olivier Lebeltel	0457422225	CNRS

Post-doc

Nikolaos Kekatos

0457422294

UGA

PhD Candidates

Akshay Mambakam		UGA
Thomas Mari		INRIA et UGA

New publications

Some Recent Publications (Mohytos)
- Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
- Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar: Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Prenex Separation Logic with One Selector Field
- Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu: SL-COMP: Competition of Solvers for Separation Logic
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1685287

CNRS

INP Grenoble