An Algebraic Approach to Mixins and Modularity. - Davide Ancona; Elena Zucca (ALP, 1996)

A Formal Framework for Modules with State. - Davide Ancona; Elena Zucca (AMAST, 1996)

Overriding Operators in a Mixin-Based Framework. - Davide Ancona; Elena Zucca (PLILP, 1997)

An algebra of mixin modules. - Davide Ancona; Elena Zucca (WADT, 1997)

An Algebraic Framework for Separate Type-Checking. - Davide Ancona (WADT, 1998)

A Theory of Mixin Modules: Basic and Derived Operators. - Davide Ancona; Elena Zucca (Math. Struct. Comput. Sci., 1998)

A Formal Framework with Late Binding. - Davide Ancona; Maura Cerioli; Elena Zucca (FASE, 1999)

A Primitive Calculus for Module Systems. - Davide Ancona; Elena Zucca (PPDP, 1999)

Extending Casl by Late Binding. - Davide Ancona; Maura Cerioli; Elena Zucca (WADT, 1999)

MIX(FL): A Kernel Language of Mixin Modules. - Davide Ancona (AMAST, 2000)

Jam - A Smooth Extension of Java with Mixins. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ECOOP, 2000)

True Modules for Java-like Languages. - Davide Ancona; Elena Zucca (ECOOP, 2001)

An Effective Translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ICTCS, 2001)

A Core Calculus for Java Exceptions. - Davide Ancona; Giovanni Lagorio; Elena Zucca (OOPSLA, 2001)

A type preserving translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (TOSCA, 2001)

A Formal Framework for Java Separate Compilation. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ECOOP, 2002)

True separate compilation of Java classes. - Davide Ancona; Giovanni Lagorio; Elena Zucca (PPDP, 2002)

A calculus of module systems. - Davide Ancona; Elena Zucca (J. Funct. Program., 2002)

A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. - Davide Ancona; Elena Zucca (Math. Struct. Comput. Sci., 2002)

Coo-BDI: Extending the BDI Model with Cooperativity. - Davide Ancona; Viviana Mascardi (DALT, 2003)

Mixin Modules and Computational Effects. - Davide Ancona; Sonia Fagorzi; Eugenio Moggi; Elena Zucca (ICALP, 2003)

A Calculus for Dynamic Linking. - Davide Ancona; Sonia Fagorzi; Elena Zucca (ICTCS, 2003)

Jam - designing a Java extension with mixins. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ACM Trans. Program. Lang. Syst., 2003)

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. - Davide Ancona; Viviana Mascardi; Jomi Fred Hübner; Rafael H. Bordini (AAMAS, 2004)

Program Generation and Components. - Davide Ancona; Eugenio Moggi (FMCO, 2004)

A Fresh Calculus for Name Management. - Davide Ancona; Eugenio Moggi (GPCE, 2004)

A Calculus with Lazy Module Operators. - Davide Ancona; Sonia Fagorzi; Elena Zucca (IFIP TCS, 2004)

Principal typings for Java-like languages. - Davide Ancona; Elena Zucca (POPL, 2004)

Editorial message: special track on object oriented programming language and systems. - Davide Ancona; Rajeev R. Raje; Mirko Viroli (SAC, 2004)

Modeling multiple class loaders by a calculus for dynamic linking. - Sonia Fagorzi; Elena Zucca; Davide Ancona (SAC, 2004)

A Calculus for Dynamic Reconfiguration with Low Priority Linking. - Davide Ancona; Sonia Fagorzi; Elena Zucca (WOOD, 2004)

Stronger Typings for Separate Compilation of Java-like Languages . - Davide Ancona; Giovanni Lagorio (J. Object Technol., 2004)

COOWS: Adaptive BDI Agents meet Service-Oriented Computing. - Luigi Bozzo; Viviana Mascardi; Davide Ancona; Paolo Busetta (EUMAS, 2005)

Polymorphic bytecode: compositional compilation for Java-like languages. - Davide Ancona; Ferruccio Damiani; Sophia Drossopoulou; Elena Zucca (POPL, 2005)

Editorial message: special track on object oriented programming languages and systems. - Davide Ancona; Rajeev R. Raje; Mirko Viroli (SAC, 2005)

