Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bernd Finkbeiner
2010 – today
- 2013
[j18]- [c39]Andrey Kupriyanov, Bernd Finkbeiner: Causality-Based Verification of Multi-threaded Programs. CONCUR 2013: 257-272
- [c38]
- [i1]Bernd Finkbeiner, Markus N. Rabe, César Sánchez: A Temporal Logic for Hyperproperties. CoRR abs/1306.6657 (2013)
- 2012
- [j17]Lars Kuhtz, Bernd Finkbeiner: Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds. Logical Methods in Computer Science 8(4) (2012)
- [c37]Rayna Dimitrova, Bernd Finkbeiner: Counterexample-Guided Synthesis of Observation Predicates. FORMATS 2012: 107-122
- [c36]Hans-Jörg Peter, Bernd Finkbeiner: The Complexity of Bounded Synthesis for Timed Control with Partial Observability. FORMATS 2012: 204-219
- [c35]Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe: Monitoring Temporal Information Flow. ISoLA (1) 2012: 342-357
- [c34]Bernd Finkbeiner, Hans-Jörg Peter: Template-Based Controller Synthesis for Timed Systems. TACAS 2012: 392-406
- [c33]Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl: Model Checking Information Flow in Reactive Systems. VMCAI 2012: 169-185
- [c32]
- [e4]Johannes Reich, Bernd Finkbeiner (Eds.): Proceedings Second International Workshop on Interactions, Games and Protocols. EPTCS 78, 2012
- 2011
- [c31]
- [c30]
- [c29]
- [c28]
- [e3]Johannes Reich, Bernd Finkbeiner (Eds.): Proceedings International Workshop on Interactions, Games and Protocols. EPTCS 50, 2011
- 2010
- [j16]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 264(3): 1 (2010)
- [j15]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesising certificates in networks of timed automata. IET Software 4(3): 222-235 (2010)
- [c27]
- [c26]Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter: Model Checking the FlexRay Physical Layer Protocol. FMICS 2010: 132-147
- [c25]Rüdiger Ehlers, Bernd Finkbeiner: On the Virtue of Patience: Minimizing Büchi Automata. SPIN 2010: 129-145
- [c24]Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim: SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS 2010: 271-274
- [e2]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (Eds.): Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2
2000 – 2009
- 2009
- [j14]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 253(2): 1 (2009)
- [j13]Klaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed model checking with distance-preserving abstractions. STTT 11(1): 27-37 (2009)
- [c23]Rayna Dimitrova, Bernd Finkbeiner: Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336
- [c22]Lars Kuhtz, Bernd Finkbeiner: LTL Path Checking Is Efficiently Parallelizable. ICALP (2) 2009: 235-246
- [c21]Bernd Finkbeiner, Lars Kuhtz: Monitor Circuits for LTL with Bounded and Unbounded Future. RV 2009: 60-75
- 2008
- [j12]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 220(1): 1 (2008)
- [j11]Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. Fundam. Inform. 89(4): 369-392 (2008)
- [c20]
- [c19]Rayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008: 175-186
- [c18]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesizing Certificates in Networks of Timed Automata. RTSS 2008: 183-194
- [c17]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466
- [e1]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (Eds.): Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- 2007
- [j10]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 190(2): 1 (2007)
- [j9]Sven Schewe, Bernd Finkbeiner: Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007)
- [c16]Sven Schewe, Bernd Finkbeiner: Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283
- [c15]
- [c14]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
- [c13]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
- [c12]Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. FSEN 2007: 17-32
- [c11]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
- 2006
- [j8]Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma: Preface. Electr. Notes Theor. Comput. Sci. 144(4): 1 (2006)
- [j7]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 164(4): 1 (2006)
- [c10]Sven Schewe, Bernd Finkbeiner: Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605
- [c9]Bernd Finkbeiner, Sven Schewe, Matthias Brill: Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158
- [c8]
- [c7]Klaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34
- 2005
- [j6]Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27(3): 253-274 (2005)
- [c6]
- [c5]
- [c4]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
- 2004
- [j5]Bernd Finkbeiner, Henny Sipma: Checking Finite Traces Using Alternating Automata. Formal Methods in System Design 24(2): 101-127 (2004)
- 2002
- [j4]Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70(4): 36-54 (2002)
- 2001
- [j3]Bernd Finkbeiner, Henny Sipma: Checking Finite Traces using Alternating Automata. Electr. Notes Theor. Comput. Sci. 55(2): 147-163 (2001)
- [c3]
- 2000
- [j2]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)
- [j1]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)
1990 – 1999
- 1997
- [c2]Bernd Finkbeiner, Zohar Manna, Henny Sipma: Deductive Verification of Modular Systems. COMPOS 1997: 239-275
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:10 CEST by the dblp team