|
Search the dblp DataBase
Bernd Finkbeiner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bernd Finkbeiner, Sven Schewe
Semi-automatic Distributed Synthesis. [Citation Graph (0, 0)][DBLP] ATVA, 2005, pp:263-277 [Conf]
- Bernd Finkbeiner, Zohar Manna, Henny Sipma
Deductive Verification of Modular Systems. [Citation Graph (0, 0)][DBLP] COMPOS, 1997, pp:239-275 [Conf]
- Sven Schewe, Bernd Finkbeiner
Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. [Citation Graph (0, 0)][DBLP] CSL, 2006, pp:591-605 [Conf]
- Bernd Finkbeiner, Sven Schewe, Matthias Brill
Automatic Synthesis of Assumptions for Compositional Model Checking. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:143-158 [Conf]
- Bernd Finkbeiner, Sven Schewe
Uniform Distributed Synthesis. [Citation Graph (0, 0)][DBLP] LICS, 2005, pp:321-330 [Conf]
- Sven Schewe, Bernd Finkbeiner
Synthesis of Asynchronous Systems. [Citation Graph (0, 0)][DBLP] LOPSTR, 2006, pp:127-142 [Conf]
- Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
Abstraction and Modular Verification of Infinite-State Reactive Systems. [Citation Graph (0, 0)][DBLP] Requirements Targeting Software and Systems Engineering, 1997, pp:273-292 [Conf]
- Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
Directed Model Checking with Distance-Preserving Abstractions. [Citation Graph (0, 0)][DBLP] SPIN, 2006, pp:19-34 [Conf]
- Bernd Finkbeiner
Language Containment Checking with Nondeterministic BDDs. [Citation Graph (0, 0)][DBLP] TACAS, 2001, pp:24-38 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] TIME, 2005, pp:166-174 [Conf]
- Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:1- [Journal]
- Bernd Finkbeiner, Henny Sipma
Checking Finite Traces using Alternating Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
- Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
Collecting Statistics over Runtime Executions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:1- [Journal]
- Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
The `Cash-Point' Service: A Verification Case Study Using STeP. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2000, v:12, n:4, pp:218-219 [Journal]
- Bernd Finkbeiner, Henny Sipma
Checking Finite Traces Using Alternating Automata. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:2, pp:101-127 [Journal]
- Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
Collecting Statistics Over Runtime Executions. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2005, v:27, n:3, pp:253-274 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:16, n:3, pp:227-270 [Journal]
- Sven Schewe, Bernd Finkbeiner
Semi-automatic Distributed Synthesis. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:113-138 [Journal]
- Sven Schewe, Bernd Finkbeiner
Bounded Synthesis. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:474-488 [Conf]
- Sven Schewe, Bernd Finkbeiner
Distributed Synthesis for Alternating-Time Logics. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:268-283 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:679-682 [Conf]
- Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
Slicing Abstractions. [Citation Graph (0, 0)][DBLP] FSEN, 2007, pp:17-32 [Conf]
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:1- [Journal]
Synthesis of Fault-Tolerant Distributed Systems. [Citation Graph (, )][DBLP]
Subsequence Invariants. [Citation Graph (, )][DBLP]
Coordination Logic. [Citation Graph (, )][DBLP]
07011 Abstracts Collection -- Runtime Verification. [Citation Graph (, )][DBLP]
07011 Executive Summary -- Runtime Verification. [Citation Graph (, )][DBLP]
Abstraction Refinement for Games with Incomplete Information. [Citation Graph (, )][DBLP]
LTL Path Checking Is Efficiently Parallelizable. [Citation Graph (, )][DBLP]
Synthesizing Certificates in Networks of Timed Automata. [Citation Graph (, )][DBLP]
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. [Citation Graph (, )][DBLP]
RESY: Requirement Synthesis for Compositional Model Checking. [Citation Graph (, )][DBLP]
Model Checking the FlexRay Physical Layer Protocol. [Citation Graph (, )][DBLP]
Monitor Circuits for LTL with Bounded and Unbounded Future. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.095secs, Finished in 0.097secs
|