Steffen, Bernhard

Person

Browse all works related to Steffen, Bernhard.

"103" Result
Sort By:
Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation: 10th International Symposium on Leveraging Applic…

by Margaria-Steffen, Tiziana, Steffen, Bernhard, ISoLA (Symposium), Rhodes, Greece)

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 1…

Theory and Applications of Satisfiability Testing - SAT 2009

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea,…

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Kullmann, Oliver

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swansea, UK, in June/July 2009. The 34 revised full papers presented together with 11 revised short papers and 2 invited ta…

Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras,…

by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Wooldridge, Michael J., Wahlster, Wolfgang, Peled, Doron A.

fromLecture Notes in Computer Science

0 Type: Book
Theory and Practice of Model Transformations

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zuric…

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Paige, Richard F.

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009. The 14 revised full papers and 3 revised short papers presented together with 1…

Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras,…

by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Wooldridge, Michael J., Wahlster, Wolfgang, Peled, Doron A.

fromLecture Notes in Computer Science

0 Type: Book
Formal Methods for Components and Objects

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam…

by SpringerLink (Online service), Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Boer, Frank S., Graf, Susanne, Bonsangue, Marcello M., Roever, Willem-Paul

fromLecture Notes in Computer Science

0 Type: Book

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the …