Publications related
to Bigraphs
1.
B.
Archibald, M. Calder, M. Sevegnani.
Practical Modelling with Bigraphs.
Formal Aspects of Computing, 2025.
2.
B.
Archibald M. Calder, M. Sevegnani.
Probabilistic Bigraphs.
Formal Aspects of Computing, ACM, Volume 34, Issue 2 DOI 2022.
3.
B.
Archibald M. Calder, M. Sevegnani, M. Xu.
Modelling and Verifying BDI Agents with Bigraphs.
Science of Computer Programming, accepted for publication November, 2021.
4.
B.
Archibald M. Calder, M. Sevegnani.
Conditional Bigraphs.
13th International Conference on Graph Transformation (ICGT 2020), 2020.DOI
5.
M. Sevegnani, M. Kaban, J. McCann, Calder.
Modelling and verification of Large-Scale Sensor Network Infrastructures.
23rd
International Conference on Engineering of Complex Computer Systems (ICECCS), 2018 .
6.
S. Benford,T.
Rodden, M. Calder, M. Sevegnani.
On lions, impala, and bigraphs: modelling interactions in physical/virtual
spaces.
ACM Transactions on
Computer-Human Interaction, volume 23, issue 2, May 2016. DOI DOI:
http://dl.acm.org/citation.cfm?doid=2936307.2882784
7.
M.
Sevegnani, M. Calder.
BigraphER:rewriting and
analysis engine for bigraphs.
CAV 2016, 28th International Conference on Computer Aided
Verification, Lecture Notes in Computer Science, vol. 9780, part II, Springer,
2016.
8.
M.
Sevegnani, M. Calder.
Bigraphs with sharing.
Theoretical Computer
Science, vol. 577, pp 43--74, Elsevier, 2015. Online copy http://www.sciencedirect.com/science/article/pii/S0304397515001085
9.
M. Calder, A. Koliousis,
M. Sevegnani, J. Sventek.
Real-time verification of wireless home networks using bigraphs
with sharing.
Science of Computer
Programming, volume 80, part B, Feb., pp. 288--310, 2014. Online copy at http:/www.sciencedirect.com/science/article/pii/S0167642313001974.
10.
M. Calder,
M. Sevegnani.
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs
with sharing.
Formal Aspects of
Computer Science, vol. 26, issue 3, pp. 537--561,Springer,
doi:10.1007/s00165-012-0270-3, 2014.
11.
M. Calder,
M. Sevegnani.
Process algebra for event-driven runtime verification: a case study of wireless
network managment.
Proceedings 9th
International Conference on Integrated Formal Methods, IFM 2012, Pisa, Italy,
Lecture Notes in Computer Science, volume 7321, pp 21-23, 2012. The final publication is available at
www.springerlink.com.
12.
M.
Sevegnani, M. Calder.
Bigraphs with sharing
DCS Technical Report
Series, University of Glasgow, TR-2010-310, 2010.
13.
M.
Sevegnani, C. Unsworth, M. Calder.
A SAT based algorithm for the matching problem in biraphs
with sharing
DCS Technical Report
Series, University of Glasgow, TR-2010-311, 2010.