Science of Sensor Systems Software

Towards a unifying science for smarter sensor based systems

We will deliver new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments.

About

Science of Sensor Systems Software (S4) is an EPSRC programme grant for University of Glasgow with University of St Andrews, University of Manchester, and Imperial College London running from January 2016 until end of December 2021.

View more »

Investigators

Prof. Muffy Calder (overall PI, University of Glasgow)
Prof. Simon Dobson (University of St Andrews)
Prof. Michael Fisher (University of Manchester)
Prof. Julie McCann (Imperial College London)

View more »

Partners

S4 will be driven and validated by end-user and experimental applications involving ten organisations, including ABB, British Geological Survey, CENSIS, Freescale, Rolls-Royce, Thales, and Transport Scotland.

View more »

Research vision

Sensor systems are embedded everywhere: from transportation and lighting, to smart tags and flooded fields, providing information and facilitating real-time decision-making and actuation. Smart cities, internet of things, big data and autonomous vehicles all depend on robust sensor systems that can be trusted to deliver useful, timely and more reliable information.

Extracting information is far from straightforward: sensors are noisy, they decalibrate or may be misplaced, moved, compromised, and generally degraded over time, both individually and as a collective network. Uncertainty pervades the physical and digital environments in which the systems operate. There are increasing requirements to add more autonomy and intelligence, yet we understand very little about programming in the face of such pervasive uncertainty that cannot be engineered away. How can we be assured that a sensor system does what we intend, in a range of dynamic environments? How can we make such a system “smarter”? How can we connect the stochastic nature of environments, the continuous nature of physical systems, and discrete nature of software? Currently we cannot answer these questions because we are missing a science of sensor system software. The S4 programme will develop a unifying science, across the breadth of mathematics, computer science and engineering, that will let developers engineer for the uncertainty and ensure that their systems and the information they provide is resilient, responsive, reliable, statistically sound and robust. The vision is smarter sensor based systems in which scientists and policy makers can ask deeper questions and be confident in obtaining reliable answers, so the programme will deliver new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments.

Diagram



The dashed arrows indicate the elements to be developed: linking software development and sensor system applications, deployment and the frames of reference that determine the dimensions of environment in which the systems operate.

News

[Scroll down for more news!]

April 2022 Simon Dobson gave an invited talk for LEISYS'2022, on Sensor Tensors.

April 2022 Simon Dobson gave an invited talk to the School of Computer Science and Information Technology, University College Cork, on Sensor interpretation data wrangling.

March 2022 Julie McCann is University of York Distinguished Seminar for International Women’s Day, "Finding Rubies in the Dust: A conversation about Cyber-physical Interaction".

March 2022 Julie McCann gives a Turing Talk on "A day in the life of a Smart City", BCS/IET London.

Sept 2021 Clare Dixon is an invited speaker at the 15th Int. Conf. on Reachability Problems (RP'21).

Sept 2021 Clare Dixon is an invited speaker at Formal Methods for Autonomous Systems 2021 (FMAS), which will take place Oct 2021. The title of the talk is Help or Hazard: Towards Verifying Autonomous Robot Systems.

May 2021 Michael Fisher gave an invited talk at the CPS-IoT Week Workshop: MACHINE LEARNING IN CONTROL (LEAC), 2021 on Verifying Autonomous Systems.

May 2021 Michael Fisher is the co-organiser of the 2021 CPS-IoT Week Workshop: Verification of Autonomous and Robotic Systems (VARS).

3 June 2020 Julie McCann's research group, Adaptive Emergent Systems Engineering, won the The President’s Awards for Excellence in Research 2020. This Award celebrates outstanding achievements of research teams at Imperial College London, recognising outstanding research that delivers impact, a teamss international standing and their beneficial contribution to Imperial College London.

18 Feb 2020 Michele Sevegnani gave a talk on "Problems of uncertainty in sensor systen software" at the London Interdisciplinary Doctoral Programme during the Teaching Week Day 2: Software Engineering.

Feb 2020 Our next all-hands meeting will take place at Imperial College London on 11 - 12 June 2020.

Jan 2020 Fabio Papacchini and Georgios Kourtis from the Department of Computer Science, University of Liverpool will soon join us.

Jan 2020 Prof Simon Dobson will give a departmental talk at the School of Computing Science, University of Glasgow, titled "How good is my dataset?" on Friday 20 March 2020, 15:00-16:00.

Jan 2020 Prof Muffy Calder will give this term's Strachey Lecture in Computer Science at the Department of Computer Science, University of Oxford, on 3 March 2020. The title of the talk is "Formal Methods reinvented: now with users, data, and inference". More details can be found here.

7-10 Jan 2020 Our third research retreat will take place as usual in North Berwick, Scotland, UK.

Nov 2019 Seven Linker will give a talk on "Target Counting with Wireless Sensor Networks: Spatio-Temporal Models and Presburger Arithmetic" at the workshop "Spatio-Temporal Reasoning for Control of Cyber-Physical Systems" in Nice, France, on the 10th December 2019.

Oct 2019 Sven Linker co-organised the Dagstuhl Seminar 19432 on the topic of Analysis of Autonomous Mobile Collectives in Complex Physical Environments

Aug 2019 Lei Fang will give a talk on "Human Activity Mining with Directional Statistical Models" at SICSA Ambient Assisted Living (AAL) Summer School, Heriot-Watt University, Edinburgh, Scotland, 6-8 August 2019.

July 2019 All-hands meeting taking place in Glasgow 31 July - 1 August 2019.

June 2019 Oana Andrei and Michele Sevegnani are organising the first Scottish Seminar on Formal Modelling, Verification, and Synthesis at the School of Computing Science, University of Glasgow, on 9 September 2019. This is a SICSA-funded workshop co-located with the QEST'19 international conference.

June 2019 Oana Andrei is the Local Chair of the QEST'19 conference.

May 2019 Michele Sevegnani gave a talk on "Bigraphs with sharing and their algebra" on 24 May 2019 at the Mathematically Structured Programming Group seminar, Computer and Information Science, University of Strathclyde, Glasgow, UK.

25 April 2019 Michael Fisher is awarded the prestigious Royal Academy of Engineering award Chair in Emerging Thechnologies.

April 2019 Michael Fisher co-organised the Dagstuhl Seminar 19171 on the topics of "Ethics and Trust: Principles, Verification and Validation".

April 2019 Oana Andrei and Muffy Calder's paper "Interpreting Computational Models of Interactive Software Usage" co-authored with Matthew Chalmers and Alistair Morrison was accepted at the ACM CHI workshop Computational Modeling in Human-Computer Interaction taking place on 5 May 2019 in Glasgow, UK.

March 2019 Oana Andrei is PC member of the 1st Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA'19) (co-located with SEFM'19).

