Bernhard Steffen

No bio available. Add one in Open Library.

Books by Bernhard Steffen (50 max)

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

2008

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2014

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2014

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2016

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2016

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Mathematical Foundations of Advanced Informatics : Volume 1 Inductive Approaches

2018

Bernhard Steffen, Oliver Rüthing, Michael Huth

+ shelf+ list

Karten Von Mykenai Auf Veranlassung des Deutschen Archäologischen Instituts Aufgenommen und Mit Erläuterndem Text

2018

Bernhard Steffen

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...

2019

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

2020

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

2023

Bernhard Steffen

+ shelf+ list

Grundlagen Der Hheren Informatik Induktives Vorgehen

1900

Bernhard Steffen

+ shelf+ list

Eine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen Optimierung

1975

Bernhard Steffen

+ shelf+ list

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten: Ein Optimalitätskonzept und seine Anwendung

1987

Bernhard Steffen

+ shelf+ list

Finite constants: Characterization of a new decidable set of constants

1989

Bernhard Steffen

+ shelf+ list

Characteristic Formulae for CCS with Divergence.

1989

Bernhard Steffen

+ shelf+ list

Optimal Data Flow Analysis via Obserrational Equivalence.

1989

Bernhard Steffen

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

1998

Bernhard Steffen

+ shelf+ list

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

1999

Bernhard Steffen, E.-R Olderog

+ shelf+ list

Correct System Design Recent Insights and Advances

2003

Ernst-Rüdiger Olderog, Bernhard Steffen

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

2003

Bernhard Steffen, Giorgio Levi

+ shelf+ list

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

2006

Tiziana Maragria, Bernhard Steffen

+ shelf+ list

Grundlagen der Höheren Informatik: Induktives Vorgehen

2013

Bernhard Steffen, Oliver Rüthing, Malte Isberner

+ shelf+ list

Transactions on Foundations for Mastering Change I

2016

Bernhard Steffen

+ shelf+ list

SOFSEM 2017 : Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...

2017

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... I

2018

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2018

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, ...

2018

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, ...

2018

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Computing and Software Science : State of the Art and Perspectives

2019

Bernhard Steffen, Gerhard Woeginger

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

2020

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation : Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

2020

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday

2021

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

2021

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Practice 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IV

2022

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part III

2022

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part II

2022

Tiziana Margaria, Bernhard Steffen

+ shelf+ list

Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2024

Mike Hinchey, Bernhard Steffen

+ shelf+ list

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career

2024

Susanne Graf, Paul Pettersson, Bernhard Steffen

+ shelf+ list

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2024

Tiziana Margaria, Bernhard Steffen