Davide Ancona

CoRR, 2020

Engineering Reliable Interactions in the Reality-Artificiality Continuum.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

Slow Rogaining: An Innovative Teamwork Model for Computer Science Education.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

ROSMonitoring: A Runtime Verification Framework for ROS.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

A Big Step from Finite to Infinite Computations (SCICO Journal-first).

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Sound Regular Corecursion in coFJ.

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Preface: Special Issue on Verification of Objects at Runtime Execution.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Corecursive Featherweight Java Revisited.

[BibT_eX]

[DOI]

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

A Deterministic Event Calculus for Effective Runtime Verification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Timed Trace Expressions.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2018

An acceptance testing approach for Internet of Things systems.

[BibT_eX]

[DOI]

IET Softw., 2018

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Agents Interoperability via Conformance Modulo Mapping.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop "From Objects to Agents", 2018

Semantic Subtyping for Non-Strict Languages.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

Verifying and Validating Autonomous Systems: Towards an Integrated Approach.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Managing Bad AIPs with RIVERtools.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Luca Franceschini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Towards a Runtime Verification Approach for Internet of Things Systems.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2018

Modeling Infinite Behaviour by Corules.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Recognising Assumption Violations in Autonomous Systems Verification.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Reasoning on divergent computations with coaxioms.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Type safe incremental rebinding.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

Hackmytown: an Educational Experience on Smart Cities.

[BibT_eX]

[DOI]

IxD&A, 2017

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Architectures, 2017

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 11th International Workshop, 2017

Towards an Acceptance Testing Approach for Internet of Things Systems.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2017

Generalizing Inference Systems by Coaxioms.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

Parametric Trace Expressions for Runtime Verification of Java-Like Programs.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

Decentralizing MAS Monitoring with DecAMon.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Parametric Runtime Verification of Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Behavioral Types in Programming Languages.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2016

Structural Resolution for Abstract Compilation of Object-Oriented Languages.

[BibT_eX]

[DOI]

Luca Franceschini

Ekaterina Komendantskaya

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Extending Coinductive Logic Programming with Co-Facts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016

Semantic subtyping for imperative object-oriented languages.

[BibT_eX]

[DOI]

Andrea Corradi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Towards a model of corecursion with default.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

A formal account of SSA in Java-like languages.

[BibT_eX]

[DOI]

Andrea Corradi

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2015

A Theoretical Perspective of Coinductive Logic Programming.

[BibT_eX]

[DOI]

Agostino Dovier

Fundam. Informaticae, 2015

Incremental Rebinding with Name Polymorphism.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop "From Objects to Agents", 2015

Constrained Polymorphic Types for a Calculus with Name Variables.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Federico Frassetto

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

Global Protocols as First Class Entities for Self-Adaptive Agents.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2014

Distributed Runtime Verification of JADE Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VIII, 2014

A Coalgebraic Foundation for Coinductive Union Types.

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.

[BibT_eX]

[DOI]

Andrea Corradi

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.

[BibT_eX]

[DOI]

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

Efficient Verification of MASs with Projections.

[BibT_eX]

[DOI]

Amal El Fallah Seghrouchni

Patrick Taillibert

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

Exploiting Prolog for Projecting Agent Interaction Protocols.

[BibT_eX]

[DOI]

Amal El Fallah Seghrouchni

Patrick Taillibert

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

co-LP: Back to the Roots.

[BibT_eX]

[DOI]

Agostino Dovier

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Regular corecursion in Prolog.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2013

Constrained global types for dynamic checking of protocol conformance in multi-agent systems.

[BibT_eX]

[DOI]

Matteo Barbieri

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Safe corecursion in coFJ.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Reconciling positional and nominal binding.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

Ontology-based documentation extraction for semi-automatic migration of Java code.

[BibT_eX]

[DOI]

Ombretta Pavarino

Proceedings of the ACM Symposium on Applied Computing, 2012

Static Single Information Form for Abstract Compilation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2012

Corecursive Featherweight Java.

[BibT_eX]

[DOI]

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

Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason.

[BibT_eX]

