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
1132005
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
492003
An evaluation of model-based testing in embedded applications
S Weißleder, H Schlingloff
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
202014
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
182004
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
Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010
162010
Levels of testing
P Oladimeji, M Roggenbach, H Schlingloff
Advance Topics in Computer Science, 2007
162007
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
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
141992
Modeling for automated test generation-a comparison.
H Lackner, H Schlingloff, A Berlin
MBEES, 57-70, 2012
102012
Excellence in variant testing
H Schlingloff, PM Kruse, M Saadatmand
Proceedings of the 14th International Working Conference on Variability …, 2020
92020
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
Performability analysis of an avionics-interface
L Twele, H Schlingloff, H Szczerbicka
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems …, 1998
91998
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
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
72017
Teaching formal methods for software engineering-ten principles
A Cerone, M Roggenbach, H Schlingloff, G Schneider, S Shaikh
informatica didactica 9, 2015
72015
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
72012
Automatic Model-Based Test Generation from UML State Machines.
S Weißleder, H Schlingloff
Model-Based Testing for Embedded Systems, 2011
62011
Relation algebra and modal logics
H Schlingloff, W Heinle
Relational Methods in Computer Science, 70-89, 1997
61997
Smartdelta: Automated quality assurance and optimization in incremental industrial software systems development
M Saadatmand, EP Enoiu, H Schlingloff, M Felderer, W Afzal
2022 25th Euromicro Conference on Digital System Design (DSD), 754-760, 2022
52022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20