Davide Ancona

Orcid: 0000-0002-6297-2011

Affiliations:
  • University of Genoa, Italy


According to our database1, Davide Ancona authored at least 152 papers between 1996 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Checking equivalence of corecursive streams: An inductive procedure.
Theor. Comput. Sci., 2024

Preface to the JOT special issue on VORTEX at ECOOP 2022: selected papers.
J. Object Technol., 2024

2023
Checked corecursive streams: Expressivity and completeness.
Theor. Comput. Sci., September, 2023

RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications.
Robotics, April, 2023

Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives.
Proceedings of the Prolog: The Next 50 Years, 2023

Runtime Verification of Hash Code in Mutable Classes.
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022
Preface to the JOT special issue on ECOOP 2021: selected workshop papers.
J. Object Technol., 2022

RV4JaCa - Runtime Verification for Multi-Agent Systems.
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022

Enhancing expressivity of checked corecursive streams (extended version).
CoRR, 2022

Equality of Corecursive Streams Defined by Finitary Equational Systems.
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Enhancing Expressivity of Checked Corecursive Streams.
Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions.
Proceedings of the Multi-Agent Systems - 19th European Conference, 2022

Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.
ACM Trans. Softw. Eng. Methodol., 2021

RML: Theory and practice of a domain specific language for runtime verification.
Sci. Comput. Program., 2021

Enhanced Regular Corecursion for Data Streams.
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020
Flexible coinductive logic programming.
Theory Pract. Log. Program., 2020

A big step from finite to infinite computations.
Sci. Comput. Program., 2020

Can determinism and compositionality coexist in RML?
Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

Can determinism and compositionality coexist in RML? (extended version).
CoRR, 2020

Engineering Reliable Interactions in the Reality-Artificiality Continuum.
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

Slow Rogaining: An Innovative Teamwork Model for Computer Science Education.
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

Flow Programming: A Flexible way to bring the Internet of Things into the Lab.
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

ROSMonitoring: A Runtime Verification Framework for ROS.
Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

A Big Step from Finite to Infinite Computations (SCICO Journal-first).
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Sound Regular Corecursion in coFJ.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Preface: Special Issue on Verification of Objects at Runtime Execution.
Sci. Comput. Program., 2019

Corecursive Featherweight Java Revisited.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

A Deterministic Event Calculus for Effective Runtime Verification.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Timed Trace Expressions.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches.
Int. J. Agent Oriented Softw. Eng., 2018

An acceptance testing approach for Internet of Things systems.
IET Softw., 2018

Preface.
Fundam. Informaticae, 2018

Agents Interoperability via Conformance Modulo Mapping.
Proceedings of the 19th Workshop "From Objects to Agents", 2018

Semantic Subtyping for Non-Strict Languages.
Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

Verifying and Validating Autonomous Systems: Towards an Integrated Approach.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Managing Bad AIPs with RIVERtools.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

A formalism for specification of Java API interfaces.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Towards a Runtime Verification Approach for Internet of Things Systems.
Proceedings of the Current Trends in Web Engineering, 2018

Modeling Infinite Behaviour by Corules.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Recognising Assumption Violations in Autonomous Systems Verification.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

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

Reasoning on divergent computations with coaxioms.
Proc. ACM Program. Lang., 2017

Type safe incremental rebinding.
Math. Struct. Comput. Sci., 2017

Hackmytown: an Educational Experience on Smart Cities.
IxD&A, 2017

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things.
Proceedings of the Proceedings First Workshop on Architectures, 2017

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues.
Proceedings of the Reachability Problems - 11th International Workshop, 2017

Towards an Acceptance Testing Approach for Internet of Things Systems.
Proceedings of the Current Trends in Web Engineering, 2017

Generalizing Inference Systems by Coaxioms.
Proceedings of the Programming Languages and Systems, 2017

Parametric Trace Expressions for Runtime Verification of Java-Like Programs.
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

Decentralizing MAS Monitoring with DecAMon.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Parametric Runtime Verification of Multiagent Systems.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Behavioral Types in Programming Languages.
Found. Trends Program. Lang., 2016

Structural Resolution for Abstract Compilation of Object-Oriented Languages.
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Extending Coinductive Logic Programming with Co-Facts.
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols.
Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain.
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016

Semantic subtyping for imperative object-oriented languages.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Towards a model of corecursion with default.
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

A formal account of SSA in Java-like languages.
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.
Proceedings of the Theory and Practice of Formal Methods, 2016

Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study.
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

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

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.
Intelligenza Artificiale, 2015

A Theoretical Perspective of Coinductive Logic Programming.
Fundam. Informaticae, 2015

Incremental Rebinding with Name Polymorphism.
Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

Constrained Polymorphic Types for a Calculus with Name Variables.
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

A three-valued type system for true positives detection in Java-like languages.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

Global Protocols as First Class Entities for Self-Adaptive Agents.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services.
Web Intell. Agent Syst., 2014

Distributed Runtime Verification of JADE Multiagent Systems.
Proceedings of the Intelligent Distributed Computing VIII, 2014

