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 Angelo Ferrando 0001

> Home > Persons > Davide Ancona

Publications

2023
[j32]
- view
  - electronic edition via DOI (open access)
  - details & 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)
  - details & citations
- 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
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & citations
- 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)
  - details & citations
- 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
[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
  - details & citations
- 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)
  - details & citations
- 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)
  - details & citations
- 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
  - details & citations
- 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
  - details & citations
- 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
[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)
  - details & citations
- 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
  - details & citations
- 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

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.