March 2019 Oana Andrei is PC member of the 8th Workshop on Formal Methods for Interactive Systems (FMIS'19) (co-located with FM'19).

Jan 2019 Muffy Calder and Michele Sevegnani's paper Stochastic Model Checking for Predicting Component Failures and Service Availability was published in IEEE Transactions on Dependable and Secure Computing, vol. 16(1), January 2019.

7-10 Jan 2019 Our second all-hands retreat in North Berwick.

Dec 2018 Oana Andrei is co-organiser of the 8th International Symposium "From Data to Models and Back (DataMod 2019)", part of the FM week (the 3rd World Congress on Formal Methods), Porto, Portugal, 7-8 October 2019.

Dec 2018 Michele Sevegnani is the Publicity Chair for the 16th the International Conference on Quantitative Evaluation of Systems QEST'19 which will take place at the University of Glasgow, 10-12 September 2019.

Nov 2018 The paper "Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems" by Muffy Calder, Simon Dobson, Michael Fisher and Julie McCann is published in Computers 2018, 7(4), 62.

Nov 2018 Michele Sevegnani and Muffy Calder's paper Modelling and Verification of Large-Scale Sensor Network Infrastructures co-authored with Milan Kabac and Julie A. McCann was appeared in the proceedings of IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2018), December 2018.

14 Nov 2018 Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt and Michael Fisher won the Best Paper Award at the 20th International Conference on Formal Engineering Methods (ICFEM 2018) for their paper "The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators".

12 Nov 2018 Oana, Muffy, Julie, Anqi, Ivana, Michael, Yasmeen and Lei met up at Imperial College London to talk about modelling various aspects of the smart water distribution network testbed WaterBox.

18 Oct 2018 Muffy Calder gave the 2018 BCS Karen Sparck Jones lecture, presenting a personal reflection on the role of models in computer science and providing unique insight into the world of modelling systems.

15 - 19 Oct 2018 Michele Sevegnani visited CARDC (China Aerodynamics Research and Development Center) in Sichuan Province, P.R. China. Michele gave the lectures "Reliability analysis and forecasting for assets management" and "Computational models for autonomous navigation and mixed-reality systems".

11 Oct 2018 Simon Dobson gave a keynote on "Making the transition from sensors to sensor systems software" at the Conference on Design and Architectures for Signal and Image Processing (DASIP 2018) in Porto, Portugal.

8 Oct 2018 Julie McCann is one of the twelve holders of the 2018 Suffrage Science Awards in Maths and Computing, presented to celebrate her scientifique achievement and her ability encourage and inspire others to enter science and reach senior leadership roles.

20 Sept 2018 All-hands meeting with invited members of the advisory board taking place at Imperial College London.

3 July 2018 Julie McCann will give the welcoming and introduction talk at the official launch of the Centre for Smart Connected Futures, a new multi-disciplinary research network at Imperial College London.

21 June 2018 Michael Fisher visited Geneva to attend a meeting of experts organised by the International Committee of the Red Cross to discuss the limits of, and issues around, autonomy in relation to autonomous weapon systems. More details here.

12 June 2018 Michele Sevegnani gave an invited talk on “Air navigation services assets management with stochastic model checking” at the “EU-China Workshop on Aviation, Air Traffic Management, Safety and Security” (part of ECCOMAS 2018) held at the University of Glasgow.

6 June 2018 Next all-hands meeting taking place in windy St Andrews.

24 April 2018 We are seeking one Postdoctoral Researcher to join the Glasgow team. More details can be found here and here. Application closing date: 22 May 2018.

6 Oct 2017 Prof Muffy Calder will give an invited talk at the CENSIS 4th Technology Summit and Conference 2017, which will take place in Glasgow, 2 November 2017.

5 Oct 2017 Our fourth all-hands meeting taking place in Manchester.

Aug 2017 Organising the first ACM International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE).

23 - 24 May 2017 Our third all-hands meeting is taking place in Glasgow and it includes, for the first time, members of the advisory board.

7 Dec 2016 Prof Julie McCann delivered a distinguished seminar at the School of Computing & Communications, Lancaster University. The title of the talk was Are Sensor Networks a first step towards the Diamond Age?

7 Nov 2016 Prof Julie McCann delivered a set of distinguished lectures centred around Distributed Systems and Sensing at the School of Computer Science, University of St Andrews.

14 Oct 2016 Second all-hands meeting located at Imperial College London. Take a look at our group photo!

13 Oct 2016 Interest meeting on the Gossip and the Firefly protocols at Imperial College London.

10 Oct 2016 Muffy Calder was presented one of the twelve Suffrage Science Awards in Maths and Computing to celebrate her scientific achievements and ability to inspire others.

15 June 2016 Dr Sven Linker will join us as postdoctoral researcher in Liverpool, starting on 1 August 2016. He is currently a Research Fellow in the School of Computing, Engineering and Mathermatics, University of Brighton.

25 - 26 April 2016 The first all-hands meeting was a resounding success: interesting talks generating many discussions around them, activities and research goals planned for the following months. Take a look at our dinner photo!

