Holger Schlingloff

According to our database, Holger Schlingloff authored at least 72 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Online hazard prediction of train operations with parametric hybrid automata based runtime verification.

Ming Chai, Xinyi Zhang, Bernd-Holger Schlingloff, Tao Tang, Hongjie Liu

Reliab. Eng. Syst. Saf., January, 2024

2023

SmartDelta project: Automated quality assurance and optimization across product versions and variants.

Mehrdad Saadatmand, Muhammad Abbas, Eduard Paul Enoiu, Bernd-Holger Schlingloff, Wasif Afzal, Benedikt Dornauer, Michael Felderer

Microprocess. Microsystems, 2023

A Cooperative Decentralised Optimization Method for Vehicle Platooning.

Björn Wudka, Carsten Thomas, Bernd-Holger Schlingloff

Proceedings of the Distributed Computing and Artificial Intelligence, Special Sessions II, 2023

2022

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

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-030-38799-0, 2022

SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development.

Mehrdad Saadatmand, Eduard Paul Enoiu, Holger Schlingloff, Michael Felderer, Wasif Afzal

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Preface.

Holger Schlingloff, Wojciech Penczek

Fundam. Informaticae, 2021

Towards a framework for certification of reliable autonomous systems.

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith

Auton. Agents Multi Agent Syst., 2021

A Framework for Cloud-based Testing of Multi-variant Cyber-physical Systems.

Bernd-Holger Schlingloff, Niels Hoppe

Proceedings of the 10th Mediterranean Conference on Embedded Computing, 2021

Summarising a Framework for the Certification of Reliable Autonomous Systems.

Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

CrESt Use Cases.

Holger Schlingloff

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Goal-Based Strategy Exploration.

Patricia Aluko Obe, Jennifer Brings, Marian Daun, Linda Feeken, Elham Mirzaei, Martin Neumann, Jochen Nickles, Simon Rösel, Markus Sauer, Holger Schlingloff, Ingo Stierand, Jan Stefan Zernickel

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Creating Trust in Collaborative Embedded Systems.

Samira Akili, Emilia Cioroaica, Thomas Kuhn, Holger Schlingloff

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020

Excellence in variant testing.

Holger Schlingloff, Peter M. Kruse, Mehrdad Saadatmand

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems.

Bernd-Holger Schlingloff

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems.

Jeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Special issue on engineering collaborative embedded systems.

Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang

SICS Softw.-Intensive Cyber Phys. Syst., 2019

Preface.

Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski

Fundam. Informaticae, 2019

Teaching Model Checking via Games and Puzzles.

Bernd-Holger Schlingloff

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.

Antonio Cerone, Markus Roggenbach, James H. 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

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

2018

Preface.

Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen

Fundam. Informaticae, 2018

Specification and Verification of Collaborative Transport Robots.

Bernd-Holger Schlingloff

Proceedings of the 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, 2018

Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic.

Felix Lorenz, Holger Schlingloff

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Monitoring with Parametrized Extended Life Sequence Charts.

Ming Chai, Bernd-Holger Schlingloff

Fundam. Informaticae, 2017

Chapter Four - Advances in Testing Software Product Lines.

Hartmut Lackner, Bernd-Holger Schlingloff

Adv. Comput., 2017

2016

System Monitoring with a Five-valued LTL.

Ming Chai, Bernd-Holger Schlingloff

J. Multiple Valued Log. Soft Comput., 2016

Collaborative embedded systems - a case study.

Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga

Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

Variant Management and Reuse.

Ina Schaefer, André Heuer, Michael Himsolt, Tobias Jäger, Tobias Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, Holger Schlingloff, Sebastian Schröck, Christoph Schulze, Michael Schulze, Stephan Weißleder

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

Automating Test Case Selection in Model-Based Software Product Line Development.

Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff

Int. J. Softw. Informatics, 2015

2014

On the use of test cases in model-based software product line development.

Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the 18th International Software Product Line Conference, 2014

Cyber-Physical Systems Engineering.

Bernd-Holger Schlingloff

Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Monitoring Systems with Extended Live Sequence Charts.

Ming Chai, Bernd-Holger Schlingloff

Proceedings of the Runtime Verification - 5th International Conference, 2014

Online Monitoring of Distributed Systems with a Five-Valued LTL.

Ming Chai, Bernd-Holger Schlingloff

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

An Evaluation of Model-Based Testing in Embedded Applications.

