"LIAFA: Séminaire Vérification"

LIAFA

Laboratoire d'Informatique Algorithmique: Fondements et Applications

CNRS UMR 7089, Université Paris Diderot - Paris 7, Case 7014
75205 Paris Cedex 13 - Tél: +33(0)1.57.27.92.56 - Fax: +33(0)1.57.27.94.09

Page d'accueil de la fondation Sciences Mathématiques de Paris

Séminaires

Séminaire "Vérification": période 08-09
06-07-2009
Arnaud Sangnier
(Torino University)
Weak Time Petri Nets strike back!
08-06-2009
Colas Le Guernic
(VERIMAG)
Zonotopes for Hybrid Systems Reachability Analysis
25-05-2009
Roland Meyer
(LIAFA)
Structural Stationarity and Boundedness in Depth in the pi-calculus
18-05-2009
Gustavo Petri
(INRIA Sophia Antipolis)
Relaxed Memory Models: an Operational Approach
04-05-2009
Ana Busic
(LIAFA)
Quantitative analysis of large Markov chains: bounding techniques
27-04-2009
Serge Haddad
(LSV)
Interrupt Timed Automata
06-04-2009
Paul Gastin
(LSV)
Distributed Timed Automata with Independently Evolving Clocks
30-03-2009
Nathalie Tali Sznajder
(LSV)
How to get decidability of distributed synthesis for asynchronous systems
16-03-2009
Andrey Rybalchenko
(Max Planck Institute for Software Systems)
From Tests To Proofs
09-03-2009
Denis Lugiez
(Laboratoire d'Informatique Fondamentale de Marseille)
Vérification de programmes concurrents
02-03-2009
Rachid Guerraoui
(EPFL, Lausanne)
Deconstructing a Replicated State Machine
23-02-2009
Parosh Aziz Abdulla
(Uppsala University)
Priced Discrete-Timed Petri Nets
16-02-2009
Aldric DEGORRE
(VERIMAG)
On Scheduling Policies for Streams of Structured Jobs
09-02-2009
Viktor Kuncak
(EPFL, Lausanne)
Automated Reasoning for Reliable Software
02-02-2009
Andreas Podelski
(University of Freiburg)
Abstract Deductive Least-Fixpoint Checking
26-01-2009
Delphine Longuet
(LSV)
Test de systèmes réactifs à partir de spécifications modales
12-01-2009
Jeremy Sproston
(Univ. Turin)
An Overview of Probabilistic Timed Automata
01-12-2008
Mohamed Faouzi Atig
(LIAFA)
Analyzing Asynchronous Programs with Preepmtion
24-11-2008
Peter Habermehl
(LSV et LIAFA)
Angluin-style learning of NFA.
17-11-2008
Réunion de Projet
03-11-2008
Riadh Robbana
(Ecole Polytechnique de Tunisie)
Une approche de test de conformité des systèmes à durées
27-10-2008
Bruno Berstel
(LIAFA - Université de Freiburg)
Vérification de programmes de règles métier
20-10-2008
Jean-Christophe Filliâtre
(LRI)
La plateforme Why de vérification déductive de programmes C et Java
13-10-2008
Pierre Chambart
(LSV)
Mixing lossy and perfect fifo channels
06-10-2008
Hanna Klaudel
(IBISC)
Towards Efficient Verification of Systems with Dynamic Process Creation
22-09-2008
Pierre Ganty
(UCLA)
Parikh-equivalent bounded under-approximations


© LIAFA 1995, dernière mise à jour: Mai 2013	webmestre[at]liafa.univ-paris-diderot.fr