Æȷοì
Holger Schlingloff
Holger Schlingloff
¼Ò¼ÓÀ» ¾Ë ¼ö ¾øÀ½
schlingloff.deÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Modeling and model checking web services
H Schlingloff, A Martens, K Schmidt
Electronic Notes in Theoretical Computer Science 126, 3-26, 2005
1152005
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
502003
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
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.
M Friske, BH Schlingloff, F FIRST
MBEES, 1-10, 2005
182005
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
172004
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
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
82012
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
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
62022
Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example.
S Dutta, A Skowron, H Schlingloff, T Vogel
CS&P, 46-59, 2021
62021
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20