Michele Sevegnani
Michele Sevegnani
Lecturer, School of Computing Science, University of Glasgow
Verified email at glasgow.ac.uk - Homepage
TitleCited byYear
Bigraphs with sharing
M Sevegnani, M Calder
Theoretical Computer Science 577, 43-73, 2015
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
M Calder, M Sevegnani
Formal Aspects of Computing 26 (3), 537-561, 2014
Real-time verification of wireless home networks using bigraphs with sharing
M Calder, A Koliousis, M Sevegnani, J Sventek
Science of Computer Programming 80, 288-310, 2014
A SAT based algorithm for the matching problem in bigraphs with sharing
M Sevegnani, C Unsworth, M Calder
University of Glasgow, Tech. Rep, 2010
On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces
S Benford, T Rodden, M Calder, M Sevegnani
ACM Transactions on Computer-Human Interaction 23 (2), 1-56, 2016
Bigraphs with sharing and applications in wireless networks
M Sevegnani
University of Glasgow, 2012
Process algebra for event-driven runtime verification: a case study of wireless network management
M Calder, M Sevegnani
International Conference on Integrated Formal Methods, 21-23, 2012
BigraphER: Rewriting and Analysis Engine for Bigraphs
M Sevegnani, M Calder
Computer Aided Verification, 28th International Conference, CAV 2016 …, 2016
Towards a bigraphical encoding of actors
M Sevegnani, E Pereira
Formalising sensor topologies for target counting
S Linker, M Sevegnani
arXiv preprint arXiv:1802.01791, 2018
Do I need to fix a failed component now, or can I wait until tomorrow?
M Calder, M Sevegnani
2014 Tenth European Dependable Computing Conference, 70-81, 2014
Modelling and Verification of Large-Scale Sensor Network Infrastructures
M Sevegnani, M Kabac, M Calder, J McCann
2018 23rd International Conference on Engineering of Complex Computer …, 2018
Stochastic model checking for predicting component failures and service availability
M Calder, M Sevegnani
IEEE Transactions on Dependable and Secure Computing 16 (1), 174-187, 2017
Target counting with Presburger constraints and its application in sensor networks
S Linker, M Sevegnani
Proceedings of the Royal Society A 475 (2231), 20190278, 2019
Applications of bigraphs with sharing
M Sevegnani
Third International Workshop on Bigraphs (Bigraph 2013), 2013
The system can't perform the operation now. Try again later.
Articles 1–15