Benedikt Bollig
Full-time Researcher, CNRS
Research interests
- Formal languages and automata theory
- Concurrency theory
Recent Publications
-
An optimal construction of Hanf sentences (with D. Kuske)
Journal of Applied Logic, to appear
-
Model Checking Languages of Data Words
(with A. Cyriac, P. Gastin, and K. Narayan Kumar)
FoSSaCS 2012, to appear
-
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model
Checking (with A. Cyriac, P. Gastin, and M. Zeitoun)
MFCS 2011 -
An automaton over data words that captures EMSO logic
CONCUR 2011
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)
Other activities
- 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)
Book
Tools
- libalf - The Automata Learning Framework
- Smyle - Synthesizing Models by Learning from Examples
- MSCan - A Tool for Analyzing MSC Specifications
