Bernd-Holger Schlingloff

Proceedings Tenth Workshop on Model Based Testing

Alexander K. Petrenko, Nikolay Pakulin, Bernd-Holger Schlingloff, 2015 .

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Antonio Cerone, Markus Roggenbach, Gerardo Schneider, 2022, Texts in Theoretical Computer Science. An EATCS Series.

Summarising a Framework for the Certification of Reliable Autonomous Systems

Michael Winikoff, Viviana Mascardi, Michael Fisher, 2021, AAMAS.

Teaching Formal Methods for Software Engineering – Ten Principles

Antonio Cerone, Markus Roggenbach, Gerardo Schneider, 2013 .

Towards a Curriculum for Model-Based Engineering of Embedded Systems

Bernd-Holger Schlingloff, Bernd-Holger Schlingloff, 2014 .

Automatic Test Generation from Coupled UML Models using Input Partitions

Stephan Weißleder, Bernd-Holger Schlingloff, S. Weißleder, 2007 .

Model based dependability evaluation for automotive control functions

Bernd-Holger Schlingloff, Saša Vulinovic, 2005 .