This page shows all presentations of this author published in EasyChair Smart Slide.
Journal-First: Building Specifications in the Event-B Institution
Marie Farrell, Rosemary Monahan and James Power
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