Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005 | 115 | 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 | 50 | 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 | 20 | 2014 |
Von Use Cases zu Test Cases: Eine systematische Vorgehensweise. M Friske, BH Schlingloff, F FIRST MBEES, 1-10, 2005 | 18 | 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 | 17 | 2004 |
A Rewriting Based Monitoring Algorithm for TPTL. M Chai, H Schlingloff CS&P, 61-72, 2013 | 16 | 2013 |
Finding uniform strategies for multi-agent systems J Calta, D Shkatov, H Schlingloff Computational Logic in Multi-Agent Systems: 11th International Workshop ¡¦, 2010 | 16 | 2010 |
Levels of testing P Oladimeji, M Roggenbach, H Schlingloff Advance Topics in Computer Science, 2007 | 16 | 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 | 15 | 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 | 14 | 1992 |
Modeling for automated test generation-a comparison. H Lackner, H Schlingloff, A Berlin MBEES, 57-70, 2012 | 10 | 2012 |
Excellence in variant testing H Schlingloff, PM Kruse, M Saadatmand Proceedings of the 14th International Working Conference on Variability ¡¦, 2020 | 9 | 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 | 9 | 2006 |
Performability analysis of an avionics-interface L Twele, H Schlingloff, H Szczerbicka SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems ¡¦, 1998 | 9 | 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 | 8 | 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 | 7 | 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 | 7 | 2017 |
Teaching formal methods for software engineering-ten principles A Cerone, M Roggenbach, H Schlingloff, G Schneider, S Shaikh informatica didactica 9, 2015 | 7 | 2015 |
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 | 6 | 2022 |
Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example. S Dutta, A Skowron, H Schlingloff, T Vogel CS&P, 46-59, 2021 | 6 | 2021 |