- Applied Formal Methods -From CSP to Executable Hybrid Specifications
- UniForM Workbench Formal Methods and the Development of
- Applied Formal Methods -From CSP to Executable Hybrid Specifications
- Test Automation for Hybrid Systems Bahareh Badban
- Test Automation of SafetyCritical Reactive Systems J. Peleska \Lambda M. Siegel y
- A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++
- A Formal Introduction to Model-Based Testing
- Model-Based Testing for Model-Driven Development with UML/DSL
- Symbolic and Abstract Interpretation for C/C++ Programs
- OBJECT CODE VERIFICATION FOR SAFETY-CRITICAL RAILWAY CONTROL SYSTEMS
- April 4th, 2006 Page 1 Advancement in Automated Testing
- Jan Peleska, Oliver Mller Testing on Target: Concepts and
- Reliability Analysis of Safety-Related Communication Architectures
- Test Automation Meets Static Analysis Jan Peleska
- Executable HybridUML and its Application to Train Control Systems
- TOWARDS DOMAIN-SPECIFIC FORMAL SPECIFICATION LANGUAGES FOR RAILWAY
- Institut fur Informatik und Praktische Mathematik der ChristianAlbrechtsUniversitat zu Kiel
- Published in: Szczerbicka, H. (ed). 1999. Modelling and simulation: A tool for the next millenium. 13th european simulation
- Model-based testing in the automotive industry challenges and solutions
- Combining Methods for the Livelock Analysis of a FaultTolerant System
- HARDWARE/SOFTWARE INTEGRATION TESTING FORTHE NEW AIRBUS AIRCRAFT
- GENERATION OF EXECUTABLE RAILWAY CONTROL COMPONENTS FROM DOMAIN-SPECIFIC DESCRIPTIONS
- Institut fur Informatik und Praktische Mathematik der ChristianAlbrechtsUniversitat zu Kiel
- Combining Tools for the Verification of FaultTolerant Systems
- AUTOMATED VERIFICATION FOR TRAIN CONTROL SYSTEMS
- VERIFICATION, VALIDATION AND TEST FOR RAILWAY CONTROL SYSTEMS
- Formal Development and Verification of a Distributed Railway Control System
- Test Automation for Avionic Systems and Space Technology (Extended Abstract) Jan Peleska
- Timed Moore automata: test data generation and model checking Helge Loding
- Integrated Design and Process Technology, IDPT2002 Printed in the United States of America, June, 2002
- Testing Operating Systems with RT-Tester
- Model-Based Testing for Model-Driven Development With UML 2.0 Extended Abstract
- Integrated and Automated Abstract Interpretation, Verification and Testing of
- Automated Test Case Generation with SMT-Solving and Abstract Interpretation
- Integrated Design and Process Technology, IDPT2002 Printed in the United States of America, June, 2002
- Automated Test Suites for Modern Aircraft Controllers Jan Peleska
- The CIDS A330/340 Cabin Communication System --A Z Application
- Deadlock Analysis for a FaultTolerant System
- 4th ICSTEST International Conference on Software Testing April 2-4, 2003, Cologne
- 3rd ICSTEST International Conference on Software Testing 18. April 2002
- Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska
- A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the