[DOI]

Sophia Drossopoulou

Proceedings of the Declarative Agent Languages and Technologies X, 2012

2011

Idealized coinductive type systems for imperative object-oriented programs.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2011

CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

1000 Years of Coo-BDI.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alex Buckley

Sci. Comput. Program., 2010

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Symposium on Games, 2010

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?

[BibT_eX]

[DOI]

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Complete coinductive subtyping for abstract compilation of object-oriented languages.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

An idealized coinductive type system for imperative object-oriented programs.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Faster than C#: efficient implementation of dynamic languages on .NET.

[BibT_eX]

[DOI]

Antonio Cuni

Armin Rigo

Proceedings of the 4th workshop on the Implementation, 2009

Coinductive Type Systems for Object-Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2009, 2009

2008

Type Inference by Coinductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Special track on Object-Oriented Languages and Systems: editorial message.

[BibT_eX]

[DOI]

Alex Buckley

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

A provenly correct translation of Fickle into Java.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

A Parametric Calculus for Mobile Open Code.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

A formal framework for compositional compilation.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

Type inference for polymorphic methods in Java-like languages.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

RPython: a step towards reconciling dynamically and statically typed OO languages.

[BibT_eX]

[DOI]

Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006

Editorial message: special track on object oriented programming languages and systems.

[BibT_eX]

[DOI]

Mirko Viroli

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Flexible Type-Safe Linking of Components for Java-Like Languages.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Formal Techniques for Java-Like Programs.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005

Languages for Programming BDI-style Agents: an Overview.

[BibT_eX]

[DOI]

Daniela Demergasso

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.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Editorial message: special track on object oriented programming languages and systems.

[BibT_eX]

[DOI]

Rajeev R. Raje

Mirko Viroli

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Polymorphic bytecode: compositional compilation for Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

COOWS: Adaptive BDI Agents meet Service-Oriented Computing.

[BibT_eX]

Proceedings of the EUMAS 2005, 2005

2004

Stronger Typings for Separate Compilation of Java-like Languages .

[BibT_eX]

[DOI]

J. Object Technol., 2004

A Calculus for Dynamic Reconfiguration with Low Priority Linking.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Object Oriented Developments, 2004

Modeling multiple class loaders by a calculus for dynamic linking.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Editorial message: special track on object oriented programming language and systems.

[BibT_eX]

[DOI]

Rajeev R. Raje

Mirko Viroli

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Principal typings for Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Calculus with Lazy Module Operators.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

A Fresh Calculus for Name Management.

[BibT_eX]

[DOI]

Eugenio Moggi

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Program Generation and Components.

[BibT_eX]

[DOI]

Eugenio Moggi

Proceedings of the Formal Methods for Components and Objects, 2004

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Jam - designing a Java extension with mixins.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2003

A Calculus for Dynamic Linking.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Mixin Modules and Computational Effects.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Coo-BDI: Extending the BDI Model with Cooperativity.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

2002

A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2002

A calculus of module systems.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

True separate compilation of Java classes.

[BibT_eX]

[DOI]

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

A Formal Framework for Java Separate Compilation.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2002, 2002

2001

A type preserving translation of Fickle into Java.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

A Core Calculus for Java Exceptions.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

An Effective Translation of Fickle into Java.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

True Modules for Java-like Languages.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2001, 2001

2000

Jam - A Smooth Extension of Java with Mixins.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2000, 2000

MIX(FL): A Kernel Language of Mixin Modules.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Extending Casl by Late Binding.

[BibT_eX]

[DOI]

Maura Cerioli

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

A Primitive Calculus for Module Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

A Formal Framework with Late Binding.

[BibT_eX]

[DOI]

Maura Cerioli

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

A Theory of Mixin Modules: Basic and Derived Operators.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1998

An Algebraic Framework for Separate Type-Checking.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

An algebra of mixin modules.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Overriding Operators in a Mixin-Based Framework.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1997

1996

A Formal Framework for Modules with State.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

An Algebraic Approach to Mixins and Modularity.

[BibT_eX]

[DOI]