Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches by Bernhard Steffen, Oliver Rüthing, Michael Huth.

by Steffen, Bernhard, Rüthing, Oliver, Huth, Michael
Published 2018

The Programming Language Ada. Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum.

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon, Kobsa, Alfred, Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar M., Rangan, C. Pandu, Steffen, Bernhard, Madhu, Sudan, Terzopoulos, Demetri, Tygar, J. Doug, Weikum, Gerhard
Published 1983

Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of S... edited by Bernhard Steffen.

Published 1998

Transactions on Foundations for Mastering Change I edited by Bernhard Steffen.

Published 2016

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I edited by Tiziana Margaria, Bernhard Steffen.

Published 2018

Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings edited by Bernhard Steffen, Giorgio Levi.

Published 2004

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,... edited by Tiziana Margaria, Bernhard Steffen.

Published 2010

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedin... edited by Tiziana Margaria, Bernhard Steffen.

Published 2018

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,... edited by Tiziana Margaria, Bernhard Steffen.

Published 2010

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October... edited by Tiziana Margaria, Bernhard Steffen.

Published 2014

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 201... edited by Tiziana Margaria, Bernhard Steffen.

Published 2016

Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. edited by Tiziana Margaria, Bernhard Steffen.

Published 1996

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedin... edited by Tiziana Margaria, Bernhard Steffen.

Published 2018

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, Oc... edited by Tiziana Margaria, Bernhard Steffen.

Published 2016

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc... edited by Tiziana Margaria, Bernhard Steffen.

Published 2014

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II edited by Tiziana Margaria, Bernhard Steffen.

Published 2012

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Par... edited by Tiziana Margaria, Bernhard Steffen.

Published 2018

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers edited by Tiziana Maragria, Bernhard Steffen.

Published 2006

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings edited by Tiziana Margaria, Bernhard Steffen.

Published 2008

Computing and Software Science State of the Art and Perspectives edited by Bernhard Steffen, Gerhard Woeginger.

Published 2019

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I edited by Tiziana Margaria, Bernhard Steffen.

Published 2012

Correct System Design Recent Insights and Advances edited by Ernst-Rüdiger Olderog, Bernhard Steffen.

Published 1999

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2020

Leveraging applications of formal methods, verification and validation : verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2022

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2022

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2022

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2022

Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rh... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2021

Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2020

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2020

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2021

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings,... edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen.

Published 2019

Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers edited by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga.

Published 1998

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria,... edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen.

Published 2012

Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.).

Published 2021

Tools and Algorithms for the Construction and Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers edited by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen.

Published 1995

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2... edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria.

Published 2017