Home
>
Verimag
>
Publications
bibtex
@inproceedings{BNP09,
title = {Invariants and Robustness of BIP Models },
author = {Blech, Jan Olaf and Nguyen, Thanh-Hung and P\'erin, Micha\"el},
year = {2009},
booktitle = {Workshop on Invariant Generation (WING)},
team = {DCS,PACSS},
}
Publication Sections
Synchrone by years
Synchrone by kinds
RSD by years
RSD by kinds
PACSS by years
PACSS by kinds
Tempo by years
Tempo by kinds
Verimag by years
Verimag by kinds
Browsing
Sections
Verimag
Members
Publications
Peer reviewed
Technical Reports
Tools
Projects
Partners
Workshops and Conferences
Seminars
Documents
Teams
Contact
Site Map
Search:
Building Access
News
Conferences
Feb. 24, 2020
Workshop CAPITAL
May 11-15, 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Seminars
Seminars
16 December 2019
Lélio Brun:
Verified compilation of the lustre modular reset
19 December 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 December 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
6 February 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
Latest news
Latest news items
28 December 2019
Doctorat Honoris Causa UGA pour Moshe Vardi
New publications
Recent Publications
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Brief Announcement: Infinite Grid Exploration by Disoriented Robots
Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit:
Introduction to Distributed Self-Stabilizing Algorithms
Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz:
A Review of Intrusion Detection Systems for Industrial Control Systems
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche:
Compositional strategy synthesis for stochastic games with multiple objectives
Ajoy Kumar Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore:
Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction
Jobs and internships
Jobs and internships
Certification of Distributed Self-Stabilizing Algorithms Using Coq
Decision Procedure for Equivalence Relations
Exploration of timing anomaly impact on processor execution for critical real-time systems
Models of Distributed Algorithms
Self-Stabilization in TVG
Simulation of Distributed Algorithms
Contact
|
Site Map
|
Site powered by SPIP 3.1.11
+
AHUNTSIC
[CC License]
info visites
1359881
English
Français