Steffen, Bernhard.

Overview

Works:	1 works in 21 publications in 1 languages

Titles

Correct system design = recent insights and advances / by: Olderog, E.-R.; Steffen, Bernhard.; SpringerLink (Online service) (Language materials, printed)

Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings / by: Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); ISoLA (Symposium) (2021 :) (Electronic resources)

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 / by: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

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 / by: ISoLA (Symposium) (2016 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

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 Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / by: Steffen, Bernhard.; SpringerLink (Online service); ETAPS '98 ((1998 :); TACAS '98 ((1998 :) (Language materials, printed)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I/ by: Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana. (Language materials, printed)

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings / by: Steffen, Bernhard.; SpringerLink (Online service); AISoLA (Conference) (2023 :) (Electronic resources)

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 / by: Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

Leveraging applications of formal methods, verification and validation = verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part I / by: Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); ISoLA (Symposium) (2022 :) (Electronic resources)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II/ by: Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana. (Language materials, printed)

Subjects

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Theory of Computation. Computer Science, general. Data Structures and Information Theory. Artificial intelligence Logics and Meanings of Programs. Computer software- Validation Robots- Programming Logic, Symbolic and mathematical. Mathematics of Computing. Software Engineering/Programming and Operating Systems. Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Management of Computing and Information Systems. Programming Techniques. Algorithm Analysis and Problem Complexity. Information Systems Applications (incl. Internet) Mathematical Applications in Computer Science. Control Structures and Microprogramming. Artificial intelligence- Moral and ethical aspects System design- Congresses. Computer systems- Reliability. Programming Languages, Compilers, Interpreters. Formal methods (Computer science) Computer software- Development. Computer software- Verification. Information Storage and Retrieval. Software engineering. Special Purpose and Application-Based Systems. Computer Science Logic and Foundations of Programming. Data Mining and Knowledge Discovery. Computer Engineering and Networks. Information Systems Applications (incl.Internet) Machine learning Computer science Computer science- Mathematics. Artificial Intelligence. Formal Languages and Automata Theory. Computer software- Development Computer Science. Computer Communication Networks. Computer software- Verification Simulation and Modeling. Computer science. System Performance and Evaluation. Computer System Implementation. Blockchains (Databases) Computer programs- Verification System design. Computer Applications.