BigraphER: Rewriting and Analysis Engine for Bigraphs von Sevegnani, Michele, Calder, Muffy

Volltext

A tale of two graph models: a case study in wireless sensor networks von Archibald, Blair, Kulcsár, Géza, Sevegnani, Michele

Volltext

Adaptive Model Verification for Modularized Industry 4.0 Applications von Xin, Xin, Keoh, Sye Loong, Sevegnani, Michele, Saerbeck, Martin, Khoo, Teck Ping

Volltext

Formalising Sensor Topologies for Target Counting von Linker, Sven, Sevegnani, Michele

Volltext

Bigraphs with sharing von Sevegnani, Michele, Calder, Muffy

Volltext

Target counting with Presburger constraints and its application in sensor networks von Linker, Sven, Sevegnani, Michele

Volltext

Target counting with Presburger constraints and its application in sensor networks von Linker, Sven, Sevegnani, Michele

Volltext

Modelling and verifying BDI agents under uncertainty von Archibald, Blair, Sevegnani, Michele, Xu, Mengwei

Volltext

CAN-Verify: Automated analysis for BDI agents von Xu, Mengwei, Archibald, Blair, Sevegnani, Michele

Volltext

Stochastic Model Checking for Predicting Component Failures and Service Availability von Calder, Muffy, Sevegnani, Michele

Volltext

Fine-Grained RNN With Transfer Learning for Energy Consumption Estimation on EVs von Hua, Yining, Sevegnani, Michele, Yi, Dewei, Birnie, Andrew, McAslan, Steve

Volltext

Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs von Albalwe, Maram, Archibald, Blair, Sevegnani, Michele

Volltext

Quantitative modelling and analysis of BDI agents von Archibald, Blair, Calder, Muffy, Sevegnani, Michele, Xu, Mengwei

Volltext

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing von Calder, Muffy, Sevegnani, Michele

Volltext

Modelling and verifying BDI agents with bigraphs von Archibald, Blair, Calder, Muffy, Sevegnani, Michele, Xu, Mengwei

Volltext

Probabilistic Bigraphs von Archibald, Blair, Calder, Muffy, Sevegnani, Michele

Volltext

On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces von Benford, Steve, Calder, Muffy, Rodden, Tom, Sevegnani, Michele

Volltext

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming von Archibald, Blair, Calder, Muffy, Sevegnani, Michele, Xu, Mengwei

Volltext

Real-time verification of wireless home networks using bigraphs with sharing von Calder, Muffy, Koliousis, Alexandros, Sevegnani, Michele, Sventek, Joseph

Volltext

CAN-verify: A Verification Tool For BDI Agents von Xu, Mengwei, Rivoalen, Thibault, Archibald, Blair, Sevegnani, Michele

Volltext