Papers

Note: alphabetical order of authors means equal contributions.

  1. Formalising Sensor Topologies for Target Counting
    Sven Linker and Michele Sevegnani
    in proceedings of 1st Workshop on Architectures, Languages and Paradigms for IoT, Turin, Italy, September 2017
    [pdf] [doi] [bib]
  2. Stochastic model checking for predicting component failures and service availability
    Muffy Calder and Michele Sevegnani
    in Transactions on Dependable and Secure Computing (TDSC), IEEE, January 2017
    [pdf] [doi] [bib] [SJR]
  3. BigraphER: rewriting and analysis engine for bigraphs
    Michele Sevegnani and Muffy Calder
    in proceedings of Computer Aided Verification (CAV 2016), Lecture Notes in Computer Science, Volume 9780 Part II, pp 494-501, Springer, Toronto, Canada, July 2016
    [pdf] [doi] [bib] [CORE]
  4. On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces
    Steve Benford, Muffy Calder, Tom Rodden and Michele Sevegnani
    in Transactions on Computer-Human Interaction (TOCHI), Issue 23:2, pp 9:1-9:56, ACM, May 2016
    [pdf] [doi] [bib] [SJR]
  5. Bigraphs with sharing
    Michele Sevegnani and Muffy Calder
    in Theoretical Computer Science, Volume 577, pp 43-73, Elsevier, April 2015
    [pdf] [doi] [bib] [SJR]
  6. Towards a Bigraphical Encoding of Actors
    Michele Sevegnani and Eloi Pereira
    in proceedings of 1st Workshop on Meta Models for Process Languages (MeMo'14), Berlin, Germany, June 2014
    [pdf] [bib]
  7. Do I need to fix a failed component now, or can I wait until tomorrow?
    Muffy Calder and Michele Sevegnani
    in proceedings of European Dependable Computing Conference (EDCC'14), pp 70-81, IEEE, Newcastle, UK, May 2014
    [pdf] [doi] [bib]
  8. Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
    Muffy Calder and Michele Sevegnani
    in Formal Aspects of Computing, Volume 26, Issue 3, pp 537-561, Springer, May 2014
    [pdf] [doi] [bib] [SJR]
  9. Real-time verification of wireless home networks using bigraphs with sharing
    Muffy Calder, Alexandros Koliousis, Michele Sevegnani and Joseph Sventek
    in Science of Computer Programming, Volume 80, Part B, pp 288-310, Elsevier, February 2014
    [pdf] [doi] [bib] [SJR]
  10. Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management
    Muffy Calder and Michele Sevegnani
    in proceedings of Integrated Formal Methods (IFM'12), Lecture Notes in Computer Science, Volume 7321, pp 21-23, Springer, Pisa, Italy, June 2012
    [pdf] [doi] [bib] [CORE]
  11. Bigraphs with sharing and applications in wireless networks
    Michele Sevegnani
    Ph.D. thesis, School of Computing Science, University of Glasgow, submitted May 2012, accepted September 2012
    Nominated for the BCS Distinguished Dissertation Award '13
    [pdf] [bib]
  12. Bigraphs with sharing
    Michele Sevegnani and Muffy Calder
    TR-2010-310, DCS Technical Report Series, Department of Computing Science, University of Glasgow, 2010
    [pdf] [bib]
  13. A SAT based algorithm for the matching problem in bigraphs with sharing
    Michele Sevegnani, Chris Unsworth and Muffy Calder
    TR-2010-311, DCS Technical Report Series, Department of Computing Science, University of Glasgow, 2010
    [pdf] [bib]
  14. Implementing Stochastically-Timed COWS for the PRISM Probabilistic Model Checker
    Michele Sevegnani
    M.Sc. thesis, School of Informatics, The University of Edinburgh, 2008
    [pdf] [bib]

Talks