10 March 2016 The press release in the Imperial College London news about S4 as a new project that will ensure information gathered by sensors is reliable.

11 Feb 2016 We are seeking two Postdoctoral Research Associates in Formal Verification of Autonomous Sensor Network Software at University of Liverpool. More details can be found here.

1 Feb 2016 Our kick off meeting will take place in Glasgow on 25 - 25 April 2016.

29 Jan 2016 More digital press articles about us: Herald Scotland, Osborne Clarke, Global Post, Daily Record, CENSIS, my Science, v3, Machinery Market, Internet of Business.

11 Jan 2016 First press releases in the University of Glasgow news, University of Liverpool news.

5 Jan 2016 The S4 programme started! Let's roll!

People


Muffy Calder

Prof Muffy Calder

Overall PI

View profile »

Michael Fisher

Prof Michael Fisher

Investigator

View profile »

Simon Dobson

Prof Simon Dobson

Investigator

View profile »

Julie McCann

Prof Julie McCann

Investigator

View profile »

Alice Miller

Prof Alice Miller

Professor

View profile »

Clare Dixon

Prof Clare Dixon

Professor

View profile »

Michele Sevegnani

Dr Michele Sevegnani

Senior Lecturer

View profile »

Oana Andrei

Dr Oana Andrei

Lecturer

View profile »

Lei Fang

Dr Lei Fang

Lecturer

View profile »

Blair Archibald

Dr Blair Archibald

Lecturer

View profile »

Michael Breza

Dr Michael Breza

Research Associate

View profile »

Fatma Benkhelifa

Dr Fatma Benkhelifa

Research Associate

View profile »

Georgios Kourtis

Dr Georgios Kourtis

Research Associate

View profile »

Aisha Junejo

Dr Aisha K. Junejo

Research Associate

View profile »

Maryam Ghaffari Saadat

Dr Maryam Ghaffari Saadat

Research Associate

View profile »

Mengwei Xu

Dr Mengwei Xu

Research Associate

View profile »

Ivaylo Valkov

Mr Ivaylo Valkov

Research Assistant

View profile »

Laksh Bhatia

Mr Laksh Bhatia

Research Assistant

View profile »

Peter Mann

Dr Peter Mann

Research Assistant

View profile »

Yathreb Bouazizi

Ms Yathreb Bouazizi

PhD student

View profile »

Lynne Brown

Ms Lynne McCorriston

Business Development Manager

View profile »

Former members


Ivana Tomic

Dr Ivana Tomic

as Research Associate

View profile »

Milan Kabac

Dr Milan Kabáč

as Research Associate

View profile »

Paul Gainer

Dr Paul Gainer

as Research Assistant

View profile »

Matt Webster

Dr Matt Webster

as Research Associate

View profile »

Sven Linker

Dr Sven Linker

as Research Associate

View profile »

Fabio Pappachini

Dr Fabio Pappachini

as Research Associate

View profile »

Yasmin Rafiq

Dr Yasmin Rafiq

as Research Associate

View profile »

Projects


Foundations

Objectives: To develop the new foundational conceptual frameworks, theories, models, logics and reasoning techniques needed for analysis of capabilities, constraints and requirements of sensor system software.
Leader: Prof Muffy Calder with expertise in stochastic event-based modelling and reasoning, multi-scale and spatial modelling for virtual/physical systems, decision support for event-based condition monitoring, real-time verification, component-based modelling for biochemical systems and probabilistic analysis of software usage.

Verification

Objectives: To develop new techniques and tools for the abstract design and formal verification of both individual and ensemble behaviours of autonomous sensor systems.
Leader: Prof Michael Fisher with expertise in practical formal methods, temporal logics, programming languages, and the formal verification of autonomous systems.

Adaptation

Objectives: To develop the approaches that match the formal understanding of the problem space and the mission of a sensor network to its realisation, deployment, and adaptation in the field.
Leader: Prof Simon Dobson with expertise in building adaptive sensor technology to observe complex real-world processes in ways that respect end-to-end scientific constraints.

Engineering

Objectives: To build a framework that enhances the programmability and maintainability of next-generation sensor/actuator systems at scale and that can also take as dynamical inputs control functionality and verification probes while supplying the data representing the frames of reference as assessed by the framework at run-time as measures of dynamic environmental context.
Leader: Prof Julie McCann with expertise in decentralised algorithms and protocols for low-powered sensing and control systems that dynamically adapt to their environments.

Partners

S4 will be driven and validated by end-user and experimental applications involving the following organisations: ABB, British Geological Survey, CENSIS, Freescale, Jacobs, Rolls-Royce, Scottish Canals, Thales, Topolytics, Transport Scotland.

Publications

2022

  1. Blair Archibald, Muffy Calder, and Michele Sevegnani. Probablistic Bigraphs. Formal Aspects of Computing, 34(2):1–27, 2022.
  2. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu. Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215:102760, 2022.
  3. F. Benkhelifa, Y. Bouazizi, and J. A. McCann. How Orthogonal is LoRa Modulation?. To appear in IEEE Internet of Things Journal, 2022.
  4. Laksh Bhatia, Po-Yu Chen, Michael Breza, Cong Zhao, and Julie A. McCann. IRONWAN: Increasing Reliability of Overlapping Networks in LoRaWAN. IEEE Internet Things J., 9(13):10763–10776, 2022.
  5. Peter Mann, V. Anne Smith, John Mitchell, and Simon Dobson. A population model of interacting SARS-CoV-2 variants. In Proceedings of the BIFI International Conference on the Science of covid-19: From molecular drug design to data-driven epidemiological models, Zaragoza, Spain, 2022.
  6. Fabio Papacchini, Claudia Nalon, Ullrich Hustadt, and Clare Dixon. Local is Best: Efficient Reductions to Modal Logic K. Journal of Automated Reasoning, 2022.

