Bernd-Holger Schlingloff

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 19

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Ming Chai, Xinyi Zhang, Bernd-Holger Schlingloff, Tao Tang, Hongjie Liu
Online hazard prediction of train operations with parametric hybrid automata based runtime verification. Reliab. Eng. Syst. Saf. 241 (2024)
Mehrdad Saadatmand, Muhammad Abbas, Eduard Paul Enoiu, Bernd-Holger Schlingloff, Wasif Afzal, Benedikt Dornauer, Michael Felderer
SmartDelta project: Automated quality assurance and optimization across product versions and variants. Microprocess. Microsystems 103 (2023)
Björn Wudka, Carsten Thomas, Bernd-Holger Schlingloff
A Cooperative Decentralised Optimization Method for Vehicle Platooning. DCAI (3) (2023)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Bernd-Holger Schlingloff, Niels Hoppe
A Framework for Cloud-based Testing of Multi-variant Cyber-physical Systems. MECO (2021)
Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS (2021)
Bernd-Holger Schlingloff
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. ISoLA (3) (2020)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a Framework for Certification of Reliable Autonomous Systems. CoRR (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Bernd-Holger Schlingloff
Teaching Model Checking via Games and Puzzles. FMFun (2019)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang
Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34 (4) (2019)
Bernd-Holger Schlingloff
Specification and Verification of Collaborative Transport Robots. EITEC@CPSWeek (2018)
Ming Chai, Bernd-Holger Schlingloff
Monitoring with Parametrized Extended Life Sequence Charts. Fundam. Informaticae 153 (3) (2017)
Hartmut Lackner, Bernd-Holger Schlingloff
Chapter Four - Advances in Testing Software Product Lines. Adv. Comput. 107 (2017)
Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga
Collaborative embedded systems - a case study. EITEC@CPSWeek (2016)
Ming Chai, Bernd-Holger Schlingloff
System Monitoring with a Five-valued LTL. J. Multiple Valued Log. Soft Comput. 26 (1-2) (2016)
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
Automating Test Case Selection in Model-Based Software Product Line Development. Int. J. Softw. Informatics 9 (2) (2015)
Ming Chai, Bernd-Holger Schlingloff
Monitoring with Parametrized Extended Life Sequence Charts. CS&P (2015)
Bernd-Holger Schlingloff
Cyber-Physical Systems Engineering. SETSS (2014)
Ming Chai, Bernd-Holger Schlingloff
Online Monitoring of Distributed Systems with a Five-Valued LTL. ISMVL (2014)
Ming Chai, Bernd-Holger Schlingloff
Monitoring Systems with Extended Live Sequence Charts. RV (2014)
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
On the use of test cases in model-based software product line development. SPLC (2014)
Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff
Finding Uniform Strategies for Multi-agent Systems. CLIMA (2010)
Stephan Weißleder, Bernd-Holger Schlingloff
Quality of Automatically Generated Test Cases based on OCL Expressions. ICST (2008)
Satish Mishra, Bernd-Holger Schlingloff
Compliance of CMMI Process Area with Specification Based Development. SERA (2008)
Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
Specification-Based Testing for Software Product Lines. SEFM (2008)
Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder
Composition of Model-based Test Coverage Criteria. MBEES (2008)
Stephan Weißleder, Bernd-Holger Schlingloff
Deriving Input Partitions from UML Models for Automatic Test Generation. MoDELS (Workshops) (2007)
Mario Friske, Bernd-Holger Schlingloff
Improving Test Coverage for UML State Machines Using Transition Instrumentation. SAFECOMP (2007)
Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
Specification-based testing for refinement. SEFM (2007)
Mario Friske, Bernd-Holger Schlingloff
Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen. MBEES (2007)
Mario Friske, Bernd-Holger Schlingloff
Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven. MBEES (2006)
Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt
Modeling and Model Checking Web Services. Electron. Notes Theor. Comput. Sci. 126 (2005)
Mario Friske, Bernd-Holger Schlingloff
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise. MBEES (2005)
Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT (2004)
Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff
Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME (2003)
Maximilian Frey, Bernd-Holger Schlingloff
Conformance of Distributed Systems. TestCom (2003)
Jan Bredereke, Bernd-Holger Schlingloff
An Automated, Flexible Testing Environment for UMTS. TestCom (2002)
Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff
Conformance and mirroring for timed asychronous circuits. ASP-DAC (2001)
Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff
Editorial. Log. J. IGPL 8 (3) (2000)
Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff
Verification of Bounded Delay Asynchronous Circuits with Timed Traces. AMAST (1998)
Maximilian Frey, Bernd-Holger Schlingloff
On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO (1998)
Tomohiro Yoneda, Bernd-Holger Schlingloff
Efficient Verification of Parallel Real-Time Systems. Formal Methods Syst. Des. 11 (2) (1997)
Bernd-Holger Schlingloff
Modelling Message Buffers with Binary Decision Diagrams. RelMiCS (1997)
Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke
Efficient Verification of Parallel Real-Time Systems. CAV (1993)
Bernd-Holger Schlingloff
Expressive completeness of temporal logic of trees. J. Appl. Non Class. Logics 2 (2) (1992)
Bernd-Holger Schlingloff
On the Expressive Power of Modal Logics on Trees. LFCS (1992)

Bernd-Holger Schlingloff.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd-Holger Schlingloff