Home > Verimag > Ongoing Phd Thesis

PhD

Soline Ducousso is preparing a PhD thesis in Verimag from November 2020 to December 2023, under the supervision of Marie-Laure Potet

Moving code analysis from safety to security taking the attached model into account

Related Lab Topic :

Pacs

New publications

Some Recent Publications
- Marius Bozga, Radu Iosif, Joseph Sifakis: Verification of component-based systems with recursive architectures
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Certification of an exact worst-case self-stabilization time
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- Joseph Sifakis: Testing System Intelligence

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

info visites 2085501

UGA

CNRS

INP Grenoble