| Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers | 0 | 0.34 | 2021 |
| An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms - A COVID-19 Virus Transmission Case Study. | 0 | 0.34 | 2021 |
| André Platzer: Logical foundations of cyber-physical systems. | 0 | 0.34 | 2020 |
| Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS | 0 | 0.34 | 2020 |
| Specifying with syntactic theory functors | 0 | 0.34 | 2020 |
| Detection of App Collusion Potential Using Logic Programming. | 1 | 0.35 | 2018 |
| An algebraic theory for data linkage. | 0 | 0.34 | 2018 |
| Verification of the European Rail Traffic Management System in Real-Time Maude. | 6 | 0.57 | 2018 |
| Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. | 0 | 0.34 | 2018 |
| Software Model Checking: A Promising Approach to Verify Mobile App Security. | 0 | 0.34 | 2017 |
| Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper | 1 | 0.35 | 2017 |
| Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. | 2 | 0.39 | 2016 |
| OnTrack: The Railway Verification Toolset - Extended Abstract. | 0 | 0.34 | 2016 |
| Towards Automated Android App Collusion Detection. | 5 | 0.43 | 2016 |
| Automating Test Case Selection in Model-Based Software Product Line Development. | 0 | 0.34 | 2015 |
| Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. | 2 | 0.39 | 2015 |
| Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. | 2 | 0.38 | 2015 |
| Visualising Timed CSP Train Simulations for Capacity. | 0 | 0.34 | 2014 |
| An Institution for Simple UML State Machines. | 4 | 0.41 | 2014 |
| Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. | 7 | 0.56 | 2014 |
| An Institutional Framework for Heterogeneous Formal Development in UML. | 1 | 0.37 | 2014 |
| On modelling and verifying railway interlockings: Tracking train lengths. | 5 | 0.47 | 2014 |
| Techniques for modelling and verifying railway interlockings | 11 | 0.64 | 2014 |
| On the use of test cases in model-based software product line development | 1 | 0.34 | 2014 |
| Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). | 0 | 0.34 | 2014 |
| OnTrack: An Open Tooling Environment for Railway Verification. | 4 | 0.45 | 2013 |
| On the whereabouts of CSP-CASL - A survey. | 0 | 0.34 | 2013 |
| Verification of Solid State Interlocking Programs | 10 | 0.59 | 2013 |
| Verification of Scheme Plans Using CSP$$||$$||B | 4 | 0.43 | 2013 |
| Railway modelling in CSP||B: the double junction case study. | 3 | 0.47 | 2012 |
| Defining and model checking abstractions of complex railway models using CSP||B | 8 | 0.63 | 2012 |
| Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. | 7 | 0.46 | 2012 |
| Safety and line capacity in railways --- an approach in timed CSP | 10 | 0.83 | 2012 |
| Using domain specific languages to support verification in the railway domain | 2 | 0.39 | 2012 |
| Designing Domain Specific Languages for Verification: First Steps. | 3 | 0.51 | 2011 |
| Avocs2010 Preface. | 0 | 0.34 | 2010 |
| Automatically Verifying Railway Interlockings using SAT-based Model Checking. | 12 | 1.10 | 2010 |
| Compositional modelling and reasoning in an institution for processes and data | 4 | 0.50 | 2010 |
| Towards bialgebraic semantics for the linear time --- branching time spectrum | 0 | 0.34 | 2010 |
| CSP-CASL-Prover: A Generic Tool for Process and Data Refinement | 4 | 0.46 | 2009 |
| The Stable Revivals Model in CSP-Prover | 2 | 0.36 | 2009 |
| Specification-Based Testing for Software Product Lines | 0 | 0.34 | 2008 |
| Tools for CSP | 0 | 0.34 | 2008 |
| A New CSP Operator for Optional Parallelism | 1 | 0.37 | 2008 |
| Property Preserving Refinement for Csp-Casl | 3 | 0.43 | 2008 |
| Specification-based testing for refinement | 5 | 0.51 | 2007 |
| Structured CSP: a process algebra as an institution | 13 | 0.68 | 2006 |
| Algebraic–coalgebraic specification in CoCasl | 10 | 0.60 | 2006 |
| A complete axiomatic semantics for the CSP stable-failures model | 9 | 0.57 | 2006 |
| CSP-CASL: a new integration of process algebra and algebraic specification | 19 | 0.99 | 2006 |
