| Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. | 0 | 0.34 | 2021 |
| Complete Agent-driven Model-based System Testing for Autonomous Systems. | 0 | 0.34 | 2021 |
| Efficient data validation for geographical interlocking systems | 0 | 0.34 | 2021 |
| Safety-Complete Test Suites. | 0 | 0.34 | 2019 |
| Efficient Data Validation For Geographical Interlocking Systems | 0 | 0.34 | 2019 |
| Testing Avionics Software: Is FMI up to the Task? | 1 | 0.36 | 2018 |
| Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. | 1 | 0.36 | 2018 |
| Model-based testing strategies and their (in)dependence on syntactic model representations. | 0 | 0.34 | 2018 |
| Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. | 0 | 0.34 | 2017 |
| Complete model-based equivalence class testing for nondeterministic systems. | 3 | 0.38 | 2017 |
| A Domain-Specific Language for Generic Interlocking Models and Their Properties. | 0 | 0.34 | 2017 |
| On the Feasibility of a Unified Modelling and Programming Paradigm. | 0 | 0.34 | 2016 |
| Complete model-based equivalence class testing. | 12 | 0.58 | 2016 |
| Industrial-Strength Model-Based Testing of Safety-Critical Systems. | 1 | 0.37 | 2016 |
| Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing | 0 | 0.34 | 2015 |
| Model Checking and Model-Based Testing in the Railway Domain | 2 | 0.38 | 2015 |
| A unified formulation of behavioral semantics for SysML models | 4 | 0.46 | 2015 |
| Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don’t Trust Your Compiler | 0 | 0.34 | 2015 |
| Checking concurrent behavior in UML/OCL models | 4 | 0.44 | 2015 |
| Model-Based Testing Against Complex SysML Models | 2 | 0.36 | 2015 |
| CSP and Kripke Structures. | 1 | 0.35 | 2015 |
| Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions | 65 | 2.69 | 2015 |
| Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy | 6 | 0.44 | 2015 |
| Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. | 11 | 0.57 | 2014 |
| Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release | 7 | 0.46 | 2014 |
| Model-Based Testing from Controlled Natural Language Requirements. | 10 | 0.73 | 2013 |
| Industrial-Strength Model-Based Testing - State Of The Art And Current Challenges Jan Peleska | 34 | 1.43 | 2013 |
| Applied Bounded Model Checking for Interlocking System Designs | 14 | 0.80 | 2013 |
| Exhaustive Model-Based Equivalence Class Testing. | 12 | 0.60 | 2013 |
| Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. | 5 | 0.51 | 2012 |
| A framework for formal verification of systems of synchronous components. | 2 | 0.37 | 2012 |
| Ctgen - A Unit Test Generator For C | 0 | 0.34 | 2012 |
| On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study | 1 | 0.35 | 2011 |
| Automated test case generation with SMT-solving and abstract interpretation | 38 | 2.07 | 2011 |
| Model-Based Testing for the Second Generation of Integrated Modular Avionics | 4 | 0.50 | 2011 |
| A real-world benchmark model for testing concurrent real-time systems in the automotive domain | 23 | 0.98 | 2011 |
| A formal approach for the construction and verification of railway control systems | 21 | 1.58 | 2011 |
| Timed Moore Automata: Test Data Generation and Model Checking | 9 | 0.84 | 2010 |
| Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective | 0 | 0.34 | 2010 |
| Integrated and automated abstract interpretation, verification and testing of c/c++ modules | 2 | 0.38 | 2010 |
| Reliability analysis of safety-related communication architectures | 0 | 0.34 | 2010 |
| Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework | 0 | 0.34 | 2008 |
| A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules | 2 | 0.39 | 2008 |
| Medical knowledge representation system. | 2 | 0.39 | 2008 |
| Symbolic and Abstract Interpretation for C/C++ Programs | 6 | 0.46 | 2008 |
| Formalization of clinical practice guidelines. | 3 | 0.38 | 2008 |
| Test Automation Meets Static Analysis | 5 | 0.49 | 2007 |
| A domain-oriented, model-based approach for construction and verification of railway control systems | 6 | 0.67 | 2007 |
| Test automation for hybrid systems | 14 | 1.19 | 2006 |
| Analysis of guideline compliance - a data mining approach | 5 | 1.05 | 2004 |
