EasyChair Smart SlideDocs/Log in
Author: Michael Fisher

This page shows all presentations of this author published in EasyChair Smart Slide.

Bridging the Gap Between Single- and Multi-Model Predictive Runtime Verification

Bridging the Gap Between Single- and Multi-Model Predictive Runtime Verification

Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher and Viviana Mascardi

Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent

Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent

Gleifer Alves, Louise Dennis and Michael Fisher

Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems

Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair