Colin J. Fidge

167 papers A* 1A 8B 15C 16Misc 4Journal 69Unranked 51
YearRankTypeTitle / Venue / Authors
2025 J jnl
From cloud to edge: dynamic placement optimization of business processes in IIoT networks.
J. Netw. Comput. Appl.
Md. Razon Hossain, Alistair Barros, Colin J. Fidge
2025 J jnl
Method-Level Syntactic and Semantic Clustering for Microservice Discovery in Legacy Enterprise Systems.
IEEE Access
Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy
2025 J jnl
Reengineering software systems into microservices: State-of-the-art and future directions.
Inf. Softw. Technol.
Thakshila Imiya Mohottige, Artem Polyvyanyy, Colin J. Fidge, Rajkumar Buyya, Alistair Barros
2025 J jnl
Service function tree mapping of microservices on resource-constrained fog networks.
J. Cloud Comput.
Babar Shahzaad, Alistair Barros, Colin J. Fidge
2024 J jnl
Analysis of Attack Intensity on Autonomous Mobile Robots.
Robotics
Elena Basan, Alexander S. Basan, Alexey S. Mushenko, Alexey Nekrasov, Colin J. Fidge, Alexander Lesnikov
2024 J jnl
Dynamic microservice placement in multi-tier Fog networks.
Internet Things
Md. Razon Hossain, Md Whaiduzzaman, Alistair Barros, Colin J. Fidge
2024 A conf
Edge-Mapping of Service Function Trees for Sensor Event Processing.
ICWS
Babar Shahzaad, Alistair Barros, Colin J. Fidge
2024 J jnl
Edge-Mapping of Service Function Trees for Sensor Event Processing.
CoRR
Babar Shahzaad, Alistair Barros, Colin J. Fidge
2024 J jnl
Microservices-based Software Systems Reengineering: State-of-the-Art and Future Directions.
CoRR
Thakshila Imiya Mohottige, Artem Polyvyanyy, Rajkumar Buyya, Colin J. Fidge, Alistair Barros
2024 J jnl
Service Colonies: A Novel Architectural Style for Developing Software Systems with Autonomous and Cooperative Services.
CoRR
Thakshila Imiya Mohottige, Artem Polyvyanyy, Rajkumar Buyya, Colin J. Fidge, Alistair Barros
2023 J jnl
Discovering a data interpreted petri net model of industrial control systems for anomaly detection.
Expert Syst. Appl.
Mukhtar Hussain, Colin J. Fidge, Ernest Foo, Zahra Jadidi
2023 J jnl
Jump-Starting Software Engineering Careers.
IEEE Softw.
Andrei Furda, Alessandro Soro, Erwin Fielt, Nicola Bartlett, Colin J. Fidge, Jesse Steineck, Lionel van den Berg
2023 J jnl
Optimization of Airborne Scatterometer NRCS Semicircular Sampling for Sea Wind Retrieval.
Remote. Sens.
Alexey Nekrasov, Alena B. Khachaturian, Colin J. Fidge
2023 J jnl
Trusted Operation of Cyber-Physical Processes Based on Assessment of the System's State and Operating Mode.
Sensors
Elena Basan, Alexandr S. Basan, Alexey Nekrasov, Colin J. Fidge, Evgeniya Ishchukova, Anatoly Basyuk, Alexandr Lesnikov
2023 — conf
Why do project managers underuse Management Information Systems theories in their management of IT projects?
CENTERIS/ProjMAN/HCist
Alireza Nili, Colin J. Fidge, Michael Rosemann
2022 J jnl
A Review of Emerging Technologies for IoT-Based Smart Cities.
Sensors
Md Whaiduzzaman, Alistair Barros, Moumita Chanda, Supti Barman, Tania Sultana, Md. Sazzadur Rahman, Shanto Roy, Colin J. Fidge
2022 J jnl
Anomaly Detection for Insider Attacks From Untrusted Intelligent Electronic Devices in Substation Automation Systems.
IEEE Access
Xuelei Wang, Colin J. Fidge, Ghavameddin Nourbakhsh, Ernest Foo, Zahra Jadidi, Calvin Li
2022 J jnl
Discovering Data-Aware Mode-Switching Constraints to Monitor Mode-Switching Decisions in Supervisory Control.
IEEE Trans. Ind. Informatics
Mukhtar Hussain, Colin J. Fidge, Ernest Foo, Zahra Jadidi
2021 — conf
A Resilient Fog-IoT Framework for Seamless Microservice Execution.
SCC
Md Whaiduzzaman, Alistair Barros, Ahmedur Rahman Shovon, Md. Razon Hossain, Colin J. Fidge
2021 J jnl
A Self-Diagnosis Method for Detecting UAV Cyber Attacks Based on Analysis of Parameter Changes.
Sensors
Elena Basan, Alexandr S. Basan, Alexey Nekrasov, Colin J. Fidge, Ján Gamec, Mária Gamcová
2021 J jnl
A scheduling-based dynamic fog computing framework for augmenting resource utilization.
Simul. Model. Pract. Theory
Md. Razon Hossain, Md Whaiduzzaman, Alistair Barros, Shelia Rahman Tuly, Md. Julkar Nayeen Mahi, Shanto Roy, Colin J. Fidge, Rajkumar Buyya
2021 J jnl
An Adaptive Protection System for Sensor Networks Based on Analysis of Neighboring Nodes.
Sensors
Ján Gamec, Elena Basan, Alexandr S. Basan, Alexey Nekrasov, Colin J. Fidge, Nikita Sushkin
2021 J jnl
BFIM: Performance Measurement of a Blockchain Based Hierarchical Tree Layered Fog-IoT Microservice Architecture.
IEEE Access
Md Whaiduzzaman, Md. Julkar Nayeen Mahi, Alistair Barros, Md. Ibrahim Khalil, Colin J. Fidge, Rajkumar Buyya
2021 J jnl
HIBAF: A data security scheme for fog computing.
J. High Speed Networks
Md Whaiduzzaman, Nishat Farjana, Alistair Barros, Md. Julkar Nayeen Mahi, Md. Shahriare Satu, Shanto Roy, Colin J. Fidge
2021 A conf
Microservice Remodularisation of Monolithic Enterprise Systems for Embedding in Industrial IoT Networks.
CAiSE
Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy
2021 J jnl
Specific Resonant Properties of Non-Symmetrical Microwave Antennas.
Sensors
Ján Labun, Pavol Kurdel, Alexey Nekrasov, Mária Gamcová, Marek Ceskovic, Colin J. Fidge
2020 J jnl
A Simple High-Precision 2-Port Vector Analyzer.
IEEE Access
Ján Labun, Gabriel Kalapos, Marek Ceskovic, Pavol Kurdel, Ján Gamec, Alexey Nekrasov, Colin J. Fidge, Miroslav Lassák
2020 — conf
Design Guidelines for Effective Occupation-Based Personal Health Records.
ACSW
Mahesh Fernando, Colin J. Fidge, Tony Sahama
2020 A conf
Remodularization Analysis for Microservice Discovery Using Syntactic and Semantic Clustering.
CAiSE
Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy
2020 B conf
Securing Manufacturing Using Blockchain.
TrustCom
Zahra Jadidi, Ali Dorri, Raja Jurdak, Colin J. Fidge
2020 J jnl
Securing Manufacturing Using Blockchain.
CoRR
Zahra Jadidi, Ali Dorri, Raja Jurdak, Colin J. Fidge
2019 — conf
An Overall Health and Well-Being Data Model for Employer-Sponsored Personal Health Records.
ACSW
Mahesh Fernando, Colin J. Fidge, Tony Sahama
2019 — conf
Availability and Scalability Optimized Microservice Discovery from Enterprise Systems.
OTM Conferences
Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy
2019 — conf
Business Object Centric Microservices Patterns.
OTM Conferences
Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy
2019 — conf
Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling.
ACSW
Chathurika Wickramage, Colin J. Fidge, Chun Ouyang, Tony Sahama
2018 J jnl
A practical approach for detecting multi-tenancy data interference.
Sci. Comput. Program.
Andrei Furda, Colin J. Fidge, Alistair Barros
2018 — conf
Discovering Microservices in Enterprise Systems Using a Business Object Containment Heuristic.
OTM Conferences (2)
Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy
2018 — conf
Employees' perceptions of sharing employer-sponsored personal health records.
ACSW
Mahesh Fernando, Colin J. Fidge, Tony Sahama, K. Priyantha Hewagamage
2018 A conf
Function-Splitting Heuristics for Discovery of Microservices in Enterprise Systems.
ICSOC
Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Artem Polyvyanyy, Colin J. Fidge
2018 J jnl
Migrating Enterprise Legacy Source Code to Microservices: On Multitenancy, Statefulness, and Data Consistency.
IEEE Softw.
Andrei Furda, Colin J. Fidge, Olaf Zimmermann, Wayne Kelly, Alistair Barros
2017 — conf
A Comparison of Supervised Machine Learning Algorithms for Classification of Communications Network Traffic.
ICONIP (1)
Pramitha Perera, Yu-Chu Tian, Colin J. Fidge, Wayne Kelly
2017 — conf
Authenticated encryption for time-sensitive critical infrastructure.
ACSW
Daniel Hunter, Jack Parry, Kenneth Radke, Colin J. Fidge
2017 B conf
Challenges for Log Based Detection of Privacy Violations during Healthcare Emergencies.
GLOBECOM
Chathurika Wickramage, Colin J. Fidge, Tony Sahama, Roy Wong
2017 J jnl
Mining Resource Profiles from Event Logs.
ACM Trans. Manag. Inf. Syst.
Anastasiia Pika, Michael Leyer, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst
2017 J jnl
Scalable and efficient data distribution for distributed computing of all-to-all comparison problems.
Future Gener. Comput. Syst.
Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge
2016 J jnl
A Bayesian Network-based customer satisfaction model: a tool for management decisions in railway transport.
Decis. Anal.
Subrata Chakraborty, Kerrie L. Mengersen, Colin J. Fidge, Lin Ma, David Lassen
2016 — conf
A network forensics tool for precise data packet capture and replay in cyber-physical systems.
ACSW
Jack Parry, Daniel Hunter, Kenneth Radke, Colin J. Fidge
2016 C conf
Anatomy of log files: Implications for information accountability measures.
HealthCom
Chathurika Wickramage, Tony Sahama, Colin J. Fidge
2016 — conf
Combining unsupervised and invigilated assessment of introductory programming.
ACSW
Donna Teague, Colin J. Fidge, Yue Xu
2016 J jnl
Data-aware task scheduling for all-to-all comparison problems in heterogeneous distributed systems.
J. Parallel Distributed Comput.
Yi-Fan Zhang, Yu-Chu Tian, Colin J. Fidge, Wayne Kelly
2016 J jnl
Evaluating and predicting overall process risk using event logs.
Inf. Sci.
Anastasiia Pika, Wil M. P. van der Aalst, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede
2016 — conf
Personal health records as sources of productivity evidence.
ICC
Mahesh Fernando, Tony Sahama, Colin J. Fidge, K. Priyantha Hewagamage
2015 — conf
Application of Simulated Annealing to Data Distribution for All-to-All Comparison Problems in Homogeneous Systems.
ICONIP (3)
Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge, Jing Gao
2015 — conf
Component Modeling for SCADA Network Mapping.
ACSC
Ayodeji James Akande, Colin J. Fidge, Ernest Foo
2015 C conf
Distributed computing of all-to-all comparison problems in heterogeneous systems.
IECON
Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge
2015 J jnl
LibVM: an architecture for shared library sandboxing.
Softw. Pract. Exp.
Nuwan Goonasekera, William J. Caelli, Colin J. Fidge
2015 B conf
Planting Bugs: A System for Testing Students' Unit Tests.
ITiCSE
Samuel A. Brian, Richard N. Thomas, James M. Hogan, Colin J. Fidge
2014 C conf
A distributed computing framework for All-to-All comparison problems.
IECON
Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge
2014 A conf
An Extensible Framework for Analysing Resource Behaviour Using Event Logs.
CAiSE
Anastasiia Pika, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Michael Leyer, Wil M. P. van der Aalst
2014 J jnl
Current Research in Risk-aware Business Process Management - Overview, Comparison, and Gap Analysis.
Commun. Assoc. Inf. Syst.
Suriadi Suriadi, Burkhard Weiß, Axel Winkelmann, Arthur H. M. ter Hofstede, Michael Adams, Raffaele Conforti, Colin J. Fidge, Marcello La Rosa, Chun Ouyang, Anastasiia Pika, Michael Rosemann, Moe Thandar Wynn
2014 J jnl
Domain-specific application analysis for customized instruction identification.
Microprocess. Microsystems
Madhushika M. E. Karunarathna, Yu-Chu Tian, Colin J. Fidge
2014 J jnl
Precise relative clock synchronization for distributed control using TSC registers.
J. Netw. Comput. Appl.
Guosong Tian, Yu-Chu Tian, Colin J. Fidge
2013 C conf
Algorithm clustering for multi-algorithm processor design.
ICCD
Madhushika M. E. Karunarathna, Yu-Chu Tian, Colin J. Fidge, Ross Hayward
2013 — conf
Intrusion detection in distributed systems, an approach based on taint marking.
ICC
Christophe Hauser, Frederic Tronel, Colin J. Fidge, Ludovic Mé
2013 — ch.
Privacy-Aware Workflow Management.
Business Process Management
Bandar Alhaqbani, Michael Adams, Colin J. Fidge, Arthur H. M. ter Hofstede
2013 A conf
Profiling Event Logs to Configure Risk Indicators for Process Delays.
CAiSE
Anastasiia Pika, Wil M. P. van der Aalst, Colin J. Fidge, Arthur H. M. ter Hofstede, Moe Thandar Wynn
2013 C conf
Security Metrics for Java Bytecode Programs (S).
SEKE
Bandar M. Alshammari, Colin J. Fidge, Diane Corney
2013 C conf
What vs. how: comparing students' testing and coding skills.
ACE
Colin J. Fidge, Jim Hogan, Raymond Lister
2012 J jnl
A Hardware Virtualization Based Component Sandboxing Architecture.
J. Softw.
Nuwan Goonasekera, William J. Caelli, Colin J. Fidge
2012 Misc conf
A taint marking approach to confidentiality violation detection.
AISC
Christophe Hauser, Frédéric Tronel, Jason Reid, Colin J. Fidge
2012 Misc conf
Data Flow Analysis of Embedded Program Expressions.
AISC
Christopher Doble, Colin J. Fidge, Diane Corney
2012 — conf
Predicting Deadline Transgressions Using Event Logs.
Business Process Management Workshops
Anastasiia Pika, Wil M. P. van der Aalst, Colin J. Fidge, Arthur H. M. ter Hofstede, Moe Thandar Wynn
2012 Misc conf
Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device.
AISC
Chris Mills, Colin J. Fidge, Diane Corney
2011 — conf
A Hierarchical Security Assessment Model for Object-Oriented Programs.
QSIC
Bandar M. Alshammari, Colin J. Fidge, Diane Corney
2011 B conf
A conditional retransmission enabled transport protocol for real-time networked control systems.
LCN
Li Gui, Yu-Chu Tian, Colin J. Fidge
2011 J jnl
Data and process requirements for product recall coordination.
Comput. Ind.
Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge
2011 J jnl
Partitioning composite web services for decentralized execution using a genetic algorithm.
Future Gener. Comput. Syst.
Lifeng Ai, Maolin Tang, Colin J. Fidge
2011 — conf
Resource Allocation and Scheduling of Multiple Composite Web Services in Cloud Computing Using Cooperative Coevolution Genetic Algorithm.
ICONIP (2)
Lifeng Ai, Maolin Tang, Colin J. Fidge
2011 — conf
Workflow support for scheduling in surgical care processes.
ECIS
Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge
2010 — conf
A Secure Framework and Related Protocols for Ubiquitous Access to Electronic Health Records Using Java SIM Cards.
E-HEALTH
Reza Hassanzadeh, Tony Sahama, Colin J. Fidge
2010 C conf
Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs.
APSEC
Bandar M. Alshammari, Colin J. Fidge, Diane Corney
2010 B conf
Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types.
NSS
Shamsul Kamal Ahmad Khalid, Jacob Zimmermann, Diane Corney, Colin J. Fidge
2010 — conf
Modelling Complex Resource Requirements in Business Process Management Systems.
ACIS
Chun Ouyang, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Jan-Christian Kuhr
2010 B conf
Performance analysis of IEEE 802.11 DCF based WNCS networks.
LCN
Guosong Tian, Yu-Chu Tian, Colin J. Fidge
2010 J jnl
Probabilistic Inference Channel Detection and Restriction Applied to Patients' Privacy Assurance.
Int. J. Inf. Secur. Priv.
Bandar Alhaqbani, Colin J. Fidge
2010 — ch.
Process Mining and Simulation.
Modern Business Process Automation
Moe Thandar Wynn, Anne Rozinat, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge
2010 J jnl
QoS-oriented Resource Allocation and Scheduling of Multiple CompositeWeb Services in a Hybrid Cloud Using a Random-Key Genetic Algorithm.
Aust. J. Intell. Inf. Process. Syst.
Lifeng Ai, Maolin Tang, Colin J. Fidge
2010 Misc conf
Reconstruction of Falsified Computer Logs for Digital Forensics Investigations.
AISC
Maolin Tang, Colin J. Fidge
2010 — conf
Security Metrics for Object-Oriented Designs.
Australian Software Engineering Conference
Bandar M. Alshammari, Colin J. Fidge, Diane Corney
2009 J jnl
A Medical Data Reliability Assessment Model.
J. Theor. Appl. Electron. Commer. Res.
Bandar Alhaqbani, Audun Jøsang, Colin J. Fidge
2009 B conf
A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications.
IEEE Congress on Evolutionary Computation
Maolin Tang, Colin J. Fidge
2009 B conf
Further evidence of a relationship between explaining, tracing and writing skills in introductory programming.
ITiCSE
Raymond Lister, Colin J. Fidge, Donna Teague
2009 B conf
Hybrid system simulation of computer control applications over communication networks.
MASCOTS
Guosong Tian, Colin J. Fidge, Yu-Chu Tian
2009 B conf
Integrating hardware and software information flow analyses.
LCTES
Colin J. Fidge, Diane Corney
2009 — conf
Security Metrics for Object-Oriented Class Designs.
QSIC
Bandar M. Alshammari, Colin J. Fidge, Diane Corney
2009 J jnl
Workflow simulation for operational decision support.
Data Knowl. Eng.
Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge
2008 B conf
High-Precision Relative Clock Synchronization Using Time Stamp Counters.
ICECCS
Guosong Tian, Yu-Chu Tian, Colin J. Fidge
2008 — conf
Product flow analysis in distribution networks with a fixed time horizon.
ACSC
Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Marlon Dumas
2008 — conf
Relative simulation and model checking of real-time processes.
ACSC
Colin J. Fidge
2008 A conf
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information.
BPM
Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge
2007 — conf
Access Control Requirements for Processing Electronic Health Records.
Business Process Management Workshops
Bandar Alhaqbani, Colin J. Fidge
2007 — conf
Business Process Simulation for Operational Decision Support.
Business Process Management Workshops
Moe Thandar Wynn, Marlon Dumas, Colin J. Fidge, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst
2007 — conf
Cross-Layer Verification of Type Flaw Attacks on Security Protocols.
ACSC
Benjamin W. Long, Colin J. Fidge, David A. Carrington
2007 A conf
Performance Evaluation of IEEE 802.11 Wireless Networks for Real-time Networked Control Systems.
ESA
Li Gui, Yu-Chu Tian, Colin J. Fidge
2006 J jnl
Fault Evaluation for Security-Critical Communications Devices.
Computer
Andrew Rae, Colin J. Fidge, Luke Wildman
2006 J jnl
Formal change impact analyses for emulated control software.
Int. J. Softw. Tools Technol. Transf.
Colin J. Fidge
2006 — conf
Formally Analysing a Security Protocol for Replay Attacks.
ASWEC
Benjamin W. Long, Colin J. Fidge
2006 B conf
Functional Analysis of a Real-Time Protocol for Networked Control Systems.
ATVA
Colin J. Fidge, Yu-Chu Tian
2006 J jnl
Procedure compilation in the refinement calculus.
Formal Aspects Comput.
Karl Lermer, Colin J. Fidge
2006 — conf
Tracing secure information flow through mode changes.
ACSC
Colin J. Fidge, Tim McComb
2006 — conf
Well-Measuring Programs.
ASWEC
Phil Cook, Colin J. Fidge
2005 J jnl
A theory for execution-time derivation in real-time programs.
Theor. Comput. Sci.
Karl Lermer, Colin J. Fidge, Ian J. Hayes
2005 J jnl
Identifying Critical Components During Information Security Evaluations.
J. Res. Pract. Inf. Technol.
Andrew Rae, Colin J. Fidge
2005 J jnl
Information Flow Analysis for Fail-Secure Devices.
Comput. J.
Andrew Rae, Colin J. Fidge
2005 C conf
Model Checking Interrupt-Dependent Software.
APSEC
Colin J. Fidge, Phil Cook
2005 — conf
Refinement Laws for Verifying Library Subroutine Adaptation.
Australian Software Engineering Conference
Colin J. Fidge, Peter J. Robinson, Steve Dunne
2003 B conf
A Partial-Correctness Semantics for Modelling Assembler Programs.
SEFM
Geoffrey Watson, Colin J. Fidge
2003 C conf
A Z Based Approach to Verifying Security Protocols.
ICFEM
Benjamin W. Long, Colin J. Fidge, Antonio Cerone
2003 J jnl
But What if I Don't Want to Wait Forever?
Formal Aspects Comput.
Colin J. Fidge, Carron Shankland
2003 J jnl
Foreword.
Theor. Comput. Sci.
Colin J. Fidge
2003 — conf
Formal Semantics for Program Paths.
CATS
Karl Lermer, Colin J. Fidge, Ian J. Hayes
2003 J jnl
Linear Approximation of Execution-Time Constraints.
Formal Aspects Comput.
Karl Lermer, Colin J. Fidge, Ian J. Hayes
2003 J jnl
The Variety of Variables in Automated Real-Time Refinement.
Formal Aspects Comput.
Luke Wildman, Colin J. Fidge, David A. Carrington
2003 — conf
Verifying Emulation of Legacy Mission Computer Systems.
FME
Colin J. Fidge
2002 J jnl
A formal model of real-time program compilation.
Theor. Comput. Sci.
Karl Lermer, Colin J. Fidge
2002 C conf
Animation of Data Refinements.
APSEC
Neil J. Robinson, Colin J. Fidge
2002 C conf
Contextual Matching of Software Library Components.
APSEC
Colin J. Fidge
2002 — conf
The variety of variables in computer-aided real-time programming.
Refine
Luke Wildman, Colin J. Fidge
2002 — conf
Timing Analysis of Assembler Code Control-Flow Paths.
FME
Colin J. Fidge
2001 C conf
Compilation of Specifications.
APSEC
Colin J. Fidge
2001 — ed.
Computing: The Australasian Theory Symposium, CATS 2001, Gold Coast, Australia, January 29-30, 2001
CATS
Colin J. Fidge
2001 — conf
Lifting in Z.
CATS
Andrew P. Martin, Colin J. Fidge
2001 — conf
Preface.
CATS
Colin J. Fidge
2001 J jnl
Semantic characterisation of dead control-flow paths.
IEE Proc. Softw.
Ian J. Hayes, Colin J. Fidge, Karl Lermer
2001 — conf
Visualisation of Refinements.
Australian Software Engineering Conference
Neil J. Robinson, Colin J. Fidge
2000 J jnl
Computer-aided development of a real-time program.
Softw. Concepts Tools
Luke Wildman, Colin J. Fidge, David A. Carrington
2000 J jnl
Incremental Development of Real-Time Requirements: The Light Control Case Study.
J. Univers. Comput. Sci.
Graeme Smith, Colin J. Fidge
2000 — conf
The Algebra of Multi-tasking.
AMAST
Colin J. Fidge
1999 — conf
A Formal Model of Real-Time Program Compilation.
ARTS
Karl Lermer, Colin J. Fidge
1999 B conf
Modelling Discrete Behaviour in a Continuous-Time Formalism.
IFM
Colin J. Fidge
1999 J jnl
The deadline command.
IEE Proc. Softw.
Colin J. Fidge, Ian J. Hayes, Geoffrey Watson
1998 J jnl
A Limitation of Vector Timestamps for Reconstructing Distributed Computations.
Inf. Process. Lett.
Colin J. Fidge
1998 B conf
A Set-Theoretic Model for Real-Time Specification and Reasoning.
MPC
Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst
1998 C conf
Defining Differentiation and Integration in Z.
ICFEM
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
1998 J jnl
Real-Time Schedulability Tests for Preemptive Multitasking.
Real Time Syst.
Colin J. Fidge
1997 J jnl
A Formal Method for Building Concurrent Real-Time Software.
IEEE Softw.
Colin J. Fidge, Peter Kearney, Mark Utting
1997 — conf
A Methodology for Compilation of High-Integrity Real-Time Programs.
Euro-Par
Karl Lermer, Colin J. Fidge
1997 J jnl
An Action-Based Formal Model for Concurrent Real-Time Systems.
Formal Aspects Comput.
Colin J. Fidge, Andy J. Wellings
1997 — conf
Refinement Rules for Real-Time Multi-tasking Programs.
AMAST
Colin J. Fidge
1996 J jnl
Fundamentals of Distributed System Observation.
IEEE Softw.
Colin J. Fidge
1996 — conf
Integrating Real-Time Scheduling Theory and Program Refinement.
FME
Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes
1996 J jnl
It's now or never.
XRDS
Colin J. Fidge
1995 A* conf
Interactively Verifying a Simple Real-time Scheduler.
CAV
Colin J. Fidge, Peter Kearney, Mark Utting
1994 — conf
Adding Real Time to Formal Program Development.
FME
Colin J. Fidge
1994 — conf
Proof Obligations for Real-Time Refinement.
Refine
Colin J. Fidge
1993 J jnl
A Formal Definition of Priority in CSP.
ACM Trans. Program. Lang. Syst.
Colin J. Fidge
1993 — conf
Real-Time Refinement.
FME
Colin J. Fidge
1992 C conf
A constraint-oriented real-time process calculus.
FORTE
Colin J. Fidge
1992 J jnl
Disciplined approach to real-time systems design.
Inf. Softw. Technol.
Colin J. Fidge, Andrew M. Lister
1992 — conf
Specification and Verification of Real-Time Behaviour Using Z and RTL.
FTRTFT
Colin J. Fidge
1991 J jnl
Logical Time in Distributed Computing Systems.
Computer
Colin J. Fidge
1991 C conf
Process Algebra Traces Augmented with Causal Relationships.
FORTE
Colin J. Fidge
1990 C conf
A LOTOS Interpreter for Simulating Real-Time Behaviour.
FORTE
Colin J. Fidge
1988 J jnl
A LISP Implementation of the Model for 'Communicating Sequential Processes'.
Softw. Pract. Exp.
Colin J. Fidge
1988 — conf
Partial Orders for Parallel Debugging.
Workshop on Parallel and Distributed Debugging
Colin J. Fidge
1987 J jnl
Reproducible Tests in CSP.
Aust. Comput. J.
Colin J. Fidge
1983 J jnl
A Comparison of the Concurrency Constructs and Module Facilities of CHILL and Ada.
Aust. Comput. J.
Colin J. Fidge, Robert S. V. Pascoe