The following publication make use of the tools developed by the Glasgow Bigraphs team.
Archibald, Blair, et al. “Conditional Bigraphs” ICGT, 2020.
Archibald, Blair, et al. “BigraphTalk: Verified Design of IoT Applications.” IEEE Internet of Things Journal, 2020.
Alrimawi, Faeq, et al. “On the Automated Management of Security Incidents in Smart Spaces.” IEEE Access, vol. 7, 2019, pp. 111513–111527.
Sevegnani, Michele, et al. “Modelling and Verification of Large-Scale Sensor Network Infrastructures.” 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 2018, pp. 71–81.
Sevegnani, Michele, and Muffy Calder. “BigraphER: Rewriting and Analysis Engine for Bigraphs.” International Conference on Computer Aided Verification, 2016, pp. 494–501.
Sevegnani, Michele, and Muffy Calder. “Bigraphs with Sharing.” Theoretical Computer Science, vol. 577, no. 1, 2015, pp. 43–73.