Folgen
Holger Schlingloff
Holger Schlingloff
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei schlingloff.de
Titel
Zitiert von
Zitiert von
Jahr
Modeling and model checking web services
H Schlingloff, A Martens, K Schmidt
Electronic Notes in Theoretical Computer Science 126, 3-26, 2005
1162005
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
202004
An evaluation of model-based testing in embedded applications
S Weißleder, H Schlingloff
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
172014
A Rewriting Based Monitoring Algorithm for TPTL.
M Chai, H Schlingloff
CS&P, 61-72, 2013
162013
Finding uniform strategies for multi-agent systems
J Calta, D Shkatov, H Schlingloff
International Workshop on Computational Logic in Multi-Agent Systems, 135-152, 2010
152010
Correctness analysis of an embedded controller
H Schlingloff, O Meyer, T Hülsing
151999
On model checking for Petri nets and a linear-time temporal logic
T Yoneda, H Schlingloff
IEICE technical report 92 (1), 1-8, 1992
131992
Modeling for automated test generation-a comparison.
H Lackner, H Schlingloff, A Berlin
MBEES, 57-70, 2012
102012
Levels of testing
P Oladimeji, M Roggenbach, H Schlingloff
Advance Topics in Computer Science, 2007
92007
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
92006
Excellence in variant testing
H Schlingloff, PM Kruse, M Saadatmand
Proceedings of the 14th International Working Conference on Variability …, 2020
82020
Performability analysis of an avionics-interface
L Twele, H Schlingloff, H Szczerbicka
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems …, 1998
81998
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
72018
Teaching formal methods for software engineering-ten principles
A Cerone, M Roggenbach, H Schlingloff, G Schneider, S Shaikh
informatica didactica 9, 2015
72015
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
62017
Relation algebra and modal logics
H Schlingloff, W Heinle
Relational Methods in Computer Science, 70-89, 1997
61997
Application and evaluation in the healthcare domain
H Heinze, K Kallow, H Lackner, S Sadeghipour, H Schlingloff, ...
Model-Based Engineering of Embedded Systems, 215-230, 2012
52012
Automatic Model-Based Test Generation from UML State Machines.
S Weißleder, H Schlingloff
Model-Based Testing for Embedded Systems, 2011
52011
Using formal specifications in the implementation of cmmi. 16th Int
HSS Mishra, H Schlingloff
Conf on Concurrency, Specification and Programming, Lagow, Poland, 2007
52007
Crest use cases
H Schlingloff
Model-Based Engineering of Collaborative Embedded Systems, 1-14, 2021
22021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20