Publikationen von Prof. Dr. Bernd-Holger Schlingloff
M. Fisher, V. Mascardi, K. Rozier, H. Schlingloff, M. Winikoff and N. Yorke-Smith: Towards a Framework for Certification of Reliable Autonomous Systems.
In: Autonomous Agents and Multi-Agent 35.8 (2021)
available as PDF (2044 KB)
P. Obe, J. Brings, M. Daun, L. Feeken, E. Mirzaei, M. Neumann, J. Nickles, S. Rösel, M. Sauer, H. Schlingloff, I. Stierand, and J. Zernickel: Goal-Based Strategy Exploration.
Chapter 10 in Model-Based Engineering of Collaborative Embedded Systems, Böhm, W., Broy, M., Klein, C., Pohl, K., Rumpe, B., Schröck, S. (Eds.), Springer (2021)
available as PDF (1100 KB)
S. Akili, E. Cioroica, Th. Kuhn, and H. Schlingloff: Creating Trust in Collaborative Embedded Systems.
Chapter 10 in Model-Based Engineering of Collaborative Embedded Systems, Böhm, W., Broy, M., Klein, C., Pohl, K., Rumpe, B., Schröck, S. (Eds.), Springer (2021)
available as PDF (1926 KB)
H. Schlingloff: Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems.
In. Proc. ISoLA 2020(2021) available as PDF (2068 KB)
H. Schlingloff, P. Kruse, and M. Saadatmand: Excellence in Variant Testing.
Short paper in VaMoS 2020 - 14th International Working Conference on Variability Modelling of Software-Intensive Systems, February 05 – 07, 2020 | Magdeburg, Germany
available as PDF (476 KB)
B. Rumpe, I. Schaefer, H. Schlingloff, A. Vogelsang: Engineering Collaborative Embedded Systems.
Editorial, SICS Software-Intensive Cyber-Physical Systems (2019) 34:173–175
available as PDF (162 KB)
H. Schlingloff: Teaching Model Checking via Games and Puzzles.
In FMFun-2019 - 1st International Workshop "Formal Methods - Fun for Everybody", Co-located with iFM 2019, Bergen, Norway, 2-3 December 2019
available as PDF (1121 KB)
H. Schlingloff: Specification and Verification of Collaborative Transport Robots.
Invited paper for EITEC 2018 - 4th International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems. Cyber-Physical Systems Week, Porto, Apr. 2018
available as PDF (1206 KB)
F. Lorenz, H. Schlingloff: Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic.
In: CASE 2018 - 14th IEEE International Conference on Automation Science and Engineering, Special Session on Engineering Methods and Tools for the Development of Collaboration-intensive Cyber Physical Systems. München, Aug. 2018.
available as PDF (546 KB)
R. Arai, H. Schlingloff: Model-based Performance Prediction.
In: Proc. 25th CS&P 2017 - Concurrency, Specification and Programming. Warsaw, Sept. 2017.
available as PDF (275 KB)
C. Ming, H. Schlingloff: Monitoring with Parametrized Extended Life Sequence Charts.
In: Fundamenta Informaticae, Vol. 153(3), pp. 173-198, IOS Press 2017. (Significally enhanced version of CS&P-Article below)
available as PDF (2638 KB)
H. Lackner, H. Schlingloff: Advances in Testing Software Product Lines.
In: Advances in Computers, vol. 107, ch. 5, (Atif Memon, ed.) 55 pp.,
Elsevier, Sept. 2017.
Preprint available as PDF (1999 KB)
H. Schlingloff, H. Stubert, and W. Jamroga: Collaborative Embedded Systems – A Case Study.
In: Proc. EITEC 2016 - 3rd Int. Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems. CPS-Week, Wien, Apr. 2016.
Preprint available as PDF. (984 KB)
H. Schlingloff: Cyber-Physical Systems Engineering.
Chapter 8 in: Trustworthy Software System Engineering - Advanced Lectures Notes. (Zhiming Liu, ed.)
Springer LNCS 9506, 2016.
Preprint available as PDF (1100 KB)
J. Taylor, A. Knapp, M. Roggenbach and H. Schlingloff: Automation of Test Case Assessment in Software Product Lines — Experiences and Open Questions.
Research idea at FMICS-AVoCS 2016, Pisa, Italy, Sept. 26-28 2016; In: Technical Report 2016-TR-010, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2016.
Available as
PDF (185 KB)
M. Chai and H. Schlingloff: System Monitoring with a Five-valued LTL.
Accepted for: Journal of Multiple-Valued Logic & Soft Computing Article number D410, Old City Publishing, Inc., 2016.
(Extended and revised version of ISVML'14 article below)
Available as
PDF (544 KB)
M. Chai and H. Schlingloff: Monitoring with Parametrized extended Life Sequence Charts.
In: Proc. 24th CS&P 2015 - Concurrency, Specification and Programming. Rzeszów, Sept. 2015, pp. 88-102.
Available as
PDF (780 KB)
M. Chai and H. Schlingloff: Monitoring Systems with Extended Live Sequence Charts.
In: Proc. RV 2014
- 14th International Conference on Runtime Verification 2014. Toronto, 22.-25. Sept. 2014.
Extended case study available as
PDF
Available as
PDF (544 KB)
A. Knapp, M. Roggenbach and H. Schlingloff: On the Use of Test Cases in Model-Based Software Product Line Development.
In: Proc. SPLC 2014
- 18th International Software Product Line Conference. Florence, 15.-19. Sept. 2014.
Available as
PDF (282 KB)
M. Chai and H. Schlingloff: Online Monitoring of Distributed Systems with a Five Valued LTL.
In: Proc. ISVML 2014
- IEEE International Symposium on Multiple-Valued Logic. Bremen, 19.-21. Mai 2014.
Available as
PDF (267 KB)
S. Weißleder and H. Schlingloff: An Evaluation of Model-Based Testing in Embedded Applications.
In: Proc. ICST 2014
- Seventh IEEE International Conference on Software Testing, Verification and Validation. Cleveland, Ohio, Mar 31 - Apr 4, 2014.
Available as
PDF (512 KB)
H. Schlingloff: Towards a Curriculum for Model-Based Engineering of Embedded Systems.
In: MBEES 2014 -
10. Workshop Modellbasierte Entwicklung eingebetteter Systeme. Dagstuhl, 5.-7. März 2014.
Available as
PDF (113 KB)
M. Chai and H. Schlingloff: A Rewriting Based Monitoring Algorithm for TPTL.
In: Proc. 22nd CS&P 2013 - Concurrency, Specification and Programming. Warsow, Sept. 2013, pp. 61-72.
Available as
PDF (316 KB)
A. Knapp, L. O'Reilly, M. Roggenbach and H. Schlingloff: Simulating Timed UML2 Sequence Diagrams with Timed CSP.
In: Electronic Communications of the EASST, Vol. X (2013) (S. Schneider and H. Treharne, guest eds); ISSN 1863-2122.
Short paper at AVoCS 2013, Guildford, Surrey, UK, Sept. 2013
Available as
PDF (133 KB)
A. Cerone, M. Roggenbach, H. Schlingloff, G. Schneider and S. Shaikh: Teaching Formal Methods for Software Engineering – Ten Principles.
In: FWFM 2013 - Fun With Formal Methods, Workshop affiliated with the 25th Int. Conf. on Computer Aided Verification (CAV 2013), Russia, July 2013
Available as
PDF (263 KB)
L. Filippidis, H. Schlingloff: Structural Equation Modelling for Causal Analysis Applied to Transport Systems.
In: FORMS/FORMAT 2012 - 9th Int. Symp. on Formal Methods, Braunschweig, Dez. 2012
Available as
PDF (91 KB)
H. Lackner, H. Schlingloff: Modeling for Test Generation - A Comparison.
In: MBEES 2012 - 8th Dagstuhl-Workshop on Model-Based Development of Embedded Systems, Schloss Dagstuhl, Germany, Feb. 2012
Available as
PDF (517 KB)
S. Weißleder, H. Schlingloff: Automatic Model-Based Test Generation from UML State Machines.
Chapter 4 in: Model-Based Testing for Embedded Systems (J. Zander, I.Schieferdecker, P. Mosterman, eds.) CRC Press, 2011
Preprint available as
PDF (405 KB)
J. Calta, D. Shkatov, H. Schlingloff: Finding Uniform Strategies for Multi-Agent Systems.
In: CLIMA XI - Computational Logic in Multi-Agent Systems, Lisbon, Aug. 2010
Extended version in: Selected papers from CLIMA XI, Special Issue of Annals of Mathematics and Artificial Intelligence, Springer 2011
Available as
PDF (932 KB)
G. Holland, T. Kahsai, M. Roggenbach, H. Schlingloff: Towards formal testing of jet engine Rolls-Royce BR725.
In: CS&P 2009 - Concurrency, Specification and Programming. Krakow, Sept. 2009
Available as
PDF (342 KB)
H. Lackner, J. Svacina und H. Schlingloff: Test Case Generation from workflow-based Requirement Specification.
In: CS&P 2009; Krakow, Sept. 2009
Available as
PDF (328 KB)
T. Kahsai, M. Roggenbach, H. Schlingloff: Specification-Based Testing for Software Product Lines.
In: SEFM 2008 - Proc. 6th IEEE International Conference on. Software Engineering and Formal Methods, Cape Town, Nov. 2008
Available as
PDF (526 KB)
L. Filippidis, H. Schlingloff: CCNET - A Specification Language for Modelling Causality.
In: FORMS 2008, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems; 9-10. October 2008, Budapest, Hungary, 2008.
Available as
PDF (95 KB)
S. Mishra, H. Schlingloff: CMMI Process Area Compliance with Formal Specification Based Software Development.
In: SERA 2008, Software Engineering Research, Management and Applications; Aug. 20-22, 2008, Prague, Czech Republic; IEEE Computer Society Press, 2008.
Available as
PDF (122 KB)
S. Weißleder, D. Sokenou, H. Schlingloff: Reusing State Machines for Automatic Test Generation in Product Lines.
In: MoTiP 2008 - 1st Workshop on Model-based Testing in Practice.
June 12, 2008 – Berlin, Germany
Available as
PDF (380 KB)
S. Weißleder, H. Schlingloff: Quality of automatically generated test cases based on OCL expressions.
In: ICST 2008 - First Int. Conf. on Software Testing, Verification, and Validation, 9.4. - 11.4.2008, Lillehammer; IEEE Computer Society Report, 2008.
Available as
PDF (691 KB)
M. Friske, H. Schlingloff, S. Weißleder: Composition of Model-based Test Coverage Criteria.
In: MBEES 2008 - Model-Based Development of Embedded Systems, 7.4. - 10.4.2008, Dagstuhl; IPS-Bericht 2007-01, TU Braunschweig, pp.87-94
Available as
PDF (132 KB)
M. Friske, H. Schlingloff: Verifikation und Test des PROFIsafe-Sicherheitsprofils.
In: TAV 2007 - Fachgruppe Test, Analyse und Verifikation von Software, Stuttgart, Dez. 2007
Available as
PDF (115 KB)
H. Schlingloff, S. Weißleder: Automatic Test Generation from Coupled UML Models using Input Partitions.
In: MoDeVVA 2007 - 4th Int. Workshop on Model-Driven Engineering, Verification and Validation, Nashville, TN, Oct 2007 ( Best student paper award)
Available as
PDF (213 KB)
Extended version:
Deriving Input Partitions from UML Models for Automatic Test Generation;
In: Models in Software Engineering, Holger Giese (Ed.), Springer LNCS 5002
Available as
PDF (438 KB)
R. Mariani, F. Rauch, H. Schlingloff: White-box Analysis of a System-on-Chip in Accordance with IEC 61508.
In: VDI Conf. Electronic Systems for Vehicles, Baden-Baden 10. - 11. October 2007
S. Mishra, H. Schlingloff: Using Formal Specifications in the Implementation of CMMI.
In: CS&P 2007, Proc. 16th Int. Conf on Concurrency, Specification and Programming, Lagow, Poland, Sept. 2007
Available as
PDF (189 KB)
M. Friske, H. Schlingloff: Improving Test Coverage for UML State Machines using Transition Instrumentation.
In: SAFECOMP 2007, The International Conference on Computer Safety, Reliability and Security, Nürnberg, Sept 2007
Available as
PDF (180 KB)
T. Kahsai, M. Roggenbach, H. Schlingloff: Specification-Based Testing for Refinement.
In: SEFM 2007 - Proc. 5th IEEE International Conference on. Software Engineering and Formal Methods , London, Aug. 2007
Available as
PDF (267 KB)
S. Mishra, H. Schlingloff: CMMI und spezifikationsbasierte Entwicklung.
In: SEE 2007 - Proc. Conf. Software & Systems Engineering Essentials, München, Juni 2007; TU Clausthal,
Technical Report IfI-07-07
Presentation available as
PDF (593 KB)
R. Hänisch, H. Schlingloff: Dynamic Upload of Model-Based Diagnosis for Pico-Satellites.
In DASIA07
- Data Systems in Aerospace, Naples, Italy, May 2007
Available as
DOC (314 KB)
M. Friske, H. Schlingloff: Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen.
In: MBEES 2007 - Model-Based Development of Embedded Systems, 15. - 18.01.2007, Dagstuhl; Informatik-Bericht 2007-01, TU Braunschweig, pp.113-132
Available as
PDF (164 KB)
M. Friske, H. Schlingloff: Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.
In: H. Giese, B. Rumpe, B. Schätz (Eds.): MBEES 2006 - Model Based Engineering of Embedded Systems II, Dagstuhl-Workshop, TU Braunschweig Report TUBS-SSE 2006-01, Jan. 2006
Available as
PDF (146 KB)
H. Schlingloff, S. Vulinovic: Model Based Dependability Evaluation for Automotive Control Functions.
In SimSafe05,
Modeling and simulation for public safety, P. Fritzson (ed.), Linköping, May 2005.
(This is a revised version of the German GI/ASIM article below.)
Available as
PDF (291 KB)
H. Schlingloff, S. Mishra: Loose Semantics in the Verification of Communicating Systems.
Note at AVIS'05 - Fourth International Workshop on
Automated Verification of Infinite-State Systems ; @ ETAPS 2005, Edinburgh, (Apr 2005).
Available as
PDF
(80 KB)
A. Martens, H. Schlingloff, K. Schmidt: Modeling and Model Checking Web Services.
In: ENTCS - Electronic Notes in Theoretical Computer Science; Volume 126, Pages 1-114,
Elsevier (March 2005).
Issue on Logic and Communication in Multi-Agent Systems,
edited by W. van der Hoek; A. Lomuscio; E. de Vink; M. Wooldridge.
Available as
PDF
at the
Elsevier ENTCS page (466 KB)
S. Vulinovic, H. Schlingloff : Zuverlässigkeitsprüfung eingebetteter Steuergeräte mit modellgetriebener Fehlerinjektion.
In: ASIM/GI-Tagung "Simulations- und Testmethoden für Software in Fahrzeugsystemen"
Berlin (März 2005).
Available as
PDF (156 KB)
M. Friske, H. Schlingloff: Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.
In: MBEES - Model Based Engineering of Embedded Systems Dagstuhl (Jan. 2005).
T. Klein, B. Rumpe, B. Schätz (eds.); TU Braunschweig Report TUBS-SSE 2005-01; VII, 203 S.
Available as
PDF (97 KB)
H. Schlingloff, M. Conrad, H. Dörr, C. Sühl: Modellbasierte Steuergerätesoftwareentwicklung für den Automobilbereich.
In: GI-Tagung "Automotive Safety and Security 2004 - Sicherheit und
Zuverlässigkeit für automobile Informationstechnik" Stuttgart (Oct. 2004).
Available as
PDF (221 KB)
H. Schlingloff, C. Sühl, H. Dörr, M. Conrad, J. Stroop, S. Sadeghipour, M. Kühl, F. Rammig and G. Engels: Eine integrierte Methodik zur modellbasierten Steuergeräteentwicklung.
In: BMBF-Workshop "Software Engineering 2006" Berlin (July 2004).
Available as
PDF (201 KB)
A. Gimblett, M. Roggenbach, and H. Schlingloff: Towards a Formal Specification of Electronic Payment Systems in CSP-CASL.
Selected papers from "WADT 2004. 17th International Workshop on Algebraic Development Techniques" Barcelona, Spain. (March 2004). Springer LNCS 3423, pp. 61-78 (2005)
Available as
PDF (305 KB)
H. Schlingloff und S. Vulinovic: Applikationsgeführte softwareinduzierte Fehlerinjektion eines fehlertoleranten Stellwerkscomputers.
In: 16th ITG/GI/GMM Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", FhG IAS/EAS, Dresden (Feb. 2004).
Available as
PDF (197 KB)
M. Franceschet, M. deRijke, and H. Schlingloff: Hybrid Logics on Linear Structures: Expressivity and Complexity.
In: "TIME/ICTL 2003. 4th International Conference on Temporal Logic" (July 2003). Cairns, Queensland, Australia. IEEE Computer Society Press, 2003
Available as
PDF (197 KB)
M. Frey, H. Schlingloff: Conformance of Distributed Systems.
In: "TestCom 2003: Next Generation Testing for Next Generation Networks".
15th IFIP International Conference on Testing of Communicating Systems,
Sophia Antipolis, France, May 26-28, 2003, Springer LNCS 2644 (May 2003).
Available as
PDF (277 KB)
Presentation available as
PDF (277 KB)
J. Bredereke, H. Schlingloff: An Automated, Flexible Testing Environment for UMTS.
In "Testing Internet Technologies and Services". Kluwer Academic Publishers (2002).
Available as
PDF (225 KB)
Abstract available as
HTML (9 KB)
Presentation available as
PDF
J. Bredereke, H. Schlingloff: Specification Based Testing of the UMTS Protocol Stack. Proc. 14th Int. Software & Internet Quality Week - QW2001, San Francisco (May 2001).
Available as
PDF (262 KB)
Viewgraphs available as
PDF (303 KB).
Abstract also available as
HTML (9 KB)
H. Schlingloff: Partial State Space Analysis of Safety-Critical Systems. Habilitation Thesis, University of Bremen (Jun. 2001)
Available as
PDF
B. Zhou, T. Yoneda, H. Schlingloff: Conformance and Mirroring for Timed Asynchronous Circuits. Proc. Asia and South Pacific Design Automation Conference 2001 (ASP-DAC2001) (preliminary version, Dec. 2000)
Available as
PDF
H. Schlingloff: Lecture Notes on Logic and Theoretical Computer Science. Proc. Int. Conf. on Logic, Universal Algebra and Theoretical Computer Science (LUATCS 99), Johannesburg, South Africa (Dec. 1999)
Available as
PDF
E.M. Clarke, H. Schlingloff: Model Checking.
Chapter 21 in Alan Robinson and Andrei Voronkov (eds.),
Handbook of Automated Reasoning; Elsevier Science Publishers B.V., pp. 1367 - 1522 (2000)
Available as
PDF
H. Schlingloff, O. Meyer, Th. Hülsing: Correctness Analysis of an Embedded Controller. Proc. Int. Conf. on Data Systems in Aerospace (DASIA 99), Lissabon (May 1999)
Available as
PDF (347 KB)
German version: Korrektheitsanalyse eingebetteter Systeme.
Available as
PDF (633 KB)
I. Honma, H. Schlingloff, T. Yoneda: Verification of bounded delay asynchronous circuits with timed traces. Proc. 7th Int. Conf. on Algebraic Methodology and Software Technology
(AMAST'98), Amazonia, Brazil,
Springer LNCS (Jan. 1999)
Available as
PDF (564 KB)
H. Schlingloff: Model Checking for Industrial Applications. Tutorial, 2nd Int. Conf. on Formal Engineering Methods
(ICFEM'98), Brisbane, Australia (Dec. 1998)
Available as
PDF
L. Twele, H. Schlingloff, H. Szczerbicka: Performability Analysis of an Avionics-Interface. Proc. IEEE Conf. on Systems, Man and Cybernetics; San Diego, N.J., pp. 499-504, (Oct. 1998)
Available as
PDF
M. Frey, H. Schlingloff: On-the-Fly Model Checking of Program Runs for Automated Debugging. Proc. 24th IEEE Euromicro Conf. Workshop on Dependable Computing Systems, Vasteras,
Sweden, pp. 426-434, (Aug. 1998)
Available as
PDF
H. Schlingloff: Modelling Message Buffers with Binary Decision Diagrams. Proc. 3rd RelMiCS '97, Hammamet, Tunesia;
Reappeared in:
Using Relations in Computer Science,
A. Jaoua, P. Kempf, G. Schmidt (eds.), Technical Report 98/03, Univ. d. Bundeswehr, Munich (1998)
Available as
PDF
T. Yoneda, H. Schlingloff: Efficient Verification of Parallel Real-Time Systems. Journal of Formal Methods in System Design 11-2, pp. 187-215, (1997)
Available as
PDF
H. Schlingloff, W. Heinle: Relation Algebra and Modal Logics. Relational Methods in Computer Science, C. Brink, W. Kahl and G. Schmidt
(eds), pp. 70-89, Springer Advances in Computing (1997)
Available as
PDF
H. Schlingloff: Verification of Finite-State Systems with Temporal Logic Model Checking. Proc. 3rd WoFACS, Cape Town, South Africa(1996);
South African Computer Journal 19, pp. 27-52 (1997)
Available as
PDF
H. Schlingloff, W. Heinle: Relational Semantics for Modal Logics. Proc. Verif. in New Orientation, Rep. St. 03/95, pp. 104-131, Univ. Maribor (1995)
Available as
PDF
H. Schlingloff: Efficient Local and Global Model Checking with SYMPAS (abstract).
Abstract available as
PDF
H. Schlingloff, W. Heinle: Modal Rule Correspondences. Dagstuhl Seminar report 9403 (1994).
Not available online
T. Yoneda, A. Shibayama, H. Schlingloff, E. Clarke: Efficient Verification of Parallel Real-Time Systems. Proc. Int. Conf. on Computer Aided Verification (CAV '93), Springer LNCS 697, pp. 321-332 (1993)
Available as
PDF
T. Yoneda, H. Schlingloff: Model Checking for Petri Nets and Linear Temporal Logic using Partial Orders. Proc. IEICE Conf. Fault Tolerant Systems '92, tech. report FTS92-01, Institute of
Electronics, Information, and Communication Engineers; Kyoto (1992).
Available as
PDF
H. Schlingloff: On the Expressive Power of Modal Logic on Trees. Proc. Int. Conf. on Logical Foundations of Computer Science (LFCS '92), Logic at Tver, Springer LNCS 620, pp. 441-451 (1992)
Available as
PDF
H. Schlingloff: Expressive Completeness of Temporal Logic of Trees. Journal of Applied Non-Classical Logics, Vol.2-2, pp. 157-180 (1992)
Available as
PDF
H. Schlingloff: Zur temporalen Logik von Bäumen. Dissertation, TU München, Technical Report TUM-I9012, 189 pages (Mar. 1990)
Available by request
H. Schlingloff, F. Kröger: Transforming Temporal Logic Specifications. TU München, Technical Report TUM-I8812 (1988)
Not available online