Colin J. Fidge

According to our database, Colin J. Fidge authored at least 152 papers between 1983 and 2023.

Collaborative distances:

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

2023

Discovering a data interpreted petri net model of industrial control systems for anomaly detection.

Mukhtar Hussain, Colin J. Fidge, Ernest Foo, Zahra Jadidi

Expert Syst. Appl., November, 2023

Optimization of Airborne Scatterometer NRCS Semicircular Sampling for Sea Wind Retrieval.

Alexey Nekrasov, Alena B. Khachaturian, Colin J. Fidge

Remote. Sens., March, 2023

Trusted Operation of Cyber-Physical Processes Based on Assessment of the System's State and Operating Mode.

Elena Basan, Alexandr S. Basan, Alexey Nekrasov, Colin J. Fidge, Evgeniya Ishchukova, Anatoly Basyuk, Alexandr Lesnikov

Sensors, February, 2023

Jump-Starting Software Engineering Careers.

Andrei Furda, Alessandro Soro, Erwin Fielt, Nicola Bartlett, Colin J. Fidge, Jesse Steineck, Lionel van den Berg

IEEE Softw., 2023

2022

Discovering Data-Aware Mode-Switching Constraints to Monitor Mode-Switching Decisions in Supervisory Control.

Mukhtar Hussain, Colin J. Fidge, Ernest Foo, Zahra Jadidi

IEEE Trans. Ind. Informatics, 2022

A Review of Emerging Technologies for IoT-Based Smart Cities.

Md Whaiduzzaman, Alistair Barros, Moumita Chanda, Supti Barman, Tania Sultana, Md. Sazzadur Rahman, Shanto Roy, Colin J. Fidge

Sensors, 2022

Anomaly Detection for Insider Attacks From Untrusted Intelligent Electronic Devices in Substation Automation Systems.

Xuelei Wang, Colin J. Fidge, Ghavameddin Nourbakhsh, Ernest Foo, Zahra Jadidi, Calvin Li

IEEE Access, 2022

2021

A scheduling-based dynamic fog computing framework for augmenting resource utilization.

Md. Razon Hossain, Md Whaiduzzaman, Alistair Barros, Shelia Rahman Tuly, Md. Julkar Nayeen Mahi, Shanto Roy, Colin J. Fidge, Rajkumar Buyya

Simul. Model. Pract. Theory, 2021

Specific Resonant Properties of Non-Symmetrical Microwave Antennas.

Ján Labun, Pavol Kurdel, Alexey Nekrasov, Mária Gamcová, Marek Ceskovic, Colin J. Fidge

Sensors, 2021

An Adaptive Protection System for Sensor Networks Based on Analysis of Neighboring Nodes.

Ján Gamec, Elena Basan, Alexandr S. Basan, Alexey Nekrasov, Colin J. Fidge, Nikita Sushkin

Sensors, 2021

A Self-Diagnosis Method for Detecting UAV Cyber Attacks Based on Analysis of Parameter Changes.

Elena Basan, Alexandr S. Basan, Alexey Nekrasov, Colin J. Fidge, Ján Gamec, Mária Gamcová

Sensors, 2021

HIBAF: A data security scheme for fog computing.

Md Whaiduzzaman, Nishat Farjana, Alistair Barros, Md. Julkar Nayeen Mahi, Md. Shahriare Satu, Shanto Roy, Colin J. Fidge

J. High Speed Networks, 2021

BFIM: Performance Measurement of a Blockchain Based Hierarchical Tree Layered Fog-IoT Microservice Architecture.

Md Whaiduzzaman, Md. Julkar Nayeen Mahi, Alistair Barros, Md. Ibrahim Khalil, Colin J. Fidge, Rajkumar Buyya

IEEE Access, 2021

Microservice Remodularisation of Monolithic Enterprise Systems for Embedding in Industrial IoT Networks.

Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy

Proceedings of the Advanced Information Systems Engineering, 2021

A Resilient Fog-IoT Framework for Seamless Microservice Execution.