Mixin Modules for Dynamic Rebinding. - Davide Ancona; Sonia Fagorzi; Elena Zucca (TGC, 2005)

Languages for Programming BDI-style Agents: an Overview. - Viviana Mascardi; Daniela Demergasso; Davide Ancona (WOA, 2005)

Formal Techniques for Java-Like Programs. - Davide Ancona; Sophia Drossopoulou; Atsushi Igarashi; Gary T. Leavens; Arnd Poetzsch-Heffter; Elena Zucca (ECOOP Workshops, 2006)

Flexible Type-Safe Linking of Components for Java-Like Languages. - Davide Ancona; Giovanni Lagorio; Elena Zucca (JMLC, 2006)

Editorial message: special track on object oriented programming languages and systems. - Davide Ancona; Mirko Viroli (SAC, 2006)

RPython: a step towards reconciling dynamically and statically typed OO languages. - Davide Ancona; Massimo Ancona; Antonio Cuni; Nicholas D. Matsakis (DLS, 2007)

Type inference for polymorphic methods in Java-like languages. - Davide Ancona; Giovanni Lagorio; Elena Zucca (ICTCS, 2007)

A formal framework for compositional compilation. - Davide Ancona; Elena Zucca (ICTCS, 2007)

A Parametric Calculus for Mobile Open Code. - Davide Ancona; Sonia Fagorzi; Elena Zucca (DCM@ICALP, 2007)

A provenly correct translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ACM Trans. Program. Lang. Syst., 2007)

Special track on Object-Oriented Languages and Systems: editorial message. - Davide Ancona; Alex Buckley (SAC, 2008)

Type Inference by Coinductive Logic Programming. - Davide Ancona; Giovanni Lagorio; Elena Zucca (TYPES, 2008)

Coinductive Type Systems for Object-Oriented Languages. - Davide Ancona; Giovanni Lagorio (ECOOP, 2009)

Faster than C#: efficient implementation of dynamic languages on .NET. - Antonio Cuni; Davide Ancona; Armin Rigo (ICOOOLPS@ECOOP, 2009)

An idealized coinductive type system for imperative object-oriented programs. - Davide Ancona; Giovanni Lagorio (ICTCS, 2009)

Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. - Viviana Mascardi; Davide Ancona (MALLOW, 2009)

Complete coinductive subtyping for abstract compilation of object-oriented languages. - Davide Ancona; Giovanni Lagorio (FTfJP@ECOOP, 2010)

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? - Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani (FoVeOOS, 2010)

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas - Davide Ancona; Giovanni Lagorio (GANDALF, 2010)

Preface to the Special Issue on Object-Oriented Programming Languages and Systems (OOPS 2008), A Special Track at the 23rd ACM Symposium on Applied Computing. - Davide Ancona; Alex Buckley (Sci. Comput. Program., 2010)

1000 Years of Coo-BDI. - Viviana Mascardi; Davide Ancona (DALT, 2011)

Coinductive big-step operational semantics for type soundness of Java-like languages. - Davide Ancona (FTfJP@ECOOP, 2011)

CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. - Viviana Mascardi; Davide Ancona; Rafael H. Bordini; Alessandro Ricci (IAT, 2011)

Idealized coinductive type systems for imperative object-oriented programs. - Davide Ancona; Giovanni Lagorio (RAIRO Theor. Informatics Appl., 2011)

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. - Davide Ancona; Sophia Drossopoulou; Viviana Mascardi (DALT, 2012)

Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. - Davide Ancona (ECOOP, 2012)

Corecursive Featherweight Java. - Davide Ancona; Elena Zucca (FTfJP@ECOOP, 2012)

Static Single Information Form for Abstract Compilation. - Davide Ancona; Giovanni Lagorio (IFIP TCS, 2012)

Ontology-based documentation extraction for semi-automatic migration of Java code. - Davide Ancona; Viviana Mascardi; Ombretta Pavarino (SAC, 2012)

Reconciling positional and nominal binding. - Davide Ancona; Paola Giannini; Elena Zucca (ITRS, 2012)

On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. - Viviana Mascardi; Daniela Briola; Davide Ancona (AI*IA, 2013)

Safe corecursion in coFJ. - Davide Ancona; Elena Zucca (FTfJP@ECOOP, 2013)

