Bernd Finkbeiner Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRayna Dimitrova, Bernd Finkbeiner: Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Kuhtz, Bernd Finkbeiner: LTL Path Checking Is Efficiently Parallelizable. ICALP (2) 2009: 235-246
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Lars Kuhtz: Monitor Circuits for LTL with Bounded and Unbounded Future. RV 2009: 60-75
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 253(2): 1 (2009)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed model checking with distance-preserving abstractions. STTT 11(1): 27-37 (2009)
2008
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Dräger, Bernd Finkbeiner: Subsequence Invariants. CONCUR 2008: 172-186
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008: 175-186
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesizing Certificates in Networks of Timed Automata. IEEE Real-Time Systems Symposium 2008: 183-194
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 220(1): 1 (2008)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. Fundam. Inform. 89(4): 369-392 (2008)
2007
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Schewe, Bernd Finkbeiner: Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Schewe, Bernd Finkbeiner: Bounded Synthesis. ATVA 2007: 474-488
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. FSEN 2007: 17-32
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 190(2): 1 (2007)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Schewe, Bernd Finkbeiner: Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007)
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Schewe, Bernd Finkbeiner: Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Sven Schewe, Matthias Brill: Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Schewe, Bernd Finkbeiner: Synthesis of Asynchronous Systems. LOPSTR 2006: 127-142
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma: Preface. Electr. Notes Theor. Comput. Sci. 144(4): 1 (2006)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 164(4): 1 (2006)
2005
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Sven Schewe: Semi-automatic Distributed Synthesis. ATVA 2005: 263-277
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Sven Schewe: Uniform Distributed Synthesis. LICS 2005: 321-330
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27(3): 253-274 (2005)
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Henny Sipma: Checking Finite Traces Using Alternating Automata. Formal Methods in System Design 24(2): 101-127 (2004)
2002
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner: Language Containment Checking with Nondeterministic BDDs. TACAS 2001: 24-38
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Henny Sipma: Checking Finite Traces using Alternating Automata. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnca 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)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikolaj 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Finkbeiner, Zohar Manna, Henny Sipma: Deductive Verification of Modular Systems. COMPOS 1997: 239-275
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZohar 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

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)