Md Whaiduzzaman, Alistair Barros, Ahmedur Rahman Shovon, Md. Razon Hossain, Colin J. Fidge

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

A Simple High-Precision 2-Port Vector Analyzer.

Ján Labun, Gabriel Kalapos, Marek Ceskovic, Pavol Kurdel, Ján Gamec, Alexey Nekrasov, Colin J. Fidge, Miroslav Lassák

IEEE Access, 2020

Securing Manufacturing Using Blockchain.

Zahra Jadidi, Ali Dorri, Raja Jurdak, Colin J. Fidge

Proceedings of the 19th IEEE International Conference on Trust, 2020

Remodularization Analysis for Microservice Discovery Using Syntactic and Semantic Clustering.

Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy

Proceedings of the Advanced Information Systems Engineering, 2020

Design Guidelines for Effective Occupation-Based Personal Health Records.

Mahesh Fernando, Colin J. Fidge, Tony Sahama

Proceedings of the Australasian Computer Science Week, 2020

2019

Availability and Scalability Optimized Microservice Discovery from Enterprise Systems.

Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Business Object Centric Microservices Patterns.

Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling.

Chathurika Wickramage, Colin J. Fidge, Chun Ouyang, Tony Sahama

Proceedings of the Australasian Computer Science Week Multiconference, 2019

An Overall Health and Well-Being Data Model for Employer-Sponsored Personal Health Records.

Mahesh Fernando, Colin J. Fidge, Tony Sahama

Proceedings of the Australasian Computer Science Week Multiconference, 2019

2018

Migrating Enterprise Legacy Source Code to Microservices: On Multitenancy, Statefulness, and Data Consistency.

Andrei Furda, Colin J. Fidge, Olaf Zimmermann, Wayne Kelly, Alistair Barros

IEEE Softw., 2018

A practical approach for detecting multi-tenancy data interference.

Andrei Furda, Colin J. Fidge, Alistair Barros

Sci. Comput. Program., 2018

Discovering Microservices in Enterprise Systems Using a Business Object Containment Heuristic.

Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Colin J. Fidge, Artem Polyvyanyy

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Function-Splitting Heuristics for Discovery of Microservices in Enterprise Systems.

Adambarage Anuruddha Chathuranga De Alwis, Alistair Barros, Artem Polyvyanyy, Colin J. Fidge

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

Employees' perceptions of sharing employer-sponsored personal health records.

Mahesh Fernando, Colin J. Fidge, Tony Sahama, K. Priyantha Hewagamage

Proceedings of the Australasian Computer Science Week Multiconference, 2018

2017

Mining Resource Profiles from Event Logs.

Anastasiia Pika, Michael Leyer, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst

ACM Trans. Manag. Inf. Syst., 2017

Scalable and efficient data distribution for distributed computing of all-to-all comparison problems.

Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge

Future Gener. Comput. Syst., 2017

A Comparison of Supervised Machine Learning Algorithms for Classification of Communications Network Traffic.

Pramitha Perera, Yu-Chu Tian, Colin J. Fidge, Wayne Kelly

Proceedings of the Neural Information Processing - 24th International Conference, 2017

Challenges for Log Based Detection of Privacy Violations during Healthcare Emergencies.

Chathurika Wickramage, Colin J. Fidge, Tony Sahama, Roy Wong

Proceedings of the 2017 IEEE Global Communications Conference, 2017

Authenticated encryption for time-sensitive critical infrastructure.

Daniel Hunter, Jack Parry, Kenneth Radke, Colin J. Fidge

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

Data-aware task scheduling for all-to-all comparison problems in heterogeneous distributed systems.

Yi-Fan Zhang, Yu-Chu Tian, Colin J. Fidge, Wayne Kelly

J. Parallel Distributed Comput., 2016

Evaluating and predicting overall process risk using event logs.

Anastasiia Pika, Wil M. P. van der Aalst, Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede

Inf. Sci., 2016

