Bernhard Steffen
Books
- Model Checking, Synthesis, and Learning
- Real Time and Such
- Correct System Design
- Combined Power of Research, Education, and Dissemination
- Verification, Model Checking, and Abstract Interpretation
- SOFSEM 2017 : Theory and Practice of Computer Science
- Mathematical Foundations of Advanced Informatics : Volume 1
- Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
- Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
- Leveraging Applications of Formal Methods, Verification and Validation. Verification
- Bridging the Gap Between AI and Reality
- Leveraging Applications of Formal Methods, Verification and Validation. Practice
- Leveraging Applications of Formal Methods
- Leveraging Applications of Formal Methods, Verification and Validation : Applications
- Eine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen Optimierung
- Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium
- Grundlagen der Höheren Informatik
- Karten Von Mykenai
- Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles
- Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
- Grundlagen Der Hheren Informatik Induktives Vorgehen
- Optimal Data Flow Analysis via Obserrational Equivalence
- Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten
- Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
- Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
- Computing and Software Science
- Tools and Algorithms for the Construction and Analysis of Systems
- Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
- Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
- Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
- Leveraging Applications of Formal Methods, Verification and Validation. Modeling
- Transactions on Foundations for Mastering Change I
- Characteristic Formulae for CCS with Divergence
- Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
- Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
- Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
- Leveraging Applications of Formal Methods, Verification and Validation
- Correct system design
- Finite constants
Author data: Open Library