Остановите войну!
for scientists:
default search action
Holger Schlingloff
- > Home > Persons > Holger Schlingloff
Publications
- 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) - [c43]Björn Wudka, Carsten Thomas, Bernd-Holger Schlingloff:
A Cooperative Decentralised Optimization Method for Vehicle Platooning. DCAI (3) 2023: 71-81 - [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
- [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 - [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
- [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) - [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 - [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 - [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 - [c37]Holger Schlingloff, Peter M. Kruse, Mehrdad Saadatmand:
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, 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) - 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) - [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 - 2018
- [j9]Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen:
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 - [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) - 2016
- [c32]Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga:
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, Sebastian Schröck, Christoph Schulze, Michael Schulze, Stephan Weißleder:
Variant Management and Reuse. Advanced Model-Based Engineering of Embedded Systems 2016: 197-222 - 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) - [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
- [c30]Stephan Weißleder, Holger Schlingloff:
An Evaluation of Model-Based Testing in Embedded Applications. ICST 2014: 223-232 - [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 - [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] - [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, Salko Tahirbegovic, Hans-Werner Wiesbrock:
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
- [p4]Stephan Weißleder, Holger Schlingloff:
Automatic Model-Based Test Generation from UML State Machines. Model-Based Testing for Embedded Systems 2011 - 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, Bernd-Holger Schlingloff:
Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158 - [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, 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
- [c9]Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff:
Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003: 166-173 - 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) - 1998
- [c6]Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff:
Verification of Bounded Delay Asynchronous Circuits with Timed Traces. AMAST 1998: 59-73 - 1997
- [j2]Tomohiro Yoneda, Bernd-Holger Schlingloff:
Efficient Verification of Parallel Real-Time Systems. Formal Methods Syst. Des. 11(2): 187-215 (1997) - [p1]Holger Schlingloff, Wolfgang Heinle:
Relation Algebra and Modal Logics. Relational Methods in Computer Science 1997: 70-89 - 1993
- [c2]Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke:
Efficient Verification of Parallel Real-Time Systems. CAV 1993: 321-346
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-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint