Colin F. Snook

64 papers A 1B 6C 21Journal 13Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis. ABZ Colin F. Snook, Asieh Salehi Fathabadi, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
2025	J	`jnl`	Systematic hierarchical analysis of requirements for critical systems. Innov. Syst. Softw. Eng. Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
2024	—	`ch.`	Analysing the Safety Implications of Security Risks in Cyber-Physical Systems. The Practice of Formal Methods (II) Colin F. Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler, Martin Kubisch
2024	C	`conf`	Designing Exception Handling Using Event-B. ABZ Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
2024	C	`conf`	Semantics Formalisation - From Event-B Contexts to Theories. ABZ Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler
2024	—	`conf`	Semantics Formalisation - Modelling and Proving Strategies Using Event-B Versus Theories. The Application of Formal Methods Thai Son Hoang, Colin F. Snook, Karla Vanessa Morris Wright, Laurent Voisin, Michael J. Butler
2023	C	`conf`	Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
2023	C	`conf`	Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. ICTAC Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler
2022	—	`conf`	Building an Extensible Textual Framework for the Rodin Platform. SEFM Workshops Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
2022	—	`conf`	Developing the UML-B Modelling Tools. SEFM Workshops Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym
2022	J	`jnl`	Formal verification and validation of run-to-completion style state charts using Event-B. Innov. Syst. Softw. Eng. Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2022	—	`conf`	Generating SPARK from Event-B, Providing Fundamental Safety and Security. MEDI Workshops Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook
2021	J	`jnl`	Domain-specific scenarios for refinement-based methods. J. Syst. Archit. Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
2021	C	`conf`	Extensible Record Structures in Event-B. ABZ Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
2021	J	`jnl`	Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. J. Syst. Archit. Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook
2021	—	`conf`	Refinable Record Structures in Formal Methods. MEDI Workshops Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
2021	C	`conf`	The CamilleX Framework for the Rodin Platform. ABZ Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
2020	—	`conf`	Formal Verification of Run-to-Completion Style Statecharts Using Event-B. ECSA Companion Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2020	J	`jnl`	Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook
2020	C	`conf`	Refinement and Verification of Responsive Control Systems. ABZ Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2019	B	`conf`	Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
2019	—	`conf`	Domain-Specific Scenarios for Refinement-Based Methods. MEDI Workshops Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
2018	—	`conf`	A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini
2018	C	`conf`	Behaviour-Driven Formal Model Development. ICFEM Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang
2018	C	`conf`	Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. ABZ Dana Dghaym, Michael Poppleton, Colin F. Snook
2018	—	`conf`	Refinement of Statecharts with Run-to-Completion Semantics. FTSCS Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler
2018	B	`conf`	Reusing Formal Models via Lifting. ICECCS Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler
2018	J	`jnl`	Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. Sci. Comput. Program. Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger
2017	B	`conf`	A Composition Mechanism for Refinement-Based Methods. ICECCS Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler
2017	—	`conf`	Analysing Security Protocols Using Refinement in iUML-B. NFM Colin F. Snook, Thai Son Hoang, Michael J. Butler
2017	C	`conf`	Class-Diagrams for Abstract Data Types. ICTAC Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler
2017	—	`conf`	Formal Modelling Techniques for Efficient Development of Railway Control Products. RSSRail Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer
2016	C	`conf`	On Component-Based Reuse for Event-B. ABZ Andrew Edmunds, Colin F. Snook, Marina Waldén
2016	C	`conf`	Using event-B and Modelica to evaluate thermal management strategies in many core systems. FDL Colin F. Snook, Tom J. Kazmierski
2016	C	`conf`	Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. ABZ Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler
2015	J	`jnl`	A method of refinement in UML-B. Softw. Syst. Model. Mar Yah Said, Michael J. Butler, Colin F. Snook
2014	B	`conf`	Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. IFM Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler
2013	—	`conf`	A mixed approach to rigorous development of control designs. CACSD Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler
2013	—	`conf`	Modelling and Refinement in CODA Refine@IFM Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall
2013	C	`conf`	Systematic Development of Control Designs via Formal Refinement. MODELSWARD Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler
2012	B	`conf`	A Practical Approach for Closed Systems Formal Verification Using Event-B. SEFM Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook
2012	C	`conf`	A Practical Event-B Refinement Method Based on a UML-Driven Development Process. ABZ Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook
2011	J	`jnl`	A proposal for extending UML-B to support a conceptual model. Innov. Syst. Softw. Eng. Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva
2011	C	`conf`	Refining Nodes and Edges of State Machines. ICFEM Stefan Hallerstede, Colin F. Snook
2010	—	`conf`	Verification of UML Models by Translation to UML-B. FMCO Colin F. Snook, Vitaly Savicks, Michael J. Butler
2009	—	`ch.`	Documenting the Progress of the System Development. Methods, Models and Tools for Fault Tolerance Marta Plaska, Marina Waldén, Colin F. Snook
2009	B	`conf`	Language and Tool Support for Class and State Machine Refinement in UML-B. FM Mar Yah Said, Michael J. Butler, Colin F. Snook
2008	J	`jnl`	Rigorous engineering of product-line requirements: A case study in failure management. Inf. Softw. Technol. Colin F. Snook, Michael Poppleton, Ian Johnson
2008	C	`conf`	UML-B: A Plug-in for the Event-B Tool Set. ABZ Colin F. Snook, Michael J. Butler
2007	A	`conf`	Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. EASE Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt, Robert J. Walters
2007	—	`conf`	Refinement of Statemachines Using Event B Semantics. B Colin F. Snook, Marina Waldén
2007	—	`conf`	Usability Assessment of a UML-based Formal Modelling Method. PPIG Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt
2006	—	`conf`	Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook
2006	—	`conf`	Towards a Method for Rigorous Development of Generic Requirements Patterns. RODIN Book Colin F. Snook, Michael Poppleton, Ian Johnson
2006	C	`conf`	UML User Interface to a Proof-based Hardware Design Flow. FDL D. Moisuc, S. Revol, Colin F. Snook
2006	J	`jnl`	UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. Colin F. Snook, Michael J. Butler
2005	—	`conf`	Tools for System Validation with B Abstract Machines. Abstract State Machines Michael J. Butler, Michael Leuschel, Colin F. Snook
2004	C	`conf`	A hardware/software codesign framework for developing complex embedded systems using formal model refinement. FDL Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte
2004	J	`jnl`	Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language. Des. Autom. Embed. Syst. Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Konstantinos Masselos
2004	J	`jnl`	Experimental comparison of the comprehensibility of a Z specification and its implementation in Java. Inf. Softw. Technol. Colin F. Snook, Rachel Harrison
2003	C	`conf`	Using UML-B and U2B for formal refinement of digital components1. FDL Colin F. Snook, Kim Sandström
2001	J	`jnl`	Practitioners' views on the use of formal methods: an industrial survey by structured interview. Inf. Softw. Technol. Colin F. Snook, Rachel Harrison
2001	—	`conf`	Using a Graphical Design Tool for Formal Specification. PPIG Colin F. Snook, Michael J. Butler
2000	—	`conf`	A Generic Model for Assessing Process Quality. IWSM Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler