default search action
Holger Schlingloff
Bernd-Holger Schlingloff
Person information
- affiliation: Humboldt University of Berlin, Department of Computer Science
- affiliation: Fraunhofer Institute for Open Communication Systems (FOKUS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j16]Ming Chai
, Xinyi Zhang
Online hazard prediction of train operations with parametric hybrid automata based runtime verification. Reliab. Eng. Syst. Saf. 241: 109621 (2024) - [j15]Bernd-Holger Schlingloff, Ming Chai:
Guest editorial to the special section on SEFM'22. Softw. Syst. Model. 23(3): 603-604 (2024) - 2023
- [j14]Mehrdad Saadatmand
SmartDelta project: Automated quality assurance and optimization across product versions and variants. Microprocess. Microsystems 103: 104967 (2023) - [c43]Björn Wudka
A Cooperative Decentralised Optimization Method for Vehicle Platooning. DCAI (3) 2023: 71-81 - [e13]Bernd-Holger Schlingloff
Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany. Studies in Computational Intelligence 1091, Springer 2023, ISBN 978-3-031-26650-8 [contents] - 2022
- [b2]Markus Roggenbach
Formal Methods for Software Engineering - Languages, Methods, Application Domains. Texts in Theoretical Computer Science. An EATCS Series, Springer 2022, ISBN 978-3-030-38799-0, pp. 1-488 - [c42]Mehrdad Saadatmand, Eduard Paul Enoiu, Holger Schlingloff, Michael Felderer, Wasif Afzal:
SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development. DSD 2022: 754-760 - [e12]Bernd-Holger Schlingloff
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings. Lecture Notes in Computer Science 13550, Springer 2022, ISBN 978-3-031-17107-9 [contents] - 2021
- [j13]Michael Fisher
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35(1): 8 (2021) - [j12]Holger Schlingloff
Preface. Fundam. Informaticae 179(2) (2021) - [c41]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: 1733-1734 - [c40]Bernd-Holger Schlingloff
A Framework for Cloud-based Testing of Multi-variant Cyber-physical Systems. MECO 2021: 1-4 - [p10]Holger Schlingloff
CrESt Use Cases. Model-Based Engineering of Collaborative Embedded Systems 2021: 1-14 - [p9]Patricia Aluko Obe, Jennifer Brings, Marian Daun
Goal-Based Strategy Exploration. Model-Based Engineering of Collaborative Embedded Systems 2021: 197-216 - [p8]Samira Akili, Emilia Cioroaica, Thomas Kuhn, Holger Schlingloff
Creating Trust in Collaborative Embedded Systems. Model-Based Engineering of Collaborative Embedded Systems 2021: 217-238 - [e11]Holger Schlingloff, Thomas Vogel:
Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021. CEUR Workshop Proceedings 2951, CEUR-WS.org 2021 [contents] - 2020
- [c39]Jeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff
ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems. ICST Workshops 2020: xxvii - [c38]Bernd-Holger Schlingloff
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. ISoLA (3) 2020: 366-385 - [c37]Holger Schlingloff
Excellence in variant testing. VaMoS 2020: 12:1-12:2 - [i5]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 abs/2001.09124 (2020) - [i4]Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR abs/2010.05708 (2020)
2010 – 2019
- 2019
- [j11]Wojciech Penczek
Preface. Fundam. Informaticae 165(3-4): i-iii (2019) - [j10]Bernhard Rumpe
Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34(4): 173-175 (2019) - [c36]Antonio Cerone
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun 2019: 1-26 - [c35]Bernd-Holger Schlingloff
Teaching Model Checking via Games and Puzzles. FMFun 2019: 143-158 - 2018
- [j9]Ludwik Czaja, Wojciech Penczek
Preface. Fundam. Informaticae 157(4): i-ii (2018) - [c34]Felix Lorenz, Holger Schlingloff
Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic. CASE 2018: 1093-1098 - [c33]Bernd-Holger Schlingloff
Specification and Verification of Collaborative Transport Robots. EITEC@CPSWeek 2018: 3-8 - [e10]Bernd-Holger Schlingloff, Samira Akili:
Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. CEUR Workshop Proceedings 2240, CEUR-WS.org 2018 [contents] - [e9]Ina Schaefer, Loek Cleophas, Michael Felderer, Steffen Becker, Wolfgang Böhm, Dirk Fahland, Hans-Georg Fill, Robert Heinrich, Kathrin Kirchner, Michael Köhler-Bußmeier, Marco Konersmann, Heinrich C. Mayr, Daniel Moldt, Andreas Oberweis, Felix Reher, Matthias Riebisch, Stefan Sauer, Holger Schlingloff, Bernhard Thalheim, Andreas Vogelsang, Rüdiger Weißbach, Thorsten Weyer:
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings 2060, CEUR-WS.org 2018 [contents] - 2017
- [j8]Hartmut Lackner, Bernd-Holger Schlingloff
Chapter Four - Advances in Testing Software Product Lines. Adv. Comput. 107: 157-217 (2017) - [j7]Ming Chai, Bernd-Holger Schlingloff
Monitoring with Parametrized Extended Life Sequence Charts. Fundam. Informaticae 153(3): 173-198 (2017) - 2016
- [j6]Ming Chai, Bernd-Holger Schlingloff:
System Monitoring with a Five-valued LTL. J. Multiple Valued Log. Soft Comput. 26(1-2): 33-54 (2016) - [c32]Bernd-Holger Schlingloff
Collaborative embedded systems - a case study. EITEC@CPSWeek 2016: 17-22 - [p7]Ina Schaefer, André Heuer, Michael Himsolt, Tobias Jäger, Tobias Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, Holger Schlingloff
Variant Management and Reuse. Advanced Model-Based Engineering of Embedded Systems 2016: 197-222 - [e8]Bernd-Holger Schlingloff:
Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. CEUR Workshop Proceedings 1698, CEUR-WS.org 2016 [contents] - 2015
- [j5]Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff:
Automating Test Case Selection in Model-Based Software Product Line Development. Int. J. Softw. Informatics 9(2): 153-175 (2015) - [c31]Ming Chai, Bernd-Holger Schlingloff:
Monitoring with Parametrized Extended Life Sequence Charts. CS&P 2015: 88-102 - [e7]Nikolay V. Pakulin
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. EPTCS 180, 2015 [contents] - 2014
- [c30]Stephan Weißleder, Holger Schlingloff
An Evaluation of Model-Based Testing in Embedded Applications. ICST 2014: 223-232 - [c29]Ming Chai, Bernd-Holger Schlingloff
Online Monitoring of Distributed Systems with a Five-Valued LTL. ISMVL 2014: 226-231 - [c28]Ming Chai, Bernd-Holger Schlingloff
Monitoring Systems with Extended Live Sequence Charts. RV 2014: 48-63 - [c27]Bernd-Holger Schlingloff
Cyber-Physical Systems Engineering. SETSS 2014: 256-289 - [c26]Alexander Knapp, Markus Roggenbach
On the use of test cases in model-based software product line development. SPLC 2014: 247-251 - [e6]Holger Schlingloff, Alexander K. Petrenko:
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. EPTCS 141, 2014 [contents] - 2013
- [c25]Ming Chai, Holger Schlingloff:
A Rewriting Based Monitoring Algorithm for TPTL. CS&P 2013: 61-72 - [e5]Alexander K. Petrenko, Holger Schlingloff
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013 [contents] - [i3]Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). Dagstuhl Reports 3(4): 151-187 (2013) - 2012
- [c24]Hartmut Lackner, Holger Schlingloff:
Modeling for automated test generation - a comparison. MBEES 2012: 57-70 - [p6]Hendrik Heinze, Khalid Kallow, Hartmut Lackner, Sadegh Sadeghipour, Holger Schlingloff
Application and Evaluation in the Healthcare Domain. Model-Based Engineering of Embedded Systems 2012: 215-230 - [e4]Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff:
Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. LNI P-199, GI 2012, ISBN 978-3-88579-293-2 [contents] - [e3]Alexander K. Petrenko, Holger Schlingloff:
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. EPTCS 80, 2012 [contents] - 2011
- [p5]Holger Schlingloff
Cycles in Graphs. Algorithms Unplugged 2011: 77-88 - [p4]Stephan Weißleder, Holger Schlingloff
Automatic Model-Based Test Generation from UML State Machines. Model-Based Testing for Embedded Systems 2011 - [e2]Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider:
41. Jahrestagung der Gesellschaft für Informatik, Informatik schafft Communities, INFORMATIK 2011, Berlin, Germany, October 4-7, 2011, Abstract Proceedings. LNI P-192, GI 2011, ISBN 978-88579-286-4-7 [contents] - 2010
- [c23]Jan Calta, Dmitry Shkatov
Finding Uniform Strategies for Multi-agent Systems. CLIMA 2010: 135-152
2000 – 2009
- 2008
- [j4]Holger Schlingloff, Mario Friske, Herbert Barthel:
Verifkation und Test des PROFIsafe-Sicherheitsprofils. Softwaretechnik-Trends 28(1) (2008) - [c22]Stephan Weißleder, Bernd-Holger Schlingloff
Quality of Automatically Generated Test Cases based on OCL Expressions. ICST 2008: 517-520 - [c21]Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder:
Composition of Model-based Test Coverage Criteria. MBEES 2008: 87-94 - [c20]Temesghen Kahsai, Markus Roggenbach
Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158 - [c19]Satish Mishra, Bernd-Holger Schlingloff
Compliance of CMMI Process Area with Specification Based Development. SERA 2008: 77-84 - [p3]Bernd-Holger Schlingloff
Zyklensuche in Graphen. Taschenbuch der Algorithmen 2008: 83-93 - [e1]Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener:
Evolutionary Test Generation, 24.08. - 29.08.2008. Dagstuhl Seminar Proceedings 08351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i2]Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener:
08351 Abstracts Collection - Evolutionary Test Generation. Evolutionary Test Generation 2008 - [i1]Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener:
08351 Summary - Evolutionary Test Generation. Evolutionary Test Generation 2008 - 2007
- [c18]Mario Friske, Bernd-Holger Schlingloff:
Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen. MBEES 2007: 113-112 - [c17]Stephan Weißleder, Bernd-Holger Schlingloff
Deriving Input Partitions from UML Models for Automatic Test Generation. MoDELS (Workshops) 2007: 151-163 - [c16]Mario Friske, Bernd-Holger Schlingloff
Improving Test Coverage for UML State Machines Using Transition Instrumentation. SAFECOMP 2007: 301-314 - [c15]Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
Specification-based testing for refinement. SEFM 2007: 237-246 - 2006
- [c14]Mario Friske, Bernd-Holger Schlingloff:
Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven. MBEES 2006: 27-34 - 2005
- [c13]Mario Friske, Bernd-Holger Schlingloff:
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise. MBEES 2005: 1-10 - 2004
- [c12]Andy Gimblett, Markus Roggenbach
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78 - [c11]Bernd-Holger Schlingloff
Modeling and Model Checking Web Services. LCMAS 2004: 3-26 - 2003
- [c10]Maximilian Frey, Bernd-Holger Schlingloff
Conformance of Distributed Systems. TestCom 2003: 163-179 - [c9]Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff
Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003: 166-173 - 2002
- [c8]Jan Bredereke, Bernd-Holger Schlingloff:
An Automated, Flexible Testing Environment for UMTS. TestCom 2002: 79-94 - 2001
- [c7]Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff
Conformance and mirroring for timed asychronous circuits. ASP-DAC 2001: 341-346 - [p2]Edmund M. Clarke, Bernd-Holger Schlingloff
Model Checking. Handbook of Automated Reasoning 2001: 1635-1790 - 2000
- [j3]Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff:
Editorial. Log. J. IGPL 8(3): 231-237 (2000)
1990 – 1999
- 1998
- [c6]Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff
Verification of Bounded Delay Asynchronous Circuits with Timed Traces. AMAST 1998: 59-73 - [c5]Maximilian Frey, Bernd-Holger Schlingloff:
On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO 1998: 10426- - [c4]Lutz Twele, Holger Schlingloff
Performability analysis of an avionics-interface. SMC 1998: 499-504 - 1997
- [j2]Tomohiro Yoneda, Bernd-Holger Schlingloff
Efficient Verification of Parallel Real-Time Systems. Formal Methods Syst. Des. 11(2): 187-215 (1997) - [c3]Bernd-Holger Schlingloff:
Modelling Message Buffers with Binary Decision Diagrams. RelMiCS 1997: 101-111 - [p1]Holger Schlingloff
Relation Algebra and Modal Logics. Relational Methods in Computer Science 1997: 70-89 - 1993
- [c2]Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff
Efficient Verification of Parallel Real-Time Systems. CAV 1993: 321-346 - 1992
- [j1]Bernd-Holger Schlingloff
Expressive completeness of temporal logic of trees. J. Appl. Non Class. Logics 2(2): 157-180 (1992) - [c1]Bernd-Holger Schlingloff
On the Expressive Power of Modal Logics on Trees. LFCS 1992: 441-451 - 1990
- [b1]Bernd-Holger Schlingloff:
Zur temporalen Logik von Bäumen. Technical University Munich, Germany, 1990, pp. 1-189
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: