Publications

When is good enough good enough? On software assurances, with Joshua Ellul, Ioannis Revolidis and Gerardo Schneider, ERA Forum (DOI: 10.1007/s12027-022-00728-3), 2023. (PDF)

Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries, with Joshua Ellul, in 6th International Workshop on Cryptocurrencies and Blockchain Technology - CBT 2022, 2022. (PDF)

Selective Presumed Benevolence in Multi-Party System Verification, with Wolfgang Ahrendt, in Specify This – Bridging gaps between program specification paradigms, ISoLA2022, 2022. (PDF)

Tainting in Smart Contracts: Combining Static and Runtime Verification, with Shaun Azzopardi, Joshua Ellul and Ryan Falzon, in the 22st International Conference on Runtime Verification, 2022. (PDF)

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification, with Shaun Azzopardi, Joshua Ellul and Ryan Falzon, in the 22st International Conference on Runtime Verification, 2022. (PDF)

Runtime Verification: Passing on the Baton, with Christian Colombo and Gerardo Schneider, in Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, 2021. (PDF)

On the Specification and Monitoring of Timed Normative Systems, with Shaun Azzopardi, Fernando Schapachnik and Gerardo Schneider, in the 21st International Conference on Runtime Verification, 2021. (PDF)

Two Sides to Every Story. The Truth, Post-truth, and the Blockchain Truth, with Joshua Ellul and Alex Grech, appeared as chapter in Media, Technology and Education in a Post-Truth Society, 2021.

Optional Monitoring for Long-Lived Transactions, with Joshua Ellul, in the Proceedings of the Workshop on Verification and mOnitoring at Runtime EXecution 2021 (VORTEX'21), 2021. (PDF)

Regulating Artificial Intelligence: A Technology Regulator's Perspective, with Joshua Ellul, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri, in the Proceedings of the 18th International Conference on Artificial Intelligence and Law (ICAIL 2021), 2021. (PDF)

Runtime Monitoring Processes Across Blockchains, with Shaun Azzopardi and Joshua Ellul, in the Proceedings of the 11th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021), 2021. (PDF)

Reliable Smart Contracts (introduction to ISOLA track), with Cesar Sanchez and Gerardo Schneider, Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, Proceedings, Part III. Lecture Notes in Computer Science 12478, Springer, 2020. (PDF)

Runtime Verification of Contracts with Themulus, with Alberto Aranda Garcia, Maria-Emilia Cambronero, Christian Colombo and Luis Llana, 18th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2020), 2020. (PDF)

Regulating Blockchain, DLT and Smart Contracts: a technology regulator’s perspective, with Joshua Ellul, Jonathan Galea, Max Ganado and Stephen Mccarthy, ERA Forum (https://doi.org/10.1007/s12027-020-00617-7), 2020. (PDF)

Themulus: A Timed Contract-calculus, with Alberto Aranda Garcia, Maria-Emilia Cambronero, Christian Colombo and Luis Llana, International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, 2020. (PDF)

CLARVA: Model-based Residual Verification of Java Programs, with Shaun Azzopardi and Christian Colombo, International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, 2020. (PDF)

A Technique for Automata-based Verification with Residual Reasoning, with Shaun Azzopardi and Christian Colombo, International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, 2020. (PDF)

Blockchain and the Common Good Reimagined, with Joshua Ellul, The Common Good in the Digital Age conference held in the Vatican City State, CoRR abs/1910.14415, 2019. (PDF)

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, Amsterdam, Netherlands, 17th July 2018, with Davide Ancona (editors), published as EPTCS 302, 2019.

A survey of challenges for runtime verification fromadvanced application domains (beyond software), with Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Ylies Falcone, Adrian Francalanza, Srdan Krstic, Joao M. Lourenco, Dejan Nickovic, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss, Formal Methods in System Design, https://doi.org/10.1007/s10703-019-00337-w, 2019.

Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems, with Joshua Ellul, in the 2nd Workshop on Blockchain Dependability (in conjunction with the 38th International Symposium on Reliable Distributed Systems), 2019. (PDF)

The Truth in the Myth of the Lawyer-Programmer Chimera, with Joshua Ellul and Ian Gauci, in DLT Malta: Thoughts from the Blockchain Island, ed. Patrick Young, ISBN 978-8362627028, 2019.

Porthos: Macroprogramming Blockchain Systems, with Adrian Mizzi and Joshua Ellul, in the 2nd International Workshop on Blockchains and Smart Contracts (BSC'19), 2019. (PDF)

Verification of Smart Contract Business Logic Exploiting a Java Source Code Verifier, with Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Raul Pardo, Vincent Rebiscoul and Gerardo Schneider, in the Proceedings of the 8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019), 2018. (PDF)

Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond, with Shaun Azzopardi and Joshua Ellul, in the 18th International Conference on Runtime Verification, 2018. (PDF)

A Controlled Natural Language for Financial Services Compliance Checking, with Shaun Azzopardi and Christian Colombo, in the Workshop on Controlled Natural Languages 2018 (CNL'18), LNAI, 2018. (PDF)

Macroprogramming the Blockchain of Things, with Joshua Ellul and Adrian Mizzi, in IEEE 1st International Workshop on Blockchain for the Internet of Things, 2018. (PDF)

Smart Contracts - A Killer Application for Deductive Source Code Verification, with Wolfgang Ahrendt and Gerardo Schneider, in Festschrift for Arnd Poetzsch-Heffter, LNCS, 2018. (PDF)

Runtime Verification of Ethereum Smart Contracts, with Joshua Ellul, in the first International Workshop on Blockchain Dependability, in conjunction with 14th European Dependable Computing Conference (EDCC), 2018. (PDF)

Contracts over Smart Contracts: Recovering from Violations Dynamically, with Joshua Ellul and Christian Colombo, in 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), LNCS, 2018. (PDF)

Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design, with Christian Colombo, in 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), LNCS, 2018. (PDF)

Migrating Monitors + ABE: A Suitable Combination for Secure IoT?, with Gerardo Schneider and Pablo Picazo-Sanchez, in 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), LNCS, 2018. (PDF)

Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges (book chapter), with Christian Colombo, in Lectures on Runtime Verification - Introductory and Advanced Topics (LNCS 10457), 2018.

AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things, with Joshua Ellul, in the Proceedings of the 1st International Workshop on Blockchains and Smart Contracts (BSC) in conjunction with the 9th IFIP International Conference on New Technologies, Mobility and Security (IFIP NTMS), Paris, France, 2018. (PDF)

