| 2025 | DSN | Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. | Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera, Matteo Pinasco |
| 2025 | DSN | Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems. | Hisham Unniyankal, Davide Ancona, Angelo Ferrando, Fabio Parodi, Alessandro Alessi, Federico Bottino |
| 2023 | FTfJP | Runtime Verification of Hash Code in Mutable Classes. | Davide Ancona, Angelo Ferrando, Viviana Mascardi |
| 2022 | EUMAS | Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. | Davide Ancona, Angelo Ferrando, Viviana Mascardi |
| 2022 | FLOPS | Enhancing Expressivity of Checked Corecursive Streams. | Davide Ancona, Pietro Barbieri, Elena Zucca |
| 2020 | ECOOP | Sound Regular Corecursion in coFJ. | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | ECOOP | A Big Step from Finite to Infinite Computations (SCICO Journal-first). | Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca |
| 2019 | ENASE | 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 |
| 2018 | ECOOP | Modeling Infinite Behaviour by Corules. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2018 | ICWE | Towards a Runtime Verification Approach for Internet of Things Systems. | Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca |
| 2018 | ISSTA | A formalism for specification of Java API interfaces. | Davide Ancona, Francesco Dagnino, Luca Franceschini |
| 2018 | PAAMS | Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2018 | PAAMS | Managing Bad AIPs with RIVERtools. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2018 | RV | Verifying and Validating Autonomous Systems: Towards an Integrated Approach. | Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi |
| 2017 | ECOOP | Parametric Trace Expressions for Runtime Verification of Java-Like Programs. | Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi |
| 2017 | ESOP | Generalizing Inference Systems by Coaxioms. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2017 | ICWE | Towards an Acceptance Testing Approach for Internet of Things Systems. | Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini |
| 2016 | ECOOP | A formal account of SSA in Java-like languages. | Davide Ancona, Andrea Corradi |
| 2016 | ECOOP | Towards a model of corecursion with default. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2016 | OOPSLA | Semantic subtyping for imperative object-oriented languages. | Davide Ancona, Andrea Corradi |
| 2016 | PAAMS | 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, Viviana Mascardi |
| 2015 | ECOOP | A three-valued type system for true positives detection in Java-like languages. | Davide Ancona, Federico Frassetto |
| 2014 | ECOOP | How to prove type soundness of Java-like languages without forgoing big-step semantics. | Davide Ancona |
| 2014 | ECOOP | Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. | Davide Ancona, Andrea Corradi |
| 2014 | ICALP | A Coalgebraic Foundation for Coinductive Union Types. | Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten |
| 2014 | IDC | Distributed Runtime Verification of JADE Multiagent Systems. | Daniela Briola, Viviana Mascardi, Davide Ancona |
| 2013 | ECOOP | Safe corecursion in coFJ. | Davide Ancona, Elena Zucca |
| 2013 | SAC | Constrained global types for dynamic checking of protocol conformance in multi-agent systems. | Davide Ancona, Matteo Barbieri, Viviana Mascardi |
| 2012 | ECOOP | Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. | Davide Ancona |
| 2012 | ECOOP | Corecursive Featherweight Java. | Davide Ancona, Elena Zucca |
| 2012 | SAC | Regular corecursion in Prolog. | Davide Ancona |
| 2012 | SAC | Ontology-based documentation extraction for semi-automatic migration of Java code. | Davide Ancona, Viviana Mascardi, Ombretta Pavarino |
| 2011 | ECOOP | Coinductive big-step operational semantics for type soundness of Java-like languages. | Davide Ancona |
| 2010 | ECOOP | Complete coinductive subtyping for abstract compilation of object-oriented languages. | Davide Ancona, Giovanni Lagorio |
| 2009 | ECOOP | Coinductive Type Systems for Object-Oriented Languages. | Davide Ancona, Giovanni Lagorio |
| 2009 | ECOOP | Faster than C#: efficient implementation of dynamic languages on .NET. | Antonio Cuni, Davide Ancona, Armin Rigo |
| 2008 | SAC | Special track on Object-Oriented Languages and Systems: editorial message. | Davide Ancona, Alex Buckley |
| 2007 | DLS | RPython: a step towards reconciling dynamically and statically typed OO languages. | Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis |
| 2006 | SAC | Editorial message: special track on object oriented programming languages and systems. | Davide Ancona, Mirko Viroli |
| 2005 | EUMAS | COOWS: Adaptive BDI Agents meet Service-Oriented Computing. | Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta |
| 2005 | POPL | Polymorphic bytecode: compositional compilation for Java-like languages. | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
| 2005 | SAC | Editorial message: special track on object oriented programming languages and systems. | Davide Ancona, Rajeev R. Raje, Mirko Viroli |
| 2004 | GPCE | A Fresh Calculus for Name Management. | Davide Ancona, Eugenio Moggi |
| 2004 | POPL | Principal typings for Java-like languages. | Davide Ancona, Elena Zucca |
| 2004 | SAC | Editorial message: special track on object oriented programming language and systems. | Davide Ancona, Rajeev R. Raje, Mirko Viroli |
| 2004 | SAC | Modeling multiple class loaders by a calculus for dynamic linking. | Sonia Fagorzi, Elena Zucca, Davide Ancona |
| 2003 | ICALP | Mixin Modules and Computational Effects. | Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca |
| 2002 | ECOOP | A Formal Framework for Java Separate Compilation. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2002 | PPDP | True separate compilation of Java classes. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2001 | ECOOP | True Modules for Java-like Languages. | Davide Ancona, Elena Zucca |
| 2001 | OOPSLA | A Core Calculus for Java Exceptions. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2000 | ECOOP | Jam - A Smooth Extension of Java with Mixins. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 1999 | FASE | A Formal Framework with Late Binding. | Davide Ancona, Maura Cerioli, Elena Zucca |
| 1999 | PPDP | A Primitive Calculus for Module Systems. | Davide Ancona, Elena Zucca |