Michele Sevegnani

Formal Aspects Comput., September, 2025

A Digital Twinning Approach to Decarbonisation: Research Challenges.

[BibT_eX]

[DOI]

Paul Harvey

CoRR, June, 2025

Federated Deep Reinforcement Learning for Privacy-Preserving Robotic-Assisted Surgery.

[BibT_eX]

[DOI]

CoRR, May, 2025

CAN-Verify: Automated analysis for BDI agents.

[BibT_eX]

[DOI]

Mengwei Xu

Sci. Comput. Program., 2025

Modelling and verifying BDI agents under uncertainty.

[BibT_eX]

[DOI]

Mengwei Xu

Sci. Comput. Program., 2025

Rational Verification in Repeated Security Games.

[BibT_eX]

[DOI]

Surasak Phetmanee

Oana Andrei

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

Formal Analysis of Resilience in Transport Systems with Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

BiCoq : Bigraphs Formalisation with Coq.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2024

Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs.

[BibT_eX]

[DOI]

Maram Albalwe

Formal Aspects Comput., September, 2024

Modelling Real-time Systems with Bigraphs.

[BibT_eX]

[DOI]

Maram Albalwe

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, May, 2024

Quantitative modelling and analysis of BDI agents.

[BibT_eX]

[DOI]

Softw. Syst. Model., April, 2024

Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs.

[BibT_eX]

[DOI]

Ebtihal Althubiti

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, March, 2024

Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification.

[BibT_eX]

[DOI]

CoRR, 2024

StEVe: A Rational Verification Tool for Stackelberg Security Games.

[BibT_eX]

[DOI]

Surasak Phetmanee

Oana Andrei

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction.

[BibT_eX]

[DOI]

Ayodeji Opeyemi Abioye

Sarvapali D. Ramchurn

Mohammad Divband Soorati

Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

A Bigraphs Paper of Sorts.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 17th International Conference, 2024

Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the From Data to Models and Back - 12th International Symposium, 2024

2023

Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.

[BibT_eX]

[DOI]

Mohammad Divband Soorati

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Quantitative Verification and Strategy Synthesis for BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

CAN-verify: A Verification Tool For BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Fine-Grained RNN With Transfer Learning for Energy Consumption Estimation on EVs.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2022

Modelling and verifying BDI agents with bigraphs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Probabilistic Bigraphs.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2022

Adaptive Model Verification for Modularized Industry 4.0 Applications.

[BibT_eX]

[DOI]

IEEE Access, 2022

Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

Verifying BDI Agents in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

A tale of two graph models: a case study in wireless sensor networks.

[BibT_eX]

[DOI]

Géza Kulcsár

Formal Aspects Comput., 2021

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Probablistic Bigraphs.

[BibT_eX]

[DOI]

CoRR, 2021

Probabilistic BDI Agents: Actions, Plans, and Intentions.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Finite Models for a Spatial Logic with Discrete and Topological Path Operators.

[BibT_eX]

[DOI]

Sven Linker

Fabio Papacchini

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Practical Bigraphs via Subgraph Isomorphism.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

BigraphTalk: Verified Design of IoT Applications.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2020

Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Smart Internet of Things, 2020

Analysing Spatial Properties on Neighbourhood Spaces.

[BibT_eX]

[DOI]

Sven Linker

Fabio Papacchini

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Conditional Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Stochastic Model Checking for Predicting Component Failures and Service Availability.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2019

2018

Modelling and Verification of Large-Scale Sensor Network Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Formalising Sensor Topologies for Target Counting.

[BibT_eX]

[DOI]

Sven Linker

Proceedings of the Proceedings First Workshop on Architectures, 2017

2016

On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2016

BigraphER: Rewriting and Analysis Engine for Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Bigraphs with sharing.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

2014

Real-time verification of wireless home networks using bigraphs with sharing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow?

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2012

Bigraphs with sharing and applications in wireless networks.

[BibT_eX]

[DOI]

PhD thesis, 2012

Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management.

[BibT_eX]

[DOI]