Zhe Hou

Proceedings of the Machine Learning and Artificial Intelligence, 2023

An Analysis of Zero-knowledge Proof-based Privacy-preserving Techniques for Non-fungible Tokens in the Metaverse.

[BibT_eX]

[DOI]

Dorottya Zelenyanszki

Proceedings of the IEEE International Conference on Metaverse Computing, 2023

Security, Privacy and Trust for the Metaverse of Things.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Metaverse Computing, 2023

Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2023

A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2023

Sports Analytics Using Probabilistic Model Checking and Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Insight Analysis for Tennis Strategy and Tactics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Data Mining, 2023

A privacy awareness framework for NFT avatars in the metaverse.

[BibT_eX]

[DOI]

Dorottya Zelenyanszki

Proceedings of the International Conference on Computing, Networking and Communications, 2023

Encrypted Network Traffic Classification with Higher Order Graph Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 28th Australasian Conference, 2023

2022

Editorial.

[BibT_eX]

[DOI]

Vijay Ganesh

Jing Sun

Innov. Syst. Softw. Eng., 2022

Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2022

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2022

Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective.

[BibT_eX]

[DOI]

CoRR, 2022

Geometric Theory for Program Testing.

[BibT_eX]

[DOI]

CoRR, 2022

MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest.

[BibT_eX]

[DOI]

CoRR, 2022

An Executable Formal Model of the VHDL in Isabelle/HOL.

[BibT_eX]

[DOI]

CoRR, 2022

Cross-Blockchain Technology: Integration Framework and Security Assumptions.

[BibT_eX]

[DOI]

IEEE Access, 2022

Blockchain Interoperability: Performance and Security Trade-Offs.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022

A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

A CNN Based Encrypted Network Traffic Classifier.

[BibT_eX]

[DOI]

Proceedings of the ACSW 2022: Australasian Computer Science Week 2022, Brisbane, Australia, February 14, 2022

2021

Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification

[BibT_eX]

[DOI]

Texts in Computer Science, Springer, ISBN: 978-3-030-87881-8, 2021

An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Silas: A high-performance machine learning foundation for logical reasoning and verification.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2021

GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2021

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.

[BibT_eX]

[DOI]

CoRR, 2021

Burn-to-Claim: An asset transfer protocol for blockchain interoperability.

[BibT_eX]

[DOI]

Jeyakumar Samantha Tharani

Comput. Networks, 2021

A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Tree Ensemble Property Verification from A Testing Perspective.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Graph Based Visualisation Techniques for Analysis of Blockchain Transactions.

[BibT_eX]

[DOI]

Eugene Yougarajah Andrew Charles

Marimuthu Palaniswami

Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021

A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021

2020

N-PAT: A Nested Model-Checker.

[BibT_eX]

[DOI]

CoRR, 2020

The Burn-to-Claim cross-blockchain asset transfer protocol.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

RL: a Language for Formal Engineering.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

N-PAT: A Nested Model-Checker - (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

On embedding a hardware description language in Isabelle/HOL.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2019

Silas: High Performance, Explainable and Verifiable Machine Learning.

[BibT_eX]

[DOI]

Seyed Mohammad Mirjalili

CoRR, 2019

A formalisation of the SPARC TSO memory model for multi-core machine code.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Modular Labelled Sequent Calculi for Abstract Separation Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2018

A labelled sequent calculus for BBI: proof theory and proof search.

[BibT_eX]

[DOI]

Rajeev Goré

Alwen Tiu

J. Log. Comput., 2018

Towards Trustworthy AI for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Towards Dependable and Explainable Machine Learning Using Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

2017

CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Proof Tactics for Assertions in Separation Logic.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Towards Solving Decision Making Problems Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2016

Separata: Isabelle tactics for Separation Algebra.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2016

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

Completeness for a First-Order Abstract Separation Logic.

[BibT_eX]

[DOI]

Alwen Tiu

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Automated Theorem Proving for Assertions in Separation Logic with All Connectives.

[BibT_eX]

[DOI]

Rajeev Goré

Alwen Tiu

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Proof search for propositional abstract separation logics via labelled sequents.

[BibT_eX]

[DOI]

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

An iterative approach to synthesize business process templates from compliance rules.

[BibT_eX]

[DOI]

Inf. Syst., 2012

2011

Driving and control of torque for direct-wheel-driven electric vehicle with motors in serial.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2011

2009

New bounds on the minimum number of calls in failure-tolerant gossiping.

[BibT_eX]

[DOI]