Colin F. Snook

According to our database, Colin F. Snook authored at least 61 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Semantics Formalisation - From Event-B Contexts to Theories.

Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Designing Exception Handling Using Event-B.

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2023

Designing Critical Systems Using Hierarchical STPA and Event-B.

Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.

Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Formal verification and validation of run-to-completion style state charts using Event-B.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Innov. Syst. Softw. Eng., 2022

Developing the UML-B Modelling Tools.

Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Building an Extensible Textual Framework for the Rodin Platform.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Generating SPARK from Event-B, Providing Fundamental Safety and Security.

Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

2021

Domain-specific scenarios for refinement-based methods.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

J. Syst. Archit., 2021

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe.

Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook

J. Syst. Archit., 2021

Refinable Record Structures in Formal Methods.

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

The CamilleX Framework for the Rodin Platform.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Extensible Record Structures in Event-B.

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B.

Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook

Int. J. Softw. Tools Technol. Transf., 2020

Formal Verification of Run-to-Completion Style Statecharts Using Event-B.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Proceedings of the Software Architecture - 14th European Conference, 2020

Refinement and Verification of Responsive Control Systems.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Domain-Specific Scenarios for Refinement-Based Methods.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler

Proceedings of the New Trends in Model and Data Engineering, 2019

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.

Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset.

Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger

Sci. Comput. Program., 2018

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.

Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Behaviour-Driven Formal Model Development.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang

Proceedings of the Formal Methods and Software Engineering, 2018

Reusing Formal Models via Lifting.

Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Refinement of Statecharts with Run-to-Completion Semantics.

Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.

Dana Dghaym, Michael Poppleton, Colin F. Snook

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Formal Modelling Techniques for Efficient Development of Railway Control Products.

Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Analysing Security Protocols Using Refinement in iUML-B.

Colin F. Snook, Thai Son Hoang, Michael J. Butler

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Class-Diagrams for Abstract Data Types.

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

A Composition Mechanism for Refinement-Based Methods.

Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Using event-B and Modelica to evaluate thermal management strategies in many core systems.

Colin F. Snook, Tom J. Kazmierski

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation.

Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

On Component-Based Reuse for Event-B.

Andrew Edmunds, Colin F. Snook, Marina Waldén

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

A method of refinement in UML-B.

Mar Yah Said, Michael J. Butler, Colin F. Snook

Softw. Syst. Model., 2015

2014

Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems.

Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

Modelling and Refinement in CODA

Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall

Proceedings of the Proceedings 16th International Refinement Workshop, 2013

Systematic Development of Control Designs via Formal Refinement.

Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A mixed approach to rigorous development of control designs.

Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2012

A Practical Approach for Closed Systems Formal Verification Using Event-B.

Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

A Practical Event-B Refinement Method Based on a UML-Driven Development Process.

Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A proposal for extending UML-B to support a conceptual model.

Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva

Innov. Syst. Softw. Eng., 2011

Refining Nodes and Edges of State Machines.

Stefan Hallerstede, Colin F. Snook

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Verification of UML Models by Translation to UML-B.

Colin F. Snook, Vitaly Savicks, Michael J. Butler

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Documenting the Progress of the System Development.

Marta Plaska, Marina Waldén, Colin F. Snook

Proceedings of the Methods, 2009

Language and Tool Support for Class and State Machine Refinement in UML-B.

Mar Yah Said, Michael J. Butler, Colin F. Snook

Proceedings of the FM 2009: Formal Methods, 2009

2008

Rigorous engineering of product-line requirements: A case study in failure management.

Colin F. Snook, Michael Poppleton, Ian Johnson

Inf. Softw. Technol., 2008

UML-B: A Plug-in for the Event-B Tool Set.

Colin F. Snook, Michael J. Butler

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Usability Assessment of a UML-based Formal Modelling Method.

Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt

Proceedings of the 19th Annual Workshop of the Psychology of Programming Interest Group, 2007

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One.

Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt, Robert J. Walters

Proceedings of the 11th International Conference on Evaluation and Assessment in Software Engineering, 2007

Refinement of Statemachines Using Event B Semantics.

Colin F. Snook, Marina Waldén

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

UML-B: Formal modeling and design aided by UML.

Colin F. Snook, Michael J. Butler

ACM Trans. Softw. Eng. Methodol., 2006

Towards a Method for Rigorous Development of Generic Requirements Patterns.

Colin F. Snook, Michael Poppleton, Ian Johnson

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Development of Mechanisms for Tolerating Transient Faults.

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

UML User Interface to a Proof-based Hardware Design Flow.

D. Moisuc, S. Revol, Colin F. Snook

Proceedings of the Forum on specification and Design Languages, 2006

2005

Tools for System Validation with B Abstract Machines.

Michael J. Butler, Michael Leuschel, Colin F. Snook

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Experimental comparison of the comprehensibility of a Z specification and its implementation in Java.

Colin F. Snook, Rachel Harrison

Inf. Softw. Technol., 2004

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language.

Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Konstantinos Masselos

Des. Autom. Embed. Syst., 2004

A hardware/software codesign framework for developing complex embedded systems using formal model refinement.

Nikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte

Proceedings of the Forum on specification and Design Languages, 2004

2003

Using UML-B and U2B for formal refinement of digital components1.

Colin F. Snook, Kim Sandström

Proceedings of the Forum on specification and Design Languages, 2003

2001

Exploring the barriers to formal specification.

Colin Frank Snook

PhD thesis, 2001

Practitioners' views on the use of formal methods: an industrial survey by structured interview.

Colin F. Snook, Rachel Harrison

Inf. Softw. Technol., 2001

Using a Graphical Design Tool for Formal Specification.

Colin F. Snook, Michael J. Butler

Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001

2000

A Generic Model for Assessing Process Quality.

Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler

Proceedings of the New Approaches in Software Measurement, 10th International Workshop, 2000