| 2024 | ICWS | Edge-Mapping of Service Function Trees for Sensor Event Processing. | Babar Shahzaad, Alistair Barros, Colin J. Fidge |
| 2021 | CaiSE | Microservice Remodularisation of Monolithic Enterprise Systems for Embedding in Industrial IoT Networks. | Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy |
| 2020 | CaiSE | Remodularization Analysis for Microservice Discovery Using Syntactic and Semantic Clustering. | Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy |
| 2020 | TrustCom | Securing Manufacturing Using Blockchain. | Zahra Jadidi, Ali Dorri, Raja Jurdak, Colin J. Fidge |
| 2018 | ICSOC | Function-Splitting Heuristics for Discovery of Microservices in Enterprise Systems. | Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Artem Polyvyanyy, Colin J. Fidge |
| 2017 | GLOBECOM | Challenges for Log Based Detection of Privacy Violations during Healthcare Emergencies. | Chathurika Wickramage, Colin J. Fidge, Tony Sahama, Roy Wong |
| 2017 | ICONIP | A Comparison of Supervised Machine Learning Algorithms for Classification of Communications Network Traffic. | Pramitha Perera, Yu-Chu Tian, Colin J. Fidge, Wayne Kelly |
| 2016 | HealthCom | Anatomy of log files: Implications for information accountability measures. | Chathurika Wickramage, Tony Sahama, Colin J. Fidge |
| 2015 | ICONIP | Application of Simulated Annealing to Data Distribution for All-to-All Comparison Problems in Homogeneous Systems. | Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge, Jing Gao |
| 2015 | IECON | Distributed computing of all-to-all comparison problems in heterogeneous systems. | Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge |
| 2015 | ITiCSE | Planting Bugs: A System for Testing Students' Unit Tests. | Samuel A. Brian, Richard N. Thomas, James M. Hogan, Colin J. Fidge |
| 2014 | CaiSE | An Extensible Framework for Analysing Resource Behaviour Using Event Logs. | Anastasiia Pika, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Michael Leyer, Wil M. P. van der Aalst |
| 2014 | IECON | A distributed computing framework for All-to-All comparison problems. | Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge |
| 2013 | ACE | What vs. how: comparing students' testing and coding skills. | Colin J. Fidge, Jim Hogan, Raymond Lister |
| 2013 | CaiSE | Profiling Event Logs to Configure Risk Indicators for Process Delays. | Anastasiia Pika, Wil M. P. van der Aalst, Colin J. Fidge, Arthur H. M. ter Hofstede, Moe Thandar Wynn |
| 2013 | ICCD | Algorithm clustering for multi-algorithm processor design. | Madhushika M. E. Karunarathna, Yu-Chu Tian, Colin J. Fidge, Ross Hayward |
| 2013 | SEKE | Security Metrics for Java Bytecode Programs (S). | Bandar M. Alshammari, Colin J. Fidge, Diane Corney |
| 2012 | BPM | Predicting Deadline Transgressions Using Event Logs. | Anastasiia Pika, Wil M. P. van der Aalst, Colin J. Fidge, Arthur H. M. ter Hofstede, Moe Thandar Wynn |
| 2011 | ICONIP | Resource Allocation and Scheduling of Multiple Composite Web Services in Cloud Computing Using Cooperative Coevolution Genetic Algorithm. | Lifeng Ai, Maolin Tang, Colin J. Fidge |
| 2011 | LCN | A conditional retransmission enabled transport protocol for real-time networked control systems. | Li Gui, Yu-Chu Tian, Colin J. Fidge |
| 2010 | APSEC | Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs. | Bandar M. Alshammari, Colin J. Fidge, Diane Corney |
| 2010 | LCN | Performance analysis of IEEE 802.11 DCF based WNCS networks. | Guosong Tian, Yu-Chu Tian, Colin J. Fidge |
| 2010 | NSS | Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types. | Shamsul Kamal Ahmad Khalid, Jacob Zimmermann, Diane Corney, Colin J. Fidge |
| 2009 | CEC | A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications. | Maolin Tang, Colin J. Fidge |
| 2009 | ITiCSE | Further evidence of a relationship between explaining, tracing and writing skills in introductory programming. | Raymond Lister, Colin J. Fidge, Donna Teague |
| 2009 | MASCOTS | Hybrid system simulation of computer control applications over communication networks. | Guosong Tian, Colin J. Fidge, Yu-Chu Tian |
| 2008 | BPM | Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. | Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge |
| 2008 | ICECCS | High-Precision Relative Clock Synchronization Using Time Stamp Counters. | Guosong Tian, Yu-Chu Tian, Colin J. Fidge |
| 2007 | BPM | Access Control Requirements for Processing Electronic Health Records. | Bandar Alhaqbani, Colin J. Fidge |
| 2007 | BPM | Business Process Simulation for Operational Decision Support. | Moe Thandar Wynn, Marlon Dumas, Colin J. Fidge, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst |
| 2006 | ATVA | Functional Analysis of a Real-Time Protocol for Networked Control Systems. | Colin J. Fidge, Yu-Chu Tian |
| 2005 | APSEC | Model Checking Interrupt-Dependent Software. | Colin J. Fidge, Phil Cook |
| 2003 | FM | Verifying Emulation of Legacy Mission Computer Systems. | Colin J. Fidge |
| 2003 | ICFEM | A Z Based Approach to Verifying Security Protocols. | Benjamin W. Long, Colin J. Fidge, Antonio Cerone |
| 2003 | SEFM | A Partial-Correctness Semantics for Modelling Assembler Programs. | Geoffrey Watson, Colin J. Fidge |
| 2002 | APSEC | Contextual Matching of Software Library Components. | Colin J. Fidge |
| 2002 | APSEC | Animation of Data Refinements. | Neil J. Robinson, Colin J. Fidge |
| 2002 | FM | Timing Analysis of Assembler Code Control-Flow Paths. | Colin J. Fidge |
| 2001 | APSEC | Compilation of Specifications. | Colin J. Fidge |
| 1999 | IFM | Modelling Discrete Behaviour in a Continuous-Time Formalism. | Colin J. Fidge |
| 1998 | ICFEM | Defining Differentiation and Integration in Z. | Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony |
| 1998 | MPC | A Set-Theoretic Model for Real-Time Specification and Reasoning. | Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst |
| 1997 | EuroPar | A Methodology for Compilation of High-Integrity Real-Time Programs. | Karl Lermer, Colin J. Fidge |
| 1996 | FM | Integrating Real-Time Scheduling Theory and Program Refinement. | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes |
| 1995 | CAV | Interactively Verifying a Simple Real-time Scheduler. | Colin J. Fidge, Peter Kearney, Mark Utting |
| 1994 | FM | Adding Real Time to Formal Program Development. | Colin J. Fidge |
| 1993 | FM | Real-Time Refinement. | Colin J. Fidge |
| 1992 | FORTE | A constraint-oriented real-time process calculus. | Colin J. Fidge |
| 1991 | FORTE | Process Algebra Traces Augmented with Causal Relationships. | Colin J. Fidge |
| 1990 | FORTE | A LOTOS Interpreter for Simulating Real-Time Behaviour. | Colin J. Fidge |