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