default search action

combined dblp search
author search
venue search
publication search

ask others

Davide Ancona

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Viviana Mascardi

> Home > Persons > Davide Ancona

Publications

2023
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/robotics/EngelmannFPABM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/robotics/EngelmannFPABM23
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): 49 (2023)
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/Ancona0M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/Ancona0M23
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP 2023: 25-31
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Ancona0M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Ancona0M23
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years 2023: 300-317
2022
[c115]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AnconaFM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AnconaFM22
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC 2022: 154-170
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/AnconaFM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/AnconaFM22
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS 2022: 22-40
[c111]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09708
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09708
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: 23-36
2021
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AnconaFFM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AnconaFFM21
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205: 102610 (2021)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FerrandoDCFAM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FerrandoDCFAM21
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): 43:1-43:43 (2021)
2020
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/FerrandoC0AFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/FerrandoC0AFM20
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/um/DelzannoGMGPVFA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/um/DelzannoGMGPVFA20
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: 119-126
[c104]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-00391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-00391
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020: 13-32
[c103]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2007-11742
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-11742
Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari:
Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI 2020: 69-80
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-06453
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-06453
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? (extended version). CoRR abs/2008.06453 (2020)
2019
[c102]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/CicconeFAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CicconeFAM19
Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. CILC 2019: 229-241
[c99]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/AnconaFFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/AnconaFFM19
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS 2019: 248-260
2018
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MarateaMAP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MarateaMAP18
Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi:
Preface. Fundam. Informaticae 159(1-2): v-vi (2018)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ijaose/AnconaFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaose/AnconaFM18
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): 402-442 (2018)
[c98]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/FerrandoDA0M18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FerrandoDA0M18
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/AnconaFFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/AnconaFFM18
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS 2018: 59-71
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/AnconaFFM18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/AnconaFFM18a
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Managing Bad AIPs with RIVERtools. PAAMS 2018: 296-300
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FerrandoDA0M18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FerrandoDA0M18
Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281
[c90]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/AnconaFM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/AnconaFM18
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Agents Interoperability via Conformance Modulo Mapping. WOA 2018: 109-115
2017
[j21]
- view
  - electronic edition @ uniroma2.it (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ixda/FattoDBFAMLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ixda/FattoDBFAMLR17
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: 153-164 (2017)
[c89]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/FerrandoAM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FerrandoAM17
Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Decentralizing MAS Monitoring with DecAMon. AAMAS 2017: 239-248
[c88]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AnconaFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AnconaFM17
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Parametric Runtime Verification of Multiagent Systems. AAMAS 2017: 1457-1459
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AnconaFFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AnconaFFM17
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP 2017: 10:1-10:6
2016
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/ftpl/AnconaBB0CDGGGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16
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): 95-230 (2016)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/FerrandoAM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FerrandoAM16
Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS 2016: 39-58
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AnconaFM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AnconaFM16
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods 2016: 47-64
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/AielliACCGMFM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/AielliACCGMFM16
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: 15-26
[c76]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/AnconaBFM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/AnconaBFM16
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA 2016: 35-43
2015
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/AnconaBFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/AnconaBFM15
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9(2): 131-148 (2015)
[c73]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AnconaBFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AnconaBFM15
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS 2015: 1019-1029
[c70]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/AnconaBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/AnconaBM15
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: 65-75
[e1]
- view
- export record
  dblp key:
  - conf/cilc/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/2015
Davide Ancona, Marco Maratea, Viviana Mascardi:
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015 [contents]
2014
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/wias/MascardiABBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wias/MascardiABBR14
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): 83-107 (2014)
[c68]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AnconaBFMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AnconaBFMT14
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Exploiting Prolog for Projecting Agent Interaction Protocols. CILC 2014: 30-45
[c67]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/BriolaMA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/BriolaMA14
Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC 2014: 319-323
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AnconaBFMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AnconaBFMT14
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Efficient Verification of MASs with Projections. EMAS@AAMAS 2014: 246-270
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/idc/BriolaMA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idc/BriolaMA14
Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE Multiagent Systems. IDC 2014: 81-91
2013
[j9]
- view
  - electronic edition @ cambridge.org (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/tplp/MascardiA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/MascardiA13
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)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/MascardiBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MascardiBA13
Viviana Mascardi, Daniela Briola, Davide Ancona:
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA 2013: 300-311
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AnconaBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AnconaBM13
Davide Ancona, Matteo Barbieri, Viviana Mascardi:
Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC 2013: 1377-1379
2012
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AnconaDM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AnconaDM12
Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012: 76-95
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AnconaMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AnconaMP12
Davide Ancona, Viviana Mascardi, Ombretta Pavarino:
Ontology-based documentation extraction for semi-automatic migration of Java code. SAC 2012: 1137-1143
2011
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/MascardiA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/MascardiA11
Viviana Mascardi, Davide Ancona:
1000 Years of Coo-BDI. DALT 2011: 95-101
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/MascardiABR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/MascardiABR11
Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci:
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT 2011: 109-116
2009
[c42]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mallow/MascardiA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mallow/MascardiA09
Viviana Mascardi, Davide Ancona:
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW 2009
2005
[c32]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/eumas/BozzoMAB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/BozzoMAB05
Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta:
COOWS: Adaptive BDI Agents meet Service-Oriented Computing. EUMAS 2005: 473
[c28]
- view
  - electronic edition @ unibo.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/MascardiDA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/MascardiDA05
Viviana Mascardi, Daniela Demergasso, Davide Ancona:
Languages for Programming BDI-style Agents: an Overview. WOA 2005: 9-15
2004
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AnconaMHB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AnconaMHB04
Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini:
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705
2003
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AnconaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AnconaM03
Davide Ancona, Viviana Mascardi:
Coo-BDI: Extending the BDI Model with Cooperativity. DALT 2003: 109-134

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.