Searching for authors named Bernhard Steffen – sorted by Relevance.
108 documents found, showing 1 through 10.
Next 10 →
-
Finite Model Checking and Beyond
- …Finite Model Checking and Beyond Bernhard Steffen Universitat Passau Gemany Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
METAFrame in Practice: Design of Intelligent Network Services
- …MetaFrame in Practice: Design of Intelligent Network Services Bernhard Steffen 1 and Tiziana…
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic Synthesis of Design Plans in MetaFrame
- … Automatic Synthesis of Design Plans in MetaFrame Tiziana Margaria, Bernhard Steffen Lehrstuhl fur…
- Add To MetaCart
-
Model checking the full modal mu-calculus for infinite sequential processes
- …, University of Edinburgh
JCMB, King’s Buildings
Edinburgh EH9 3JZ, UK
- Cited by 35 (0 self) – Add To MetaCart
-
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus
- … Bernhard Steffen y Abstract We develop a model-checking algorithm for a logic that permits propositions…
- Cited by 102 (15 self) – Add To MetaCart
-
A Preorder for Partial Process Specifications
- … Box 8206 North Carolina State University Raleigh, NC 27695-8206 USA Bernhard Steffen Department…
- Cited by 10 (4 self) – Add To MetaCart
-
The Interprocedural Coincidence Theorem
- …The Interprocedural Coincidence Theorem Jens Knoop y Bernhard Steffen z Abstract We present…
- Cited by 75 (10 self) – Add To MetaCart
-
Model Checking for Context-Free Processes
- …Model Checking for Context-Free Processes Olaf Burkart and Bernhard Steffen Lehrstuhl fur…
- Cited by 70 (8 self) – Add To MetaCart
-
Compositional Minimization of Finite State Systems
- … Compositional Minimization of Finite State Systems Susanne Graf y Bernhard Steffen z Aachener…
- Cited by 28 (0 self) – Add To MetaCart
-
Program analysis as model checking of abstract interpretations
- …Program Analysis as Model Checking of Abstract Interpretations David Schmidt Bernhard Steffen…
- Cited by 41 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
