Official LSV Web Site
Selected talks by Benedikt Bollig
2011
-
Data Words: Logic, Automata, and Model Checking
Centre Fédéré en Vérification
December 16, Brussels, Belgium
( Slides )
-
Model Checking Languages of Data Words
Forschungsseminar des Instituts für Theoretische Informatik
October 20, Ilmenau, Germany
( Slides )
-
An automaton over data words that captures EMSO logic
22nd International Conference on Concurrency Theory
September 6, Aachen, Germany
( Slides )
-
An automaton over data words that captures EMSO logic
Séminaire 68NQRT, IRISA, Rennes
April 14, Rennes, France
( PDF )
-
An automaton over data words that captures EMSO logic
Workshop on Automata, Concurrency and Timed Systems III
January 27-29, Chennai, India
( PDF )
2010
-
Distributed Timed Automata with Independently Evolving Clocks
Groupe de travail
Modélisation et Vérification, LaBRI
September 16, Bordeaux, France
( PDF )
-
Realizability of Dynamic MSC Languages
5th International Computer Science Symposium in Russia
June 16-20, Kazan, Russia
( PDF )
-
Realizability of Dynamic MSC Languages
DOTS meeting
March 18, Bordeaux, France
( PDF )
-
Realizability of Dynamic MSC Languages
Workshop on Automata, Concurrency and Timed Systems II
February 1-3, Chennai, India
( PDF )
2009
-
Realizability of Concurrent Recursive Programs
Séminaire 68NQRT, IRISA, Rennes
April 2, Rennes, France
( PDF )
-
Realizability of Concurrent Recursive Programs
European Joint Conferences on Theory and Practice of Software
March 22-29, York, UK
( PDF )
-
Distributed Timed Automata with Independently Evolving Clocks
QUASIMODO meeting
February 17-19, Brussels, Belgium
( PDF )
-
Realizability of Concurrent Recursive Programs
Workshop on Automata, Concurrency and Timed Systems
January 29-31, Chennai, India
( PDF )
2008
2007