Download Form

News

Seminars
- 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 31 January 2019 Jacques Combaz: Assembling components in bip

Recent Publications
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling
- Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: \emphS BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: Global and Local Deadlock Freedom in BIP
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants