xxx

News

Seminars
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 21 January 2019 Sergio Yovine: Formal specification and implementation of an automated pattern-based parallel-code (...)
- 22 January 2019 Georg Struth: Verifying hybrid systems with modal kleene algebra
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 7 February 2019 Jacques Combaz: Assembling components in bip

Recent Publications
- Remy Boutonnet, Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton: A Generalized Digraph Model for Expressing Dependencies
- Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo: A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
- Hubert Garavel, Frederic Lang, Laurent Mounier: Compositional Verification in Action
- Alexey Bakhirkin, Thomas Ferrére, Thomas A. Henzinger, Dejan Nickovic: The First-Order Logic of Signals
- Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros: Maximal software execution time: a regression-based approach