| Automation and consistency analysis of test cases written in natural language: An industrial context | 0 | 0.34 | 2020 |
| Verified simulation for robotics. | 1 | 0.41 | 2019 |
| CPN simulation-based test case generation from controlled natural-language requirements | 0 | 0.34 | 2019 |
| Test case generation, selection and coverage from natural language | 0 | 0.34 | 2019 |
| Compositional and local livelock analysis for CSP. | 1 | 0.37 | 2018 |
| Sound conformance testing for cyber-physical systems: Theory and implementation. | 2 | 0.36 | 2018 |
| Formal Modelling of Environment Restrictions from Natural-Language Requirements. | 0 | 0.34 | 2018 |
| Modelling And Verification For Swarm Robotics | 2 | 0.37 | 2018 |
| Safe and Constructive Design with UML Components. | 0 | 0.34 | 2018 |
| Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. | 0 | 0.34 | 2018 |
| Simulation Of Hybrid Systems From Natural-Language Requirements | 0 | 0.34 | 2017 |
| A Process for Sound Conformance Testing of Cyber-Physical Systems | 1 | 0.35 | 2017 |
| An idiom to represent data types in Alloy. | 0 | 0.34 | 2017 |
| Local Analysis of Determinism for CSP. | 0 | 0.34 | 2017 |
| Modelling timed reactive systems from natural-language requirements. | 2 | 0.41 | 2016 |
| Rigorous development of component-based systems using component metadata and patterns. | 8 | 0.57 | 2016 |
| Model Checking Requirements. | 0 | 0.34 | 2016 |
| NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP | 7 | 0.60 | 2015 |
| A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. | 9 | 0.54 | 2014 |
| Sound and mechanised compositional verification of input-output conformance | 4 | 0.42 | 2014 |
| Test generation from state based use case models | 21 | 1.12 | 2014 |
| Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. | 4 | 0.44 | 2014 |
| A Modular Theory of Object Orientation in Higher-Order UTP. | 1 | 0.37 | 2014 |
| NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications. | 10 | 0.59 | 2014 |
| A formal semantics for Sequence Diagrams and a strategy for system analysis | 2 | 0.39 | 2014 |
| A Formal Model for Natural-Language Timed Requirements of Reactive Systems. | 2 | 0.39 | 2014 |
| Test case generation from natural language requirements based on SCR specifications | 10 | 0.57 | 2013 |
| A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. | 4 | 0.42 | 2013 |
| Algebraic Laws for Process Subtyping. | 1 | 0.36 | 2013 |
| A process algebra based strategy for generating test vectors from SCR specifications | 0 | 0.34 | 2012 |
| Constructive model-based analysis for safety assessment. | 3 | 0.39 | 2012 |
| Architectural verification of control systems using CSP | 5 | 0.48 | 2011 |
| Introducing concurrency in sequential Java via laws | 5 | 0.46 | 2011 |
| Conformance notions for the coordination of interaction components | 4 | 0.45 | 2010 |
| Sound refactorings | 4 | 0.45 | 2010 |
| Systematic model-based safety assessment via probabilistic model checking | 9 | 0.54 | 2010 |
| Compositional Verification of Input-Output Conformance via CSP Refinement Checking | 11 | 0.58 | 2009 |
| Test case prioritization based on data reuse an experimental study | 7 | 0.46 | 2009 |
| Systematic Development of Trustworthy Component Systems | 12 | 0.86 | 2009 |
| Formalisation and Analysis of Objects as CSP Processes | 0 | 0.34 | 2009 |
| Multiple Synchrony in MSC | 0 | 0.34 | 2009 |
| A Complete Set of Object Modeling Laws for Alloy | 1 | 0.35 | 2009 |
| Guided Test Generation from CSP Models | 11 | 0.74 | 2008 |
| Automated Formal Specification Generation and Refinement from Requirement Documents. | 4 | 0.51 | 2008 |
| Laws of Object-Orientation with Reference Semantics | 18 | 0.82 | 2008 |
| Viewing CSP Specifications with UML-RT Diagrams | 6 | 0.55 | 2008 |
| Type Checking Circus Specifications | 7 | 0.58 | 2008 |
| Framework composition conformance via refinement checking | 4 | 0.49 | 2008 |
| Formal Specification Generation from Requirement Documents | 22 | 1.21 | 2008 |
| Unifying classes and processes | 21 | 0.96 | 2005 |
