Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Colin J. Fidge
@article{DBLP:journals/eswa/HussainFFJ23,
author = {Mukhtar Hussain and
Colin J. Fidge and
Ernest Foo and
Zahra Jadidi},
title = {Discovering a data interpreted petri net model of industrial control
systems for anomaly detection},
journal = {Expert Syst. Appl.},
volume = {230},
pages = {120511},
year = {2023},
url = {https://doi.org/10.1016/j.eswa.2023.120511},
doi = {10.1016/J.ESWA.2023.120511},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/HussainFFJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/NekrasovKF23,
author = {Alexey Nekrasov and
Alena B. Khachaturian and
Colin J. Fidge},
title = {Optimization of Airborne Scatterometer {NRCS} Semicircular Sampling
for Sea Wind Retrieval},
journal = {Remote. Sens.},
volume = {15},
number = {6},
pages = {1613},
year = {2023},
url = {https://doi.org/10.3390/rs15061613},
doi = {10.3390/RS15061613},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/NekrasovKF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BasanBNFIBL23,
author = {Elena Basan and
Alexandr S. Basan and
Alexey Nekrasov and
Colin J. Fidge and
Evgeniya Ishchukova and
Anatoly Basyuk and
Alexandr Lesnikov},
title = {Trusted Operation of Cyber-Physical Processes Based on Assessment
of the System's State and Operating Mode},
journal = {Sensors},
volume = {23},
number = {4},
pages = {1996},
year = {2023},
url = {https://doi.org/10.3390/s23041996},
doi = {10.3390/S23041996},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BasanBNFIBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/FurdaSFBFSB23,
author = {Andrei Furda and
Alessandro Soro and
Erwin Fielt and
Nicola Bartlett and
Colin J. Fidge and
Jesse Steineck and
Lionel van den Berg},
title = {Jump-Starting Software Engineering Careers},
journal = {{IEEE} Softw.},
volume = {40},
number = {5},
pages = {108--115},
year = {2023},
url = {https://doi.org/10.1109/MS.2023.3283278},
doi = {10.1109/MS.2023.3283278},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/FurdaSFBFSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangFNFJL22,
author = {Xuelei Wang and
Colin J. Fidge and
Ghavameddin Nourbakhsh and
Ernest Foo and
Zahra Jadidi and
Calvin Li},
title = {Anomaly Detection for Insider Attacks From Untrusted Intelligent Electronic
Devices in Substation Automation Systems},
journal = {{IEEE} Access},
volume = {10},
pages = {6629--6649},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3142022},
doi = {10.1109/ACCESS.2022.3142022},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/WangFNFJL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/WhaiduzzamanBCB22,
author = {Md Whaiduzzaman and
Alistair Barros and
Moumita Chanda and
Supti Barman and
Tania Sultana and
Md. Sazzadur Rahman and
Shanto Roy and
Colin J. Fidge},
title = {A Review of Emerging Technologies for IoT-Based Smart Cities},
journal = {Sensors},
volume = {22},
number = {23},
pages = {9271},
year = {2022},
url = {https://doi.org/10.3390/s22239271},
doi = {10.3390/S22239271},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/WhaiduzzamanBCB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/HussainFFJ22,
author = {Mukhtar Hussain and
Colin J. Fidge and
Ernest Foo and
Zahra Jadidi},
title = {Discovering Data-Aware Mode-Switching Constraints to Monitor Mode-Switching
Decisions in Supervisory Control},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {18},
number = {6},
pages = {3734--3743},
year = {2022},
url = {https://doi.org/10.1109/TII.2021.3120020},
doi = {10.1109/TII.2021.3120020},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/HussainFFJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WhaiduzzamanMBK21,
author = {Md Whaiduzzaman and
Md. Julkar Nayeen Mahi and
Alistair Barros and
Md. Ibrahim Khalil and
Colin J. Fidge and
Rajkumar Buyya},
title = {{BFIM:} Performance Measurement of a Blockchain Based Hierarchical
Tree Layered Fog-IoT Microservice Architecture},
journal = {{IEEE} Access},
volume = {9},
pages = {106655--106674},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3100072},
doi = {10.1109/ACCESS.2021.3100072},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WhaiduzzamanMBK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/WhaiduzzamanFBM21,
author = {Md Whaiduzzaman and
Nishat Farjana and
Alistair Barros and
Md. Julkar Nayeen Mahi and
Md. Shahriare Satu and
Shanto Roy and
Colin J. Fidge},
title = {{HIBAF:} {A} data security scheme for fog computing},
journal = {J. High Speed Networks},
volume = {27},
number = {4},
pages = {381--402},
year = {2021},
url = {https://doi.org/10.3233/JHS-210673},
doi = {10.3233/JHS-210673},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/WhaiduzzamanFBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BasanBNFGG21,
author = {Elena Basan and
Alexandr S. Basan and
Alexey Nekrasov and
Colin J. Fidge and
J{\'{a}}n Gamec and
M{\'{a}}ria Gamcov{\'{a}}},
title = {A Self-Diagnosis Method for Detecting {UAV} Cyber Attacks Based on
Analysis of Parameter Changes},
journal = {Sensors},
volume = {21},
number = {2},
pages = {509},
year = {2021},
url = {https://doi.org/10.3390/s21020509},
doi = {10.3390/S21020509},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BasanBNFGG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LabunKNGCF21,
author = {J{\'{a}}n Labun and
Pavol Kurdel and
Alexey Nekrasov and
M{\'{a}}ria Gamcov{\'{a}} and
Marek Ceskovic and
Colin J. Fidge},
title = {Specific Resonant Properties of Non-Symmetrical Microwave Antennas},
journal = {Sensors},
volume = {21},
number = {3},
pages = {939},
year = {2021},
url = {https://doi.org/10.3390/s21030939},
doi = {10.3390/S21030939},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/LabunKNGCF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/GamecBBNFS21,
author = {J{\'{a}}n Gamec and
Elena Basan and
Alexandr S. Basan and
Alexey Nekrasov and
Colin J. Fidge and
Nikita Sushkin},
title = {An Adaptive Protection System for Sensor Networks Based on Analysis
of Neighboring Nodes},
journal = {Sensors},
volume = {21},
number = {18},
pages = {6116},
year = {2021},
url = {https://doi.org/10.3390/s21186116},
doi = {10.3390/S21186116},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/GamecBBNFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/HossainWBTMRFB21,
author = {Md. Razon Hossain and
Md Whaiduzzaman and
Alistair Barros and
Shelia Rahman Tuly and
Md. Julkar Nayeen Mahi and
Shanto Roy and
Colin J. Fidge and
Rajkumar Buyya},
title = {A scheduling-based dynamic fog computing framework for augmenting
resource utilization},
journal = {Simul. Model. Pract. Theory},
volume = {111},
pages = {102336},
year = {2021},
url = {https://doi.org/10.1016/j.simpat.2021.102336},
doi = {10.1016/J.SIMPAT.2021.102336},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/HossainWBTMRFB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/WhaiduzzamanBSH21,
author = {Md Whaiduzzaman and
Alistair Barros and
Ahmedur Rahman Shovon and
Md. Razon Hossain and
Colin J. Fidge},
editor = {Barbara Carminati and
Carl K. Chang and
Ernesto Daminai and
Shuigung Deng and
Wei Tan and
Zhongjie Wang and
Robert Ward and
Jia Zhang},
title = {A Resilient Fog-IoT Framework for Seamless Microservice Execution},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {213--221},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCC53864.2021.00034},
doi = {10.1109/SCC53864.2021.00034},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/WhaiduzzamanBSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AlwisBFP21,
author = {Adambarage Anuruddha Chathuranga De Alwis and
Alistair Barros and
Colin J. Fidge and
Artem Polyvyanyy},
editor = {Marcello La Rosa and
Shazia W. Sadiq and
Ernest Teniente},
title = {Microservice Remodularisation of Monolithic Enterprise Systems for
Embedding in Industrial IoT Networks},
booktitle = {Advanced Information Systems Engineering - 33rd International Conference,
CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12751},
pages = {432--448},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79382-1\_26},
doi = {10.1007/978-3-030-79382-1\_26},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/AlwisBFP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LabunKCKGNFL20,
author = {J{\'{a}}n Labun and
Gabriel Kalapos and
Marek Ceskovic and
Pavol Kurdel and
J{\'{a}}n Gamec and
Alexey Nekrasov and
Colin J. Fidge and
Miroslav Lass{\'{a}}k},
title = {A Simple High-Precision 2-Port Vector Analyzer},
journal = {{IEEE} Access},
volume = {8},
pages = {196609--196617},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3034536},
doi = {10.1109/ACCESS.2020.3034536},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LabunKCKGNFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/FernandoFS20,
author = {Mahesh Fernando and
Colin J. Fidge and
Tony Sahama},
editor = {Prem Prakash Jayaraman and
Dimitrios Georgakopoulos and
Timos K. Sellis and
Abdur Forkan},
title = {Design Guidelines for Effective Occupation-Based Personal Health Records},
booktitle = {Proceedings of the Australasian Computer Science Week, {ACSW} 2020,
Melbourne, VIC, Australia, February 3-7, 2020},
pages = {25:1--25:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373017.3373042},
doi = {10.1145/3373017.3373042},
timestamp = {Fri, 15 Mar 2024 12:30:44 +0100},
biburl = {https://dblp.org/rec/conf/acsw/FernandoFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AlwisBFP20,
author = {Adambarage Anuruddha Chathuranga De Alwis and
Alistair Barros and
Colin J. Fidge and
Artem Polyvyanyy},
editor = {Schahram Dustdar and
Eric Yu and
Camille Salinesi and
Dominique Rieu and
Vik Pant},
title = {Remodularization Analysis for Microservice Discovery Using Syntactic
and Semantic Clustering},
booktitle = {Advanced Information Systems Engineering - 32nd International Conference,
CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12127},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49435-3\_1},
doi = {10.1007/978-3-030-49435-3\_1},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/AlwisBFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/JadidiDJF20,
author = {Zahra Jadidi and
Ali Dorri and
Raja Jurdak and
Colin J. Fidge},
editor = {Guojun Wang and
Ryan K. L. Ko and
Md. Zakirul Alam Bhuiyan and
Yi Pan},
title = {Securing Manufacturing Using Blockchain},
booktitle = {19th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2020, Guangzhou, China,
December 29, 2020 - January 1, 2021},
pages = {1920--1925},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TrustCom50675.2020.00262},
doi = {10.1109/TRUSTCOM50675.2020.00262},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/JadidiDJF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07493,
author = {Zahra Jadidi and
Ali Dorri and
Raja Jurdak and
Colin J. Fidge},
title = {Securing Manufacturing Using Blockchain},
journal = {CoRR},
volume = {abs/2010.07493},
year = {2020},
url = {https://arxiv.org/abs/2010.07493},
eprinttype = {arXiv},
eprint = {2010.07493},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/FernandoFS19,
author = {Mahesh Fernando and
Colin J. Fidge and
Tony Sahama},
title = {An Overall Health and Well-Being Data Model for Employer-Sponsored
Personal Health Records},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
{ACSW} 2019, Sydney, NSW, Australia, January 29-31, 2019},
pages = {23:1--23:10},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3290688.3290727},
doi = {10.1145/3290688.3290727},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsw/FernandoFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/WickramageFOS19,
author = {Chathurika Wickramage and
Colin J. Fidge and
Chun Ouyang and
Tony Sahama},
title = {Generating Log Requirements for Checking Conformance against Healthcare
Standards using Workflow Modelling},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
{ACSW} 2019, Sydney, NSW, Australia, January 29-31, 2019},
pages = {35:1--35:10},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3290688.3290739},
doi = {10.1145/3290688.3290739},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsw/WickramageFOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/AlwisBFP19,
author = {Adambarage Anuruddha Chathuranga De Alwis and
Alistair Barros and
Colin J. Fidge and
Artem Polyvyanyy},
editor = {Herv{\'{e}} Panetto and
Christophe Debruyne and
Martin Hepp and
Dave Lewis and
Claudio Agostino Ardagna and
Robert Meersman},
title = {Business Object Centric Microservices Patterns},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2019 Conferences
- Confederated International Conferences: CoopIS, ODBASE, C{\&}TC
2019, Rhodes, Greece, October 21-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11877},
pages = {476--495},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33246-4\_30},
doi = {10.1007/978-3-030-33246-4\_30},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/otm/AlwisBFP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/AlwisBFP19a,
author = {Adambarage Anuruddha Chathuranga De Alwis and
Alistair Barros and
Colin J. Fidge and
Artem Polyvyanyy},
editor = {Herv{\'{e}} Panetto and
Christophe Debruyne and
Martin Hepp and
Dave Lewis and
Claudio Agostino Ardagna and
Robert Meersman},
title = {Availability and Scalability Optimized Microservice Discovery from
Enterprise Systems},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2019 Conferences
- Confederated International Conferences: CoopIS, ODBASE, C{\&}TC
2019, Rhodes, Greece, October 21-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11877},
pages = {496--514},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33246-4\_31},
doi = {10.1007/978-3-030-33246-4\_31},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/otm/AlwisBFP19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FurdaFB18,
author = {Andrei Furda and
Colin J. Fidge and
Alistair Barros},
title = {A practical approach for detecting multi-tenancy data interference},
journal = {Sci. Comput. Program.},
volume = {163},
pages = {160--173},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.04.006},
doi = {10.1016/J.SCICO.2018.04.006},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/FurdaFB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/FurdaFZKB18,
author = {Andrei Furda and
Colin J. Fidge and
Olaf Zimmermann and
Wayne Kelly and
Alistair Barros},
title = {Migrating Enterprise Legacy Source Code to Microservices: On Multitenancy,
Statefulness, and Data Consistency},
journal = {{IEEE} Softw.},
volume = {35},
number = {3},
pages = {63--72},
year = {2018},
url = {https://doi.org/10.1109/MS.2017.440134612},
doi = {10.1109/MS.2017.440134612},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/FurdaFZKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/FernandoFSH18,
author = {Mahesh Fernando and
Colin J. Fidge and
Tony Sahama and
K. Priyantha Hewagamage},
editor = {David Abramson},
title = {Employees' perceptions of sharing employer-sponsored personal health
records},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
{ACSW} 2018, Brisbane, QLD, Australia, January 29 - February 02, 2018},
pages = {35:1--35:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167918.3167947},
doi = {10.1145/3167918.3167947},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/acsw/FernandoFSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AlwisBPF18,
author = {Adambarage Anuruddha Chathuranga De Alwis and
Alistair Barros and
Artem Polyvyanyy and
Colin J. Fidge},
editor = {Claus Pahl and
Maja Vukovic and
Jianwei Yin and
Qi Yu},
title = {Function-Splitting Heuristics for Discovery of Microservices in Enterprise
Systems},
booktitle = {Service-Oriented Computing - 16th International Conference, {ICSOC}
2018, Hangzhou, China, November 12-15, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11236},
pages = {37--53},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03596-9\_3},
doi = {10.1007/978-3-030-03596-9\_3},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/AlwisBPF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/AlwisBFP18,
author = {Adambarage Anuruddha Chathuranga De Alwis and
Alistair Barros and
Colin J. Fidge and
Artem Polyvyanyy},
editor = {Herv{\'{e}} Panetto and
Christophe Debruyne and
Henderik A. Proper and
Claudio Agostino Ardagna and
Dumitru Roman and
Robert Meersman},
title = {Discovering Microservices in Enterprise Systems Using a Business Object
Containment Heuristic},
booktitle = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences
- Confederated International Conferences: CoopIS, C{\&}TC, and
{ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11230},
pages = {60--79},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02671-4\_4},
doi = {10.1007/978-3-030-02671-4\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/AlwisBFP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ZhangTKF17,
author = {Yi{-}Fan Zhang and
Yu{-}Chu Tian and
Wayne Kelly and
Colin J. Fidge},
title = {Scalable and efficient data distribution for distributed computing
of all-to-all comparison problems},
journal = {Future Gener. Comput. Syst.},
volume = {67},
pages = {152--162},
year = {2017},
url = {https://doi.org/10.1016/j.future.2016.08.020},
doi = {10.1016/J.FUTURE.2016.08.020},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/ZhangTKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmis/PikaLWFHA17,
author = {Anastasiia Pika and
Michael Leyer and
Moe Thandar Wynn and
Colin J. Fidge and
Arthur H. M. ter Hofstede and
Wil M. P. van der Aalst},
title = {Mining Resource Profiles from Event Logs},
journal = {{ACM} Trans. Manag. Inf. Syst.},
volume = {8},
number = {1},
pages = {1:1--1:30},
year = {2017},
url = {https://doi.org/10.1145/3041218},
doi = {10.1145/3041218},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmis/PikaLWFHA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/HunterPRF17,
author = {Daniel Hunter and
Jack Parry and
Kenneth Radke and
Colin J. Fidge},
title = {Authenticated encryption for time-sensitive critical infrastructure},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
{ACSW} 2017, Geelong, Australia, January 31 - February 3, 2017},
pages = {19:1--19:10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3014812.3014832},
doi = {10.1145/3014812.3014832},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsw/HunterPRF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/WickramageFSW17,
author = {Chathurika Wickramage and
Colin J. Fidge and
Tony Sahama and
Roy Wong},
title = {Challenges for Log Based Detection of Privacy Violations during Healthcare
Emergencies},
booktitle = {2017 {IEEE} Global Communications Conference, {GLOBECOM} 2017, Singapore,
December 4-8, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/GLOCOM.2017.8254433},
doi = {10.1109/GLOCOM.2017.8254433},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/WickramageFSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconip/PereraTFK17,
author = {Pramitha Perera and
Yu{-}Chu Tian and
Colin J. Fidge and
Wayne Kelly},
editor = {Derong Liu and
Shengli Xie and
Yuanqing Li and
Dongbin Zhao and
El{-}Sayed M. El{-}Alfy},
title = {A Comparison of Supervised Machine Learning Algorithms for Classification
of Communications Network Traffic},
booktitle = {Neural Information Processing - 24th International Conference, {ICONIP}
2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10634},
pages = {445--454},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70087-8\_47},
doi = {10.1007/978-3-319-70087-8\_47},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iconip/PereraTFK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/decan/ChakrabortyMFML16,
author = {Subrata Chakraborty and
Kerrie L. Mengersen and
Colin J. Fidge and
Lin Ma and
David Lassen},
title = {A Bayesian Network-based customer satisfaction model: a tool for management
decisions in railway transport},
journal = {Decis. Anal.},
volume = {3},
pages = {4},
year = {2016},
url = {https://doi.org/10.1186/s40165-016-0021-2},
doi = {10.1186/S40165-016-0021-2},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/decan/ChakrabortyMFML16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/PikaAWFH16,
author = {Anastasiia Pika and
Wil M. P. van der Aalst and
Moe Thandar Wynn and
Colin J. Fidge and
Arthur H. M. ter Hofstede},
title = {Evaluating and predicting overall process risk using event logs},
journal = {Inf. Sci.},
volume = {352-353},
pages = {98--120},
year = {2016},
url = {https://doi.org/10.1016/j.ins.2016.03.003},
doi = {10.1016/J.INS.2016.03.003},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/PikaAWFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/ZhangTFK16,
author = {Yi{-}Fan Zhang and
Yu{-}Chu Tian and
Colin J. Fidge and
Wayne Kelly},
title = {Data-aware task scheduling for all-to-all comparison problems in heterogeneous
distributed systems},
journal = {J. Parallel Distributed Comput.},
volume = {93-94},
pages = {87--101},
year = {2016},
url = {https://doi.org/10.1016/j.jpdc.2016.04.008},
doi = {10.1016/J.JPDC.2016.04.008},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/ZhangTFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/TeagueFX16,
author = {Donna Teague and
Colin J. Fidge and
Yue Xu},
title = {Combining unsupervised and invigilated assessment of introductory
programming},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
Canberra, Australia, February 2-5, 2016},
pages = {9},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2843043.2843064},
doi = {10.1145/2843043.2843064},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/TeagueFX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/ParryHRF16,
author = {Jack Parry and
Daniel Hunter and
Kenneth Radke and
Colin J. Fidge},
title = {A network forensics tool for precise data packet capture and replay
in cyber-physical systems},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
Canberra, Australia, February 2-5, 2016},
pages = {22},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2843043.2843047},
doi = {10.1145/2843043.2843047},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsc/ParryHRF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthcom/WickramageSF16,
author = {Chathurika Wickramage and
Tony Sahama and
Colin J. Fidge},
title = {Anatomy of log files: Implications for information accountability
measures},
booktitle = {18th {IEEE} International Conference on e-Health Networking, Applications
and Services, Healthcom 2016, Munich, Germany, September 14-16, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HealthCom.2016.7749426},
doi = {10.1109/HEALTHCOM.2016.7749426},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/healthcom/WickramageSF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/FernandoSFH16,
author = {Mahesh Fernando and
Tony Sahama and
Colin J. Fidge and
K. Priyantha Hewagamage},
title = {Personal health records as sources of productivity evidence},
booktitle = {2016 {IEEE} International Conference on Communications, {ICC} 2016,
Kuala Lumpur, Malaysia, May 22-27, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICC.2016.7510830},
doi = {10.1109/ICC.2016.7510830},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/FernandoSFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GoonasekeraCF15,
author = {Nuwan Goonasekera and
William J. Caelli and
Colin J. Fidge},
title = {LibVM: an architecture for shared library sandboxing},
journal = {Softw. Pract. Exp.},
volume = {45},
number = {12},
pages = {1597--1617},
year = {2015},
url = {https://doi.org/10.1002/spe.2294},
doi = {10.1002/SPE.2294},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/GoonasekeraCF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/AkandeFF15,
author = {Ayodeji James Akande and
Colin J. Fidge and
Ernest Foo},
editor = {David Parry},
title = {Component Modeling for {SCADA} Network Mapping},
booktitle = {38th Australasian Computer Science Conference, {ACSC} 2015, Sydney,
Australia, January 2015},
series = {{CRPIT}},
volume = {159},
pages = {91--100},
publisher = {Australian Computer Society},
year = {2015},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV159Akande.html},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/AkandeFF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconip/ZhangTKFG15,
author = {Yi{-}Fan Zhang and
Yu{-}Chu Tian and
Wayne Kelly and
Colin J. Fidge and
Jing Gao},
editor = {Sabri Arik and
Tingwen Huang and
Weng Kin Lai and
Qingshan Liu},
title = {Application of Simulated Annealing to Data Distribution for All-to-All
Comparison Problems in Homogeneous Systems},
booktitle = {Neural Information Processing - 22nd International Conference, {ICONIP}
2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {9491},
pages = {683--691},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26555-1\_77},
doi = {10.1007/978-3-319-26555-1\_77},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iconip/ZhangTKFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/ZhangTKF15,
author = {Yi{-}Fan Zhang and
Yu{-}Chu Tian and
Wayne Kelly and
Colin J. Fidge},
title = {Distributed computing of all-to-all comparison problems in heterogeneous
systems},
booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics
Society, Yokohama, Japan, November 9-12, 2015},
pages = {2053--2058},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IECON.2015.7392403},
doi = {10.1109/IECON.2015.7392403},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/ZhangTKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BrianTHF15,
author = {Samuel A. Brian and
Richard N. Thomas and
James M. Hogan and
Colin J. Fidge},
editor = {Valentina Dagiene and
Carsten Schulte and
Tatjana Jevsikova},
title = {Planting Bugs: {A} System for Testing Students' Unit Tests},
booktitle = {Proceedings of the 2015 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCS 2015, Vilnius, Lithuania, July
4-8, 2015},
pages = {45--50},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2729094.2742631},
doi = {10.1145/2729094.2742631},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/BrianTHF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cais/SuriadiWWHACFRO14,
author = {Suriadi Suriadi and
Burkhard Wei{\ss} and
Axel Winkelmann and
Arthur H. M. ter Hofstede and
Michael Adams and
Raffaele Conforti and
Colin J. Fidge and
Marcello La Rosa and
Chun Ouyang and
Anastasiia Pika and
Michael Rosemann and
Moe Thandar Wynn},
title = {Current Research in Risk-aware Business Process Management - Overview,
Comparison, and Gap Analysis},
journal = {Commun. Assoc. Inf. Syst.},
volume = {34},
pages = {52},
year = {2014},
url = {https://doi.org/10.17705/1cais.03452},
doi = {10.17705/1CAIS.03452},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cais/SuriadiWWHACFRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/TianTF14,
author = {Guosong Tian and
Yu{-}Chu Tian and
Colin J. Fidge},
title = {Precise relative clock synchronization for distributed control using
{TSC} registers},
journal = {J. Netw. Comput. Appl.},
volume = {44},
pages = {63--71},
year = {2014},
url = {https://doi.org/10.1016/j.jnca.2014.04.013},
doi = {10.1016/J.JNCA.2014.04.013},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jnca/TianTF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/KarunarathnaTF14,
author = {Madhushika M. E. Karunarathna and
Yu{-}Chu Tian and
Colin J. Fidge},
title = {Domain-specific application analysis for customized instruction identification},
journal = {Microprocess. Microsystems},
volume = {38},
number = {7},
pages = {637--648},
year = {2014},
url = {https://doi.org/10.1016/j.micpro.2014.06.006},
doi = {10.1016/J.MICPRO.2014.06.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/KarunarathnaTF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PikaWFHLA14,
author = {Anastasiia Pika and
Moe Thandar Wynn and
Colin J. Fidge and
Arthur H. M. ter Hofstede and
Michael Leyer and
Wil M. P. van der Aalst},
editor = {Matthias Jarke and
John Mylopoulos and
Christoph Quix and
Colette Rolland and
Yannis Manolopoulos and
Haralambos Mouratidis and
Jennifer Horkoff},
title = {An Extensible Framework for Analysing Resource Behaviour Using Event
Logs},
booktitle = {Advanced Information Systems Engineering - 26th International Conference,
CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8484},
pages = {564--579},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07881-6\_38},
doi = {10.1007/978-3-319-07881-6\_38},
timestamp = {Fri, 27 Dec 2019 21:25:01 +0100},
biburl = {https://dblp.org/rec/conf/caise/PikaWFHLA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/ZhangTKF14,
author = {Yi{-}Fan Zhang and
Yu{-}Chu Tian and
Wayne Kelly and
Colin J. Fidge},
title = {A distributed computing framework for All-to-All comparison problems},
booktitle = {{IECON} 2014 - 40th Annual Conference of the {IEEE} Industrial Electronics
Society, Dallas, TX, USA, October 29 - November 1, 2014},
pages = {2499--2505},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IECON.2014.7048857},
doi = {10.1109/IECON.2014.7048857},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/ZhangTKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ace/FidgeHL13,
author = {Colin J. Fidge and
Jim Hogan and
Raymond Lister},
editor = {Angela Carbone and
Jacqueline L. Whalley},
title = {What vs. how: comparing students' testing and coding skills},
booktitle = {Proceedings of the Fifteenth Australasian Computing Education Conference,
{ACE} '13, Adelaide, Australia, January 29 - February 1, 2013},
pages = {97--106},
publisher = {Australian Computer Society / {ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2667210},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/ace/FidgeHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PikaAFHW13,
author = {Anastasiia Pika and
Wil M. P. van der Aalst and
Colin J. Fidge and
Arthur H. M. ter Hofstede and
Moe Thandar Wynn},
editor = {Camille Salinesi and
Moira C. Norrie and
Oscar Pastor},
title = {Profiling Event Logs to Configure Risk Indicators for Process Delays},
booktitle = {Advanced Information Systems Engineering - 25th International Conference,
CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7908},
pages = {465--481},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38709-8\_30},
doi = {10.1007/978-3-642-38709-8\_30},
timestamp = {Mon, 18 Jan 2021 08:56:37 +0100},
biburl = {https://dblp.org/rec/conf/caise/PikaAFHW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/HauserTFM13,
author = {Christophe Hauser and
Frederic Tronel and
Colin J. Fidge and
Ludovic M{\'{e}}},
title = {Intrusion detection in distributed systems, an approach based on taint
marking},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2013, Budapest, Hungary, June 9-13, 2013},
pages = {1962--1967},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICC.2013.6654811},
doi = {10.1109/ICC.2013.6654811},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/HauserTFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/KarunarathnaTFH13,
author = {Madhushika M. E. Karunarathna and
Yu{-}Chu Tian and
Colin J. Fidge and
Ross Hayward},
title = {Algorithm clustering for multi-algorithm processor design},
booktitle = {2013 {IEEE} 31st International Conference on Computer Design, {ICCD}
2013, Asheville, NC, USA, October 6-9, 2013},
pages = {451--454},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICCD.2013.6657080},
doi = {10.1109/ICCD.2013.6657080},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/KarunarathnaTFH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AlshammariFC13,
author = {Bandar Alshammari and
Colin J. Fidge and
Diane Corney},
title = {Security Metrics for Java Bytecode Programs {(S)}},
booktitle = {The 25th International Conference on Software Engineering and Knowledge
Engineering, Boston, MA, USA, June 27-29, 2013},
pages = {394--399},
publisher = {Knowledge Systems Institute Graduate School},
year = {2013},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/AlshammariFC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/13/AlhaqbaniAFH13,
author = {Bandar Alhaqbani and
Michael Adams and
Colin J. Fidge and
Arthur H. M. ter Hofstede},
editor = {Michael Glykas},
title = {Privacy-Aware Workflow Management},
booktitle = {Business Process Management - Theory and Applications},
series = {Studies in Computational Intelligence},
volume = {444},
pages = {111--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-28409-0\_5},
doi = {10.1007/978-3-642-28409-0\_5},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/13/AlhaqbaniAFH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/GoonasekeraCF12,
author = {Nuwan Goonasekera and
William J. Caelli and
Colin J. Fidge},
title = {A Hardware Virtualization Based Component Sandboxing Architecture},
journal = {J. Softw.},
volume = {7},
number = {9},
pages = {2107--2118},
year = {2012},
url = {https://doi.org/10.4304/jsw.7.9.2107-2118},
doi = {10.4304/JSW.7.9.2107-2118},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/GoonasekeraCF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auisc/MillsFC12,
author = {Chris Mills and
Colin J. Fidge and
Diane Corney},
editor = {Josef Pieprzyk and
Clark D. Thomborson},
title = {Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device},
booktitle = {Tenth Australasian Information Security Conference, {AISC} 2012, Melbourne,
Australia, January 2012},
series = {{CRPIT}},
volume = {125},
pages = {59--70},
publisher = {Australian Computer Society},
year = {2012},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV125Mills.html},
timestamp = {Thu, 25 Jul 2019 14:09:43 +0200},
biburl = {https://dblp.org/rec/conf/auisc/MillsFC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auisc/DobleFC12,
author = {Christopher Doble and
Colin J. Fidge and
Diane Corney},
editor = {Josef Pieprzyk and
Clark D. Thomborson},
title = {Data Flow Analysis of Embedded Program Expressions},
booktitle = {Tenth Australasian Information Security Conference, {AISC} 2012, Melbourne,
Australia, January 2012},
series = {{CRPIT}},
volume = {125},
pages = {71--82},
publisher = {Australian Computer Society},
year = {2012},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV125Doble.html},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/auisc/DobleFC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auisc/HauserTRF12,
author = {Christophe Hauser and
Fr{\'{e}}d{\'{e}}ric Tronel and
Jason Reid and
Colin J. Fidge},
editor = {Josef Pieprzyk and
Clark D. Thomborson},
title = {A taint marking approach to confidentiality violation detection},
booktitle = {Tenth Australasian Information Security Conference, {AISC} 2012, Melbourne,
Australia, January 2012},
series = {{CRPIT}},
volume = {125},
pages = {83--90},
publisher = {Australian Computer Society},
year = {2012},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV125Hauser.html},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/auisc/HauserTRF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/PikaAFHW12,
author = {Anastasiia Pika and
Wil M. P. van der Aalst and
Colin J. Fidge and
Arthur H. M. ter Hofstede and
Moe Thandar Wynn},
editor = {Marcello La Rosa and
Pnina Soffer},
title = {Predicting Deadline Transgressions Using Event Logs},
booktitle = {Business Process Management Workshops - {BPM} 2012 International Workshops,
Tallinn, Estonia, September 3, 2012. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {132},
pages = {211--216},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36285-9\_22},
doi = {10.1007/978-3-642-36285-9\_22},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/PikaAFHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/WynnOHF11,
author = {Moe Thandar Wynn and
Chun Ouyang and
Arthur H. M. ter Hofstede and
Colin J. Fidge},
title = {Data and process requirements for product recall coordination},
journal = {Comput. Ind.},
volume = {62},
number = {7},
pages = {776--786},
year = {2011},
url = {https://doi.org/10.1016/j.compind.2011.05.003},
doi = {10.1016/J.COMPIND.2011.05.003},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cii/WynnOHF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/AiTF11,
author = {Lifeng Ai and
Maolin Tang and
Colin J. Fidge},
title = {Partitioning composite web services for decentralized execution using
a genetic algorithm},
journal = {Future Gener. Comput. Syst.},
volume = {27},
number = {2},
pages = {157--172},
year = {2011},
url = {https://doi.org/10.1016/j.future.2010.08.003},
doi = {10.1016/J.FUTURE.2010.08.003},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/AiTF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/OuyangWKABHF11,
author = {Chun Ouyang and
Moe Thandar Wynn and
Jan{-}Christian Kuhr and
Michael Adams and
Thomas Becker and
Arthur H. M. ter Hofstede and
Colin J. Fidge},
editor = {Virpi Kristiina Tuunainen and
Matti Rossi and
Joe Nandhakumar},
title = {Workflow support for scheduling in surgical care processes},
booktitle = {19th European Conference on Information Systems, {ECIS} 2011, Helsinki,
Finland, June 9-11, 2011},
pages = {30},
year = {2011},
url = {http://aisel.aisnet.org/ecis2011/30},
timestamp = {Thu, 19 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecis/OuyangWKABHF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconip/AiTF11,
author = {Lifeng Ai and
Maolin Tang and
Colin J. Fidge},
editor = {Bao{-}Liang Lu and
Liqing Zhang and
James T. Kwok},
title = {Resource Allocation and Scheduling of Multiple Composite Web Services
in Cloud Computing Using Cooperative Coevolution Genetic Algorithm},
booktitle = {Neural Information Processing - 18th International Conference, {ICONIP}
2011, Shanghai, China, November 13-17, 2011, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7063},
pages = {258--267},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24958-7\_30},
doi = {10.1007/978-3-642-24958-7\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iconip/AiTF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/GuiTF11,
author = {Li Gui and
Yu{-}Chu Tian and
Colin J. Fidge},
editor = {Chun Tung Chou and
Tom Pfeifer and
Anura P. Jayasumana},
title = {A conditional retransmission enabled transport protocol for real-time
networked control systems},
booktitle = {{IEEE} 36th Conference on Local Computer Networks, {LCN} 2011, Bonn,
Germany, October 4-7, 2011},
pages = {231--234},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LCN.2011.6115196},
doi = {10.1109/LCN.2011.6115196},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/GuiTF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AlshammariFC11,
author = {Bandar Alshammari and
Colin J. Fidge and
Diane Corney},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Robert M. Hierons and
Mercedes G. Merayo},
title = {A Hierarchical Security Assessment Model for Object-Oriented Programs},
booktitle = {Proceedings of the 11th International Conference on Quality Software,
{QSIC} 2011, Madrid, Spain, July 13-14, 2011},
pages = {218--227},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QSIC.2011.31},
doi = {10.1109/QSIC.2011.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/AlshammariFC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajiips/AiTF10,
author = {Lifeng Ai and
Maolin Tang and
Colin J. Fidge},
title = {QoS-oriented Resource Allocation and Scheduling of Multiple CompositeWeb
Services in a Hybrid Cloud Using a Random-Key Genetic Algorithm},
journal = {Aust. J. Intell. Inf. Process. Syst.},
volume = {12},
number = {1},
year = {2010},
url = {http://cs.anu.edu.au/ojs/index.php/ajiips/article/view/1129},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajiips/AiTF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisp/AlhaqbaniF10,
author = {Bandar Alhaqbani and
Colin J. Fidge},
title = {Probabilistic Inference Channel Detection and Restriction Applied
to Patients' Privacy Assurance},
journal = {Int. J. Inf. Secur. Priv.},
volume = {4},
number = {4},
pages = {35--59},
year = {2010},
url = {https://doi.org/10.4018/jisp.2010100103},
doi = {10.4018/JISP.2010100103},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisp/AlhaqbaniF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AlshammariFC10,
author = {Bandar Alshammari and
Colin J. Fidge and
Diane Corney},
editor = {Jun Han and
Tran Dan Thu},
title = {Assessing the Impact of Refactoring on Security-Critical Object-Oriented
Designs},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
Australia, November 30 - December 3, 2010},
pages = {186--195},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSEC.2010.30},
doi = {10.1109/APSEC.2010.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AlshammariFC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/AlshammariFC10,
author = {Bandar Alshammari and
Colin J. Fidge and
Diane Corney},
title = {Security Metrics for Object-Oriented Designs},
booktitle = {21st Australian Software Engineering Conference {(ASWEC} 2010), 6-9
April 2010, Auckland, New Zealand},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ASWEC.2010.34},
doi = {10.1109/ASWEC.2010.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/AlshammariFC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auisc/TangF10,
author = {Maolin Tang and
Colin J. Fidge},
editor = {Colin Boyd and
Willy Susilo},
title = {Reconstruction of Falsified Computer Logs for Digital Forensics Investigations},
booktitle = {8th Australasian Information Security Conference 2010, {AISC} 2010,
Brisbane, Australia, January 2010},
series = {{CRPIT}},
volume = {105},
pages = {12--21},
publisher = {Australian Computer Society},
year = {2010},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV105Tang.html},
timestamp = {Thu, 25 Jul 2019 14:09:43 +0200},
biburl = {https://dblp.org/rec/conf/auisc/TangF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HassanzadehSF10,
author = {Reza Hassanzadeh and
Tony Sahama and
Colin J. Fidge},
editor = {Hiroshi Takeda},
title = {A Secure Framework and Related Protocols for Ubiquitous Access to
Electronic Health Records Using Java {SIM} Cards},
booktitle = {E-Health - First {IMIA/IFIP} Joint Symposium, E-Health 2010, Held
as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010.
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {335},
pages = {102--113},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15515-4\_11},
doi = {10.1007/978-3-642-15515-4\_11},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HassanzadehSF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/TianTF10,
author = {Guosong Tian and
Yu{-}Chu Tian and
Colin J. Fidge},
title = {Performance analysis of {IEEE} 802.11 {DCF} based {WNCS} networks},
booktitle = {The 35th Annual {IEEE} Conference on Local Computer Networks, {LCN}
2010, 10-14 October 2010, Denver, Colorado, USA, Proceedings},
pages = {496--503},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LCN.2010.5735765},
doi = {10.1109/LCN.2010.5735765},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/TianTF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nss/KhalidZCF10,
author = {Shamsul Kamal Ahmad Khalid and
Jacob Zimmermann and
Diane Corney and
Colin J. Fidge},
editor = {Yang Xiang and
Pierangela Samarati and
Jiankun Hu and
Wanlei Zhou and
Ahmad{-}Reza Sadeghi},
title = {Automatic Generation of Assertions to Detect Potential Security Vulnerabilities
in {C} Programs That Use Union and Pointer Types},
booktitle = {Fourth International Conference on Network and System Security, {NSS}
2010, Melbourne, Victoria, Australia, September 1-3, 2010},
pages = {351--356},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/NSS.2010.63},
doi = {10.1109/NSS.2010.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nss/KhalidZCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/yawl2010/WynnRAHF10,
author = {Moe Thandar Wynn and
Anne Rozinat and
Wil M. P. van der Aalst and
Arthur H. M. ter Hofstede and
Colin J. Fidge},
editor = {Arthur H. M. ter Hofstede and
Wil M. P. van der Aalst and
Michael Adams and
Nick Russell},
title = {Process Mining and Simulation},
booktitle = {Modern Business Process Automation - {YAWL} and its Support Environment},
pages = {437--457},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-03121-2\_17},
doi = {10.1007/978-3-642-03121-2\_17},
timestamp = {Mon, 18 Jan 2021 13:55:27 +0100},
biburl = {https://dblp.org/rec/books/sp/yawl2010/WynnRAHF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/RozinatWAHF09,
author = {Anne Rozinat and
Moe Thandar Wynn and
Wil M. P. van der Aalst and
Arthur H. M. ter Hofstede and
Colin J. Fidge},
title = {Workflow simulation for operational decision support},
journal = {Data Knowl. Eng.},
volume = {68},
number = {9},
pages = {834--850},
year = {2009},
url = {https://doi.org/10.1016/j.datak.2009.02.014},
doi = {10.1016/J.DATAK.2009.02.014},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/RozinatWAHF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jtaer/AlhaqbaniJF09,
author = {Bandar Alhaqbani and
Audun J{\o}sang and
Colin J. Fidge},
title = {A Medical Data Reliability Assessment Model},
journal = {J. Theor. Appl. Electron. Commer. Res.},
volume = {4},
number = {2},
pages = {64--63},
year = {2009},
url = {https://doi.org/10.4067/s0718-18762009000200006},
doi = {10.4067/S0718-18762009000200006},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jtaer/AlhaqbaniJF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/TangF09,
author = {Maolin Tang and
Colin J. Fidge},
title = {A genetic algorithm for the multi-source and multi-sink minimum vertex
cut problem and its applications},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2009, Trondheim, Norway, 18-21 May, 2009},
pages = {3226--3233},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CEC.2009.4983353},
doi = {10.1109/CEC.2009.4983353},
timestamp = {Thu, 16 Dec 2021 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/cec/TangF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/ListerFT09,
author = {Raymond Lister and
Colin J. Fidge and
Donna Teague},
editor = {Patrick Br{\'{e}}zillon and
Ingrid Russell and
Jean{-}Marc Labat},
title = {Further evidence of a relationship between explaining, tracing and
writing skills in introductory programming},
booktitle = {Proceedings of the 14th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2009, Paris, France,
July 6-9, 2009},
pages = {161--165},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1562877.1562930},
doi = {10.1145/1562877.1562930},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/ListerFT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/FidgeC09,
author = {Colin J. Fidge and
Diane Corney},
editor = {Christoph M. Kirsch and
Mahmut T. Kandemir},
title = {Integrating hardware and software information flow analyses},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN/SIGBED} conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2009, Dublin, Ireland,
June 19-20, 2009},
pages = {157--166},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542452.1542474},
doi = {10.1145/1542452.1542474},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/FidgeC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/TianFT09,
author = {Guosong Tian and
Colin J. Fidge and
Yu{-}Chu Tian},
title = {Hybrid system simulation of computer control applications over communication
networks},
booktitle = {17th Annual Meeting of the {IEEE/ACM} International Symposium on Modelling,
Analysis and Simulation of Computer and Telecommunication Systems,
{MASCOTS} 2009, September 21-23, 2009, South Kensington Campus, Imperial
College, London, {UK}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MASCOT.2009.5367057},
doi = {10.1109/MASCOT.2009.5367057},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/TianFT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AlshammariFC09,
author = {Bandar Alshammari and
Colin J. Fidge and
Diane Corney},
editor = {Byoungju Choi},
title = {Security Metrics for Object-Oriented Class Designs},
booktitle = {Proceedings of the Ninth International Conference on Quality Software,
{QSIC} 2009, Jeju, Korea, August 24-25, 2009},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QSIC.2009.11},
doi = {10.1109/QSIC.2009.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/AlshammariFC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/WynnFHD08,
author = {Moe Thandar Wynn and
Colin J. Fidge and
Arthur H. M. ter Hofstede and
Marlon Dumas},
editor = {Gillian Dobbie and
Bernard Mans},
title = {Product flow analysis in distribution networks with a fixed time horizon},
booktitle = {Computer Science 2008, Thirty-First Australasian Computer Science
Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25,
2008},
series = {{CRPIT}},
volume = {74},
pages = {73--81},
publisher = {Australian Computer Society},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1378294},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/WynnFHD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/Fidge08,
author = {Colin J. Fidge},
editor = {Gillian Dobbie and
Bernard Mans},
title = {Relative simulation and model checking of real-time processes},
booktitle = {Computer Science 2008, Thirty-First Australasian Computer Science
Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25,
2008},
series = {{CRPIT}},
volume = {74},
pages = {157--165},
publisher = {Australian Computer Society},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1378306},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/Fidge08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/RozinatWAHF08,
author = {Anne Rozinat and
Moe Thandar Wynn and
Wil M. P. van der Aalst and
Arthur H. M. ter Hofstede and
Colin J. Fidge},
editor = {Marlon Dumas and
Manfred Reichert and
Ming{-}Chien Shan},
title = {Workflow Simulation for Operational Decision Support Using Design,
Historic and State Information},
booktitle = {Business Process Management, 6th International Conference, {BPM} 2008,
Milan, Italy, September 2-4, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5240},
pages = {196--211},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85758-7\_16},
doi = {10.1007/978-3-540-85758-7\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/RozinatWAHF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TianTF08,
author = {Guosong Tian and
Yu{-}Chu Tian and
Colin J. Fidge},
title = {High-Precision Relative Clock Synchronization Using Time Stamp Counters},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.39},
doi = {10.1109/ICECCS.2008.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/TianTF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/LongFC07,
author = {Benjamin W. Long and
Colin J. Fidge and
David A. Carrington},
editor = {Gillian Dobbie},
title = {Cross-Layer Verification of Type Flaw Attacks on Security Protocols},
booktitle = {Computer Science 2007. Proceedings of the Thirtieth Australasian Computer
Science Conference {(ACSC2007).} Ballarat, Victoria, Australia, January
30 - February 2, 2007. Proceedings},
series = {{CRPIT}},
volume = {62},
pages = {171--180},
publisher = {Australian Computer Society},
year = {2007},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV62Long.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/LongFC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/WynnDFHA07,
author = {Moe Thandar Wynn and
Marlon Dumas and
Colin J. Fidge and
Arthur H. M. ter Hofstede and
Wil M. P. van der Aalst},
editor = {Arthur H. M. ter Hofstede and
Boualem Benatallah and
Hye{-}Young Paik},
title = {Business Process Simulation for Operational Decision Support},
booktitle = {Business Process Management Workshops, {BPM} 2007 International Workshops,
BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia,
September 24, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4928},
pages = {66--77},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78238-4\_8},
doi = {10.1007/978-3-540-78238-4\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/WynnDFHA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlhaqbaniF07,
author = {Bandar Alhaqbani and
Colin J. Fidge},
editor = {Arthur H. M. ter Hofstede and
Boualem Benatallah and
Hye{-}Young Paik},
title = {Access Control Requirements for Processing Electronic Health Records},
booktitle = {Business Process Management Workshops, {BPM} 2007 International Workshops,
BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia,
September 24, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4928},
pages = {371--382},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78238-4\_38},
doi = {10.1007/978-3-540-78238-4\_38},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/AlhaqbaniF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/GuiTF07,
author = {Li Gui and
Yu{-}Chu Tian and
Colin J. Fidge},
editor = {Hamid R. Arabnia and
Laurence Tianruo Yang},
title = {Performance Evaluation of {IEEE} 802.11 Wireless Networks for Real-time
Networked Control Systems},
booktitle = {Proceedings of the 2007 International Conference on Embedded Systems
{\&} Applications, {USA} 2007, June 25-28, 2007, Las Vegas, Nevada,
{USA}},
pages = {121--126},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Tue, 10 Feb 2009 12:27:48 +0100},
biburl = {https://dblp.org/rec/conf/csreaESA/GuiTF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RaeFW06,
author = {Andrew Rae and
Colin J. Fidge and
Luke Wildman},
title = {Fault Evaluation for Security-Critical Communications Devices},
journal = {Computer},
volume = {39},
number = {5},
pages = {61--68},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.161},
doi = {10.1109/MC.2006.161},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RaeFW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LermerF06,
author = {Karl Lermer and
Colin J. Fidge},
title = {Procedure compilation in the refinement calculus},
journal = {Formal Aspects Comput.},
volume = {18},
number = {2},
pages = {152--180},
year = {2006},
url = {https://doi.org/10.1007/s00165-006-0091-3},
doi = {10.1007/S00165-006-0091-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LermerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Fidge06,
author = {Colin J. Fidge},
title = {Formal change impact analyses for emulated control software},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {321--335},
year = {2006},
url = {https://doi.org/10.1007/s10009-004-0174-5},
doi = {10.1007/S10009-004-0174-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Fidge06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/FidgeM06,
author = {Colin J. Fidge and
Tim McComb},
editor = {Vladimir Estivill{-}Castro and
Gillian Dobbie},
title = {Tracing secure information flow through mode changes},
booktitle = {Computer Science 2006, Twenty-Nineth Australasian Computer Science
Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19
2006},
series = {{CRPIT}},
volume = {48},
pages = {303--310},
publisher = {Australian Computer Society},
year = {2006},
url = {https://dl.acm.org/citation.cfm?id=1151733},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/FidgeM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LongF06,
author = {Benjamin W. Long and
Colin J. Fidge},
title = {Formally Analysing a Security Protocol for Replay Attacks},
booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
April 2006, Sydney, Australia},
pages = {171--180},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASWEC.2006.30},
doi = {10.1109/ASWEC.2006.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/LongF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/CookF06,
author = {Phil Cook and
Colin J. Fidge},
title = {Well-Measuring Programs},
booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
April 2006, Sydney, Australia},
pages = {253--261},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASWEC.2006.56},
doi = {10.1109/ASWEC.2006.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/CookF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FidgeT06,
author = {Colin J. Fidge and
Yu{-}Chu Tian},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Functional Analysis of a Real-Time Protocol for Networked Control
Systems},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {446--460},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_33},
doi = {10.1007/11901914\_33},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/FidgeT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/RaeF05,
author = {Andrew Rae and
Colin J. Fidge},
title = {Identifying Critical Components During Information Security Evaluations},
journal = {J. Res. Pract. Inf. Technol.},
volume = {37},
number = {4},
year = {2005},
url = {http://www.jrpit.acs.org.au/jrpit/JRPITVolumes/JRPIT37/JRPIT37.4.311.pdf},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/RaeF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/RaeF05,
author = {Andrew Rae and
Colin J. Fidge},
title = {Information Flow Analysis for Fail-Secure Devices},
journal = {Comput. J.},
volume = {48},
number = {1},
pages = {17--26},
year = {2005},
url = {https://doi.org/10.1093/comjnl/bxh056},
doi = {10.1093/COMJNL/BXH056},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/RaeF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LermerFH05,
author = {Karl Lermer and
Colin J. Fidge and
Ian J. Hayes},
title = {A theory for execution-time derivation in real-time programs},
journal = {Theor. Comput. Sci.},
volume = {346},
number = {1},
pages = {3--27},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.08.003},
doi = {10.1016/J.TCS.2005.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LermerFH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/FidgeC05,
author = {Colin J. Fidge and
Phil Cook},
title = {Model Checking Interrupt-Dependent Software},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {51--58},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.80},
doi = {10.1109/APSEC.2005.80},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/FidgeC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/FidgeRD05,
author = {Colin J. Fidge and
Peter J. Robinson and
Steve Dunne},
title = {Refinement Laws for Verifying Library Subroutine Adaptation},
booktitle = {16th Australian Software Engineering Conference {(ASWEC} 2005), 31
March - 1 April 2005, Brisbane, Australia},
pages = {224--232},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ASWEC.2005.40},
doi = {10.1109/ASWEC.2005.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/FidgeRD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FidgeS03,
author = {Colin J. Fidge and
Carron Shankland},
title = {But What if {I} Don't Want to Wait Forever?},
journal = {Formal Aspects Comput.},
volume = {14},
number = {3},
pages = {281--294},
year = {2003},
url = {https://doi.org/10.1007/s001650300006},
doi = {10.1007/S001650300006},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FidgeS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WildmanFC03,
author = {Luke Wildman and
Colin J. Fidge and
David A. Carrington},
title = {The Variety of Variables in Automated Real-Time Refinement},
journal = {Formal Aspects Comput.},
volume = {15},
number = {2-3},
pages = {258--279},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0009-2},
doi = {10.1007/S00165-003-0009-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WildmanFC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LermerFH03,
author = {Karl Lermer and
Colin J. Fidge and
Ian J. Hayes},
title = {Linear Approximation of Execution-Time Constraints},
journal = {Formal Aspects Comput.},
volume = {15},
number = {4},
pages = {319--348},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0019-0},
doi = {10.1007/S00165-003-0019-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LermerFH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fidge03,
author = {Colin J. Fidge},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {293},
number = {3},
pages = {477},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00610-2},
doi = {10.1016/S0304-3975(02)00610-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fidge03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Fidge03,
author = {Colin J. Fidge},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Verifying Emulation of Legacy Mission Computer Systems},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {187--207},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_12},
doi = {10.1007/978-3-540-45236-2\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Fidge03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LongFC03,
author = {Benjamin W. Long and
Colin J. Fidge and
Antonio Cerone},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A {Z} Based Approach to Verifying Security Protocols},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {375--395},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_22},
doi = {10.1007/978-3-540-39893-6\_22},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LongFC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WatsonF03,
author = {Geoffrey Watson and
Colin J. Fidge},
title = {A Partial-Correctness Semantics for Modelling Assembler Programs},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {82--90},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236210},
doi = {10.1109/SEFM.2003.1236210},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/WatsonF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LermerFH03,
author = {Karl Lermer and
Colin J. Fidge and
Ian J. Hayes},
editor = {James Harland},
title = {Formal Semantics for Program Paths},
booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
SA, Australia, February 4-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {78},
pages = {58--81},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81006-5},
doi = {10.1016/S1571-0661(04)81006-5},
timestamp = {Fri, 11 Nov 2022 16:09:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LermerFH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LermerF02,
author = {Karl Lermer and
Colin J. Fidge},
title = {A formal model of real-time program compilation},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {151--190},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00047-0},
doi = {10.1016/S0304-3975(01)00047-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LermerF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/RobinsonF02,
author = {Neil J. Robinson and
Colin J. Fidge},
title = {Animation of Data Refinements},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182983},
doi = {10.1109/APSEC.2002.1182983},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/RobinsonF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Fidge02,
author = {Colin J. Fidge},
title = {Contextual Matching of Software Library Components},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {297--306},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182999},
doi = {10.1109/APSEC.2002.1182999},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Fidge02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Fidge02,
author = {Colin J. Fidge},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Timing Analysis of Assembler Code Control-Flow Paths},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {370--389},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_21},
doi = {10.1007/3-540-45614-7\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Fidge02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WildmanF02,
author = {Luke Wildman and
Colin J. Fidge},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {The variety of variables in computer-aided real-time programming},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {21--36},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80483-9},
doi = {10.1016/S1571-0661(05)80483-9},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WildmanF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HayesFL01,
author = {Ian J. Hayes and
Colin J. Fidge and
Karl Lermer},
title = {Semantic characterisation of dead control-flow paths},
journal = {{IEE} Proc. Softw.},
volume = {148},
number = {6},
pages = {175--186},
year = {2001},
url = {https://doi.org/10.1049/ip-sen:20010834},
doi = {10.1049/IP-SEN:20010834},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/HayesFL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Fidge01,
author = {Colin J. Fidge},
title = {Compilation of Specifications},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {355--362},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991502},
doi = {10.1109/APSEC.2001.991502},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Fidge01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/RobinsonF01,
author = {Neil J. Robinson and
Colin J. Fidge},
title = {Visualisation of Refinements},
booktitle = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
August 2001, Canberra, Australia},
pages = {244--254},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASWEC.2001.948518},
doi = {10.1109/ASWEC.2001.948518},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/RobinsonF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MartinF01,
author = {Andrew P. Martin and
Colin J. Fidge},
editor = {Colin J. Fidge},
title = {Lifting in {Z}},
booktitle = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
Australia, January 29-30, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {42},
pages = {197--219},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80886-7},
doi = {10.1016/S1571-0661(04)80886-7},
timestamp = {Fri, 11 Nov 2022 16:01:10 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Fidge01,
author = {Colin J. Fidge},
editor = {Colin J. Fidge},
title = {Preface},
booktitle = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
Australia, January 29-30, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {42},
pages = {282--283},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80891-6},
doi = {10.1016/S1571-0661(05)80891-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fidge01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cats/2001,
editor = {Colin J. Fidge},
title = {Computing: The Australasian Theory Symposium, {CATS} 2001, Gold Coast,
Australia, January 29-30, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {42},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/42/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cats/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SmithF00,
author = {Graeme Smith and
Colin J. Fidge},
title = {Incremental Development of Real-Time Requirements: The Light Control
Case Study},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {7},
pages = {704--730},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-07-0704},
doi = {10.3217/JUCS-006-07-0704},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SmithF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/WildmanFC00,
author = {Luke Wildman and
Colin J. Fidge and
David A. Carrington},
title = {Computer-aided development of a real-time program},
journal = {Softw. Concepts Tools},
volume = {19},
number = {4},
pages = {190--202},
year = {2000},
url = {https://doi.org/10.1007/s003780000006},
doi = {10.1007/S003780000006},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/WildmanFC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fidge00,
author = {Colin J. Fidge},
editor = {Teodor Rus},
title = {The Algebra of Multi-tasking},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {213--227},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_17},
doi = {10.1007/3-540-45499-3\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Fidge00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FidgeHW99,
author = {Colin J. Fidge and
Ian J. Hayes and
Geoffrey Watson},
title = {The deadline command},
journal = {{IEE} Proc. Softw.},
volume = {146},
number = {2},
pages = {104--111},
year = {1999},
url = {https://doi.org/10.1049/ip-sen:19990407},
doi = {10.1049/IP-SEN:19990407},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/FidgeHW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/LermerF99,
author = {Karl Lermer and
Colin J. Fidge},
editor = {Joost{-}Pieter Katoen},
title = {A Formal Model of Real-Time Program Compilation},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {192--210},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_12},
doi = {10.1007/3-540-48778-6\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/LermerF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Fidge99,
author = {Colin J. Fidge},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Modelling Discrete Behaviour in a Continuous-Time Formalism},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {170--188},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_10},
doi = {10.1007/978-1-4471-0851-1\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Fidge99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Fidge98,
author = {Colin J. Fidge},
title = {A Limitation of Vector Timestamps for Reconstructing Distributed Computations},
journal = {Inf. Process. Lett.},
volume = {68},
number = {2},
pages = {87--91},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00143-4},
doi = {10.1016/S0020-0190(98)00143-4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Fidge98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Fidge98,
author = {Colin J. Fidge},
title = {Real-Time Schedulability Tests for Preemptive Multitasking},
journal = {Real Time Syst.},
volume = {14},
number = {1},
pages = {61--93},
year = {1998},
url = {https://doi.org/10.1023/A:1007993819750},
doi = {10.1023/A:1007993819750},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Fidge98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FidgeHM98,
author = {Colin J. Fidge and
Ian J. Hayes and
Brendan P. Mahony},
title = {Defining Differentiation and Integration in {Z}},
booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
Proceedings},
pages = {64--75},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730571},
doi = {10.1109/ICFEM.1998.730571},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FidgeHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/FidgeHMW98,
author = {Colin J. Fidge and
Ian J. Hayes and
Andrew P. Martin and
Axel Wabenhorst},
editor = {Johan Jeuring},
title = {A Set-Theoretic Model for Real-Time Specification and Reasoning},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {188--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054291},
doi = {10.1007/BFB0054291},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/FidgeHMW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FidgeW97,
author = {Colin J. Fidge and
Andy J. Wellings},
title = {An Action-Based Formal Model for Concurrent Real-Time Systems},
journal = {Formal Aspects Comput.},
volume = {9},
number = {2},
pages = {175--207},
year = {1997},
url = {https://doi.org/10.1007/BF01211618},
doi = {10.1007/BF01211618},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FidgeW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/FidgeKU97,
author = {Colin J. Fidge and
Peter Kearney and
Mark Utting},
title = {A Formal Method for Building Concurrent Real-Time Software},
journal = {{IEEE} Softw.},
volume = {14},
number = {2},
pages = {99--106},
year = {1997},
url = {https://doi.org/10.1109/52.582979},
doi = {10.1109/52.582979},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/FidgeKU97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fidge97,
author = {Colin J. Fidge},
editor = {Michael Johnson},
title = {Refinement Rules for Real-Time Multi-tasking Programs},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {199--215},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000472},
doi = {10.1007/BFB0000472},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Fidge97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/LermerF97,
author = {Karl Lermer and
Colin J. Fidge},
editor = {Christian Lengauer and
Martin Griebl and
Sergei Gorlatch},
title = {A Methodology for Compilation of High-Integrity Real-Time Programs},
booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
Passau, Germany, August 26-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1300},
pages = {1274--1281},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0002883},
doi = {10.1007/BFB0002883},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/LermerF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/Fidge96,
author = {Colin J. Fidge},
title = {It's now or never},
journal = {{XRDS}},
volume = {2},
number = {3},
pages = {4--5},
year = {1996},
url = {https://doi.org/10.1145/332168.332171},
doi = {10.1145/332168.332171},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/crossroads/Fidge96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Fidge96,
author = {Colin J. Fidge},
title = {Fundamentals of Distributed System Observation},
journal = {{IEEE} Softw.},
volume = {13},
number = {6},
pages = {77--83},
year = {1996},
url = {https://doi.org/10.1109/52.542297},
doi = {10.1109/52.542297},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Fidge96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FidgeUKH96,
author = {Colin J. Fidge and
Mark Utting and
Peter Kearney and
Ian J. Hayes},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Integrating Real-Time Scheduling Theory and Program Refinement},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {327--346},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_95},
doi = {10.1007/3-540-60973-3\_95},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FidgeUKH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FidgeKU95,
author = {Colin J. Fidge and
Peter Kearney and
Mark Utting},
editor = {Pierre Wolper},
title = {Interactively Verifying a Simple Real-time Scheduler},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {395--408},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_65},
doi = {10.1007/3-540-60045-0\_65},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/FidgeKU95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Fidge94,
author = {Colin J. Fidge},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Adding Real Time to Formal Program Development},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {618--638},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_119},
doi = {10.1007/3-540-58555-9\_119},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Fidge94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Fidge94,
author = {Colin J. Fidge},
editor = {David Till},
title = {Proof Obligations for Real-Time Refinement},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {279--305},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_15},
doi = {10.1007/978-1-4471-3240-0\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/Fidge94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Fidge93,
author = {Colin J. Fidge},
title = {A Formal Definition of Priority in {CSP}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {15},
number = {4},
pages = {681--705},
year = {1993},
url = {https://doi.org/10.1145/155183.155221},
doi = {10.1145/155183.155221},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Fidge93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Fidge93,
author = {Colin J. Fidge},
editor = {Jim Woodcock and
Peter Gorm Larsen},
title = {Real-Time Refinement},
booktitle = {{FME} '93: Industrial-Strength Formal Methods, First International
Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {670},
pages = {314--331},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0024654},
doi = {10.1007/BFB0024654},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Fidge93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/FidgeL92,
author = {Colin J. Fidge and
Andrew M. Lister},
title = {Disciplined approach to real-time systems design},
journal = {Inf. Softw. Technol.},
volume = {34},
number = {9},
pages = {603--610},
year = {1992},
url = {https://doi.org/10.1016/0950-5849(92)90137-E},
doi = {10.1016/0950-5849(92)90137-E},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/FidgeL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Fidge92,
author = {Colin J. Fidge},
editor = {Michel Diaz and
Roland Groz},
title = {A constraint-oriented real-time process calculus},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {363--378},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 04 Nov 2004 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/forte/Fidge92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Fidge92,
author = {Colin J. Fidge},
editor = {Jan Vytopil},
title = {Specification and Verification of Real-Time Behaviour Using {Z} and
{RTL}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {393--409},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_22},
doi = {10.1007/3-540-55092-5\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Fidge92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Fidge91,
author = {Colin J. Fidge},
title = {Logical Time in Distributed Computing Systems},
journal = {Computer},
volume = {24},
number = {8},
pages = {28--33},
year = {1991},
url = {https://doi.org/10.1109/2.84874},
doi = {10.1109/2.84874},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Fidge91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Fidge91,
author = {Colin J. Fidge},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Process Algebra Traces Augmented with Causal Relationships},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {527--541},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Fidge91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Fidge90,
author = {Colin J. Fidge},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {A {LOTOS} Interpreter for Simulating Real-Time Behaviour},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {523--526},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Fidge90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Fidge88,
author = {Colin J. Fidge},
title = {A {LISP} Implementation of the Model for 'Communicating Sequential
Processes'},
journal = {Softw. Pract. Exp.},
volume = {18},
number = {10},
pages = {923--943},
year = {1988},
url = {https://doi.org/10.1002/spe.4380181002},
doi = {10.1002/SPE.4380181002},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Fidge88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdd/Fidge88,
author = {Colin J. Fidge},
editor = {Richard L. Wexelblat},
title = {Partial Orders for Parallel Debugging},
booktitle = {Proceedings of the {ACM} {SIGPLAN} and {SIGOPS} Workshop on Parallel
and Distributed Debugging, University of Wisconsin, Madison, Wisconsin,
USA, May 5-6, 1988},
pages = {183--194},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/68210.69233},
doi = {10.1145/68210.69233},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdd/Fidge88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/Fidge87,
author = {Colin J. Fidge},
title = {Reproducible Tests in {CSP}},
journal = {Aust. Comput. J.},
volume = {19},
number = {2},
pages = {92--98},
year = {1987},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/Fidge87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/FidgeP83,
author = {Colin J. Fidge and
Robert S. V. Pascoe},
title = {A Comparison of the Concurrency Constructs and Module Facilities of
{CHILL} and Ada},
journal = {Aust. Comput. J.},
volume = {15},
number = {1},
pages = {17--27},
year = {1983},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/FidgeP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