A Bayesian Network-based customer satisfaction model: a tool for management decisions in railway transport.

Subrata Chakraborty, Kerrie L. Mengersen, Colin J. Fidge, Lin Ma, David Lassen

Decis. Anal., 2016

Personal health records as sources of productivity evidence.

Mahesh Fernando, Tony Sahama, Colin J. Fidge, K. Priyantha Hewagamage

Proceedings of the 2016 IEEE International Conference on Communications, 2016

Anatomy of log files: Implications for information accountability measures.

Chathurika Wickramage, Tony Sahama, Colin J. Fidge

Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016

Combining unsupervised and invigilated assessment of introductory programming.

Donna Teague, Colin J. Fidge, Yue Xu

Proceedings of the Australasian Computer Science Week Multiconference, 2016

A network forensics tool for precise data packet capture and replay in cyber-physical systems.

Jack Parry, Daniel Hunter, Kenneth Radke, Colin J. Fidge

Proceedings of the Australasian Computer Science Week Multiconference, 2016

2015

LibVM: an architecture for shared library sandboxing.

Nuwan Goonasekera, William J. Caelli, Colin J. Fidge

Softw. Pract. Exp., 2015

Planting Bugs: A System for Testing Students' Unit Tests.

Samuel A. Brian, Richard N. Thomas, James M. Hogan, Colin J. Fidge

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

Distributed computing of all-to-all comparison problems in heterogeneous systems.

Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge

Proceedings of the IECON 2015, 2015

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

Proceedings of the Neural Information Processing - 22nd International Conference, 2015

Component Modeling for SCADA Network Mapping.

Ayodeji James Akande, Colin J. Fidge, Ernest Foo

Proceedings of the 38th Australasian Computer Science Conference, 2015

2014

Domain-specific application analysis for customized instruction identification.

Madhushika M. E. Karunarathna, Yu-Chu Tian, Colin J. Fidge

Microprocess. Microsystems, 2014

Precise relative clock synchronization for distributed control using TSC registers.

Guosong Tian, Yu-Chu Tian, Colin J. Fidge

J. Netw. Comput. Appl., 2014

Current Research in Risk-aware Business Process Management - Overview, Comparison, and Gap Analysis.

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

Commun. Assoc. Inf. Syst., 2014

A distributed computing framework for All-to-All comparison problems.

Yi-Fan Zhang, Yu-Chu Tian, Wayne Kelly, Colin J. Fidge

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

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

Proceedings of the Advanced Information Systems Engineering, 2014

2013

Security Metrics for Java Bytecode Programs (S).

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Algorithm clustering for multi-algorithm processor design.

Madhushika M. E. Karunarathna, Yu-Chu Tian, Colin J. Fidge, Ross Hayward

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Intrusion detection in distributed systems, an approach based on taint marking.

Christophe Hauser, Frederic Tronel, Colin J. Fidge, Ludovic Mé

Proceedings of IEEE International Conference on Communications, 2013

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

Proceedings of the Advanced Information Systems Engineering, 2013

What vs. how: comparing students' testing and coding skills.

Colin J. Fidge, Jim Hogan, Raymond Lister

Proceedings of the Fifteenth Australasian Computing Education Conference, 2013

Privacy-Aware Workflow Management.

Bandar Alhaqbani, Michael Adams, Colin J. Fidge, Arthur H. M. ter Hofstede

Proceedings of the Business Process Management - Theory and Applications, 2013

2012

A Hardware Virtualization Based Component Sandboxing Architecture.

Nuwan Goonasekera, William J. Caelli, Colin J. Fidge

J. Softw., 2012

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

Proceedings of the Business Process Management Workshops, 2012

Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device.

Chris Mills, Colin J. Fidge, Diane Corney

Proceedings of the Tenth Australasian Information Security Conference, 2012

A taint marking approach to confidentiality violation detection.

Christophe Hauser, Frédéric Tronel, Jason Reid, Colin J. Fidge

Proceedings of the Tenth Australasian Information Security Conference, 2012