D’Artagnan: An Embedded DSL Framework for Distributed Embedded Systems, with Adrian Mizzi and Joshua Ellul, in the 3rd International Workshop on Real World Domain Specific Languages (RWDSL'18), 2018. (PDF)

Control-Flow Residual Analysis for Symbolic Automata, with Shaun Azzopardi and Christian Colombo, in the Second International Workshop on Pre- and Post-Deployment Verification Techniques 2017 (PrePost 17), 2017. (PDF)

Runtime Verification using Valour, with Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer and Edward Mallia, in the International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools 2017, 2017. (PDF)

Runtime Verification using Larva, with Christian Colombo, in the International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools 2017, 2017. (PDF)

Proceedings of the Second International Workshop on Pre- and Post-Deployment Verification Techniques 2017 (PrePost 17), with Adrian Francalanza (editors), published as EPTCS 254, 2017.

A Timed Contract-Calculus, with Maria Emilia Cambronero and Luis Llana, Department of Computer Science, University of Malta. Technical Report CS2017-02, 2017. (PDF)

Control-Flow Residual Analysis for Symbolic Automata, with Shaun Azzopardi and Christian Colombo, Department of Computer Science, University of Malta. Technical Report CS2017-01, 2017. (PDF)

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools, with Wolfgang Ahrendt, Jesus Mauricio Chimento and Gerardo Schneider, in Formal Methods in System Design 51(1): 200-265, DOI: 10.1007/s10703-017-0274-y, 2017.

Engineering Adaptive User Interfaces using Monitoring-Oriented Programming, with Aaron John Buhagiar and Jean Paul Ebejer, in the 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS'17), 2017. (PDF)

An Embedded DSL Framework for Distributed Embedded Systems (Doctoral Symposium paper), with Adrian Mizzi and Joshua Ellul, in the 11th ACM International Conference on Distributed and Event-Based Systems (DEBS'17), 2017. (PDF)

A Calculus Supporting Contract Reasoning and Monitoring, with Maria Emilia Cambronero and Luis Llana, IEEE Access, Volume PP, Issue 5, DOI: 10.1109/ACCESS.2017.2696577, 2017.

Contract Automata: An Operational View of Contracts Between Interactive Parties, with Shaun Azzopardi, Fernando Schapachnik and Gerardo Schneider, in the Journal of Artificial Intelligence and Law, Volume 24, Springer, 2016.

An Automata-based Approach to Evolving Privacy Policies for Social Networks, with Raul Pardo, Christian Colombo and Gerardo Schneider, in Proceedings of the Seventh Conference on Runtime Verification 2016 (RV'16), Madrid, Spain, LNCS, 2016. (PDF)

A Model-Based Approach to Combining Static and Dynamic Verification Techniques, with Shaun Azzopardi and Christian Colombo, in 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), LNCS, 2016. (PDF)

Runtime Verification for Stream Processing Applications, with Christian Colombo, in 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), LNCS, 2016. (PDF)

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks, with Raúl Pardo and Gerardo Schneider, in 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), LNCS, 2016. (PDF)

StaRVOOrS - Episode II, Strengthen and Distribute the Force, with Wolfgang Ahrendt and Gerardo Schneider, in 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), LNCS, 2016. (PDF)

Editor of the proceedings of the Fifth Workshop on Controlled Natural Languages 2016 (CNL’16), with A. Wyner and B. Davis, Lecture Notes in Computer Science Volume 9767, Springer-Verlag, 2016.

Automatically Generating Runtime Monitors from Tests, with Abigail Cauchi, Luke Chircop, Christian Colombo, Adrian Francalanza and Mark Micallef, in the proceedings of the 1st VORTEX Workshop on Runtime Verification, 2016. (PDF)

A Controlled Natural Language For Tax Fraud Detection, with Aaron Calafato and Christian Colombo, in the Workshop on Controlled Natural Languages 2016 (CNL'16), to be published in LNCS, 2016. (PDF)

Using Testing Techniques to Classify User Interface Designs, with Abigail Cauchi, in the Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016. (PDF)

Using Gherkin to Extract Tests and Monitors for Safer Medical Device Interaction Design, with Abigail Cauchi, Christian Colombo, Adrian Francalanza and Mark Micallef, in the Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016. (PDF)

Compliance Checking in the Open Payments Ecosystem, with Shaun Azzopardi, Christian Colombo and Brian Vella, in the Proceedings of the 14th International Conference on Software Engineering and Formal Methods (SEFM 2016), 2016. (PDF)

Integrating Natural Language and Formal Analysis for Legal Documents, with Shaun Azzopardi and Albert Gatt, in the Proceedings of the 10th Conference on Language Technologies and Digital Humanities 2016, 2016. (PDF)

Device-Centric Monitoring for Mobile Device Management, with Luke Chircop and Christian Colombo, in the Proceedings of the International Workshop on Formal Engineering approaches to Software Components and Architectures 2016 (FESCA 2016), 2016. (PDF)

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java, with Jesus Mauricio Chimento, Wolfgang Ahrendt and Gerardo Schneider, in the Proceedings of the 15th International Conference on Runtime Verification (RV 2015), to be published in LNCS, 2015. (PDF)

StaRVOOrS: Unifying Static and Runtime Verification of Java, with Jesus Mauricio Chimento, Wolfgang Ahrendt and Gerardo Schneider, in the Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT'2015), 2015. (PDF)

A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods, with Rachel Farrell and Michael Rosner, in the Proceedings of the 15th European Workshop on Natural Language Generation, 2015. (PDF)

A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods (technical report to accompany ENLG'15 paper), with Rachel Farrell and Michael Rosner, Department of Computer Science, University of Malta. Technical Report CS2015-01, 2015. (PDF)

A Specification Language for Static and Runtime Verification of Data and Control Properties, with Jesus Mauricio Chimento, Wolfgang Ahrendt and Gerardo Schneider, in the Proceedings of the 20th International Symposium on Formal Methods (FM 2015), to be published in LNCS, 2015. (PDF)

A Controlled Natural Language for Business Intelligence Monitoring, with Christian Colombo and Jean-Paul Grech, in the Proceedings of the 20th International Conference on Applications of Natural Language to Information Systems (NLDB 2015), to be published in LNAI, 2015. (PDF)

Key+Larva=StaRVOOrS (abstract), with Jesus Mauricio Chimento, Wolfgang Ahrendt and Gerardo Schneider, in the Proceedings of the University of Malta Workshop in ICT (WICT’15), 2015. (PDF)

A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development (abstract), with Aaron Calafato and Christian Colombo, in the Proceedings of the University of Malta Workshop in ICT (WICT’15), 2015. (PDF)

An Intelligent Contract Editor (abstract), with Shaun Azzopardi and Albert Gatt, in the Proceedings of the University of Malta Workshop in ICT (WICT’15), 2015. (PDF)

Device Centric Monitoring on Mobile Devices (abstract), with Christian Colombo and Luke Chircop, in the Proceedings of the University of Malta Workshop in ICT (WICT’15), 2015. (PDF)

Extending Contract Automata with Reparations (technical report), with Shaun Azzopardi and Fernando Schapachnik, Department of Computer Science, University of Malta. Technical Report CS2014-01, 2014. (PDF)

A DSL for Business Intelligence Monitoring (abstract on ongoing work), with Christian Colombo and Jean Paul Grech, Computer Science Annual Workshop 2014, Department of Computer Science, University of Malta, 2014. (PDF)

Event-Based Characterisation of Temporal Properties over System States (abstract on ongoing work), with Christian Colombo and Justine Scicluna, Computer Science Annual Workshop 2014, Department of Computer Science, University of Malta, 2014. (PDF)

Improving Android Security through Real-time Policy Enforcement (abstract on ongoing work), with Luke Chircop and Christian Colombo, Computer Science Annual Workshop 2014, Department of Computer Science, University of Malta, 2014. (PDF)

A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development (abstract on ongoing work), with Aaron Calafato and Christian Colombo, Computer Science Annual Workshop 2014, Department of Computer Science, University of Malta, 2014. (PDF)

Tipping the Scales... Functionally! (abstract on ongoing work), with Kevin Vella, Computer Science Annual Workshop 2014, Department of Computer Science, University of Malta, 2014. (PDF)

StaRVOOrS: A Framework for Unified Static and Runtime Verification of Object-Oriented Software, with Jesus Mauricio Chimento, Wolfgang Ahrendt and Gerardo Schneider, in the Proceedings of the 26th Nordic Workshop on Programming Theory (NWPT'2014), 2014. (PDF)

Explaining Violation Traces with Finite State Natural Language Generation Models, with Mike Rosner, in the Workshop on Controlled Natural Languages 2014 (CNL'14), to be published in LNAI, 2014. (PDF)

Determining Robustness of Synchronous Programs under Stuttering, with Ingram Bondin, in International Journal On Advances in Intelligent Systems, Volume 7, Numbers 1 and 2, June 2014. (PDF)

Comprehensive Monitor-Oriented Compensation Programming, with Christian Colombo, in 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'14), EPTCS, 2014. (PDF)

Lifelong Verification of Software Systems (abstract), with Christian Colombo and Mark Micallef, in the Proceedings of the University of Malta Workshop in ICT (WICT’14), 2014. (PDF)

SMock - A Test Platform for Monitoring Tools, with Christian Colombo and Ruth Mizzi, in the Proceedings of the Fourth Conference on Runtime Verification 2013 (RV'13), LNCS, 2013. (PDF)

Monitor-Oriented Compensation Programming Through Compensating Automata, with Christian Colombo, in the proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2013), 2013. (PDF)

polyLarva: Technology Agnostic Runtime Verification, with Christian Colombo, Adrian Francalanza, Ruth Mizzi, in 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'13), EPTCS 108, 2013. (PDF)

Static and Dynamic Analysis for Robustness under Slowdown, with Ingram Bondin, in Computation Tools 2013 (as part of the Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking), 2013. (PDF)

Synthesising Implicit Contracts (abstract on ongoing work), with Fernando Schapachnik, Computer Science Annual Workshop 2013, Department of Computer Science, University of Malta, 2013. (PDF)

A Unified Approach for Static and Runtime Verification: Framework and Applications, with Wolfgang Ahrendt and Gerardo Schneider, in 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'12), Crete, invited paper for the track "Runtime Verification: The Application Perspective", 2012. (PDF)

Editor of Electronic Proceedings in Theoretical Computer Science (EPTCS) Vol 94 - Proceedings of the Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software 2012 (FLACOS’12), with Anders Ravn, EPTCS Vol 94, 2012.

Combining Testing and Runtime Verification Techniques, with Kevin Falzon, in the Proceedings of 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES'12), Germany, LNCS, 2012. (PDF)

Fast Forward Runtime Monitoring - An Industrial Case Study, with Christian Colombo, in the Proceedings of the Third Conference on Runtime Verification 2012 (RV'12), Turkey, LNCS, 2012. (PDF)

Contracts for Interacting Two-Party Systems, with Fernando Schapachnik, in the Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'12), Italy, published in EPTCS, 2012. (PDF)

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries, with Christian Colombo, Adrian Francalanza and Ruth Mizzi, in the 10th IEEE International Conference on Software Engineering and Formal Methods (SEFM'12), Greece, 2012. (PDF)

Separating Compensation Concerns and Programming them with Compensating Automata, with Christian Colombo, Department of Computer Science, University of Malta. Technical Report CS2012-01, 2012. (PDF)

Safer Asynchronous Runtime Monitoring Using Compensations, with Christian Colombo and Patrick Abela, in the Journal of Formal Methods in Systems Design, Vol. 40 pp 1-26, 2012.

Permisos en contratos, una mirada logica, with Fernando Schapachnik and Manuel Gimenez, in the Proceedings of Primer Congreso Iberoamericano de Investigadores y Docentes de Derecho e Informatica (CIIDDI 2012), 2012.

Controlled Natural Language in a Game for Legal Assistance, with John Camilleri and Michal Rosner, in Post-Proceedings of Workshop on Controlled Natural Languages 2010 (CNL'10), in LNAI, 2012. (PDF)

Programming Compensations for System-Monitor Synchronisation, with Christian Colombo, in the Proceedings of the University of Malta Workshop in ICT (WICT’12), 2012. (PDF)

Considerations for Monitoring Highly Concurrent Systems, with Ruth Mizzi, Adrian Francalanza and Christian Colombo, in the Proceedings of the University of Malta Workshop in ICT (WICT’12), 2012. (PDF)

Dealing with the Hypothetical in Contracts (abstract on ongoing work), with Fernando Schapachnik, Computer Science Annual Workshop 2012, Department of Computer Science, University of Malta, 2012. (PDF)

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 - 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.

A Compensating Transaction Example in Twelve Notations, with Christian Colombo, Department of Computer Science, University of Malta. Technical Report CS2011-01, 2011. (PDF)

Trusting a Computer with Your Money, (a popular explanation of the application of runtime monitoring for financial systems), in The Economic Update, January 2011. (PDF)

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)

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)

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)

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. (PDF)

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), 2009. (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)

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)

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)

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)

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)