Papers

Note: alphabetical order of authors means equal contributions.

Recent works submitted for publication

Published research

  1. Probabilistic BDI Agents: Actions, Plans, and Intentions
    Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
    in proceedings of 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
    [pdf][doi][CORE]
  2. Practical Bigraphs via Subgraph Isomorphism
    Blair Archibald, Kyle Burns, Ciaran McCreesh, and Michele Sevegnani
    in proceedings of 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
    [pdf] [doi] [video] [bib] [CORE]
  3. Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
    Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu
    in proceedings of Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), Electronic Proceedings in Theoretical Computer Science 348, pp. 167–175, Virtual, October 2021
    [pdf] [doi] [bib]
  4. A Tale of Two Graph Models: A Case Study in WirelessSensor Networks
    Blair Archibald, Géza Kulcsár, and Michele Sevegnani
    to appear in Formal Aspects of Computing
    [pdf] [doi] [SJR]
  5. Finite Models for a Spatial Logic with Discrete and Topological Path Operators
    Sven Linker, Fabio Papacchini, and Michele Sevegnani
    in proceedings of 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Leibniz International Proceedings in Informatics (LIPIcs), volume 202, pp 72:1--72:16, Tallin, Estonia, August 2021
    [pdf] [doi] [bib] [CORE]
  6. Analysing Spatial Properties on Neighbourhood Spaces
    Sven Linker, Fabio Papacchini, and Michele Sevegnani
    in proceedings of 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Leibniz International Proceedings in Informatics (LIPIcs), volume 170, pp 66:1--66:14, Prague, Czech Republic, August 2020
    [pdf] [doi] [video] [bib] [CORE]
  7. Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications
    Xin Xin, Sye Loong Keoh, Michele Sevegnani, and Martin Saerbeck
    in proceedings of 2020 IEEE International Conference on Smart Internet of Things (IEEE SmartIoT 2020), volume 1, pp 43--50, Beijing, China, August 2020
    [pdf] [doi] [bib]
  8. Conditional Bigraphs
    Blair Archibald, Muffy Calder, and Michele Sevegnani
    in proceedings of International Conference on Graph Transformation (ICGT 2020), Lecture Notes in Computer Science, volume 12150, pp 3--19, Bergen, Norway, June 2020
    [pdf] [doi] [video] [bib] [CORE]
  9. BigraphTalk: Verified Design of IoT Applications
    Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, and Yi-Bing Lin
    in IEEE Internet of Things Journal, Volume 7, Issue 4, pp 2955--2967, April 2020
    [pdf] [doi] [bib] [SJR]
  10. Target counting with Presburger constraints and its application in sensor networks
    Sven Linker and Michele Sevegnani
    in Proceedings of the Royal Society A, Volume 475, Issue 2231, November 2019
    [pdf] [doi] [bib] [SJR]
  11. Stochastic model checking for predicting component failures and service availability
    Muffy Calder and Michele Sevegnani
    in IEEE Transactions on Dependable and Secure Computing (TDSC), Volume 16, Issue 1, pp 174--187, January 2019
    [pdf] [doi] [bib] [SJR]
  12. Modelling and Verification of Large-Scale Sensor Network Infrastructures
    Michele Sevegnani, Milan Kabac, Muffy Calder, and Julie A. McCann
    in proceedings of International Conference on Engineering of Complex Computer Systems (ICECCS 2018), pp 71--81, IEEE, Melbourne, Australia, December 2018
    [pdf] [doi] [bib] [CORE]
  13. 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]
  14. 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]
  15. 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]
  16. Bigraphs with sharing
    Michele Sevegnani and Muffy Calder
    in Theoretical Computer Science, Volume 577, pp 43-73, Elsevier, April 2015
    [pdf] [doi] [bib] [SJR]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]

Talks