Davide Ancona

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 75

Top Venues

CoRR

FTfJP@ECOOP

Sci. Comput. Program.

ICTCS

Publications

Davide Ancona, Pietro Barbieri, Elena Zucca
Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009 (2024)
Davide Ancona, Adrian Francalanza
Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers. J. Object Technol. 23 (2) (2024)
Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12 (2) (2023)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP (2023)
Davide Ancona, Pietro Barbieri, Elena Zucca
Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974 (2023)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS (2022)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhancing Expressivity of Checked Corecursive Streams. FLOPS (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhancing expressivity of checked corecursive streams (extended version). CoRR (2022)
Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21 (2) (2022)
Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI (2022)
Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhanced Regular Corecursion for Data Streams. CoRR (2021)
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205 (2021)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhanced Regular Corecursion for Data Streams. ICTCS (2021)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Can determinism and compositionality coexist in RML? EXPRESS/SOS (2020)
Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari
Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI (2020)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP (2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. CoRR (2020)
Francesco Dagnino, Davide Ancona, Elena Zucca
Flexible coinductive logic programming. CoRR (2020)
Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) (2020)
Davide Ancona, Lorenzo Benvenuto, Giorgio Delzanno, Gianluca Gambari
Flow Programming: A Flexible way to bring the Internet of Things into the Lab. UMAP (Adjunct Publication) (2020)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A big step from finite to infinite computations. Sci. Comput. Program. 197 (2020)
Francesco Dagnino, Davide Ancona, Elena Zucca
Flexible coinductive logic programming. Theory Pract. Log. Program. 20 (6) (2020)
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS (2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. ECOOP (2020)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Can determinism and compositionality coexist in RML? (extended version). CoRR (2020)
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS (2019)
Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
Corecursive Featherweight Java Revisited. ICTCS (2019)
Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi
Timed Trace Expressions. CILC (2019)
Davide Ancona
Preface: Special Issue on Verification of Objects at Runtime Execution. Sci. Comput. Program. 182 (2019)
Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. ENASE (2019)
Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca
Towards a Runtime Verification Approach for Internet of Things Systems. ICWE Workshops (2018)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. 6 (3/4) (2018)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS (2018)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Agents Interoperability via Conformance Modulo Mapping. WOA (2018)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic subtyping for non-strict languages. CoRR (2018)
Davide Ancona, Francesco Dagnino, Luca Franceschini
A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops (2018)
Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi
Preface. Fundam. Informaticae 159 (1-2) (2018)
Davide Ancona, Francesco Dagnino, Elena Zucca
Modeling Infinite Behaviour by Corules. ECOOP (2018)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Managing Bad AIPs with RIVERtools. PAAMS (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV (2018)
Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo
An acceptance testing approach for Internet of Things systems. IET Softw. 12 (5) (2018)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic Subtyping for Non-Strict Languages. TYPES (2018)
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS (2018)
Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP (2017)
Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini
Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops (2017)
Davide Ancona, Francesco Dagnino, Elena Zucca
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Angelo Ferrando, Davide Ancona, Viviana Mascardi
Decentralizing MAS Monitoring with DecAMon. AAMAS (2017)
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM (2017)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Parametric Runtime Verification of Multiagent Systems. AAMAS (2017)
Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva
Hackmytown: an Educational Experience on Smart Cities. IxD&A 32 (2017)
Davide Ancona, Paola Giannini, Elena Zucca
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27 (2) (2017)
Davide Ancona
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015). Sci. Comput. Program. 140 (2017)
Davide Ancona, Francesco Dagnino, Elena Zucca
Generalizing Inference Systems by Coaxioms. ESOP (2017)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP (2017)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods (2016)
Davide Ancona, Francesco Dagnino, Elena Zucca
Towards a model of corecursion with default. FTfJP@ECOOP (2016)
Davide Ancona, Andrea Corradi
Semantic subtyping for imperative object-oriented languages. OOPSLA (2016)
Davide Ancona, Francesco Dagnino, Elena Zucca
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty (2016)
Angelo Ferrando, Davide Ancona, Viviana Mascardi
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS (2016)
Davide Ancona, Paola Giannini, Elena Zucca
Incremental Rebinding with Name Polymorphism. Electron. Notes Theor. Comput. Sci. 322 (2016)
Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) (2016)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA (2016)
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty (2016)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Davide Ancona, Andrea Corradi
A formal account of SSA in Java-like languages. FTfJP@ECOOP (2016)
Davide Ancona
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010). Sci. Comput. Program. 97 (2015)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS (2015)
Davide Ancona, Paola Giannini, Elena Zucca
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES (2015)
Davide Ancona, Federico Frassetto
A three-valued type system for true positives detection in Java-like languages. FTfJP@ECOOP (2015)
Davide Ancona, Agostino Dovier
A Theoretical Perspective of Coinductive Logic Programming. Fundam. Informaticae 140 (3-4) (2015)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9 (2) (2015)
Davide Ancona, Daniela Briola, Viviana Mascardi
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA (2015)
Davide Ancona, Andrea Corradi
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ECOOP (2014)
Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intell. Agent Syst. 12 (1) (2014)
Daniela Briola, Viviana Mascardi, Davide Ancona
Distributed Runtime Verification of JADE Multiagent Systems. IDC (2014)
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
Exploiting Prolog for Projecting Agent Interaction Protocols. CILC (2014)
Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) (2014)
Davide Ancona
How to prove type soundness of Java-like languages without forgoing big-step semantics. FTfJP@ECOOP (2014)
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
Efficient Verification of MASs with Projections. EMAS@AAMAS (2014)
Daniela Briola, Viviana Mascardi, Davide Ancona
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC (2014)
Davide Ancona
Regular corecursion in Prolog. Comput. Lang. Syst. Struct. 39 (4) (2013)
Viviana Mascardi, Davide Ancona
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Davide Ancona
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing. Sci. Comput. Program. 78 (7) (2013)
Davide Ancona, Agostino Dovier
co-LP: Back to the Roots. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Davide Ancona, Elena Zucca
Safe corecursion in coFJ. FTfJP@ECOOP (2013)
Viviana Mascardi, Daniela Briola, Davide Ancona
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA (2013)
Davide Ancona, Matteo Barbieri, Viviana Mascardi
Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC (2013)
Davide Ancona, Giovanni Lagorio
Static Single Information Form for Abstract Compilation. IFIP TCS (2012)
Davide Ancona
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. ECOOP (2012)
Davide Ancona, Sophia Drossopoulou, Viviana Mascardi
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT (2012)
Davide Ancona
Regular corecursion in Prolog. SAC (2012)
Davide Ancona, Elena Zucca
Corecursive Featherweight Java. FTfJP@ECOOP (2012)
Davide Ancona, Paola Giannini, Elena Zucca
Reconciling positional and nominal binding. ITRS (2012)
Davide Ancona, Viviana Mascardi, Ombretta Pavarino
Ontology-based documentation extraction for semi-automatic migration of Java code. SAC (2012)
Davide Ancona
Coinductive big-step operational semantics for type soundness of Java-like languages. FTfJP@ECOOP (2011)
Viviana Mascardi, Davide Ancona
1000 Years of Coo-BDI. DALT (2011)
Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT (2011)

Davide Ancona.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Davide Ancona