Holger Schlingloff

33 papers A 1B 1C 2Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
About Opportunities and Challenges in Model-Driven Engineering for Digital Twins - (Extended Abstract).
Modellierung
Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoît Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Muñoz Ariza, Alfonso Pierantonio, Fiona A. C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe
2025 J jnl
Model-Driven Engineering for Digital Twins: Opportunities and Challenges.
Syst. Eng.
Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoît Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Muñoz Ariza, Alfonso Pierantonio, Fiona A. C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe
2022 C conf
SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development.
DSD
Mehrdad Saadatmand, Eduard Paul Enoiu, Holger Schlingloff, Michael Felderer, Wasif Afzal
2021 — ch.
CrESt Use Cases.
Model-Based Engineering of Collaborative Embedded Systems
Holger Schlingloff
2021 — ch.
Creating Trust in Collaborative Embedded Systems.
Model-Based Engineering of Collaborative Embedded Systems
Samira Akili, Emilia Cioroaica, Thomas Kuhn, Holger Schlingloff
2021 — ch.
Goal-Based Strategy Exploration.
Model-Based Engineering of Collaborative Embedded Systems
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
2021 J jnl
Preface.
Fundam. Informaticae
Holger Schlingloff, Wojciech Penczek
2021 — ed.
Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021.
CS&P
Holger Schlingloff, Thomas Vogel
2020 — conf
Excellence in variant testing.
VaMoS
Holger Schlingloff, Peter M. Kruse, Mehrdad Saadatmand
2020 — conf
ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems.
ICST Workshops
Jeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff
2019 J jnl
Preface.
Fundam. Informaticae
Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski
2018 — ed.
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018.
Modellierung (Workshops)
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
2018 — conf
Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic.
CASE
Felix Lorenz, Holger Schlingloff
2018 J jnl
Preface.
Fundam. Informaticae
Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen
2016 — ch.
Variant Management and Reuse.
Advanced Model-Based Engineering of Embedded Systems
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
2014 A conf
An Evaluation of Model-Based Testing in Embedded Applications.
ICST
Stephan Weißleder, Holger Schlingloff
2014 — ed.
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014.
MBT
Holger Schlingloff, Alexander K. Petrenko
2013 — conf
A Rewriting Based Monitoring Algorithm for TPTL.
CS&P
Ming Chai, Holger Schlingloff
2013 — ed.
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013.
MBT
Alexander K. Petrenko, Holger Schlingloff
2013 J jnl
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).
Dagstuhl Reports
Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff
2012 — ch.
Application and Evaluation in the Healthcare Domain.
Model-Based Engineering of Embedded Systems
Hendrik Heinze, Khalid Kallow, Hartmut Lackner, Sadegh Sadeghipour, Holger Schlingloff, Salko Tahirbegovic, Hans-Werner Wiesbrock
2012 — conf
Modeling for automated test generation - a comparison.
MBEES
Hartmut Lackner, Holger Schlingloff
2012 — ed.
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.
MBT
Alexander K. Petrenko, Holger Schlingloff
2012 C ed.
Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin
Software Engineering (Workshops)
Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff
2011 — ed.
41. Jahrestagung der Gesellschaft für Informatik, Informatik schafft Communities, INFORMATIK 2011, Berlin, Germany, October 4-7, 2011, Abstract Proceedings
GI-Jahrestagung
Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider
2011 — ch.
Automatic Model-Based Test Generation from UML State Machines.
Model-Based Testing for Embedded Systems
Stephan Weißleder, Holger Schlingloff
2011 — ch.
Cycles in Graphs.
Algorithms Unplugged
Holger Schlingloff
2008 — conf
08351 Abstracts Collection - Evolutionary Test Generation.
Evolutionary Test Generation
Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener
2008 — conf
08351 Summary - Evolutionary Test Generation.
Evolutionary Test Generation
Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener
2008 — ed.
Evolutionary Test Generation, 24.08. - 29.08.2008
Evolutionary Test Generation
Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener
2008 J jnl
Verifkation und Test des PROFIsafe-Sicherheitsprofils.
Softwaretechnik-Trends
Holger Schlingloff, Mario Friske, Herbert Barthel
1998 B conf
Performability analysis of an avionics-interface.
SMC
Lutz Twele, Holger Schlingloff, Helena Szczerbicka
1997 — ch.
Relation Algebra and Modal Logics.
Relational Methods in Computer Science
Holger Schlingloff, Wolfgang Heinle