Constrained global types for dynamic checking of protocol conformance in multi-agent systems. - Davide Ancona; Matteo Barbieri; Viviana Mascardi (SAC, 2013)

Regular corecursion in Prolog. - Davide Ancona (Comput. Lang. Syst. Struct., 2013)

Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing. - Davide Ancona (Sci. Comput. Program., 2013)

co-LP: Back to the Roots. - Davide Ancona; Agostino Dovier (Theory Pract. Log. Program., 2013)

Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. - Viviana Mascardi; Davide Ancona (Theory Pract. Log. Program., 2013)

Exploiting Prolog for Projecting Agent Interaction Protocols. - Davide Ancona; Daniela Briola; Amal El Fallah Seghrouchni; Viviana Mascardi; Patrick Taillibert (CILC, 2014)

Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. - Daniela Briola; Viviana Mascardi; Davide Ancona (CILC, 2014)

Efficient Verification of MASs with Projections. - Davide Ancona; Daniela Briola; Amal El Fallah Seghrouchni; Viviana Mascardi; Patrick Taillibert (EMAS@AAMAS, 2014)

How to prove type soundness of Java-like languages without forgoing big-step semantics. - Davide Ancona (FTfJP@ECOOP, 2014)

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. - Davide Ancona; Andrea Corradi (ECOOP, 2014)

A Coalgebraic Foundation for Coinductive Union Types. - Marcello M. Bonsangue; Jurriaan Rot; Davide Ancona; Frank S. de Boer; Jan J. M. M. Rutten (ICALP (2), 2014)

Distributed Runtime Verification of JADE Multiagent Systems. - Daniela Briola; Viviana Mascardi; Davide Ancona (IDC, 2014)

CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. - Viviana Mascardi; Davide Ancona; Matteo Barbieri; Rafael H. Bordini; Alessandro Ricci (Web Intell. Agent Syst., 2014)

Global Protocols as First Class Entities for Self-Adaptive Agents. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (AAMAS, 2015)

A three-valued type system for true positives detection in Java-like languages. - Davide Ancona; Federico Frassetto (FTfJP@ECOOP, 2015)

Constrained Polymorphic Types for a Calculus with Name Variables. - Davide Ancona; Paola Giannini; Elena Zucca (TYPES, 2015)

Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. - Davide Ancona; Daniela Briola; Viviana Mascardi (WOA, 2015)

Incremental Rebinding with Name Polymorphism. - Davide Ancona; Paola Giannini; Elena Zucca (ICTCS, 2015)

A Theoretical Perspective of Coinductive Logic Programming. - Davide Ancona; Agostino Dovier (Fundam. Informaticae, 2015)

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (Intelligenza Artificiale, 2015)

Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010). - Davide Ancona (Sci. Comput. Program., 2015)

Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. - Angelo Ferrando 001; Davide Ancona; Viviana Mascardi (EMAS@AAMAS, 2016)

Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (Theory and Practice of Formal Methods, 2016)

A formal account of SSA in Java-like languages. - Davide Ancona; Andrea Corradi (FTfJP@ECOOP, 2016)

Towards a model of corecursion with default. - Davide Ancona; Francesco Dagnino; Elena Zucca (FTfJP@ECOOP, 2016)

Semantic subtyping for imperative object-oriented languages. - Davide Ancona; Andrea Corradi (OOPSLA, 2016)

FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. - Federica Aielli; Davide Ancona; Pasquale Caianiello; Stefania Costantini; Giovanni De Gasperis; Antinisca Di Marco; Angelo Ferrando 001; Viviana Mascardi (PAAMS (Workshops), 2016)

MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (WOA, 2016)

Extending Coinductive Logic Programming with Co-Facts. - Davide Ancona; Francesco Dagnino; Elena Zucca (CoALP-Ty, 2016)

