Sotabase

Career

· University of Glasgow

Publications (35)

Bigraphs with sharing
Theoretical Computer Science · 2015
58
cited
BigraphER: Rewriting and Analysis Engine for Bigraphs
International Conference on Computer Aided Verification · 2016
48
cited
Real-time verification of wireless home networks using bigraphs with sharing
Science of Computer Programming · 2014
29
cited
Modelling and Verification of Large-Scale Sensor Network Infrastructures
IEEE International Conference on Engineering of Complex Computer Systems · 2018
28
cited
On Lions, Impala, and Bigraphs
ACM Trans. Comput. Hum. Interact. · 2016
25
cited
Stochastic Model Checking for Predicting Component Failures and Service Availability
IEEE Transactions on Dependable and Secure Computing · 2019
19
cited
Conditional Bigraphs
International Conference on Graph Transformation · 2020
16
cited
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
Formal Aspects of Computing · 2013
16
cited
Modelling and Verifying BDI Agents with Bigraphs
Science of Computer Programming · 2021
14
cited
Probabilistic Bigraphs
Formal Aspects Comput. · 2021
14
cited
Under Consideration for Publication in Formal Aspects of Computing Modelling Ieee 802.11 Csma/ca Rts/cts with Stochastic Bigraphs with Sharing
14
cited
A SAT based algorithm for the matching problem in bigraphs with sharing
2010
13
cited
BigraphTalk: Verified Design of IoT Applications
IEEE Internet of Things Journal · 2020
13
cited
Analysing Spatial Properties on Neighbourhood Spaces
International Symposium on Mathematical Foundations of Computer Science · 2020
9
cited
Towards a bigraphical encoding of actors
2014
9
cited
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management
International Conference on Integrated Formal Methods · 2012
8
cited
Quantitative modelling and analysis of BDI agents
Journal of Software and Systems Modeling · 2023
7
cited
submitted in fulfilment of the requirements for the degree of Masters of Engineering
2012
6
cited
Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications
International Conferences on Smart Internet of Things · 2020
4
cited
Finite Models for a Spatial Logic with Discrete and Topological Path Operators
International Symposium on Mathematical Foundations of Computer Science · 2021
4
cited
Sotabase
Michele Sevegnani | Researcher Profile | Sotabase | Sotabase