Benedikt Bollig
Full-time Researcher, CNRS
Research interests
- Formal languages, automata theory, logic
- Concurrency theory
Recent Publications
-
The Complexity of Model Checking Multi-Stack Systems
(with D. Kuske and R. Mennicke)
LICS 2013, to appear -
A Fresh Approach to Learning Register Automata
(with P. Habermehl, M. Leucker, and B. Monmege)
DLT 2013, to appear -
Dynamic Communicating Automata and Branching High-Level MSCs
(with A. Cyriac, L. Hélouët, A. Kara, and Th. Schwentick)
LATA 2013
-
Quantitative Specifications over Nested Words
(with P. Gastin and B. Monmege)
FoSSaCS 2013 -
A Probabilistic Kleene Theorem
(with P. Gastin, B. Monmege, and M. Zeitoun)
ATVA 2012 -
An optimal construction of Hanf sentences (with D. Kuske)
Journal of Applied Logic, 2012
( Slides ) -
Model Checking Languages of Data Words
(with A. Cyriac, P. Gastin, and K. Narayan Kumar)
FoSSaCS 2012
Recent talks
-
An optimal construction of Hanf sentences
Séminaire graphes et logique, LaBRI, April 23, 2013, Bordeaux, France
( Slides ) -
Dynamic Communicating Automata and Branching High-Level MSCs
LATA 2013, April 3, 2013, Bilbao, Spain
( Slides )
Other activities
- Invited speaker at Workshop "Automaten und Logik", Ilmenau, Germany
- YR-CONCUR 2013 (PC member), Buenos Aires, Argentina
- YR-CONCUR 2012 (Chair), Newcastle upon Tyne, UK
- IWIGP 2012 (PC member)
- TIME 2011 (PC member)
- YR-CONCUR 2011 (Chair)
- ACTS III (member of scientific committee)
- IWIGP 2011 (PC member)
- YR-CONCUR 2010 (PC member)
- DOTS 2010 (PC member)
- YR-CONCUR 2009 (PC member)
-
(member of organizing-committee)
Teaching
-
Modeling and verification of real-time distributed systems
(12h) MPRI, 2011/2012 -
Modeling and verification of real-time distributed systems
(12h) MPRI, 2010/2011 -
Weighted automata
(12h) MPRI, 2009/2010
Lecture notes -
Modélisation et vérification des systèmes distribués & temporisés
(18h) MPRI, 2007/2008 -
Modélisation et vérification des systèmes distribués
(12h) MPRI, 2006/2007 - Enseignement à RWTH Aachen (jusqu'à 2005)
Book
Tools
- libalf - The Automata Learning Framework
- Smyle - Synthesizing Models by Learning from Examples
- MSCan - A Tool for Analyzing MSC Specifications
