Holger Schlingloff

According to our database1, Holger Schlingloff authored at least 53 papers between 1990 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Preface.
Fundam. Inform., 2019

2018
Preface.
Fundam. Inform., 2018

Specification and Verification of Collaborative Transport Robots.
Proceedings of the 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems, 2018

Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
Chapter Four - Advances in Testing Software Product Lines.
Advances in Computers, 2017

2016
System Monitoring with a Five-valued LTL.
Multiple-Valued Logic and Soft Computing, 2016

Collaborative embedded systems - a case study.
Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016


2015
Automating Test Case Selection in Model-Based Software Product Line Development.
Int. J. Software and Informatics, 2015

Monitoring with Parametrized Extended Life Sequence Charts.
Proceedings of the 24th International Workshop on Concurrency, 2015

2014
On the use of test cases in model-based software product line development.
Proceedings of the 18th International Software Product Line Conference, 2014

Cyber-Physical Systems Engineering.
Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Monitoring Systems with Extended Live Sequence Charts.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Online Monitoring of Distributed Systems with a Five-Valued LTL.
Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

An Evaluation of Model-Based Testing in Embedded Applications.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).
Dagstuhl Reports, 2013

A Rewriting Based Monitoring Algorithm for TPTL.
Proceedings of the 22nd International Workshop on Concurrency, 2013

2012
Modeling for automated test generation - a comparison.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Application and Evaluation in the Healthcare Domain.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011
Cycles in Graphs.
Proceedings of the Algorithms Unplugged, 2011

2010
Finding Uniform Strategies for Multi-agent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2008
Zyklensuche in Graphen.
Proceedings of the Taschenbuch der Algorithmen, 2008

Verifkation und Test des PROFIsafe-Sicherheitsprofils.
Softwaretechnik-Trends, 2008

Compliance of CMMI Process Area with Specification Based Development.
Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

Specification-Based Testing for Software Product Lines.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Composition of Model-based Test Coverage Criteria.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Quality of Automatically Generated Test Cases based on OCL Expressions.
Proceedings of the First International Conference on Software Testing, 2008

08351 Summary - Evolutionary Test Generation.
Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

08351 Abstracts Collection - Evolutionary Test Generation.
Proceedings of the Evolutionary Test Generation, 24.08. - 29.08.2008, 2008

2007
Specification-based testing for refinement.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Improving Test Coverage for UML State Machines Using Transition Instrumentation.
Proceedings of the Computer Safety, 2007

Deriving Input Partitions from UML Models for Automatic Test Generation.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2006
Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

2005
Modeling and Model Checking Web Services.
Electr. Notes Theor. Comput. Sci., 2005

Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

2004
Towards a Formal Specification of an Electronic Payment System in CSP-CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003
Hybrid Logics on Linear Structures: Expressivity and Complexity.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Conformance of Distributed Systems.
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002
An Automated, Flexible Testing Environment for UMTS.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001
Conformance and mirroring for timed asychronous circuits.
Proceedings of ASP-DAC 2001, 2001

Model Checking.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
Editorial.
Logic Journal of the IGPL, 2000

1998
Performability analysis of an avionics-interface.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

On-the-Fly Model Checking of Program Runs for Automated Debugging.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

Verification of Bounded Delay Asynchronous Circuits with Timed Traces.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Efficient Verification of Parallel Real-Time Systems.
Formal Methods in System Design, 1997

Modelling Message Buffers with Binary Decision Diagrams.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Relation Algebra and Modal Logics.
Proceedings of the Relational Methods in Computer Science., 1997

1993
Efficient Verification of Parallel Real-Time Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Expressive completeness of temporal logic of trees.
Journal of Applied Non-Classical Logics, 1992

On the Expressive Power of Modal Logics on Trees.
Proceedings of the Logical Foundations of Computer Science, 1992

1990
Zur temporalen Logik von Bäumen.
PhD thesis, 1990


  Loading...