dblp.uni-trier.dewww.uni-trier.de

Benedikt Bollig

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
26EEBenedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl: Realizability of Concurrent Recursive Programs. FOSSACS 2009: 410-424
2008
25EEBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR 2008: 162-166
24EES. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Distributed Timed Automata with Independently Evolving Clocks. CONCUR 2008: 82-97
23EEMohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl: Emptiness of Multi-pushdown Automata Is 2ETIME-Complete. Developments in Language Theory 2008: 121-133
22EEBenedikt Bollig: On the Expressive Power of 2-Stack Visibly Pushdown Automata CoRR abs/0812.2423: (2008)
21EEBenedikt Bollig, Dietrich Kuske: Muller message-passing automata and logics. Inf. Comput. 206(9-10): 1084-1094 (2008)
2007
20EES. Akshay, Benedikt Bollig, Paul Gastin: Automata and Logics for Timed Message Sequence Charts. FSTTCS 2007: 290-302
19EEBenedikt Bollig, Dietrich Kuske, Ingmar Meinecke: Propositional Dynamic Logic for Message-Passing Systems. FSTTCS 2007: 303-315
18EEBenedikt Bollig, Ingmar Meinecke: Weighted Distributed Systems and Their Logics. LFCS 2007: 54-68
17EEBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS 2007: 435-450
2006
16 Benedikt Bollig: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic Springer 2006
15EEBenedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz: MSCan - A Tool for Analyzing MSC Specifications. TACAS 2006: 455-458
14EEBenedikt Bollig, Martin Leucker: Message-passing automata are expressively equivalent to EMSO logic. Theor. Comput. Sci. 358(2-3): 150-172 (2006)
2005
13EEBenedikt Bollig: On the Expressiveness of Asynchronous Cellular Automata. FCT 2005: 528-539
12EEBenedikt Bollig, Martin Leucker: A Hierarchy of Implementable MSC Languages. FORTE 2005: 53-67
2004
11EEBenedikt Bollig, Martin Leucker: Message-Passing Automata Are Expressively Equivalent to EMSO Logic. CONCUR 2004: 146-160
10 Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506
9EEBenedikt Bollig, Martin Leucker: Verifying Qualitative Properties of Probabilistic Programs. Validation of Stochastic Systems 2004: 124-146
2003
8EEBenedikt Bollig, Martin Leucker: Model Checking Probabilistic Distributed Systems. ASIAN 2003: 291-304
7 Benedikt Bollig, Martin Leucker: Deciding LTL over Mazurkiewicz traces. Data Knowl. Eng. 44(2): 219-238 (2003)
2002
6EEBenedikt Bollig, Martin Leucker, Thomas Noll: Generalised Regular MSC Languages. FoSSaCS 2002: 52-66
5EEBenedikt Bollig, Martin Leucker, Philipp Lucas: Extending Compositional Message Sequence Graphs. LPAR 2002: 68-85
4EEBenedikt Bollig, Martin Leucker, Michael Weber: Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN 2002: 128-147
2001
3EEBenedikt Bollig, Martin Leucker, Michael Weber: Parallel Model Checking for the Alternation Free µ-Calculus. TACAS 2001: 543-558
2EEBenedikt Bollig, Martin Leucker: Deciding LTL over Mazurkiewicz Traces. TIME 2001: 189-197
1EEBenedikt Bollig, Martin Leucker: Modelling, Specifying, and Verifying Message Passing Systems. TIME 2001: 240-247

Coauthor Index

1S. Akshay [20] [24]
2Mohamed Faouzi Atig [23]
3Christel Baier [10]
4Frank Ciesinski [10]
5Paul Gastin [20] [24]
6Manuela-Lidia Grindei [26]
7Marcus Größer [10]
8Peter Habermehl [23] [26]
9Joost-Pieter Katoen [17] [25]
10Carsten Kern [15] [17] [25]
11K. Narayan Kumar [24]
12Dietrich Kuske [19] [21]
13Martin Leucker [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [17] [25]
14Philipp Lucas [5]
15Ingmar Meinecke [18] [19]
16Madhavan Mukund [24]
17Thomas Noll [6]
18Markus Schlütter [15]
19Volker Stolz [15]
20Michael Weber [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)