Holger Schlingloff
Holger Schlingloff
Unknown affiliation
Verified email at
Cited by
Cited by
Modeling and model checking web services
H Schlingloff, A Martens, K Schmidt
Electronic Notes in Theoretical Computer Science 126, 3-26, 2005
Hybrid logics on linear structures: Expressivity and complexity
M Franceschet, M de Rijke, BH Schlingloff
10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003
An evaluation of model-based testing in embedded applications
S Weißleder, H Schlingloff
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.
M Friske, BH Schlingloff, F FIRST
MBEES, 1-10, 2005
Modellbasierte Steuergerätesoftwareentwicklung für den Automobilbereich
H Schlingloff, M Conrad, H Dörr, C Sühl
Proc. of Automotive-Safety & Security, Stuttgart 6 (7), 2004
A Rewriting Based Monitoring Algorithm for TPTL.
M Chai, H Schlingloff
CS&P, 61-72, 2013
Finding uniform strategies for multi-agent systems
J Calta, D Shkatov, H Schlingloff
Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010
Levels of testing
P Oladimeji, M Roggenbach, H Schlingloff
Advance Topics in Computer Science, 2007
Correctness analysis of an embedded controller- Project OHB ABRIXAS PTC test
H Schlingloff, O Meyer, T Hülsing
DASIA 99- Data systems in aerospace, 317-325, 1999
On model checking for Petri nets and a linear-time temporal logic
T Yoneda, H Schlingloff
IEICE technical report 92 (1), 1-8, 1992
Modeling for automated test generation-a comparison.
H Lackner, H Schlingloff, A Berlin
MBEES, 57-70, 2012
Excellence in variant testing
H Schlingloff, PM Kruse, M Saadatmand
Proceedings of the 14th International Working Conference on Variability …, 2020
IMMOS-Eine integrierte Methodik zur modellbasierten Steuergeräteentwicklung
H Schlingloff, C Sühl, H Dörr, M Conrad, J Stroop, S Sadeghipour, M Kühl, ...
Proceedings, BMBF-Statusseminar „Software Engineering, 2006
Performability analysis of an avionics-interface
L Twele, H Schlingloff, H Szczerbicka
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems …, 1998
Application and evaluation in the healthcare domain
H Heinze, K Kallow, H Lackner, S Sadeghipour, H Schlingloff, ...
Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology, 215-230, 2012
Online-monitoring autonomous transport robots with an R-valued temporal logic
F Lorenz, H Schlingloff
2018 IEEE 14th International Conference on Automation Science and …, 2018
Model-based performance prediction by statistical model checking an industrial case study of autonomous transport robots
R Arai, H Schlingloff
Concurrency, Specification and Programming, 2017
Teaching formal methods for software engineering-ten principles
A Cerone, M Roggenbach, H Schlingloff, G Schneider, S Shaikh
informatica didactica 9, 2015
Automatic Model-Based Test Generation from UML State Machines.
S Weißleder, H Schlingloff
Model-Based Testing for Embedded Systems, 2011
Relation algebra and modal logics
H Schlingloff, W Heinle
Relational Methods in Computer Science, 70-89, 1997
The system can't perform the operation now. Try again later.
Articles 1–20