Author: "Bernd Finkbeiner" / Journal: tacas - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Bernd Finkbeiner"' showing total 6 results

Start Over Author "Bernd Finkbeiner" Journal tacas

6 results on '"Bernd Finkbeiner"'

1. Detecting Unrealizable Specifications of Distributed Systems.

Author: Bernd Finkbeiner and Leander Tentrup
Published: 2014
Full Text: View/download PDF

2. Template-Based Controller Synthesis for Timed Systems.

Author: Bernd Finkbeiner and Hans-Jörg Peter
Published: 2012
Full Text: View/download PDF

3. SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

Author: Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim
Published: 2010
Full Text: View/download PDF

4. RESY: Requirement Synthesis for Compositional Model Checking.

Author: Bernd Finkbeiner, Hans-Jörg Peter, and Sven Schewe
Published: 2008
Full Text: View/download PDF

5. Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.

Author: Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann 0001, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, and Gerd Behrmann
Published: 2007
Full Text: View/download PDF

6. Language Containment Checking with Nondeterministic BDDs.

Author: Bernd Finkbeiner
Published: 2001
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results