Colin F. Snook
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
12
Active years
2003–2023
Best venue rank
C
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICTAC | 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 |
| 2022 | MEDI | Generating SPARK from Event-B, Providing Fundamental Safety and Security. | Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook |
| 2022 | SEFM | Building an Extensible Textual Framework for the Rodin Platform. | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler |
| 2022 | SEFM | Developing the UML-B Modelling Tools. | Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym |
| 2021 | MEDI | Refinable Record Structures in Formal Methods. | Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler |
| 2020 | ECSA | 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 |
| 2019 | ICECCS | 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 |
| 2019 | MEDI | Domain-Specific Scenarios for Refinement-Based Methods. | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler |
| 2018 | ICECCS | Reusing Formal Models via Lifting. | Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler |
| 2018 | ICFEM | Behaviour-Driven Formal Model Development. | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang |
| 2018 | ISoLA | A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. | Rupert Schlick, Michael Felderer, Istvn Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini |
| 2017 | ICECCS | A Composition Mechanism for Refinement-Based Methods. | Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler |
| 2017 | ICTAC | Class-Diagrams for Abstract Data Types. | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler |
| 2016 | FDL | Using event-B and Modelica to evaluate thermal management strategies in many core systems. | Colin F. Snook, Tom J. Kazmierski |
| 2014 | IFM | Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. | Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler |
| 2013 | MODELSWARD | Systematic Development of Control Designs via Formal Refinement. | Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler |
| 2012 | SEFM | A Practical Approach for Closed Systems Formal Verification Using Event-B. | Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook |
| 2011 | ICFEM | Refining Nodes and Edges of State Machines. | Stefan Hallerstede, Colin F. Snook |
| 2009 | FM | Language and Tool Support for Class and State Machine Refinement in UML-B. | Mar Yah Said, Michael J. Butler, Colin F. Snook |
| 2007 | EASE | 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 |
| 2006 | FDL | UML User Interface to a Proof-based Hardware Design Flow. | D. Moisuc, S. Revol, Colin F. Snook |
| 2004 | FDL | A hardware/software codesign framework for developing complex embedded systems using formal model refinement. | Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte |
| 2003 | FDL | Using UML-B and U2B for formal refinement of digital components1. | Colin F. Snook, Kim Sandstrm |