Cooperation PragmaDev

News

Seminars
- 23 October 2018 Thusitha asela Bandara: An adaptive charge protocol for lithium-lon batteries
- 31 October 2018 Mahieddine Dellabani: Formal methods for distributed real-time systems (Phd)

Recent Publications
- Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo: Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)
- Dogan Ulus, Oded Maler: Specifying Timed Patterns using Temporal Logic
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem: Improved Learning for Stochastic Timed Models by State-Merging Algorithms
- Klaus Havelund, Doron Peled, Dogan Ulus: First order temporal logic monitoring with BDDs
- Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes: Collision Prevention in Distributed 6TiSCH Networks