Colin F. Snook

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 32

Top Topics

Abstract Data Types

Provably Correct

Security Protocols

Event Detection

Top Venues

J. Syst. Archit.

Publications

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