A Coalgebraic Foundation for Coinductive Union Types.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

How to prove type soundness of Java-like languages without forgoing big-step semantics.
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

Efficient Verification of MASs with Projections.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

Exploiting Prolog for Projecting Agent Interaction Protocols.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems.
Theory Pract. Log. Program., 2013

co-LP: Back to the Roots.
Theory Pract. Log. Program., 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.
Sci. Comput. Program., 2013

Regular corecursion in Prolog.
Comput. Lang. Syst. Struct., 2013

Constrained global types for dynamic checking of protocol conformance in multi-agent systems.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Safe corecursion in coFJ.
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012
Reconciling positional and nominal binding.
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

Ontology-based documentation extraction for semi-automatic migration of Java code.
Proceedings of the ACM Symposium on Applied Computing, 2012

Static Single Information Form for Abstract Compilation.
Proceedings of the Theoretical Computer Science, 2012

Corecursive Featherweight Java.
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason.
Proceedings of the Declarative Agent Languages and Technologies X, 2012

2011
Idealized coinductive type systems for imperative object-oriented programs.
RAIRO Theor. Informatics Appl., 2011

CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

Coinductive big-step operational semantics for type soundness of Java-like languages.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

1000 Years of Coo-BDI.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

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.
Sci. Comput. Program., 2010

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
Proceedings of the Proceedings First Symposium on Games, 2010

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
Proceedings of the Formal Verification of Object-Oriented Software, 2010

Complete coinductive subtyping for abstract compilation of object-oriented languages.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs.
Proceedings of the Second Multi-Agent Logics, 2009

An idealized coinductive type system for imperative object-oriented programs.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Faster than C#: efficient implementation of dynamic languages on .NET.
Proceedings of the 4th workshop on the Implementation, 2009

Coinductive Type Systems for Object-Oriented Languages.
Proceedings of the ECOOP 2009, 2009

2008
Type Inference by Coinductive Logic Programming.
Proceedings of the Types for Proofs and Programs, International Conference, 2008

Special track on Object-Oriented Languages and Systems: editorial message.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007
A provenly correct translation of Fickle into Java.
ACM Trans. Program. Lang. Syst., 2007

A Parametric Calculus for Mobile Open Code.
Proceedings of the Third International Workshop on Developments in Computational Models, 2007

A formal framework for compositional compilation.
Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

Type inference for polymorphic methods in Java-like languages.
Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

RPython: a step towards reconciling dynamically and statically typed OO languages.
Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006
Editorial message: special track on object oriented programming languages and systems.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Flexible Type-Safe Linking of Components for Java-Like Languages.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005
Languages for Programming BDI-style Agents: an Overview.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Mixin Modules for Dynamic Rebinding.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Editorial message: special track on object oriented programming languages and systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Polymorphic bytecode: compositional compilation for Java-like languages.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

COOWS: Adaptive BDI Agents meet Service-Oriented Computing.
Proceedings of the EUMAS 2005, 2005

2004
Stronger Typings for Separate Compilation of Java-like Languages .
J. Object Technol., 2004

A Calculus for Dynamic Reconfiguration with Low Priority Linking.
Proceedings of the Second Workshop on Object Oriented Developments, 2004

Modeling multiple class loaders by a calculus for dynamic linking.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Editorial message: special track on object oriented programming language and systems.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Principal typings for Java-like languages.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Calculus with Lazy Module Operators.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

A Fresh Calculus for Name Management.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Program Generation and Components.
Proceedings of the Formal Methods for Components and Objects, 2004

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003
Jam - designing a Java extension with mixins.
ACM Trans. Program. Lang. Syst., 2003

A Calculus for Dynamic Linking.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Mixin Modules and Computational Effects.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Coo-BDI: Extending the BDI Model with Cooperativity.
Proceedings of the Declarative Agent Languages and Technologies, 2003

2002
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics.
Math. Struct. Comput. Sci., 2002

A calculus of module systems.
J. Funct. Program., 2002

True separate compilation of Java classes.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

A Formal Framework for Java Separate Compilation.
Proceedings of the ECOOP 2002, 2002

2001
A type preserving translation of Fickle into Java.
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

A Core Calculus for Java Exceptions.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

An Effective Translation of Fickle into Java.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

True Modules for Java-like Languages.
Proceedings of the ECOOP 2001, 2001

2000
Jam - A Smooth Extension of Java with Mixins.
Proceedings of the ECOOP 2000, 2000

MIX(FL): A Kernel Language of Mixin Modules.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Extending Casl by Late Binding.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

A Primitive Calculus for Module Systems.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

A Formal Framework with Late Binding.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998
A Theory of Mixin Modules: Basic and Derived Operators.
Math. Struct. Comput. Sci., 1998

An Algebraic Framework for Separate Type-Checking.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997
An algebra of mixin modules.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Overriding Operators in a Mixin-Based Framework.
Proceedings of the Programming Languages: Implementations, 1997

1996
A Formal Framework for Modules with State.
Proceedings of the Algebraic Methodology and Software Technology, 1996

An Algebraic Approach to Mixins and Modularity.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996


  Loading...