2021

  1. Laksh Bhatia, Ivana Tomic, Anqi Fu, Michael Breza, and Julie A. McCann. Control Communication Co-Design for Wide Area Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst., 5(2):18:1–18:27, 2021.
  2. Simon Dobson. Unit (and other) testing of stochastic code. In the 6th UK Systems Research Challenges Workshop, December 2021.
  3. G. Kourtis, C. Dixon, M. Fisher, and A. Lisitsa. Parameterized verication of leader/follower systems via first-order temporal logic. Formal Methods in System Design, 58(3):440-468, 2021.
  4. Clare Dixon. Theorem Proving Using Clausal Resolution: From Past to Present (Invited Talk). In Proc. of the 15th International Conference on Reachability Problems(RP 2021), volume 13035 of Lecture Notes in Computer Science, pages 19-27. Springer, 2021.
  5. Blair Archibald, Kyle Burns, Ciaran McCreesh, and Michele Sevegnani. Practical Bigraphs via Subgraph Isomorphism. In Proc. of the 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), volume 210 of Leibniz International Proceedings in Informatics (LIPIcs), pages 15:1–15:17. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.
  6. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu. Probabilistic BDI Agents: Actions, Plans, and Intentions. In Proc. of 19th Intl. Conference on Software Engineering and Formal Methods (SEFM) 2021, volume 13085 of LNCS, pages 262–281. Springer, 2021.
  7. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu. Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In Proc. of 3rd Workshop on Formal Methods for Autonomous Systems (FMAS) 2021, volume 348 of EPTCS, pages 167–175, 2021.
  8. Blair Archibald, Géza Kulcsár, and Michele Sevegnani. A tale of two graph models: a case study in wireless sensor networks. Formal Aspects of Computing, 2021.
  9. Aisha Kanwal Junejo, Fatma Benkhelifa, Boon Wong, and Julie A. McCann. LoRa-LiSK: A Lightweight Shared Secret Key Generation Scheme for LoRa Networks. IEEE Internet of Things Journal, 2021.
  10. Sven Linker, Fabio Papacchini, and Michele Sevegnani. Finite Models for a Spatial Logic with Discrete and Topological Path Operators. In Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS’21), 2021.
  11. F. Papacchini, C. Nalon, U. Hustadt, and C. Dixon. Efficient Local Reductions to Basic Modal Logic. In 28th International Conference on Automated Deduction (CADE-28). To appear in Lecture Notes in Computer Science. Springer, 2021.
  12. Fatma Benkhelifa and Julie A. McCann. Resource Allocation for NOMA-based LPWA Networks Powered by Energy Harvesting. In IEEE Wireless Communications and Networking Conference, WCNC 2021, pages 1–6. IEEE, 2021.
  13. Aisha Kanwal Junejo, Nikos Komninos, and Julie A. McCann. A Secure Integrated Framework for Fog-Assisted Internet-of-Things Systems. IEEE Internet Things J., 8(8):6840–6852, 2021.
  14. Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, and Matt Webster. An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10(2), 2021.
  15. Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlinglo, Michael Winiko, and Neil Yorke-Smith. Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst., 35(1):8, 2021.

2020

  1. Laksh Bhatia, Michael Breza, Ramona Marfievici, and Julie A. McCann. LoED: The LoRaWAN at the Edge Dataset: Dataset. In Proceedings of the Third Workshop on Data: Acquisition To Analysis, DATA’20, pages 7–8. ACM, 2020.
  2. 2Breza, M., Bhatia, L., Tomic, I., Fu, A., Ikram, W., Kongezos, V., & McCann, J. A.. The Separator, a Two-Phase Oil and Water Gravity CPS Separator Testbed. 2020. arXiv preprint arXiv:2002.00945.
  3. Lei Fang, Xiaoli Liu, Xiang Su, Juan Ye, Simon Dobson, Pan Hui, and Sasu Tarkoma. Bayesian Inference Federated Learning for Heart Rate Prediction. In Proc. of the 9th EAI International Conference Wireless Mobile Communication and Healthcare (Mobi-Health) 2020, volume 362 of Lecture Notes of the Institute for Com- puter Sciences, Social Informatics and Telecommunications Engineering, pages 116–130. Springer, 2020.
  4. Sven Linker. Intuitionistic Euler-Venn Diagrams. In Proceedings of the 11th International Conference on Diagrammatic Representation and Inference (Diagrams 2020), volume 12169 of Lecture Notes in Computer Science, pages 264–280. Springer, 2020.
  5. Claudia Nalon, Ullrich Hustadt, and Clare Dixon. A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning, 64(3):461-484, 2020.
  6. Clare Dixon. Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). In the 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY), CEUR Workshop Proceedings, 2020.
  7. Clare Dixon. Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). In the 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, volume 178 of LIPIcs, pages 1:1-1:4. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2020.
  8. Matt Webster, David G. Wester, Dejanira Araiza-Illan, Clare Dixon,Kerstin Eder, Michael Fisher, and Anthony G. Pipe. A corroborative approach to verication and validation of human-robot teams. Int. J.Robotics Res., 39(1), 2020.
  9. Ullrich Hustadt, Ana Ozaki, and Clare Dixon. Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason., 64(8):1553-1610, 2020.
  10. Fatma Benkhelifa, Zhijin Qin, and Julie A. McCann. User Fairness in Energy Harvesting-Based LoRa Networks with Imperfect SF Orthogonality. IEEE Transactions on Communications, 2021.
  11. Yathreb Bouazizi, Fatma Benkhelifa, and Julie A. McCann. Spatiotemporal Modelling of Multi-Gateway LoRa Networks with Imperfect SF Orthogonality. In IEEE Global Communications Conference, GLOBECOM 2020, pages 1–7. IEEE, 2020.
  12. Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, and Julie A. McCann. Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput.Sci., 45, 2020.
  13. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, and MichaelFisher. Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des., 55(3):171-221, 2020.
  14. Sven Linker, Fabio Papacchini, and Michele Sevegnani. Analysing Spatial Properties on Neighbourhood Spaces. In Javier Esparza and Daniel Kral, editor, Proc. of the 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), volume 170 of LIPIcs, pages 66:1–66:14. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2020.
  15. Po-Yu Chen, Laksh Bhatia, Roman Kolcun, David Boyle, and Julie A. McCann. Contact-Aware Opportunistic Data Forwarding in Disconnected LoRaWAN Mobile Networks. In Proceedings of the 40th IEEEE International Conference on Distributed Computing Systems (ICDCS), 2020.
  16. Houlian Wang, Gongbo Zhou, Laksh Bhatia, Zhencai Zhu, Wei Li, and Julie A. McCann. Energy-Neutral and QoS-Aware Protocol in Wireless Sensor Networks for Health Monitoring of Hoisting Systems. IEEE Transactions on Industrial Informatics, 16(8):5543–5553, August 2020.
  17. Fatma Benkhelifa, Hesham ElSawy, Julie A. McCann, and Mohamed-Slim Alouini. Recycling Cellular Energy for Self-Sustainable IoT Networks: A Spatiotemporal Study. IEEE Trans. Wireless Communications, 19(4):2699–2712, 2020.
  18. Blair Archibald, Muffy Calder, and Michele Sevegnani. Conditional Bigraphs. Proceedings of the 13th International Conference on Graph Transformation (ICGT 2020), volume 12150 of Lecture Notes in Computer Science, pages 3–19. Springer, 2020.
  19. Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, and Yi-Bing Lin. BigraphTalk: Verified Design of IoT Applications. IEEE Internet of Things Journal, 7(4):2955–2967, 2020.