Stephan Weißleder, Holger Schlingloff

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).

Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff

Dagstuhl Reports, 2013

A Rewriting Based Monitoring Algorithm for TPTL.

Ming Chai, Holger Schlingloff

Proceedings of the 22nd International Workshop on Concurrency, 2013

2012

Modeling for automated test generation - a comparison.

Hartmut Lackner, Holger Schlingloff

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Application and Evaluation in the Healthcare Domain.

Hendrik Heinze, Khalid Kallow, Hartmut Lackner, Sadegh Sadeghipour, Holger Schlingloff, Salko Tahirbegovic, Hans-Werner Wiesbrock

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011

Automatic Model-Based Test Generation from UML State Machines.

Stephan Weißleder, Holger Schlingloff

Proceedings of the Model-Based Testing for Embedded Systems, 2011

Cycles in Graphs.

Holger Schlingloff

Proceedings of the Algorithms Unplugged, 2011

2010

Finding Uniform Strategies for Multi-agent Systems.

Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2008

Zyklensuche in Graphen.

Bernd-Holger Schlingloff

Proceedings of the Taschenbuch der Algorithmen, 2008

Verifkation und Test des PROFIsafe-Sicherheitsprofils.

Holger Schlingloff, Mario Friske, Herbert Barthel

Softwaretechnik-Trends, 2008

Compliance of CMMI Process Area with Specification Based Development.

Satish Mishra, Bernd-Holger Schlingloff

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

Specification-Based Testing for Software Product Lines.

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Composition of Model-based Test Coverage Criteria.

Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Quality of Automatically Generated Test Cases based on OCL Expressions.

Stephan Weißleder, Bernd-Holger Schlingloff

Proceedings of the First International Conference on Software Testing, 2008

08351 Summary - Evolutionary Test Generation.

Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener

Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

08351 Abstracts Collection - Evolutionary Test Generation.

Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener

Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

2007

Specification-based testing for refinement.

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Improving Test Coverage for UML State Machines Using Transition Instrumentation.

Mario Friske, Bernd-Holger Schlingloff

Proceedings of the Computer Safety, 2007

Deriving Input Partitions from UML Models for Automatic Test Generation.

Stephan Weißleder, Bernd-Holger Schlingloff

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen.

Mario Friske, Bernd-Holger Schlingloff

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2006

Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.

Mario Friske, Bernd-Holger Schlingloff

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

2005

Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.

Mario Friske, Bernd-Holger Schlingloff

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

2004

Modeling and Model Checking Web Services.

Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Towards a Formal Specification of an Electronic Payment System in CSP-CASL.

Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003

Hybrid Logics on Linear Structures: Expressivity and Complexity.

Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Conformance of Distributed Systems.

Maximilian Frey, Bernd-Holger Schlingloff

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

An Automated, Flexible Testing Environment for UMTS.

Jan Bredereke, Bernd-Holger Schlingloff

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001

Conformance and mirroring for timed asychronous circuits.

Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff

Proceedings of ASP-DAC 2001, 2001

Model Checking.

Edmund M. Clarke, Bernd-Holger Schlingloff

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Editorial.

Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff

Log. J. IGPL, 2000

1998

Performability analysis of an avionics-interface.

Lutz Twele, Holger Schlingloff, Helena Szczerbicka

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

On-the-Fly Model Checking of Program Runs for Automated Debugging.

Maximilian Frey, Bernd-Holger Schlingloff

Proceedings of the 24th EUROMICRO '98 Conference, 1998

Verification of Bounded Delay Asynchronous Circuits with Timed Traces.

Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Efficient Verification of Parallel Real-Time Systems.

Tomohiro Yoneda, Bernd-Holger Schlingloff

Formal Methods Syst. Des., 1997

Modelling Message Buffers with Binary Decision Diagrams.

Bernd-Holger Schlingloff

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Relation Algebra and Modal Logics.

Holger Schlingloff, Wolfgang Heinle

Proceedings of the Relational Methods in Computer Science., 1997

1993

Efficient Verification of Parallel Real-Time Systems.

Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Expressive completeness of temporal logic of trees.

Bernd-Holger Schlingloff

J. Appl. Non Class. Logics, 1992

On the Expressive Power of Modal Logics on Trees.

Bernd-Holger Schlingloff

Proceedings of the Logical Foundations of Computer Science, 1992

1990

Zur temporalen Logik von Bäumen.

Bernd-Holger Schlingloff

PhD thesis, 1990