Searching for authors named "Bernd Finkbeiner" – sorted by Relevance.
-
Language Containment Checking with Nondeterministic BDDs
- Language Containment Checking with Nondeterministic BDDs ? Bernd Finkbeiner Computer Science
- Cited by 4 (0 self) – Add To MetaCart
-
Checking Finite Traces using Alternating Automata
- RV'01 Preliminary Version Checking Finite Traces using Alternating Automata Bernd Finkbeiner
- Cited by 24 (3 self) – Add To MetaCart
-
Satisfiability checking with difference constraints
- by Andreas Podelski and Bernd Finkbeiner IMPRS Computer Science Saarbruecken May 13, 2005 Abstract
- Cited by 3 (2 self) – Add To MetaCart
-
Slicing Abstractions
- Slicing Abstractions ⋆ Ingo Brückner 1 , Klaus Dräger 2 , Bernd Finkbeiner 2 , and Heike Wehrheim
- Cited by 1 (1 self) – Add To MetaCart
-
Directed model checking with distance-preserving abstractions
- Directed Model Checking with Distance-Preserving Abstractions Klaus Dräger 1 , Bernd Finkbeiner 1
- Cited by 8 (3 self) – Add To MetaCart
-
unknown title
- Collecting Statistics over Runtime Executions Bernd Finkbeiner, Sriram Sankaranarayanan and Henny
- Add To MetaCart
-
Collecting Statistics over Runtime Executions
- Collecting Statistics over Runtime Executions ∗ Bernd Finkbeiner Max-Planck-Institut für
- Cited by 12 (1 self) – Add To MetaCart
-
Deductive Verification of Modular Systems
- Deductive Verification of Modular Systems ? Bernd Finkbeiner, Zohar Manna and Henny B. Sipma
- Cited by 9 (2 self) – Add To MetaCart
-
UPPAAL/DMC – Abstraction-Based Heuristics for Directed Model Checking
- ,KlausDräger 2 ,Jörg Hoffmann 3 , Bernd Finkbeiner 2 , Henning Dierks 4 , Andreas Podelski 1 , and Gerd
- Cited by 1 (1 self) – Add To MetaCart
-
Abstraction and Modular Verification of Infinite-State Reactive Systems
- . Colon, Bernd Finkbeiner, Henny B. Sipma and Tomas E. Uribe Computer Science Department Stanford
- Cited by 4 (1 self) – Add To MetaCart