Data Flow Analysis of Embedded Program Expressions.

Christopher Doble, Colin J. Fidge, Diane Corney

Proceedings of the Tenth Australasian Information Security Conference, 2012

2011

Partitioning composite web services for decentralized execution using a genetic algorithm.

Lifeng Ai, Maolin Tang, Colin J. Fidge

Future Gener. Comput. Syst., 2011

Data and process requirements for product recall coordination.

Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge

Comput. Ind., 2011

A Hierarchical Security Assessment Model for Object-Oriented Programs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 11th International Conference on Quality Software, 2011

A conditional retransmission enabled transport protocol for real-time networked control systems.

Li Gui, Yu-Chu Tian, Colin J. Fidge

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

Resource Allocation and Scheduling of Multiple Composite Web Services in Cloud Computing Using Cooperative Coevolution Genetic Algorithm.

Lifeng Ai, Maolin Tang, Colin J. Fidge

Proceedings of the Neural Information Processing - 18th International Conference, 2011

Workflow support for scheduling in surgical care processes.

Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge

Proceedings of the 19th European Conference on Information Systems, 2011

2010

Probabilistic Inference Channel Detection and Restriction Applied to Patients' Privacy Assurance.

Bandar Alhaqbani, Colin J. Fidge

Int. J. Inf. Secur. Priv., 2010

QoS-oriented Resource Allocation and Scheduling of Multiple CompositeWeb Services in a Hybrid Cloud Using a Random-Key Genetic Algorithm.

Lifeng Ai, Maolin Tang, Colin J. Fidge

Aust. J. Intell. Inf. Process. Syst., 2010

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

Proceedings of the Fourth International Conference on Network and System Security, 2010

Performance analysis of IEEE 802.11 DCF based WNCS networks.

Guosong Tian, Yu-Chu Tian, Colin J. Fidge

Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

A Secure Framework and Related Protocols for Ubiquitous Access to Electronic Health Records Using Java SIM Cards.

Reza Hassanzadeh, Tony Sahama, Colin J. Fidge

Proceedings of the E-Health - First IMIA/IFIP Joint Symposium, 2010

Reconstruction of Falsified Computer Logs for Digital Forensics Investigations.

Maolin Tang, Colin J. Fidge

Proceedings of the 8th Australasian Information Security Conference 2010, 2010

Security Metrics for Object-Oriented Designs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010

Assessing the Impact of Refactoring on Security-Critical Object-Oriented Designs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

Process Mining and Simulation.

Moe Thandar Wynn, Anne Rozinat, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge

Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

2009

A Medical Data Reliability Assessment Model.

Bandar Alhaqbani, Audun Jøsang, Colin J. Fidge

J. Theor. Appl. Electron. Commer. Res., 2009

Workflow simulation for operational decision support.

Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge

Data Knowl. Eng., 2009

Security Metrics for Object-Oriented Class Designs.

Bandar Alshammari, Colin J. Fidge, Diane Corney

Proceedings of the Ninth International Conference on Quality Software, 2009

Hybrid system simulation of computer control applications over communication networks.

Guosong Tian, Colin J. Fidge, Yu-Chu Tian

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

Integrating hardware and software information flow analyses.

Colin J. Fidge, Diane Corney

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Further evidence of a relationship between explaining, tracing and writing skills in introductory programming.

Raymond Lister, Colin J. Fidge, Donna Teague

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications.

Maolin Tang, Colin J. Fidge

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2008

High-Precision Relative Clock Synchronization Using Time Stamp Counters.

Guosong Tian, Yu-Chu Tian, Colin J. Fidge

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

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

Proceedings of the Business Process Management, 6th International Conference, 2008

Product flow analysis in distribution networks with a fixed time horizon.

Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Marlon Dumas

Proceedings of the Computer Science 2008, 2008

Relative simulation and model checking of real-time processes.

Colin J. Fidge

Proceedings of the Computer Science 2008, 2008

2007

Performance Evaluation of IEEE 802.11 Wireless Networks for Real-time Networked Control Systems.

