Bernd Finkbeiner

	2012
54		Johannes Reich, Bernd Finkbeiner: Proceedings Second International Workshop on Interactions, Games and Protocols IWIGP 2012
53		Bernd Finkbeiner, Hans-Jörg Peter: Template-Based Controller Synthesis for Timed Systems. TACAS 2012: 392-406
52		Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl: Model Checking Information Flow in Reactive Systems. VMCAI 2012: 169-185
51		Bernd Finkbeiner, Swen Jacobs: Lazy Synthesis. VMCAI 2012: 219-234
	2011
50		Johannes Reich, Bernd Finkbeiner: Proceedings International Workshop on Interactions, Games and Protocols iWIGP 2011
49		Lars Kuhtz, Bernd Finkbeiner: Weak Kripke Structures and LTL. CONCUR 2011: 419-433
48		Werner Damm, Bernd Finkbeiner: Does It Pay to Extend the Perimeter of a World Model? FM 2011: 12-26
47		Rüdiger Ehlers, Bernd Finkbeiner: Reactive Safety GandALF 2011: 178-191
46		Rüdiger Ehlers, Bernd Finkbeiner: Monitoring Realizability. RV 2011: 427-441
	2010
45		Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Springer 2010
44		Bernd Finkbeiner, Sven Schewe: Coordination Logic. CSL 2010: 305-319
43		Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter: Model Checking the FlexRay Physical Layer Protocol. FMICS 2010: 132-147
42		Rüdiger Ehlers, Bernd Finkbeiner: On the Virtue of Patience: Minimizing Büchi Automata. SPIN 2010: 129-145
41		Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim: SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS 2010: 271-274
40		Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 264(3): 1 (2010)
39		Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesising certificates in networks of timed automata. IET Software 4(3): 222-235 (2010)
	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): 36-54 (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): 147-163 (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] [45]
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	Werner Damm	[48]
10	Henning Dierks	[21]
11	Rayna Dimitrova	[31] [38] [52]
12	Klaus Dräger	[15] [21] [24] [27] [32] [34] [41]
13	Rüdiger Ehlers (Ruediger Ehlers)	[42] [43] [46] [47]
14	Yliès Falcone	[45]
15	Michael Gerke	[43]
16	Yuri Gurevich	[13] [14] [20] [28] [35] [40]
17	Klaus Havelund	[22] [23] [33] [45]
18	Jörg Hoffmann	[21]
19	Swen Jacobs	[51]
20	Máté Kovács	[52]
21	Lars Kuhtz	[36] [37] [49]
22	Sebastian Kupferschmid	[21]
23	Andrey Kupriyanov	[41]
24	Insup Lee	[45]
25	Zohar Manna	[1] [2] [3] [4] [10]
26	Sandeep Mehrotra	[10]
27	Gordon J. Pace	[45]
28	Hans-Jörg Peter (Hans-Joerg Peter)	[29] [30] [39] [43] [53]
29	Alexander K. Petrenko	[13] [20] [28] [35] [40]
30	Andreas Podelski	[15] [21] [34]
31	Markus Rabe (Markus N. Rabe)	[52]
32	Johannes Reich	[50] [54]
33	Will Robinson	[10]
34	Grigore Rosu	[22] [23] [33] [45]
35	César Sánchez	[10]
36	Sriram Sankaranarayanan	[7] [9] [10]
37	Sven Schewe	[11] [12] [16] [17] [18] [19] [25] [26] [29] [30] [39] [44]
38	Helmut Seidl	[52]
39	Henny B. Sipma (Henny Sipma)	[1] [2] [3] [4] [5] [7] [8] [9] [10] [14]
40	Oleg Sokolsky	[22] [23] [33] [45]
41	Nikolai Tillmann	[45]
42	Tomás E. Uribe	[1] [3]
43	Heike Wehrheim	[24] [27] [41]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page