Integrating User Design and Formal Models within PVSio-Web
Watson, Nathaniel, Reeves, Steve, Masci, Paolo
Published in Electronic proceedings in theoretical computer science (27.11.2018)
Published in Electronic proceedings in theoretical computer science (27.11.2018)
Get full text
Journal Article
Refinement for Probabilistic Systems with Nondeterminism
Reeves, Steve, Streader, David
Published in Electronic proceedings in theoretical computer science (17.06.2011)
Published in Electronic proceedings in theoretical computer science (17.06.2011)
Get full text
Journal Article
Engineering Interactive Systems with Model-Driven Code Contracts
Bowen, Judy, Reeves, Steve
Published in 2018 25th Australasian Software Engineering Conference (ASWEC) (01.11.2018)
Published in 2018 25th Australasian Software Engineering Conference (ASWEC) (01.11.2018)
Get full text
Conference Proceeding
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement
Pilbrow, Colin, Reeves, Steve
Published in 2017 24th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2017)
Published in 2017 24th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2017)
Get full text
Conference Proceeding
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems
Jaidka, Sapna, Reeves, Steve, Bowen, Judy
Published in 2019 26th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2019)
Published in 2019 26th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2019)
Get full text
Conference Proceeding
A Versatile Remediation Module for Remote Repair of Spent Nuclear Fuel and High-Level Waste Storage Containers
Chatzidakis, Stylianos, Giuliano, Dominic, Slade, Jeremy, Tang, Wei, Miller, Roger, Reeves, Steve, Scaglione, John, Howard, Robert
Published in Nuclear technology (04.05.2021)
Published in Nuclear technology (04.05.2021)
Get full text
Journal Article
UI-design driven model-based testing
Bowen, Judy, Reeves, Steve
Published in Innovations in systems and software engineering (01.09.2013)
Published in Innovations in systems and software engineering (01.09.2013)
Get full text
Journal Article
Design Patterns for Models of Interactive Systems
Bowen, Judy, Reeves, Steve
Published in 2015 24th Australasian Software Engineering Conference (01.09.2015)
Published in 2015 24th Australasian Software Engineering Conference (01.09.2015)
Get full text
Conference Proceeding
Journal Article
Welcome Message from the General Chairs
Published in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC)
(2016)
Get full text
Conference Proceeding
Proceedings 18th Refinement Workshop: Preface
Derrick, John, Dongol, Brijesh, Reeves, Steve
Published in Electronic proceedings in theoretical computer science (24.10.2018)
Published in Electronic proceedings in theoretical computer science (24.10.2018)
Get full text
Journal Article
Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions
Bravo-Marquez, Felipe, Reeves, Steve, Ugarte, Martin
Published in 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) (01.04.2019)
Published in 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) (01.04.2019)
Get full text
Conference Proceeding