Bernd Finkbeiner

2008
32		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
31	EE	Klaus Dräger, Bernd Finkbeiner: Subsequence Invariants. CONCUR 2008: 172-186
30	EE	Rayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008
29	EE	Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466
28	EE	Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 220(1): 1 (2008)
27	EE	Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. Fundam. Inform. 89(4): 369-392 (2008)
2007
26	EE	Sven Schewe, Bernd Finkbeiner: Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283
25	EE	Sven Schewe, Bernd Finkbeiner: Bounded Synthesis. ATVA 2007: 474-488
24	EE	Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. FSEN 2007: 17-32
23	EE	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
22	EE	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
21	EE	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	EE	Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 190(2): 1 (2007)
19	EE	Sven Schewe, Bernd Finkbeiner: Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007)
2006
18	EE	Sven Schewe, Bernd Finkbeiner: Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605
17	EE	Bernd Finkbeiner, Sven Schewe, Matthias Brill: Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158
16	EE	Sven Schewe, Bernd Finkbeiner: Synthesis of Asynchronous Systems. LOPSTR 2006: 127-142
15	EE	Klaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34
14	EE	Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma: Preface. Electr. Notes Theor. Comput. Sci. 144(4): 1 (2006)
13	EE	Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 164(4): 1 (2006)
2005
12	EE	Bernd Finkbeiner, Sven Schewe: Semi-automatic Distributed Synthesis. ATVA 2005: 263-277
11	EE	Bernd Finkbeiner, Sven Schewe: Uniform Distributed Synthesis. LICS 2005: 321-330
10	EE	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	EE	Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27(3): 253-274 (2005)
2004
8	EE	Bernd Finkbeiner, Henny Sipma: Checking Finite Traces Using Alternating Automata. Formal Methods in System Design 24(2): 101-127 (2004)
2002
7	EE	Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
6	EE	Bernd Finkbeiner: Language Containment Checking with Nondeterministic BDDs. TACAS 2001: 24-38
5	EE	Bernd Finkbeiner, Henny Sipma: Checking Finite Traces using Alternating Automata. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
2000
4	EE	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	EE	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	[30]
11	Klaus Dräger	[15] [21] [24] [27] [31]
12	Yuri Gurevich	[13] [14] [20] [28]
13	Klaus Havelund	[22] [23] [32]
14	Jörg Hoffmann	[21]
15	Sebastian Kupferschmid	[21]
16	Zohar Manna	[1] [2] [3] [4] [10]
17	Sandeep Mehrotra	[10]
18	Hans-Jörg Peter	[29]
19	Alexander K. Petrenko	[13] [20] [28]
20	Andreas Podelski	[15] [21]
21	Will Robinson	[10]
22	Grigore Rosu	[22] [23] [32]
23	César Sánchez	[10]
24	Sriram Sankaranarayanan	[7] [9] [10]
25	Sven Schewe	[11] [12] [16] [17] [18] [19] [25] [26] [29]
26	Henny B. Sipma (Henny Sipma)	[1] [2] [3] [4] [5] [7] [8] [9] [10] [14]
27	Oleg Sokolsky	[22] [23] [32]
28	Tomás E. Uribe	[1] [3]
29	Heike Wehrheim	[24] [27]

Colors in the list of coauthors