2019

  1. Kaihan Li, Fatma Benkhelifa, and Julie A. McCann. Resource Allocation for Non-Orthogonal Multiple Access (NOMA) Enabled LPWA Networks. In Proceedings of the IEEE Global Communications Conference GLOBECOM’19, pages 1–6. IEEE, 2019.
  2. Spina, A., Breza, M., Dulay, N., & McCann, J.. XPC: Fast and reliable synchronous transmission protocols for 2-phase commit and 3-phase commit. 2019. arXiv preprint arXiv:1910.09941.
  3. Sven Linker and Michele Sevegnani. Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society of London Series A: Mathematical, Physical and Engineering Sciences, 2019.
  4. Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, and Michael Fisher. Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv., 52(5):100:1–100:41, 2019.
  5. Lei Fang, Juan Ye, and Simon Andrew Dobson. Sensor-based human activity mining using Dirichlet process mixtures of directional statistical models. In Proceedings of the 6th IEEE International Conference on Data Science and Advanced Analytics (DSAA’19). IEEE Computer Society, 2019.
  6. Lei Fang, Juan Ye, and Simon Dobson. Discovery and Recognition of Emerging Human Activities Using a Hierarchical Mixture of Directional Statistical Models. IEEE Transactions on Knowledge and Data Engineering, 2019.
  7. William J. Kavanagh, Alice Miller, Gethin Norman, and Oana Andrei. Balancing Turn-Based Games with Chained Strategy Generation. IEEE Transactions on Games, 2019.
  8. Claudia Nalon, Clare Dixon, and Ullrich Hustadt. Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log., 20(4):23:1–23:38, 2019.
  9. Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, and Angelo Ferrando. Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. In Peter Csaba Olveczky and Gwen Salaun, editors, Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM’19), volume 11724 of Lecture Notes in Computer Science, pages 105–124. Springer, 2019.
  10. Michael Fisher, Christian List, Marija Slavkovik, and Astrid Weiss. Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). Dagstuhl Reports, 9(4):59–86, 2019.
  11. Muffy Calder and Michele Sevegnani. Stochastic Model Checking for Predicting Component Failures and Service Availability. IEEE Trans. Dependable Sec. Comput., 16(1):174–187, 2019.
  12. Simon Dobson, David Hutchison, Andreas Mauthe, Alberto E. Schaeffer Filho, Paul Smith, and James P. G. Sterbenz. Self-Organization and Resilience for Networked Systems: Design Principles and Open Research Issues. Proceedings of the IEEE, 107(4):819–834, 2019.
  13. Lei Fang, Juan Ye, and Simon Dobson. Distributed Self-Monitoring Sensor Networks Via Markov Switching Dynamic Linear Models. In Proceedings of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019, pages 33–42. IEEE, 2019. Best Paper Runner Up
  14. Michele Sevegnani, Milan Kabac, Muffy Calder, and Julie A. McCann. Modelling and Verification of Large-Scale Sensor Network Infrastructures. In Proc. of the 23nd International Conference on Engineering of Complex Computer Systems (ICECCS’18), Melbourne, Australia, 2018.
  15. Fatma Benkhelifa, Zhijin Qin, and Julie Ann McCann. Minimum Throughput Maximization in LoRa Networks Powered by Ambient Energy Harvesting. In Proceedings of the 2019 IEEE International Conference on Communications (ICC’19), pages 1–7. IEEE, 2019.
  16. Anqi Fu, Ivana Tomic, and Julie A. McCann. Asynchronous Sampling for Decentralized Periodic Event-Triggered Control. In Proceedings of the 2019 American Control Conference (ACC’19), pages 145–150. IEEE, 2019.
  17. Zhijin Qin, Frank Y. Li, Geoffrey Ye Li, Julie A. McCann, and Qiang Ni. Low-Power Wide-Area Networks for Sustainable IoT. IEEE Wireless Commun., 26(3):140–145, 2019.
  18. Zhijin Qin, Yuanwei Liu, Geoffrey Ye Li, and Julie A. McCann. Performance Analysis of Clustered LoRa Networks. IEEE Trans. Vehicular Technology, 68(8):7616–7629, 2019.
  19. Xiaolan Liu, Zhijin Qin, Yue Gao, and Julie A. McCann. Resource Allocation in Wireless Powered IoT Networks. IEEE Internet of Things Journal, 6(3):4935–4945, 2019.
  20. Julie A. McCann, Gian Pietro Picco, Alexander Gluhak, Karl Henrik Johansson, Martin Torngren, and Laila Gide. Connected things connecting Europe. Commun. ACM, 62(4):46, 2019.

