| Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings | 0 | 0.34 | 2022 |
| Summarising a Framework for the Certification of Reliable Autonomous Systems. | 0 | 0.34 | 2021 |
| Towards A Framework For Certification Of Reliable Autonomous Systems | 0 | 0.34 | 2021 |
| Specification and Verification of Collaborative Transport Robots | 0 | 0.34 | 2018 |
| Monitoring with Parametrized Extended Life Sequence Charts. | 0 | 0.34 | 2017 |
| Chapter Four - Advances in Testing Software Product Lines. | 0 | 0.34 | 2017 |
| System Monitoring with a Five-valued LTL. | 0 | 0.34 | 2016 |
| Automating Test Case Selection in Model-Based Software Product Line Development. | 0 | 0.34 | 2015 |
| Online Monitoring of Distributed Systems with a Five-Valued LTL | 0 | 0.34 | 2014 |
| Cyber-Physical Systems Engineering. | 0 | 0.34 | 2014 |
| On the use of test cases in model-based software product line development | 1 | 0.34 | 2014 |
| An Evaluation of Model-Based Testing in Embedded Applications | 0 | 0.34 | 2014 |
| Specification-Based Testing for Software Product Lines | 0 | 0.34 | 2008 |
| Quality of Automatically Generated Test Cases based on OCL Expressions | 12 | 0.90 | 2008 |
| Compliance of CMMI Process Area with Specification Based Development | 1 | 0.37 | 2008 |
| Composition of Model-based Test Coverage Criteria | 5 | 0.45 | 2008 |
| Deriving Input Partitions from UML Models for Automatic Test Generation | 15 | 0.90 | 2007 |
| Improving test coverage for UML state machines using transition instrumentation | 9 | 0.94 | 2007 |
| Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen | 2 | 0.51 | 2007 |
| Specification-based testing for refinement | 5 | 0.51 | 2007 |
| Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven | 1 | 0.38 | 2006 |
| Modeling and Model Checking Web Services | 32 | 1.32 | 2005 |
| Von Use Cases zu Test Cases: Eine systematische Vorgehensweise | 1 | 0.48 | 2005 |
| Towards a formal specification of an electronic payment system in CSP-CASL | 9 | 0.79 | 2004 |
| Hybrid Logics on Linear Structures: Expressivity and Complexity | 14 | 0.67 | 2003 |
| Conformance of Distributed Systems | 0 | 0.34 | 2003 |
| An Automated, Flexible Testing Environment for UMTS | 1 | 0.38 | 2002 |
| Conformance and Mirroring for Timed Asynchronous Circuits | 1 | 0.36 | 2001 |
| Verification of Bounded Delay Asynchronous Circuits with Timed Traces | 3 | 0.47 | 1998 |
| Modelling Message Buffers with Binary Decision Diagrams | 0 | 0.34 | 1997 |
| Efficient Verification of Parallel Real–Time Systems | 65 | 3.76 | 1993 |
| On the Expressive Power of Modal Logics on Trees | 5 | 0.50 | 1992 |
| Expressive completeness of temporal logic of trees | 13 | 0.80 | 1992 |