Structural Resolution for Abstract Compilation of Object-Oriented Languages. - Luca Franceschini; Davide Ancona; Ekaterina Komendantskaya (CoALP-Ty, 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Parametric Runtime Verification of Multiagent Systems. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (AAMAS, 2017)

Decentralizing MAS Monitoring with DecAMon. - Angelo Ferrando 001; Davide Ancona; Viviana Mascardi (AAMAS, 2017)

Parametric Trace Expressions for Runtime Verification of Java-Like Programs. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (FTfJP@ECOOP, 2017)

Generalizing Inference Systems by Coaxioms. - Davide Ancona; Francesco Dagnino; Elena Zucca (ESOP, 2017)

Towards an Acceptance Testing Approach for Internet of Things Systems. - Maurizio Leotta; Filippo Ricca; Diego Clerissi; Davide Ancona; Giorgio Delzanno; Marina Ribaudo; Luca Franceschini (ICWE Workshops, 2017)

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. - Davide Ancona; Giorgio Delzanno; Luca Franceschini; Maurizio Leotta; Enrico Prampolini; Marina Ribaudo; Filippo Ricca (RP, 2017)

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. - Davide Ancona; Luca Franceschini; Giorgio Delzanno; Maurizio Leotta; Marina Ribaudo; Filippo Ricca (ALP4IoT@iFM, 2017)

Hackmytown: an Educational Experience on Smart Cities. - Vincenzo Del Fatto; Gabriella Dodero; Armin Bernhard; Angelo Ferrando 001; Davide Ancona; Viviana Mascardi; Robert Laurini; Giuseppe Roccasalva (IxD&A, 2017)

Type safe incremental rebinding. - Davide Ancona; Paola Giannini; Elena Zucca (Math. Struct. Comput. Sci., 2017)

Reasoning on divergent computations with coaxioms. - Davide Ancona; Francesco Dagnino; Elena Zucca (Proc. ACM Program. Lang., 2017)

Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015). - Davide Ancona (Sci. Comput. Program., 2017)

Recognising Assumption Violations in Autonomous Systems Verification. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (AAMAS, 2018)

Modeling Infinite Behaviour by Corules. - Davide Ancona; Francesco Dagnino; Elena Zucca (ECOOP, 2018)

Towards a Runtime Verification Approach for Internet of Things Systems. - Maurizio Leotta; Davide Ancona; Luca Franceschini; Dario Olianas; Marina Ribaudo; Filippo Ricca (ICWE Workshops, 2018)

A formalism for specification of Java API interfaces. - Davide Ancona; Francesco Dagnino; Luca Franceschini (ISSTA/ECOOP Workshops, 2018)

Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (PAAMS, 2018)

Managing Bad AIPs with RIVERtools. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (PAAMS, 2018)

Verifying and Validating Autonomous Systems: Towards an Integrated Approach. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (RV, 2018)

Semantic Subtyping for Non-Strict Languages. - Tommaso Petrucciani; Giuseppe Castagna; Davide Ancona; Elena Zucca (TYPES, 2018)

Agents Interoperability via Conformance Modulo Mapping. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (WOA, 2018)

Preface. - Marco Maratea; Viviana Mascardi; Davide Ancona; Alberto Pettorossi (Fundam. Informaticae, 2018)

An acceptance testing approach for Internet of Things systems. - Maurizio Leotta; Diego Clerissi; Dario Olianas; Filippo Ricca; Davide Ancona; Giorgio Delzanno; Luca Franceschini; Marina Ribaudo (IET Softw., 2018)

Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (Int. J. Agent Oriented Softw. Eng., 2018)

Timed Trace Expressions. - Luca Ciccone; Angelo Ferrando 001; Davide Ancona; Viviana Mascardi (CILC, 2019)

Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. - Maurizio Leotta; Diego Clerissi; Luca Franceschini; Dario Olianas; Davide Ancona; Filippo Ricca; Marina Ribaudo (ENASE, 2019)

A Deterministic Event Calculus for Effective Runtime Verification. - Davide Ancona; Luca Franceschini; Angelo Ferrando 001; Viviana Mascardi (ICTCS, 2019)

Corecursive Featherweight Java Revisited. - Pietro Barbieri; Francesco Dagnino; Elena Zucca; Davide Ancona (ICTCS, 2019)

Preface: Special Issue on Verification of Objects at Runtime Execution. - Davide Ancona (Sci. Comput. Program., 2019)

Sound Regular Corecursion in coFJ. - Davide Ancona; Pietro Barbieri; Francesco Dagnino; Elena Zucca (ECOOP, 2020)

A Big Step from Finite to Infinite Computations (SCICO Journal-first). - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (ECOOP, 2020)