Li Gui, Yu-Chu Tian, Colin J. Fidge

Proceedings of the 2007 International Conference on Embedded Systems & Applications, 2007

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

Proceedings of the Business Process Management Workshops, 2007

Access Control Requirements for Processing Electronic Health Records.

Bandar Alhaqbani, Colin J. Fidge

Proceedings of the Business Process Management Workshops, 2007

Cross-Layer Verification of Type Flaw Attacks on Security Protocols.

Benjamin W. Long, Colin J. Fidge, David A. Carrington

Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006

Formal change impact analyses for emulated control software.

Colin J. Fidge

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

Procedure compilation in the refinement calculus.

Karl Lermer, Colin J. Fidge

Formal Aspects Comput., 2006

Fault Evaluation for Security-Critical Communications Devices.

Andrew Rae, Colin J. Fidge, Luke Wildman

Computer, 2006

Functional Analysis of a Real-Time Protocol for Networked Control Systems.

Colin J. Fidge, Yu-Chu Tian

Proceedings of the Automated Technology for Verification and Analysis, 2006

Formally Analysing a Security Protocol for Replay Attacks.

Benjamin W. Long, Colin J. Fidge

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Well-Measuring Programs.

Phil Cook, Colin J. Fidge

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Tracing secure information flow through mode changes.

Colin J. Fidge, Tim McComb

Proceedings of the Computer Science 2006, 2006

2005

A theory for execution-time derivation in real-time programs.

Karl Lermer, Colin J. Fidge, Ian J. Hayes

Theor. Comput. Sci., 2005

Information Flow Analysis for Fail-Secure Devices.

Andrew Rae, Colin J. Fidge

Comput. J., 2005

Identifying Critical Components During Information Security Evaluations.

Andrew Rae, Colin J. Fidge

J. Res. Pract. Inf. Technol., 2005

Refinement Laws for Verifying Library Subroutine Adaptation.

Colin J. Fidge, Peter J. Robinson, Steve Dunne

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Model Checking Interrupt-Dependent Software.

Colin J. Fidge, Phil Cook

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003

Foreword.

Colin J. Fidge

Theor. Comput. Sci., 2003

The Variety of Variables in Automated Real-Time Refinement.

Luke Wildman, Colin J. Fidge, David A. Carrington

Formal Aspects Comput., 2003

Linear Approximation of Execution-Time Constraints.

Karl Lermer, Colin J. Fidge, Ian J. Hayes

Formal Aspects Comput., 2003

But What if I Don't Want to Wait Forever?

Colin J. Fidge, Carron Shankland

Formal Aspects Comput., 2003

Formal Semantics for Program Paths.

Karl Lermer, Colin J. Fidge, Ian J. Hayes

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

A Partial-Correctness Semantics for Modelling Assembler Programs.

Geoffrey Watson, Colin J. Fidge

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

A Z Based Approach to Verifying Security Protocols.

Benjamin W. Long, Colin J. Fidge, Antonio Cerone

Proceedings of the Formal Methods and Software Engineering, 2003

Verifying Emulation of Legacy Mission Computer Systems.

Colin J. Fidge

Proceedings of the FME 2003: Formal Methods, 2003

2002

A formal model of real-time program compilation.

Karl Lermer, Colin J. Fidge

Theor. Comput. Sci., 2002

The variety of variables in computer-aided real-time programming.

Luke Wildman, Colin J. Fidge

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Timing Analysis of Assembler Code Control-Flow Paths.

Colin J. Fidge

Proceedings of the FME 2002: Formal Methods, 2002

Animation of Data Refinements.

Neil J. Robinson, Colin J. Fidge

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

Contextual Matching of Software Library Components.

Colin J. Fidge

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Lifting in Z.

Andrew P. Martin, Colin J. Fidge

Proceedings of the Computing: The Australasian Theory Symposium, 2001

Preface.

Colin J. Fidge

Proceedings of the Computing: The Australasian Theory Symposium, 2001