2018

  1. Muffy Calder, Simon Dobson, Michael Fisher, and Julie McCann. Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems. Computers, 7(4), 2018.
  2. Simon Dobson, Matteo Golfarelli, Simone Graziani, and Stefano Rizzi. A reference architecture and model for sensor data warehousing. IEEE Sensors Journal, 18(18), 2018.
  3. Maryam Kamali, Sven Linker, and Michael Fisher. Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. In Cyrille Artho and Peter Csaba Olveczky, editors, Proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS’18), Revised Selected Papers, volume 1008 of Communications in Computer and Information Science, pages 18–36. Springer, 2019.
  4. Michael Breza, Ivana Tomic, and Julie McCann. Failures from the Environment, a Report on the First FAILSAFE Workshop. SIGCOMM Comput. Commun. Rev., 48(2):40–45, May 2018.
  5. I. Tomic, L. Bhatia, M. Breza, and J. A. McCann. The Limits of LoRaWAN in Event-Triggered Wireless Networked Control Systems. In Proc. of the 12th International UKACC Conference on Control, 2018.
  6. I. Tomic, M. Breza, G. Jackson, L. Bhatia, and J. A. McCann. Design and evaluation of jamming resilient cyber-physical systems. In Proc. of the IEEE International Conference on Cyber, Physical and Social Computing (CPSCom 2018), 2018.
  7. Ivana Tomic, Po-Yu Chen, Michael J. Breza, and Julie A. McCann. Antilizer: Run Time Self-Healing Security for Wireless Sensor Networks. In Henning Schulzrinne and Pan Li, editors, Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous’18), pages 107–116. ACM, 2018.
  8. Fatma Benkhelifa, Hesham ElSawy, Julie A. McCann, and Mohamed-Slim Alouini. Recycling Cellular Downlink Energy for Overlay Self-Sustainable IoT Networks. In Proceedings of the IEEE Global Communications Conference (GLOBECOM’18), pages 1–7. IEEE, 2018.
  9. Sokratis Kartakis, Anqi Fu, Manuel Mazo Jr., and Julie A. McCann. Communication Schemes for Centralized and Decentralized Event-Triggered Control Systems. IEEE Trans. Contr. Sys. Techn., 26(6):2035–2048, 2018.
  10. Ullrich Hustadt, Claudia Nalon, and Clare Dixon. Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. In Proc. of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR’18), 2018.
  11. Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, and Julie McCann. Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems. In Proc. of the 18th International Workshop on Automated Verification of Critical Systems (AVoCS’18), 2018.
  12. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, and Michael Fisher. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In Proc. of the 20th International Conference on Formal Engineering Methods (ICFEM’18), 2018.
  13. Michele Sevegnani, Milan Kabac, Muffy Calder, and Julie A. McCann. Modelling and Verification of Large-Scale Sensor Network Infrastructures. In Proc. of the 23nd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, Australia, 2018.
  14. Muffy Calder et al. Blackett Review: Computational Modelling. UK Government Office for Science, 2018.
  15. Oana Andrei and Gabriel Murray. Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking. In Proc. of the ACM workshop ”Group Interaction Frontiers in Technology” (GIFT’18), Boulder, CO, USA, Oct 2018.
  16. Oana Andrei and Muffy Calder. Data-driven modelling and probabilistic analysis of interactive software usage. Journal of Logical and Algebraic Methods in Programming, 100:195 – 214, 2018.
  17. Sven Linker. Sequent Calculus for Euler Diagrams. In Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah PerezKriz, and Francesco Bellucci, editors, Proc. of the 10th Intl. Conf. on Diagrammatic Representation and Inference (Diagrams 2018), volume 10871 of Lecture Notes in Computer Science, pages 399–407. Springer, 2018.
  18. Muffy Calder, Claire Craig, Dave Culley, Richard de Cani, Christl A. Donnelly, Rowan Douglas, Bruce Edmonds, Jonathon Gascoigne, Nigel Gilbert, Caroline Hargrove, Derwen Hinds, David C. Lane, Dervilla Mitchell, Giles Pavey, David Robertson, Bridget Rosewell, Spencer Sherwin, Mark Walport, and Alan Wilson. Computational modelling for decision-making: where, why, what, who and how. Royal Society Open Science, 5(6), 2018.

2017

  1. Michael Breza and Julie A. McCann. Polite Broadcast Gossip for IOT Configuration Management. In IEEE International Conference on Smart Computing, SMARTCOMP’17, pages 1–6. IEEE Computer Society, 2017.
  2. Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, and Matt Webster. CRutoN: Automatic Ver- ification of a Robotic Assistant’s Behaviours. In Procs. of Joint 22nd International Workshop on Formal Methods for Industrial Critical Sys- tems (FMICS) - and - 17th International Workshop on Automated Ver- ification of Critical Systems the Critical Systems (AVoCS) 2017, pages 119–133, 2017.
  3. Elisa Cucco, Michael Fisher, Louise Dennis, Clare Dixon, Matt Webster, Bastian Broecker, Richard Williams, Joe Collenette, Katie Atkinson, and Karl Tuyls. Towards Robots for Social Engagement. In Procs. of Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces (WHRE 2017), 2017.
  4. Sven Linker. Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. In Nadia Polikarpova and Steve Schneider, editors, Proc. of the 13th International Conference on Integrated Formal Methods (iFM’17), volume 10510 of Lecture Notes in Computer Science, pages 34–49. Springer, 2017.
  5. Danilo Pianini, Simon Dobson, and Mirko Viroli. Self-stabilising target counting in wireless sensor networks using Euler integration. In Proc. of 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO’17). IEEE Computer Society, 2017.
  6. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, and Michael Fisher. Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In Nathalie Bertrand and Luca Bortolussi, editors, Proc. of 14th International Conference on Quantitative Evaluation of Systems (QEST’17), volume 10503 of Lecture Notes in Computer Science, pages 224–239. Springer, 2017.
  7. Sven Linker and Michele Sevegnani. Formalising Sensor Topologies for Target Counting. In Danilo Pianini and Guido Salvaneschi, editors, Proc. of of 1st Workshop on Architectures, Languages and Paradigms for IoT (ALPIoT’17), volume 264 of Electronic Proceedings in Theoretical Computer Science, pages 43–57. Open Publishing Association, 2018.
  8. Oana Andrei and Muffy Calder. Temporal Analytics for Software Usage Models. In Antonio Cerone and Marco Roveri, editors, Software Engineering and Formal Methods, volume 10729 of Lecture Notes in Computer Science, pages 9–24. Springer International Publishing, 2017.
  9. Muffy Calder and Michele Sevegnani. Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, 2017.