ROSMonitoring: A Runtime Verification Framework for ROS. - Angelo Ferrando 001; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Luca Franceschini; Viviana Mascardi (TAROS, 2020)

Flow Programming: A Flexible way to bring the Internet of Things into the Lab. - Davide Ancona; Lorenzo Benvenuto; Giorgio Delzanno; Gianluca Gambari (UMAP (Adjunct Publication), 2020)

Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. - Giorgio Delzanno; Giovanna Guerrini; Viviana Mascardi; Luca Gelati; Vincenzo Petito; Francesca Vitali; Angelo Ferrando 001; Davide Ancona; Manuela Chessa; Nicoletta Noceti; Francesca Odone (UMAP (Adjunct Publication), 2020)

Engineering Reliable Interactions in the Reality-Artificiality Continuum. - Davide Ancona; Chiara Bassano; Manuela Chessa; Viviana Mascardi; Fabio Solari (AREA@ECAI, 2020)

Can determinism and compositionality coexist in RML? (extended version). - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (CoRR, 2020)

Can determinism and compositionality coexist in RML? - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (EXPRESS/SOS, 2020)

A big step from finite to infinite computations. - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (Sci. Comput. Program., 2020)

Flexible coinductive logic programming. - Francesco Dagnino; Davide Ancona; Elena Zucca (Theory Pract. Log. Program., 2020)

Enhanced Regular Corecursion for Data Streams. - Davide Ancona; Pietro Barbieri; Elena Zucca (ICTCS, 2021)

RML: Theory and practice of a domain specific language for runtime verification. - Davide Ancona; Luca Franceschini; Angelo Ferrando 001; Viviana Mascardi (Sci. Comput. Program., 2021)

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. - Angelo Ferrando 001; Louise A. Dennis; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Viviana Mascardi (ACM Trans. Softw. Eng. Methodol., 2021)

Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (CILC, 2022)

Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (EUMAS, 2022)

Enhancing Expressivity of Checked Corecursive Streams. - Davide Ancona; Pietro Barbieri; Elena Zucca (FLOPS, 2022)

Equality of Corecursive Streams Defined by Finitary Equational Systems. - Davide Ancona; Pietro Barbieri; Elena Zucca (ICTCS, 2022)

Enhancing expressivity of checked corecursive streams (extended version). - Davide Ancona; Pietro Barbieri; Elena Zucca (CoRR, 2022)

RV4JaCa - Runtime Verification for Multi-Agent Systems. - Débora C. Engelmann; Angelo Ferrando 001; Alison R. Panisson; Davide Ancona; Rafael H. Bordini; Viviana Mascardi (AREA@IJCAI-ECAI, 2022)

Preface to the JOT special issue on ECOOP 2021: selected workshop papers. - Davide Ancona; Olivier Flückiger; Adrian Francalanza; Robert Hirschfeld; Atsushi Igarashi; Yu David Liu; Hidehiko Masuhara; Chris Seaton; Harumi Watanabe (J. Object Technol., 2022)

Runtime Verification of Hash Code in Mutable Classes. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (FTfJP@ECOOP, 2023)

Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. - Davide Ancona; Angelo Ferrando 001; Viviana Mascardi (Prolog: The Next 50 Years, 2023)

RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. - Débora C. Engelmann; Angelo Ferrando 001; Alison R. Panisson; Davide Ancona; Rafael H. Bordini; Viviana Mascardi (Robotics, 2023)

Checked corecursive streams: Expressivity and completeness. - Davide Ancona; Pietro Barbieri; Elena Zucca (Theor. Comput. Sci., 2023)

Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. - Davide Ancona; Adrian Francalanza (J. Object Technol., 2024)

Checking equivalence of corecursive streams: An inductive procedure. - Davide Ancona; Pietro Barbieri; Elena Zucca (Theor. Comput. Sci., 2024)

Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. - Davide Ancona; Stefano Avola; Angelo Ferrando 001; Pierpaolo Baglietto; Maurice H. ter Beek; Andrea Parodi; Giancarlo Camera; Matteo Pinasco (DSN-S, 2025)

Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. - Hisham Unniyankal; Davide Ancona; Angelo Ferrando 001; Fabio Parodi; Alessandro Alessi; Federico Bottino (DSN-S, 2025)