- Model based dependability evaluation for automotive control functions
- Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven
- Specification-based testing for refinement Temesghen Kahsai
- Partial State Space Analysis of Safety-Critical Systems
- Chapter 5 of the Handbook of Relational Methods in Computer Science, G. Schmidt and C. Brink, eds.; Springer 1996 Relation Algebra and Modal Logics
- Modeling and Model Checking Web Services Holger Schlingloff
- Modelling Message Buffers with Binary Decision Bernd--Holger Schlingloff
- Prsentationen 5.4.7 Mishra/Schlingloff: CMMI und spezifikationsbasierte Software-Entwicklung
- Quality of Automatically Generated Test Cases based on OCL Expressions Stephan Weileder
- Reusing State Machines for Automatic Test Generation in Product Lines
- Speci cation-Based Bernd-Holger
- Korrektheitsanalyse eingebetteter Systeme Projekt OHB Abrixas PTC Test
- Test Case Generation from workow-based Requirement Specications
- Specification-based Testing for Software Product Lines Temesghen Kahsai
- Composition of Model-based Test Coverage Criteria Mario Friske, Bernd-Holger Schlingloff, Stephan Weileder
- Deriving Input Partitions from UML Models for Automatic Test Generation
- Using Formal Specifications in the Implementation of CMMI Bernd-Holger Schlingloff, Satish Mishra*
- Zuverlssigkeitsprfung eingebetteter Steuergerte mit modellgetriebener Fehlerinjektion
- Von Use Cases zu Test Cases: Eine systematische Vorgehensweise
- Efficient Local and Global Model Checking B.--H. Schlingloff, Technische Universitat Munchen
- 1. INTRODUCTION Whenever malfunctioning of a system can
- Efficient Verification of Parallel Real--Time Systems Tomohiro Yoneda
- Applications BerndHolger
- Verification of Bounded Delay Asynchronous Circuits with Timed Traces
- AN AUTOMATED, FLEXIBLE TESTING ENVIRONMENT FOR UMTS
- Hybrid Logics on Linear Structures: Expressivity and Complexity
- To Appear In: Proceedings of the 1998 IEEE Conference on Systems, Man, and Cybernetics, San Diego N.J., October 1998. Performability Analysis of an AvionicsInterface
- Improving Test Coverage for UML State Machines Using Transition Instrumentation
- Speci cation Based Testing of the UMTS Protocol Stack
- CORRECTNESS ANALYSIS OF AN EMBEDDED CONTROLLER Project OHB Abrixas PTC Test
- Verifikation und Test des PROFIsafe-Sicherheitsprofils Holger Schlingloff 1
- Hybrid Logics on Linear Structures: Expressivity and Complexity
- OntheFly Model Checking of Program Runs for Automated Debugging M. Frey B.H. Schlingloff
- Loose semantics in the verification of communicating systems Holger Schlingloff
- Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen
- test driver / evaluator (RT-Tester)
- Automatic Test Generation from Coupled UML Models using Input Partitions
- CMMI Process Area Compliance with Formal Specification Based Software Development
- Towards formal testing of jet engine Rolls-Royce BR725 Greg Holland1
- Verification of Finite State Systems with Temporal Logic Model Checking
- Second International Symposium on Logical Foundations of Computer Science (2 nd LFCS '92) Tver, Russia, July 1992,
- On Model Checking for Petri Nets and a LinearTime Temporal Logic \Lambda
- Model checking Edmund M. Clarke
- Conformance and Mirroring for Timed Asynchronous Circuits Bin Zhou Tomohiro Yoneda Bernd-Holger Schlinglo
- Conformance of Distributed Systems Maximilian Frey 1, Bernd-Holger Schlingloff 2, 3
