Home
>
Teams
>
Tempo
>
Projects
VEDECY
ANR ARPEGE, 2009-2012
Introduction
Objectives
Partners
INRIA/pop-art
Laboratoire Jean Kuntzmann
VERIMAG/Tempo Team
VERIMAG People involved
Thao Dang
Goran Frehse
Browsing
Sections
Verimag
Teams
Synchrone
Tempo
Partners
Tempo Team members
Tools
Projects
Jobs and Internships
Publications
Pacss
RSD
Contact
Site Map
Search:
Building Access
News
NEWS
Doctorat Honoris Causa UGA pour Moshe Vardi
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 (...)
New publications
Recent Publications
Radu Iosif, Cristina Serban:
An Entailment Checker for Separation Logic with Inductive Definitions
Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke:
Fast and Exact Analysis for LRU Caches
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Manuel de savoir-prouver à l'usage des roboteux et des distributeux
Rim El-Ballouli:
Modeling Self-configuration In Architecture-based Self-adaptive Systems
Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit:
Introduction to Distributed Self-Stabilizing Algorithms
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
1367343
English
Français