Papers

2015: Clare Cini and Adrian Francalanza, An LTL Proof System for Runtime Verification, TACAS (ETAPS), London, UK, 2015. (PDF) Ian Cassar and Adrian Francalanza, Runtime Adaptation for Actor Systems, RV, Vienna, Austria, 2015. (PDF) Adrian Francalanza, Luca Aceto and Anna Ingolfsdottir On Verifying Hennessy-Milner Logic with Recursion at Runtime, RV, Vienna, Austria, 2015. (PDF) Ian Cassar, Adrian Francalanza and Simon Said Improving Runtime Overheads for Erlang, FESCA (ETAPS), London, UK, 2015. (PDF) Christian Colombo, Gabriel Dimech and Adrian Francalanza Investigating Instrumentation Techniques for ESB Runtime Verification, SEFM, York, UK, 2015. (PDF) Adrian Francalanza, Marco Giunti and Antonio Ravara Unlocking Blocked Communicating Processes, WWV (FM), Oslo, Norway, 2015. (PDF) Adrian Francalanza and Aldrin Seychell Synthesising Correct Concurrent Runtime Monitors, Formal Methods in System Design, 2015. (PDF) Dario Della Monica and Adrian Francalanza Towards A Hybrid Approach to Software Verification(Extended Abstract), NWPT, Reykjavik, Iceland 2015. (PDF) 2014: Ian Cassar and Adrian Francalanza, On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems, FOCLASA (CONCUR), Rome, Italy, 2014. (PDF) Adrian Francalanza, Edsko DeVries and Matthew Hennessy Compositional Reasoning about Explicit Resource Management, Logical Methods in Computer Science, 2014. (PDF) Ian Cassar, Christian Colombo and Adrian Francalanza, Monitoring Distributed Systems with Distributed PolyLarva, Xjenza, 2014. (PDF) Melanie Zammit and Adrian Francalanza, Uniqueness Typing For A Higher-Order Language, Xjenza, 2014. (PDF) Mandy Zammit and Adrian Francalanza, Formal Proofs for Broadcast Algorithms, Xjenza, 2014. (PDF) Christian Colombo and Ylies Falcone, Organising LTL Monitors over Distributed Systems with a Global Clock, RV, Toronto, Canada, 2014. (PDF) Christian Colombo and Gordon Pace, Comprehensive Monitor-Oriented Compensation Programming, FESCA, Grenoble, France, 2014. (PDF) Christian Colombo, Mark Micallef, and Gordon Pace, Lifelong Verification of Software Systems, internal report 01-WICT-2014, University of Malta, 2014. (PDF) Aaron Calafato, Christian Colombo, and Gordon Pace, A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development, internal report 02-WICT-2014, University of Malta, 2014. (PDF) Christian Colombo, Gabriel Dimech, and Adrian Francalanza, Applying Runtime Verification Techniques to an Enterprise Service Bus, internal report 03-WICT-2014, University of Malta, 2014. (PDF) Ian Cassar, Christian Colombo, and Adrian Francalanza, Monitoring Distributed Systems with Distributed PolyLarva, internal report 04-WICT-2014, University of Malta, 2014. (PDF) 2013: Adrian Francalanza, Andrew Gauci, Gordon Pace Distributed System Contract Monitoring Journal of Logic and Algebraic Programming (PDF) Adrian Francalanza and Tyron Zerafa Code Management Automation for Erlang Remote Actors, AGERE (SPLASH), Indianapolis, USA, 2013. (PDF) Christian Colombo, Runtime Verification and Compensations, PhD Thesis, University of Malta, 2013. (PDF) Adrian Francalanza and Tyron Zerafa Towards an Abstraction for Remote Evaluation in Erlang, Erlang Workshop (ICFP), Boston, USA, 2013. (PDF) Adrian Francalanza and Aldrin Seychell Synthesising Correct Concurrent Runtime Monitors, RV, Rennes, France, 2013. (PDF) Christian Colombo, Ruth Mizzi and Gordon Pace, SMock- A Test Platform for Monitoring Tools, RV, Rennes, France, 2013. (PDF) Adrian Francalanza and Aldrin Seychell, Synthesising Correct Concurrent Runtime Monitors in Erlang Department of Computer Science, University of Malta. Technical Report CS2013-01, 2013. (PDF) (BiBTeX entry) Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon Pace, Extensible Technology Agnostic Runtime Verification, FESCA, Rome, Italy, 2013. (PDF) Christian Colombo, and Gordon Pace, Monitor-Oriented Compensation Programming Through Compensating Automata, GT-VMT, Rome, Italy, 2013. (PDF) Christian Colombo and Gordon Pace, Recovery within Long Running Transactions, ACM Computing Surveys, 45(3), 2013. (PDF) (BiBTeX entry) 2012: Adrian Francalanza, Edsko de Vries, and Matthew Hennessy, Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency Department of Computer Science, University of Malta. Technical Report CS2012-02, 2012. (PDF) (Bibtex Entry) Christian Colombo, and Gordon Pace, Fast-Forward Runtime Monitoring - An Industrial Case Study, RV, Istanbul, Turkey, 2012. (PDF) (Bibtex Entry) Christian Colombo, Adrian Francalanza, and Ian Grima, Simplifying Contract-Violating Traces, FLACOS, Bertinoro, Italy, 2012. (PDF)(Bibtex Entry) Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon Pace, Runtime Verification with Configurable System-Monitor Resource-Aware Boundaries, in Software Engineering and Formal Methods (SEFM), Thessaloniki, Greece, 2012. (PDF)(Bibtex Entry) Christian Colombo and Gordon Pace, Separating Compensation Concerns and Programming them with Compensating Automata, Department of Computer Science, University of Malta. Technical Report CS2012-01, 2012. (PDF) (BiBTeX entry) Audrianne Farrugia, Adrian Francalanza Towards a Formalisation of Erlang Failure and Failure Detection internal report 04-WICT-2012 (PDF) (BiBTeX entry) Edsko De Vries, Adrian Francalanza, Matthew Hennessy Uniqueness Typing for Resource Management in Message-Passing Concurrency Journal of Logic and Computation (PDF), (BiBTeX entry) Yufang Dan, Nicolas Stouls, Stephane Frenot, and Christian Colombo, A Monitoring Approach for Dynamic Service-Oriented Architecture Systems Service Computation, Nice, France, 2012. (PDF) (Bibtex Entry) Christian Colombo and Gordon Pace, Programming Compensations for System-Monitor Synchronisation, internal report 03-WICT-2012, University of Malta, 2012. (PDF) Christian Colombo and Adrian Francalanza, Towards a Specification-Based Correctness of Erlang Systems Through Asynchronous Monitoring, internal report 02-WICT-2012, University of Malta, 2012. (PDF) Ruth Mizzi, Christian Colombo, Adrian Francalanza and Gordon Pace, Considerations for Monitoring Highly Concurrent Systems, internal report 01-WICT-2012, University of Malta, 2012. (PDF) Christian Colombo, Gordon Pace and Patrick Abela, Safer Asynchronous Runtime Monitoring Using Compensations, in Formal Methods in System Design, 41(3), 2012. (PDF)(BiBTeX entry) 2011: Adrian Francalanza, Julian Rathke, Vladimiro Sassone Permission-based Separation Logic for Message-Passing Concurrency Logical Methods in Computer Science (PDF) (BiBTeX entry) Edsko De Vries, Adrian Francalanza, Matthew Hennessy Reasoning about Explicit Resource Management PLACES'11 (PDF) (BiBTeX entry) Adrian Francalanza, Andrew Gauci, Gordon Pace Distributed System Contract Monitoring FLACOS'11 (PDF) (BiBTeX entry) Christian Colombo, Adrian Francalanza and Rudolph Gatt, Elarva: A Monitoring tool for Erlang, in RV, San Francicso, CA, USA, 2011. (PDF) (BiBTeX entry) Christian Colombo and Gordon J. Pace, A Compensating Transaction Example in Twelve Notations, Department of Computer Science, University of Malta. Technical Report CS2011-01, 2011. (PDF) (BiBTeX entry) 2010: Christian Colombo, Gordon J. Pace and Patrick Abela, Compensation-Aware Runtime Monitoring, in RV, Malta, 2010. (PDF) (BiBTeX entry) Christian Colombo, Andrew Gauci and Gordon J. Pace, LarvaStat: Monitoring of Statistical Properties, in RV, Malta, 2010.(PDF) (BiBTeX entry) Christian Colombo, Gordon J. Pace and Patrick Abela, An Architecture Supporting Compensation-Aware Monitoring, internal report 01-WICT-2010, Malta. (PDF) John Paul Cassar, Christian Colombo and Gordon J. Pace, Dynamic Automata in Larva, internal report 02-WICT-2010, Malta. (PDF) Darren Demicoli, Adrian Francalanza Distributed Protocols as Behaviours in Erlanginternal report 03-WICT-2010 (PDF) (BibTeX entry) Andrew Gauci, Adrian Francalanza, Gordon Pace Runtime Monitoring of Distributed Systems internal report 04-WICT-2010 (PDF) (BibTeX entry) Lydia Vella, Adrian Francalanza, Gordon Pace Compensations in an Imperative Programming Language internal report 05-WICT-2010 (PDF) (BibTeX entry) 2009: Christian Colombo, Gordon J. Pace and Patrick Abela, Offline Runtime Verification with Real-Time Properties: A Case Study, internal report 01-WICT-2009, Malta. (PDF) Andrew Gauci, Gordon J. Pace and Christian Colombo, Statistics and Runtime Verification, internal report 02-WICT-2009, Malta. (PDF) Ingram Bondin, Gordon J. Pace and Christian Colombo, Slowdown Invariance of Timed Regular Expressions, internal report 03-WICT-2009, Malta. (PDF) Issam Souilah, Adrian Francalanza, Vladimiro Sassone A Formal Model of Provenance in Distributed Systems Theory and Practice of Provenance TaPP 09, (PDF) (BibTeX entry) Edsko De Vries, Adrian Francalanza, Matthew Hennessy Uniqueness Typing for Resource Management in Message-Passing Concurrency Linearity'09 (PDF) (BibTeX entry) Fikre Leguesse, Adrian Francalanza Assessing Design Patterns for Concurrency internal report 04-WICT-2009 (PDF) (BibTeX entry) Christian Colombo, Gordon J. Pace and Gerardo Schneider, Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties, Department of Computer Science, University of Malta. Technical Report CS2009-01, 2009. (PDF) (BiBTeX entry) Christian Colombo, Gordon J. Pace and Gerardo Schneider, Safe Runtime Verification of Real-Time Properties, in FORMATS, Budapest, Hungary, 2009. (PDF) (BiBTeX entry) Christian Colombo, Gordon J. Pace and Gerardo Schneider, LARVA - Safer Monitoring of Real-Time Java Programs, in SEFM 2009, Hanoi, Vietnam. (PDF) (BiBTeX entry) Gordon J. Pace and Michael Rosner, A Controlled Language for the Specification of Contracts, in Workshop on Controlled Natural Language 2009 (CNL'09), Marettimo, Italy, 2009. (PDF) Gordon J. Pace and Christian Tabone, Meta-Functional Embedded Languages for Verification of Parametrised Hardware Descriptions, in Hardware Design and Functional Languages 2009 (HFL 2009), York, England, 2009. Stephen Fenech, Joseph Okika, Gordon J. Pace, Anders P. Ravn, and Gerardo Schneider, On the Specification of Full Contracts, in 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09), ENTCS, 2009. (PDF) Gordon J. Pace and Gerardo Schneider, Challenges in the Specification of Full Contracts, in the Proceedings of Integrated Formal Methods (iFM'09), LNCS, 2009. (PDF) 2008: Sophia Drossopoulou, Adrian Francalanza, Peter Mueller A Unified Framework for Verification Techniques for Object Invariants Foundations of Object Oriented Languages (co-located with POPL), 2008, (PDF) Adrian Francalanza, Matthew Hennessy A Theory of System Behaviour in the Presence of Node and Link Failures Information and Computation, (PDF, (BibTeX entry Sophia Drossopoulou, Adrian Francalanza, Peter Mueller, Alex Summers A Unified Framework for Verification Techniques for Object Invariants ECOOP'08 PDF, (PDF - full paper , (BibTeX entry Stephen Fenech, Gordon J. Pace and Gerardo Schneider, Detection of Conflicts in Electronic Contracts, in the Proceedings of 20th Nordic Workshop on Programming Theory (NWPT '08), 2008. (PDF) Christian Colombo, Gordon J. Pace and Gerardo Schneider, Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties, in FMICS 2008, Italy. (PDF) (BiBTeX entry) Gordon J. Pace and Christian Tabone, Multi-Stage Languages in Hardware Design, Department of Computer Science, University of Malta. Technical Report CSAI2008-01, 2008. (PDF) (BiBTeX entry) Gordon Pace and Christian Tabone, Accessing Circuit Generators in Embedded HDLs, in Proceedings of Designing Correct Circuits 2008 (DCC'08), Budapest 2008. (PDF) Gordon Pace and Gerardo Schneider, Computation and Visualisation of Phase Portraits of Polygonal Hybrid Systems (Tool Paper), in Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), Budapest, Hungary, Springer-Verlag LNCS, 2008. (PDF) 2007: Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Mueller and Alex Summers, Universe Types for Topology and Encapsulation, Formal Methods for Components and Objects, (PDF) ( BibTeX entry) Adrian Francalanza, Matthew Hennessy, A Theory of Observational Fault Tolerance Journal of Logic and Algebraic Programming (JLAP), 2007, (PDF) (BibTeX entry) Eugene Asarin, Gordon Pace, Gerardo Schneider and Sergio Yovine, Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and Tools, Proving Distributed Algorithm Correctness using Fault Tolerance Bisimulations, Theoretical Computer Science, 2007. (PDF) Gordon Pace, Cristian Prisacariu and Gerardo Schneider, Model checking contracts - A case study, 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), Tokyo, Japan, 2007. (PDF) Koen Claessen and Gordon Pace, Embedded Hardware Description Languages: Exploring the Design Space, Hardware Design and Functional Languages 2007 (HFL 2007), Braga, Portugal, 2007. (PDF) Adrian Francalanza and Matthew Hennessy, Proving Distributed Algorithm Correctness using Fault Tolerance Bisimulations, ESOP'07, 2007. (PDF) Christian Colombo and Gordon J. Pace, Aspect-Oriented Programming Runtime-Enforcement of Temporal Properties in Security-Critical Software, Computer Science Annual Workshop 2007, Department of Computer Science and AI, University of Malta, 2007. (PDF) 2006: Adrian Francalanza and Matthew Hennessy, A Theory of System Fault Tolerance, FOSSACS'06, 2006. (PDF) (BiBTeX entry) Gordon J. Pace and Gerardo Schneider, Static Analysis of SPDIs for State-Space Reduction, Technical Report 336, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway. 2006. (PDF) (BiBTeX entry) Gordon J. Pace and Gerardo Schneider, Static Analysis for State-Space Reduction of Polygonal Hybrid Systems, Formal Modelling and Analysis of Timed Systems (FORMATS'06), Springer-Verlag LNCS (to appear), Paris, France. 2006. (PDF) (BiBTeX entry) Gordon J. Pace and Gerardo Schneider, A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems, 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC'06), Springer-Verlag LNCS (to appear), Tunis, Tunisia. 2006. (PDF) (BiBTeX entry) Joseph Cordina and Gordon J. Pace, Functional HDLs: A Historical Overview, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry) Karlston D'Emanuele and Gordon J. Pace, Runtime Validation Using Interval Temporal Logic, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry) Gordon J. Pace and Gerardo Schneider, Improving Polygonal Hybrid Systems Reachability Analysis through the use of the Phase Portrait, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry) Sandro Spina and Gordon J. Pace, Automatic Interface Generation for Enumerative Model Checking, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry) 2005: Gordon Pace and Koen Claessen, Verifying Hardware Compilers, Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005. (PDF) (BiBTeX entry) Gordon Pace and Christine Vella, Describing and Verifying FFT circuits using SharpHDL, Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005. (PDF) (BiBTeX entry) Karlston D'Emanuele and Gordon Pace, Source-Level Runtime Validation Through Interval Temporal Logic, Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005. (PDF) (BiBTeX entry) Adrian Francalanza, Matthew Hennessy A Theory of System Behaviour in the Presence of Node and Link Failures CONCUR, 2005, (PDF) (BibTeX entry)