2019
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.
Proceedings of the 28th International Workshop on Concurrency, 2019
2017
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017
2016
Towards Security-Explicit Formal Modelling of Safety-Critical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2016
Time and Space Partitioning Using On-Board Software Reference Architecture.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016
2015
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.
Proceedings of the Computer Safety, Reliability, and Security, 2015
2013
Developing mode-rich satellite software by refinement in Event-B.
Sci. Comput. Program., 2013
Formalisation of an Industrial Approach to Monitoring Critical Data.
Proceedings of the Computer Safety, Reliability, and Security, 2013
Deployment in the Space Sector.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
2012
Deriving a mode logic using failure modes and effects analysis.
Int. J. Crit. Comput. Based Syst., 2012
Formal Development and Assessment of a Reconfigurable On-board Satellite System.
Proceedings of the Computer Safety, Reliability, and Security, 2012
Augmenting Event-B modelling with real-time verification.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
2011
Derivation and Formal Verification of a Mode Logic for Layered Control Systems.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
Verifying Mode Consistency for On-Board Satellite Software.
Proceedings of the Computer Safety, 2010
Supporting Reuse in Event B Development: Modularisation Approach.
Proceedings of the Abstract State Machines, 2010
2007
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007
2006
Linear Encodings of Bounded LTL Model Checking.
Log. Methods Comput. Sci., 2006
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.
Proceedings of the Hardware and Software, 2006
Bounded Model Checking for Weak Alternating Büchi Automata.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Automata-theoretic and bounded model checking for linear temporal logic.
PhD thesis, 2005
Simple Is Better: Efficient Bounded Model Checking for Past LTL.
Proceedings of the Verification, 2005
Incremental and Complete Bounded Model Checking for Full PLTL.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Improved On-the-fly Verification with Testers.
Nord. J. Comput., 2004
Simple Bounded LTL Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
LTL Model Checking for Modular Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Efficient Model Checking of Safety Properties.
Proceedings of the Model Checking Software, 2003
2001
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.
Proceedings of the Application and Theory of Petri Nets 2001, 2001
2000
Coping With Strong Fairness.
Fundam. Informaticae, 2000