| Usage visualisation for the AWS services. | 0 | 0.34 | 2020 |
| VM2 - Automated security configuration and testing of virtual machine images. | 0 | 0.34 | 2020 |
| Formal FocusST Specification of CAN. | 0 | 0.34 | 2018 |
| (Auto)Focus approaches and their applications: A systematic review. | 0 | 0.34 | 2017 |
| Human Factors in Software Reliability Engineering. | 10 | 0.61 | 2015 |
| Efficient Testing based on Logical Architecture. | 1 | 0.35 | 2015 |
| Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud. | 3 | 0.41 | 2015 |
| Towards Focus on Time. | 2 | 0.54 | 2014 |
| Human Factors of Formal Methods. | 16 | 1.01 | 2014 |
| Towards system development methodologies: From software to cyber-physical domain. | 9 | 0.77 | 2014 |
| Compositional Properties of Crypto-Based Components. | 1 | 0.36 | 2014 |
| Formalisation and Analysis of Component Dependencies. | 2 | 0.37 | 2014 |
| Refinement-Based Specification: Requirements and Architecture. | 0 | 0.34 | 2014 |
| From abstract modelling to remote cyber-physical integration/interoperability testing. | 13 | 0.93 | 2014 |
| Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. | 5 | 0.49 | 2013 |
| Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation. | 0 | 0.34 | 2013 |
| Verified System Development With The Autofocus Tool Chain | 13 | 0.94 | 2012 |
| Architecture: Requirements + Decomposition + Refinement. | 0 | 0.34 | 2011 |
| Refinement-Based Verification of Interactive Real-Time Systems | 8 | 0.70 | 2008 |
| On the correctness of upper layers of automotive systems | 15 | 1.52 | 2008 |
| Service-Oriented Modeling of CoCoME with Focus and AutoFocus | 8 | 1.03 | 2007 |
| Towards modularized verification of distributed time-triggered systems | 10 | 1.03 | 2006 |
| Towards verified automotive software | 44 | 1.85 | 2005 |
