Verimag

Error 404

Error in query: No results found.

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

Select

New publications

Recent Publications
- Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis: Model-Based Implementation of Parallel Real-Time Systems
- Jannik Dreier, Hugo Jonker, Pascal Lafourcade: Verifiability in E-Auction Protocols
- Szymon Stoma, Alexandre Donzé, Francois Bertaux, Oded Maler, Grégory Batt: STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification
- Jean-Francois Kempf, Marius Bozga, Oded Maler: As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
- Ali Kassem, Pascal Lafourcade, Yassine Lakhnech, Sebastian M ödersheim: Multiple Independent Lazy Intruders
- Susanne Graf, Sophie Quinton: Knowledge for the Distributed Implementation of Constrained Systems

Contact | Site Map | Site created with SPIP 2.1.20 + AHUNTSIC [CC License]

Logged in visitors: 11 ; visits: 305440

UJF

CNRS

INP Grenoble