Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHolger 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
Books and Theses
- 2022
[b2]Markus Roggenbach
, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh:
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- 1990
- [b1]Bernd-Holger Schlingloff:
Zur temporalen Logik von Bäumen. Technical University Munich, Germany, 1990, pp. 1-189
Journal Articles
- 2024
- [j15]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: 109621 (2024) - 2023
- [j14]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: 104967 (2023) - 2021
- [j13]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): 8 (2021) - [j12]Holger Schlingloff, Wojciech Penczek:
Preface. Fundam. Informaticae 179(2) (2021) - 2019
- [j11]Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski:
Preface. Fundam. Informaticae 165(3-4): i-iii (2019) - [j10]Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang:
Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34(4): 173-175 (2019) - 2018
- [j9]Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen:
Preface. Fundam. Informaticae 157(4): i-ii (2018) - 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) - 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) - 2008
- [j4]Holger Schlingloff, Mario Friske, Herbert Barthel:
Verifkation und Test des PROFIsafe-Sicherheitsprofils. Softwaretechnik-Trends 28(1) (2008) - 2000
- [j3]Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff:
Editorial. Log. J. IGPL 8(3): 231-237 (2000) - 1997
- [j2]Tomohiro Yoneda, Bernd-Holger Schlingloff:
Efficient Verification of Parallel Real-Time Systems. Formal Methods Syst. Des. 11(2): 187-215 (1997) - 1992
- [j1]Bernd-Holger Schlingloff:
Expressive completeness of temporal logic of trees. J. Appl. Non Class. Logics 2(2): 157-180 (1992)
Conference and Workshop Papers
- 2023
- [c43]Björn Wudka, Carsten Thomas, Bernd-Holger Schlingloff:
A Cooperative Decentralised Optimization Method for Vehicle Platooning. DCAI (3) 2023: 71-81 - 2022
- [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 - 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, Niels Hoppe:
A Framework for Cloud-based Testing of Multi-variant Cyber-physical Systems. MECO 2021: 1-4 - 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, Peter M. Kruse, Mehrdad Saadatmand:
Excellence in variant testing. VaMoS 2020: 12:1-12:2 - 2019
- [c36]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:
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
- [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 - 2016
- [c32]Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga:
Collaborative embedded systems - a case study. EITEC@CPSWeek 2016: 17-22 - 2015
- [c31]Ming Chai, Bernd-Holger Schlingloff:
Monitoring with Parametrized Extended Life Sequence Charts. CS&P 2015: 88-102 - 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, Bernd-Holger Schlingloff:
On the use of test cases in model-based software product line development. SPLC 2014: 247-251 - 2013
- [c25]Ming Chai, Holger Schlingloff:
A Rewriting Based Monitoring Algorithm for TPTL. CS&P 2013: 61-72 - 2012
- [c24]Hartmut Lackner, Holger Schlingloff:
Modeling for automated test generation - a comparison. MBEES 2012: 57-70 - 2010
- [c23]Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff:
Finding Uniform Strategies for Multi-agent Systems. CLIMA 2010: 135-152 - 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, Bernd-Holger Schlingloff:
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 - 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, Bernd-Holger Schlingloff:
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78 - [c11]Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt:
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 - 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, Helena Szczerbicka:
Performability analysis of an avionics-interface. SMC 1998: 499-504 - 1997
- [c3]Bernd-Holger Schlingloff:
Modelling Message Buffers with Binary Decision Diagrams. RelMiCS 1997: 101-111 - 1993
- [c2]Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke:
Efficient Verification of Parallel Real-Time Systems. CAV 1993: 321-346 - 1992
- [c1]Bernd-Holger Schlingloff:
On the Expressive Power of Modal Logics on Trees. LFCS 1992: 441-451
Parts in Books or Collections
- 2021
- [p10]Holger Schlingloff:
CrESt Use Cases. Model-Based Engineering of Collaborative Embedded Systems 2021: 1-14 - [p9]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:
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 - 2016
- [p7]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:
Variant Management and Reuse. Advanced Model-Based Engineering of Embedded Systems 2016: 197-222 - 2012
- [p6]Hendrik Heinze, Khalid Kallow, Hartmut Lackner, Sadegh Sadeghipour, Holger Schlingloff, Salko Tahirbegovic, Hans-Werner Wiesbrock:
Application and Evaluation in the Healthcare Domain. Model-Based Engineering of Embedded Systems 2012: 215-230 - 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 - 2008
- [p3]Bernd-Holger Schlingloff:
Zyklensuche in Graphen. Taschenbuch der Algorithmen 2008: 83-93 - 2001
- [p2]Edmund M. Clarke, Bernd-Holger Schlingloff:
Model Checking. Handbook of Automated Reasoning 2001: 1635-1790 - 1997
- [p1]Holger Schlingloff, Wolfgang Heinle:
Relation Algebra and Modal Logics. Relational Methods in Computer Science 1997: 70-89
Editorship
- 2023
- [e13]Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron:
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
- [e12]Bernd-Holger Schlingloff, Ming Chai:
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
- [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] - 2018
- [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] - 2016
- [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
- [e7]Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff:
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. EPTCS 180, 2015 [contents] - 2014
- [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
- [e5]Alexander K. Petrenko, Holger Schlingloff:
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013 [contents] - 2012
- [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
- [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] - 2008
- [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]
Informal and Other Publications
- 2020
- [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, 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 abs/2010.05708 (2020) - 2013
- [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) - 2008
- [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
Coauthor Index
a service of 
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-03-24 02:51 CET 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:
