Bernd Finkbeiner

	2009
38		Rayna Dimitrova, Bernd Finkbeiner: Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336
37		Lars Kuhtz, Bernd Finkbeiner: LTL Path Checking Is Efficiently Parallelizable. ICALP (2) 2009: 235-246
36		Bernd Finkbeiner, Lars Kuhtz: Monitor Circuits for LTL with Bounded and Unbounded Future. RV 2009: 60-75
35		Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 253(2): 1 (2009)
34		Klaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed model checking with distance-preserving abstractions. STTT 11(1): 27-37 (2009)
	2008
33		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: Runtime Verification, 02.01. - 06.01.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
32		Klaus Dräger, Bernd Finkbeiner: Subsequence Invariants. CONCUR 2008: 172-186
31		Rayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008: 175-186
30		Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesizing Certificates in Networks of Timed Automata. IEEE Real-Time Systems Symposium 2008: 183-194
29		Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466
28		Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 220(1): 1 (2008)
27		Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. Fundam. Inform. 89(4): 369-392 (2008)
	2007
26		Sven Schewe, Bernd Finkbeiner: Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283
25		Sven Schewe, Bernd Finkbeiner: Bounded Synthesis. ATVA 2007: 474-488
24		Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. FSEN 2007: 17-32
23		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
22		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
21		Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann: Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682
20		Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 190(2): 1 (2007)
19		Sven Schewe, Bernd Finkbeiner: Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007)
	2006
18		Sven Schewe, Bernd Finkbeiner: Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605
17		Bernd Finkbeiner, Sven Schewe, Matthias Brill: Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158
16		Sven Schewe, Bernd Finkbeiner: Synthesis of Asynchronous Systems. LOPSTR 2006: 127-142
15		Klaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34
14		Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma: Preface. Electr. Notes Theor. Comput. Sci. 144(4): 1 (2006)
13		Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 164(4): 1 (2006)
	2005
12		Bernd Finkbeiner, Sven Schewe: Semi-automatic Distributed Synthesis. ATVA 2005: 263-277
11		Bernd Finkbeiner, Sven Schewe: Uniform Distributed Synthesis. LICS 2005: 321-330
10		Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna: LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174
9		Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27(3): 253-274 (2005)
	2004
8		Bernd Finkbeiner, Henny Sipma: Checking Finite Traces Using Alternating Automata. Formal Methods in System Design 24(2): 101-127 (2004)
	2002
7		Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
	2001
6		Bernd Finkbeiner: Language Containment Checking with Nondeterministic BDDs. TACAS 2001: 24-38
5		Bernd Finkbeiner, Henny Sipma: Checking Finite Traces using Alternating Automata. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
	2000
4		Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma: The `Cash-Point' Service: A Verification Case Study Using STeP. Formal Asp. Comput. 12(4): 218-219 (2000)
3		Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design 16(3): 227-270 (2000)
	1997
2		Bernd Finkbeiner, Zohar Manna, Henny Sipma: Deductive Verification of Modular Systems. COMPOS 1997: 239-275
1		Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe: Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997: 273-292

Coauthor Index

1	Howard Barringer	[14]
2	Gerd Behrmann	[21]
3	Nikolaj Bjørner	[3]
4	Matthias Brill	[17]
5	Anca Browne (I. A. Draghicescu)	[3] [4]
6	Ingo Brückner	[24] [27]
7	Michael Colón	[1] [3]
8	Ben D'Angelo	[10]
9	Henning Dierks	[21]
10	Rayna Dimitrova	[31] [38]
11	Klaus Dräger	[15] [21] [24] [27] [32] [34]
12	Yuri Gurevich	[13] [14] [20] [28] [35]
13	Klaus Havelund	[22] [23] [33]
14	Jörg Hoffmann	[21]
15	Lars Kuhtz	[36] [37]
16	Sebastian Kupferschmid	[21]
17	Zohar Manna	[1] [2] [3] [4] [10]
18	Sandeep Mehrotra	[10]
19	Hans-Jörg Peter	[29] [30]
20	Alexander K. Petrenko	[13] [20] [28] [35]
21	Andreas Podelski	[15] [21] [34]
22	Will Robinson	[10]
23	Grigore Rosu	[22] [23] [33]
24	César Sánchez	[10]
25	Sriram Sankaranarayanan	[7] [9] [10]
26	Sven Schewe	[11] [12] [16] [17] [18] [19] [25] [26] [29] [30]
27	Henny B. Sipma (Henny Sipma)	[1] [2] [3] [4] [5] [7] [8] [9] [10] [14]
28	Oleg Sokolsky	[22] [23] [33]
29	Tomás E. Uribe	[1] [3]
30	Heike Wehrheim	[24] [27]

Colors in the list of coauthors