Searching for authors named "Bernd Finkbeiner" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