2016

  1. Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, and Anthony G. Pipe. An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR, abs/1608.07403, 2016.
  2. Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, and Joan Saez-Pons. Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Human-Machine Systems, 46(2):186–196, 2016.
  3. Louise A. Dennis, Michael Fisher, Marija Slavkovik, and Matt Webster. Formal verification of ethical choices in autonomous systems. Robotics and Autonomous Systems, 77:1–14, 2016.
  4. Louise A. Dennis, Marija Slavkovik, and Michael Fisher. ”How Did They Know?” - Model-Checking for the Analysis of Information Leakage in Social Networks. In Proc. of Joint Workshop on Coordination, Organizations, Institutions and Norms and Norms in Multiagent Systems, 2016. To appear in Springer LNCS.
  5. Michele Sevegnani and Muffy Calder. BigraphER: Rewriting and Analysis Engine for Bigraphs. In S. Chaudhuri and A. Farzan, editors, Proc. of 28th International Conference on Computer Aided Verification (CAV’16), volume 9780 of Lecture Notes in Computer Science, pages 494–501. Springer, 2016.
  6. Steve Benford, Muffy Calder, Tom Rodden, and Michele Sevegnani. On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces. ACM Trans. Comput. Hum. Interact., 23(2):9:1–9:56, 2016.
  7. Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, and Mattias Rost. Probabilistic Formal Analysis of App Usage to Inform Redesign. In E. Abraham and M/ Huisman, editors, Proc. of the 12th International Conference on Integrated Formal Methods (iFM’16), volume 9681 of Lecture Notes in Computer Science, pages 115–129. Springer, 2016.
  8. Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, and Sandor Veres. Autonomous Agent Behaviour Modelled in PRISM: A Case Study. In D. Bosnacki and A. Wijs, editors, Proc. of the 23rd International SPIN Symposium on Model Checking of Software (SPIN’16), volume 9641 of Lecture Notes in Computer Science, pages 104–110. Springer, 2016.

2015

  1. Louise A. Dennis, Michael Fisher, and Matt Webster. Two-stage agent program verification. Journal of Logic and Computation, page exv003, 2015.
  2. Marija Slavkovik, Louise A. Dennis, and Michael Fisher. An abstract formal basis for digital crowds. Distributed and Parallel Databases, 33(1):3–31, 2015.
  3. Muffy Calder, Philip D. Gray, and Chris Unsworth. Is my configuration any good: checking usability in an interactive sensor-based activity monitor. ISSE, 11(2):131– 142, 2015.
  4. Po-Yu Chen, Shusen Yang, and Julie A. McCann. Distributed Real-Time Anomaly Detection in Networked Industrial Sensing Systems. IEEE Transactions on Industrial Electronics, 62(6):3832–3842, 2015.
  5. Lei Fang and Simon Dobson. Towards data-centric control of sensor networks through Bayesian dynamic linear modelling. In Proc. of the Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO’15), 2015.
  6. Sokratis Kartakis, Edo Abraham, and Julie A. McCann. WaterBox: A Testbed for Monitoring and Controlling Smart Water Networks. In Proc. of the 1st ACM International Workshop on Cyber-Physical Systems for Smart Water Networks (CySWater’15), 2015.
  7. Savas Konur and Michael Fisher. A roadmap to pervasive systems verification. Knowledge Eng. Review, 30(3):324–341, 2015.
  8. Pedro M. N. Martins and Julie A. McCann. The Programmable City. In Elhadi M. Shakshuki, editor, Proc. of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), volume 52 of Procedia Computer Science, pages 334–341. Elsevier, 2015.
  9. Michele Sevegnani and Muffy Calder. Bigraphs with sharing. Theoretical Computer Science, 577:43–73, 2015.
  10. Saray Shai, Dror Kenett, Yoed Kenett, Miriam Faust, Simon Dobson, and Shlomo Havlin. Critical tipping point distinguising two types of transitions in modular network structures. Physical Review E, 2015.
  11. Emanuele Strano, Saray Shai, Simon Dobson, and Marc Barthélemy. Multiplex networks in metropolitan areas: generic features and local effects. Journal of the Royal Society Interface, 12(111), 2015.
  12. Juan Ye, Graeme Stevenson, and Simon Dobson. Fault detection for binary sensors in smart home environments. In Proc. of the IEEE International Conference on Pervasive Computing and Communications (Percom 2015), 2015.
  13. Juan Ye, Graeme Stevenson, and Simon Dobson. KCAR: a knowledge-driven approach for concurrent activity recognition. Pervasive and Mobile Computing, 19:47–70, 2015.
  14. Juan Ye, Graeme Stevenson, and Simon Dobson. Using temporal correlation and time series to detect missing activity-driven sensor events. In Proc. of the 11th Workshop on Context and Activity Modelling and Recognition (CoMoRea’15), 2015.
  15. Weiren Yu and Julie A. McCann. Effectively Positioning Water Loss Event in Smart Water Networks. In Proc. of the 2nd Int. Electronic Conference on Sensors and Applications, 2015.
  16. Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco DeAngelis, Giovanna di Marzo Serugendo, Simon Dobson, Jos ́e-Luis Fernandez Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Alberto Rosi, Graeme Stevenson, Mirko Viroli, and Juan Ye. Developing pervasive multiagent systems with nature-inspired coordination. Pervasive and Mobile Computing, 17:236–252, 2015.

