Error 404

Error in query: No results found.

The path you selected does not seem to be valid. Please return to the previous page and verify the information provided.

Select

New publications

Recent Publications
- Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis: The Refinement Calculus of Reactive Systems Toolset
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
- Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo: A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Alexey Bakhirkin, Thomas Ferrére, Thomas A. Henzinger, Dejan Nickovic: The First-Order Logic of Signals

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

info visites 1154529

CNRS

INP Grenoble