Accueil
>
Verimag
>
Publications
bibtex
@article{BIL09,
title = {Flat Parametric Counter Automata },
author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
year = {2009},
journal = {Fundam. Inform.},
number = {2},
pages = {275-303},
volume = {91},
team = {DCS,PACSS},
}
Sections de Publications
Synchrone par années
Synchrone par types
RSD par années
RSD par types
PACSS par années
PACSS par types
Tempo par années
Tempo par types
Verimag par années
Verimag par types
Navigation
Rubriques
Verimag
Membres
Publications
Avec comité de lecture
Rapports Techniques
Outils
Projets
Partenaires
Colloques et Conférences
Séminaires
Documents
Équipes
Contact
Plan du site
Rechercher :
Acces au Batiment
Actualités
ACTUALITÉS
Doctorat Honoris Causa UGA pour Moshe Vardi
Conférences
Feb. 24, 2020
Workshop CAPITAL
11-15 mai 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Séminaires
Séminaires
16 décembre 2019 Le séminaire de Lélio Brun: est annulé ou reporté
19 décembre 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 décembre 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
3 février 2020
Matthieu jan Asavoae mihail:
Towards automatic extraction of timing models from hdl designs (mihail asavoae) - (...)
6 février 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
Nouvelles publications
Publications Récentes
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil:
Optimal torus exploration by oblivious robots
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade:
Brief Announcement: Infinite Grid Exploration by Disoriented Robots
Camille Coti, David Monniaux, Hang Yu:
Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
Rémy Boutonnet, Nicolas Halbwachs:
Disjunctive relational abstract interpretation for interprocedural program analysis
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Manuel de savoir-prouver à l'usage des roboteux et des distributeux
Braham Lotfi Mediouni:
Modeling and Analysis of Stochastic Real-Time Systems
Offres d'emploi et stages
Offres d'emploi et stages
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
|
Plan du site
|
Site réalisé avec SPIP 3.1.12
+
AHUNTSIC
[CC License]
info visites
1370679
English
Français