Search filters

List of works by Michele Sevegnani

BigraphER: Rewriting and Analysis Engine for Bigraphs

Bigraphs with sharing

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

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

scientific article (publication date: 8 January 2013)

Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs

scientific article published on 21 August 2024

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

scholarly article by Muffy Calder & Michele Sevegnani published 2012 in Lecture Notes in Computer Science

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

Target counting with Presburger constraints and its application in sensor networks

scientific article published on 06 November 2019

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

scientific article published on 11 March 2024

Paulina is supported by:

About Paulina

Help