2014

  1. Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, and Kerstin Dautenhahn. Formal Verification of an Autonomous Personal Robotic Assistant. In In Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium (FVHMS 2014), number ISBN 978-1-57735-655-4, 2014.
  2. Matt Webster, Clare Dixon, and Michael Fisher. Safe and Trustworthy Autonomous Robotic Assistants. Space Safety Magazine, 9, Winter 2014 2014.
  3. Matthew P. Webster, Neil Cameron, Michael Fisher, and Mike Jump. Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. J. Aerospace Inf. Sys., 11(5):258–279, 2014.
  4. Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, and Kerstin Dautenhahn. ”The Fridge Door is Open”-Temporal Verification of a Robotic Assistant’s Behaviours (Won the Springer Award for Best Paper). In Michael Mistry, Ales Leonardis, Mark Witkowski, and Chris Melhuish, editors, Procs. of the 15th Annual Conference on Advances in Autonomous Robotics Systems (TAROS 2014), volume 8717 of Lecture Notes in Computer Science, pages 97–108. Springer, 2014.
  5. Louise A. Dennis, Michael Fisher, Marija Slavkovik, and Matthew P. Webster. Ethical Choice in Unforeseen Circumstances. In Procs. of the 14th Annual Conference on Towards Autonomous Robotic Systems (TAROS 2013), volume 8069 of Lecture Notes in Computer Science, pages 433--445. Springer, 2013.
  6. Usman Adeel, Shusen Yang, and Julie A. McCann. Self-Optimizing Citizen-Centric Mobile Urban Sensing Systems. In Xiaoyun Zhu, Giuliano Casale, and Xiaohui Gu, editors, Proc. of the 11th International Conference on Autonomic Computing (ICAC’14), pages 161–167. USENIX Association, 2014.
  7. Oana Andrei, Muffy Calder, Matthew Higgs, and Mark Girolami. Probabilistic Model Checking of DTMC Models of User Activity Patterns. In Gethin Norman and William H. Sanders, editors, Proc. of the 11th Conference on Quantitative Evaluation of Systems (QEST’14), volume 8657 of Lecture Notes in Computer Science, pages 138–153. Springer, 2014.
  8. Muffy Calder, Alexandros Koliousis, Michele Sevegnani, and Joseph S. Sventek. Real-time verification of wireless home networks using bigraphs with sharing. Sci. Comput. Program., 80:288–310, 2014.
  9. Muffy Calder and Michele Sevegnani. Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Asp. Comput., 26(3):537– 561, 2014.
  10. Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, and Sandor M. Veres. Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, pages 1–55, 2014.
  11. Lei Fang and Simon Dobson. Data collection with in-network fault detection based on spatial correlation. In Proc. of the International Conference on Cloud and Autonomic Computing (CAC'14), 2014.
  12. Abu Raihan M. Kamal, Chris Bleakley, and Simon Dobson. Failure detection in wireless sensor networks: a sequence based dynamic approach. ACM Transactions on Sensor Networks, 10(2), 2014.
  13. Sokratis Kartakis and Julie A. McCann. Real-time Edge Analytics for Cyber Physical Systems using Compression Rates. In Xiaoyun Zhu, Giuliano Casale, and Xiaohui Gu, editors, Proc. of the 11th International Conference on Autonomic Computing (ICAC’14), pages 153–159. USENIX Association, 2014.
  14. Roman Kolcun and Julie A. McCann. Dragon: Data discovery and collection architecture for distributed IoT. In Proc. of the 4th International Conference on the Internet of Things (IOT’14), pages 91–96. IEEE, 2014.
  15. Savas Konur, Michael Fisher, Simon Dobson, and Stephen Knox. Formal verification of a pervasive messaging system. Formal Asp. Comput., 26(4):677–694, 2014.
  16. M.A. Razzaque and Simon Dobson. Energy efficient sensing in wireless sensor networks using compressed sensing. Sensors, 14(2):2822–2859, 2014.
  17. Shusen Yang and Julie A. McCann. Distributed Optimal Lexicographic Max-Min Rate Allocation in Solar-Powered Wireless Sensor Networks. TOSN, 11(1):9:1– 9:35, 2014.
  18. Juan Ye, Graeme Stevenson, and Simon Dobson. USMART: an unsupervised semantic mining activity recognition technique. ACM Transactions on Intelligent Interaction Systems, 4(4), 2014.

2013

  1. Farshid Amirabdollahian, Kerstin Dautenhahn, Clare Dixon, Kerstin Eder, Michael Fisher, Kheng Lee Koay, Evgeni Magid, Tony Pipe, Maha Salem, Joe Saunders, and Matt Webster. Can You Trust Your Robotic Assistant? In Proc. of the 5th International Conference in Social Robotics (ICSR 2013), volume 8239 of Lecture Notes in Artificial Intelligence, pages 571--573. Springer, 2013.
  2. Lei Fang and Simon Dobson. Unifying sensor fault detection with energy conservation. In Proc. of the 7th International Workshop on Self-Organising Systems (IWSOS’13), 2013.
  3. Lei Fang, Simon Dobson, and Danny Hughes. An error-free data collection method exploiting hierarchical physical models of wireless sensor networks. In Proc. of the Tenth ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks. ACM Press, 2013.
  4. Michael Fisher, Louise A. Dennis, and Matthew P. Webster. Verifying autonomous systems. Commun. ACM, 56(9):84–93, 2013.
  5. Savas Konur, Michael Fisher, and Sven Schewe. Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci., 503:61–88, 2013.

Tools