Semantic characterisation of dead control-flow paths.

Ian J. Hayes, Colin J. Fidge, Karl Lermer

IEE Proc. Softw., 2001

Visualisation of Refinements.

Neil J. Robinson, Colin J. Fidge

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

Compilation of Specifications.

Colin J. Fidge

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Computer-aided development of a real-time program.

Luke Wildman, Colin J. Fidge, David A. Carrington

Softw. Concepts Tools, 2000

Incremental Development of Real-Time Requirements: The Light Control Case Study.

Graeme Smith, Colin J. Fidge

J. Univers. Comput. Sci., 2000

The Algebra of Multi-tasking.

Colin J. Fidge

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

The deadline command.

Colin J. Fidge, Ian J. Hayes, Geoffrey Watson

IEE Proc. Softw., 1999

Modelling Discrete Behaviour in a Continuous-Time Formalism.

Colin J. Fidge

Proceedings of the Integrated Formal Methods, 1999

1998

Real-Time Schedulability Tests for Preemptive Multitasking.

Colin J. Fidge

Real Time Syst., 1998

A Limitation of Vector Timestamps for Reconstructing Distributed Computations.

Colin J. Fidge

Inf. Process. Lett., 1998

A Set-Theoretic Model for Real-Time Specification and Reasoning.

Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst

Proceedings of the Mathematics of Program Construction, 1998

Defining Differentiation and Integration in Z.

Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

A Formal Method for Building Concurrent Real-Time Software.

Colin J. Fidge, Peter Kearney, Mark Utting

IEEE Softw., 1997

An Action-Based Formal Model for Concurrent Real-Time Systems.

Colin J. Fidge, Andy J. Wellings

Formal Aspects Comput., 1997

A Methodology for Compilation of High-Integrity Real-Time Programs.

Karl Lermer, Colin J. Fidge

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Refinement Rules for Real-Time Multi-tasking Programs.

Colin J. Fidge

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Fundamentals of Distributed System Observation.

Colin J. Fidge

IEEE Softw., 1996

It's now or never.

Colin J. Fidge

XRDS, 1996

Integrating Real-Time Scheduling Theory and Program Refinement.

Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Interactively Verifying a Simple Real-time Scheduler.

Colin J. Fidge, Peter Kearney, Mark Utting

Proceedings of the Computer Aided Verification, 1995

1994

Proof Obligations for Real-Time Refinement.

Colin J. Fidge

Proceedings of the 6th Refinement Workshop, 1994

Adding Real Time to Formal Program Development.

Colin J. Fidge

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

A Formal Definition of Priority in CSP.

Colin J. Fidge

ACM Trans. Program. Lang. Syst., 1993

Real-Time Refinement.

Colin J. Fidge

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Disciplined approach to real-time systems design.

Colin J. Fidge, Andrew M. Lister

Inf. Softw. Technol., 1992

Specification and Verification of Real-Time Behaviour Using Z and RTL.

Colin J. Fidge

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

A constraint-oriented real-time process calculus.

Colin J. Fidge

Proceedings of the Formal Description Techniques, 1992

1991

Logical Time in Distributed Computing Systems.

Colin J. Fidge

Computer, 1991

Process Algebra Traces Augmented with Causal Relationships.

Colin J. Fidge

Proceedings of the Formal Description Techniques, 1991

1990

A LOTOS Interpreter for Simulating Real-Time Behaviour.

Colin J. Fidge

Proceedings of the Formal Description Techniques, 1990

1988

A LISP Implementation of the Model for 'Communicating Sequential Processes'.

Colin J. Fidge

Softw. Pract. Exp., 1988

Partial Orders for Parallel Debugging.

Colin J. Fidge

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

1987

Reproducible Tests in CSP.

Colin J. Fidge

Aust. Comput. J., 1987

1983

A Comparison of the Concurrency Constructs and Module Facilities of CHILL and Ada.

Colin J. Fidge, Robert S. V. Pascoe

Aust. Comput. J., 1983