Publications

All | Journal Publications | Peer-Reviewed Workshops and Conferences | Technical Reports | Others

Editor of the special edition of the Journal of Logic and Algebraic Programming JLAP with selected papers from FLACOS’09, with Gerardo Schneider, Volume 80, Issues 3-5, April-July 2011.

Distributed System Contract Monitoring, with Adrian Francalanza and Andrew Gauci, in Proceedings of the Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS'11 - to appear in EPTCS, 2011. (PDF)

Editor of the special edition of the Journal of Logic and Algebraic Programming JLAP with selected papers from FLACOS’08, with Gerardo Schneider, Volume 80, Issue 1, January 2011.

LarvaStat: Monitoring of Statistical Properties, with Christian Colombo and Andrew Gauci, in Proceedings of the First Conference on Runtime Verification 2010 (RV'10), Malta, LNCS 6418, 2010. (PDF)

Compensation-Aware Runtime Monitoring, with Christian Colombo, in Proceedings of the First Conference on Runtime Verification 2010 (RV'10), Malta, LNCS 6418, 2010. (PDF)

Scripting Game AI: An Alternative Approach using Embedded Languages, with Andrew Calleja, in the Proceedings of the University of Malta Workshop in ICT (WICT’10), 2010. (PDF)

Runtime Monitoring of Distributed Systems, with Adrian Francalanza and Andrew Gauci, in the Proceedings of the University of Malta Workshop in ICT (WICT’10), 2010. (PDF)

A Simplified Model Of QuickCheck Automata, with Kevin Falzon, in the Proceedings of the University of Malta Workshop in ICT (WICT’10), 2010. (PDF)

Dynamic Automata in LARVA, with John Paul Cassar and Christian Colombo, in the Proceedings of the University of Malta Workshop in ICT (WICT’10), 2010. (PDF)

Compensations in an Imperative Programming Language, with Adrian Francalanza and Lydia Vella, in the Proceedings of the University of Malta Workshop in ICT (WICT’10), 2010. (PDF)

Playing Nomic using a Controlled Natural Language, with John Camilleri and Mike Rosner, in the Proceedings of the University of Malta Workshop in ICT (WICT’10), 2010. (PDF)

An Architecture Supporting Compensation-Aware Monitoring, with Christian Colombo and Patrick Abela, in the Proceedings of the University of Malta Workshop in ICT (WICT’10), 2010. (PDF)

Proceedings of the First International Conference on Runtime Verification 2010 (RV’10), with H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Rosu, O. Sokolsky, N. Tillmann, Lecture Notes in Computer Science Volume 6418, Springer-Verlag, 2010.

Playing Nomic Using a Controlled Natural Language, with John Camilleri and Michael Rosner, in Proceedings of the Workshop on Controlled Natural Languages 2010 (CNL'10), Marettimo, Italy, 2010. (PDF)

Meta-Functional Languages for Hardware Design and Verification, with Christian Tabone, in Proceedings of the third Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS'10), 2010. (PDF)

Automatic Grammar Rule Extraction and Ranking for Definitions, with Claudia Borg and Michael Rosner, in Proceedings of the Conference on Language Resources and Evaluation (LREC'10), 2010. (PDF)

A Controlled Language for the Specification of Contracts, with Michael Rosner, full versions of papers from the Workshop on Controlled Natural Languages, published in LNAI 5972, 2010. (PDF)

Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties, with Christian Colombo and Gerardo Schneider, Department of Computer Science, University of Malta. Technical Report CS2009-01, 2009. (PDF) (BiBTeX entry)

Embedded Languages for Business Process Modelling, Transformation and Quality Assurance in Business-Driven Development, with Luana Micallef, Department of Computer Science, University of Malta. Technical Report CS2009-02, 2009. (PDF) (BiBTeX entry)

Slowdown Invariance of Timed Regular Expressions, with Ingram Bondin and Christian Colombo, in the Proceedings of the University of Malta Workshop in ICT (WICT'09), 2009. (PDF)

Statistics and Runtime Verification, with Andrew Gauci and Christian Colombo, in the Proceedings of the University of Malta Workshop in ICT (WICT'09), 2009. (PDF)

Offline Runtime Verification with Real-Time Properties: A Case Study, with Christian Colombo and Patrick Abela, in the Proceedings of the University of Malta Workshop in ICT (WICT'09), 2009. (PDF)

A Domain-Specific Embedded Language Approach for the Scripting of Game Artificial Intelligence, with Andrew Calleja, in the Proceedings of the University of Malta Workshop in ICT (WICT'09), 2009. (PDF)

LARVA - A Tool for Runtime Monitoring of Java Programs, with Christian Colombo and Gerardo Schneider, in the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), Hanoi, Vietnam, 2009. (PDF)

Proceedings of the Third Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09), with Gerardo Schneider (editors), 2009. (PDF)

Evolutionary Algorithms for Definition Extraction, with Claudia Borg and Michael Rosner, in the 1st Workshop on Definition Extraction 2009 (wDE'09), 2009. (PDF)

CLAN: A Tool for Contract Analysis and Conflict Discovery, with Stephen Fenech and Gerardo Schneider, in 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), LNCS, 2009. (PDF)

Safe Runtime Verification of Real-Time Properties, with Christian Colombo and Gerardo Schneider, in 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), LNCS, 2009. (PDF)

Automatic Conflict Detection on Contracts, with Stephen Fenech and Gerardo Schneider, in 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), 2009. (PDF)

A Controlled Language for the Specification of Contracts, with Michael Rosner, in Workshop on Controlled Natural Language 2009 (CNL'09), Marettimo, Italy, 2009. (PDF)

Meta-Functional Embedded Languages for Verification of Parametrised Hardware Descriptions, with Christian Tabone, in Hardware Design and Functional Languages 2009 (HFL 2009), York, England, 2009.

On the Specification of Full Contracts, with Stephen Fenech, Joseph Okika, Anders P. Ravn, and Gerardo Schneider, in 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09), ENTCS, 2009. (PDF)

Challenges in the Specification of Full Contracts, with Gerardo Schneider, in the Proceedings of Integrated Formal Methods (iFM'09), to appear in LNCS, 2009. (PDF)

Proceedings of the Second Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'08), with Gerardo Schneider (editors), 2008. (PDF)

Detection of Conflicts in Electronic Contracts, with Stephen Fenech and Gerardo Schneider, in the Proceedings of 20th Nordic Workshop on Programming Theory (NWPT '08), 2008. (PDF)

A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs, with Christian Colombo and Gerardo Schneider, in the Proceedings of the University of Malta Workshop in ICT (WICT'08), 2008. (PDF)

Conflict Analysis of Deontic Contracts, with Stephen Fenech and Gerardo Schneider, in the Proceedings of the University of Malta Workshop in ICT (WICT'08), 2008. (PDF)

Meta-Functional Languages for Hardware Design and Verification, with Christian Tabone, in the Proceedings of the University of Malta Workshop in ICT (WICT'08), 2008. (PDF)

An Embedded Domain Specific Language to Model, Transform and Quality Assure Business Processes in Business-Driven Development, with Luana Micallef, in the Proceedings of the University of Malta Workshop in ICT (WICT'08), 2008. (PDF)

Model Checking User Interfaces, with Abigail Cachia and Sandro Spina, in the Proceedings of the University of Malta Workshop in ICT (WICT'08), 2008. (PDF)

Definition Characterisation through Genetic Algorithms, with Claudia Borg and Mike Rosner, in the Proceedings of the University of Malta Workshop in ICT (WICT'08), 2008. (PDF)

Automatic Definition Extraction using Parser Combinators, with Claudia Borg, in the Proceedings of the University of Malta Workshop in ICT (WICT'08), 2008. (PDF)

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties, with Christian Colombo and Gerardo Schneider, in 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), published in Springer-Verlag LNCS 4916, 2008. (PDF)

Relaxing Goodness is Still Good, with Gerardo Schneider, in 5th International Colloquium on Theoretical Aspects of Computing (ICTAC'08), Instanbul, Turkey, published in Springer-Verlag LNCS 5160, 2008. (PDF) (BiBTeX entry)

Multi-Stage Languages in Hardware Design, with Christian Tabone, Department of Computer Science, University of Malta. Technical Report CSAI2008-01, 2008. (PDF) (BiBTeX entry)

Relaxing Goodness is Still Good for SPDIs, with Gerardo Schneider, Technical Report 372, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, 2008. (PDF) (BiBTeX entry)

Accessing Circuit Generators in Embedded HDLs, with Christian Tabone, in Designing Correct Circuits (DCC'08), 2008. (PDF)

Proceedings of the Seventh International Workshop on Designing Correct Circuits (DCC'08), with Satnam Singh (editors), 2008. (PDF)

Computation and Visualisation of Phase Portraits of Polygonal Hybrid Systems (Tool Paper), with Gerardo Schneider, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), Budapest, Hungary, published in Springer-Verlag LNCS 4963, 2008. (PDF)

Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and Tools, with Eugene Asarin, Gerardo Schneider and Sergio Yovine, Theoretical Computer Science, 2008. (PDF) (BiBTeX entry)

HeDLa: A Strongly Typed, Component-Based Embedded Hardware Description Language, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

Toward Automatic Extraction of Definitions, with Claudia Borg and Michael Rosner, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

Embedded Languages for Origami-Based Geometry, with Gaetano Caruana, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

Aspect-Oriented Programming Runtime Enforcement of Temporal Properties in Security-Critical Systems, with Christian Colombo, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

Model Checking Concurrent Assembly Algorithms, with Joseph Cordina and Stephen Fenech, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

An Embedded Geometrical Language in Haskell: Construction, Visualisation, Proof, with Maria Grima, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

Automatic Interface Generation for Compositional Verification, with Sandro Spina and Frédéric Lang, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

Embedding a Hardware Description Language in a Functional Meta-Programming Language, with Christian Tabone, Computer Science Annual Workshop 2007, Departments of Computer Science and AI, University of Malta, 2007. (PDF)

Model Checking Contracts - A Case Study, with Cristian Prisacariu and Gerardo Schneider, in the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), Tokyo, Japan, published in Springer-Verlag LNCS 4762, 2007. (PDF) (BiBTeX entry)

Creative Processes in Policy Making: A Case for Context in Foresight, with Jennifer Cassingena Harper, in Creative Thinking: Designing Future Possibilities, editor Sandra M. Dingli, Malta University Press, 2007.

Embedded Hardware Description Languages: Exploring the Design Space, with Koen Claessen, in Hardware Design and Functional Languages 2007 (HFL 2007), Braga, Portugal, 2007. (PDF) (BiBTeX entry)

Improving Polygonal Hybrid Systems Reachability Analysis through the use of the Phase Portrait, with Gerardo Schneider, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry)

Functional HDLs: A Historical Overview, with Joseph Cordina, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry)

Automatic Interface Generation for Enumerative Model Checking, with Sandro Spina, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry)

Runtime Validation Using Interval Temporal Logic, with Karlston D'Emanuele, Computer Science Annual Workshop 2006, Department of Computer Science and AI, University of Malta, 2006. (PDF) (BiBTeX entry)

A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems, with Gerardo Schneider, in 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC'06), Tunis, Tunisia, published in Springer-Verlag LNCS 4281, 2006. (PDF) (BiBTeX entry)

Static Analysis for State-Space Reduction of Polygonal Hybrid Systems, with Gerardo Schneider, in Formal Modelling and Analysis of Timed Systems (FORMATS'06),Paris, France, published in Springer-Verlag LNCS 4202, 2006. (PDF) (BiBTeX entry)

Static Analysis of SPDIs for State-Space Reduction, with Gerardo Schneider, Technical Report 336, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, 2006. (PDF) (BiBTeX entry)

Foresight Embedding in Malta (Foresight Brief No. 8), with Jennifer Cassingena Harper, The European Foresight Monitoring Network (EDMN, an online Foresight Knowledge Sharing Platform), 2005. (PDF)

Verifying Hardware Compilers, with Koen Claessen, Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005. (PDF) (BiBTeX entry)

Describing and Verifying FFT circuits using SharpHDL, with Christine Vella, Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005. (PDF) (BiBTeX entry)

Source-Level Runtime Validation Through Interval Temporal Logic, with Karlston D'Emanuele, Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005. (PDF) (BiBTeX entry)

Support Vector Machines with Profile-Based Kernels for Remote Protein Homology Detection, with Steven Busuttil and John Abela, The 15th International Conference on Genome Informatics (GIW'04), Japan, 2004. (PDF) (BiBTeX entry)

Support Vector Machines with Profile-Based Kernels for Remote Protein Homology Detection, with Steven Busuttil and John Abela, Department of Computer Science and AI, University of Malta. Technical Report CSAI2004-01, 2004. (PDF) (BiBTeX entry)

Monadic Compositional Parsing with Context Using Maltese as a Case Study, Computer Science Annual Workshop 2004, Department of Computer Science and AI, University of Malta, 2004. (PDF) (BiBTeX entry)

Counter-Example Generation in Symbolic Abstract Model-Checking, with Nicolas Halbwachs and Pascal Raymond, International Journal on Software Tools for Technology Transfer (STTT), 5/2-3, 2004.

Computer-Aided Verification: How to Trust a Machine with Your Life, Computer Science Annual Workshop 2003, Department of Computer Science and AI, University of Malta, 2003. (PDF) (BiBTeX entry)

Creative Processes in Policy Making: A Case for Context in Foresight, with Jennifer Cassingena Harper, in the Fifth International Conference on Creative Thinking: Designing Future Possibilities, Malta, 2004. (PDF)

Model Checking Polygonal Differential Inclusions Using Invariance Kernels, with Gerardo Schneider, in Verification and Model Checking and Abstract Interpretation (VMCAI 2004), Venice, Italy, published in Springer-Verlag LNCS 2937, 2004. (PDF) (Postscript) (BiBTeX entry)

A New Breadth-First Search Algorithm for Deciding SPDI Reachability, Department of Computer Science and AI, University of Malta, Technical Report CSAI2003-01, 2003. (PDF) (BiBTeX entry)

Calculating tau-Confluence Compositionally, with Frédéric Lang and Radu Mateescu, in Computer-Aided Verification (CAV 2003), Boulder, Colorado, published in Springer-Verlag LNCS 2725, 2003. (PDF) (Postscript) (BiBTeX entry)

Calculating tau-Confluence Compositionally, with Frédéric Lang and Radu Mateescu, published as INRIA Research Report RR-4918, 2003. (PDF) (Postscript) (BiBTeX entry)

An Embedded Language Approach to Teaching Hardware Compilation, with Koen Claessen, in SIGPLAN Notices 37(12): 35-46, 2002 and presented at Functional and Declarative Programming in Education (FDPE 2002), Pittsburgh, Pennsylvania, USA, 2002. (PDF) (Postscript) (BiBTeX entry)

SPeeDI - A Verification Tool for Polygonal Hybrid Systems, with Eugene Asarin, Gerardo Schneider and Sergio Yovine, in Computer-Aided Verification (CAV 2002), Copenhagen, Denmark, published in Springer-Verlag LNCS 2404, 2002. (PDF) (Postscript) (BiBTeX entry)

An Embedded Language Framework for Hardware Compilation, with Koen Claessen, in Designing Correct Circuits 2002 (DCC 2002), Grenoble, France, 2002. (PDF) (Postscript) (BiBTeX entry)

Counter-Example Generation in Symbolic Abstract Model-Checking, with Nicolas Halbwachs, and Pascal Raymond, in 6th International Workshop on, Formal Methods for Industrial Critical Systems (FMICS 2001), Paris, France, 2001. (PDF) (Postscript) (BiBTeX entry)

The Semantics of Verilog Using Transition System Combinators, in Formal Methods for Computer-Aided-Design (FMCAD 2000), Austin, Texas, published in Springer-Verlag LNCS 1954, 2000. (PDF) (Postscript) (BiBTeX entry)

Correct Hardware Compilation With Verilog HDL, Technical Report,, 1999. (PDF) (Postscript) (BiBTeX entry)

Formal Reasoning With Verilog HDL, with Jifeng He, in Formal Techniques for Hardware and Hardware-Like Systems (FTH 98), Maarstrand, Sweden, 1998. (PDF) (Postscript) (BiBTeX entry)

Hardware Design Based on Verilog HDL, DPhil thesis, Oxford University Computing Laboratory, 1998. (PDF) (Postscript) (BiBTeX entry)

Last updated: 14/09/11