default search action

combined dblp search
author search
venue search
publication search

ask others

Angelo Ferrando 0001

> Home > Persons

Person information

affiliation: University of Modena and Reggio Emilia, Italy
affiliation (former): University of Genova, Italy

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FerrandoC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FerrandoC25
Angelo Ferrando, Rafael C. Cardoso:
Towards partial monitoring: Never too early to give in. Sci. Comput. Program. 240: 103220 (2025)
2024
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jirs/BeckerDSAKFCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jirs/BeckerDSAKFCF24
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher:
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. J. Intell. Robotic Syst. 110(3): 112 (2024)
[c81]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/00010M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/00010M24
Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
Geometric and Spatial Reasoning in BDI Agents: A Survey. CILC 2024
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BartolettiFLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BartolettiFLM24
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone:
Solvent: Liquidity Verification of Smart Contracts. IFM 2024: 256-266
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/CattaFM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/CattaFM24
Davide Catta, Angelo Ferrando, Vadim Malvone:
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. PRIMA 2024: 206-223
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/FerrandoLMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/FerrandoLMM24
Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano:
Theory and Practice of Quantitative ATL. PRIMA 2024: 231-247
[c77]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/0001M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/0001M24
Angelo Ferrando, Vadim Malvone:
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. WOA 2024: 148-160
[c76]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/Ivan00GM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/Ivan00GM24
Diana Ivan, Angelo Ferrando, Andrea Gatti, Giovanna Guerrini, Viviana Mascardi:
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design. WOA 2024: 177-180
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-02170
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-02170
Angelo Ferrando, Vadim Malvone:
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. CoRR abs/2403.02170 (2024)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-17864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-17864
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone:
Solvent: liquidity verification of smart contracts. CoRR abs/2404.17864 (2024)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-11627
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-11627
Angelo Ferrando, Vadim Malvone:
Runtime Verification via Rational Monitor with Imperfect Information. CoRR abs/2408.11627 (2024)
2023
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BelardinelliFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BelardinelliFM23
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. 316: 103847 (2023)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/FerrandoM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/FerrandoM23
Angelo Ferrando, Viviana Mascardi:
Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale 17(1): 3-5 (2023)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/FerrandoD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/FerrandoD23
Angelo Ferrando, Giorgio Delzanno:
Incrementally predictive runtime verification. J. Log. Comput. 33(4): 796-817 (2023)
[j18]
- 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)
[c75]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/000123
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/000123
Angelo Ferrando:
Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems. IPS-RCRA-SPIRIT@AI*IA 2023
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0001M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0001M23
Angelo Ferrando, Vadim Malvone:
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS 2023: 793-801
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/0001023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/0001023
Angelo Ferrando, Rafael C. Cardoso:
Failure Handling in BDI Plans via Runtime Enforcement. ECAI 2023: 716-723
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/CardosoFCDF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/CardosoFCDF23
Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher:
Towards Forward Responsibility in BDI Agents. EMAS 2023: 3-22
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/BriolaFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/BriolaFM23
Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS 2023: 233-252
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/EsfahaniEFMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/EsfahaniEFMM23
Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi:
Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS 2023: 66-82
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/BeckerDSAKFCF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/BeckerDSAKFCF23
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher:
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS 2023: 214-227
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/GarjanCPPF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/GarjanCPPF23
Mahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale, Vito Paolo Pastore, Angelo Ferrando:
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. EUMAS 2023: 396-405
[c67]
- 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
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/CattaFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/CattaFM23
Davide Catta, Angelo Ferrando, Vadim Malvone:
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. ICAART (Revised Selected Paper) 2023: 72-94
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/0001M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/0001M23
Angelo Ferrando, Vadim Malvone:
How to Find Good Coalitions to Achieve Strategic Objectives. ICAART (1) 2023: 105-113
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Belardinelli0JM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Belardinelli0JM23
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/Chaanine0PPGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/Chaanine0PPGS23
Tommy Chaanine, Angelo Ferrando, Cecilia Pasquale, Vito Paolo Pastore, Mahyar Sadeghi Garjan, S. Siri:
A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs. ITSC 2023: 5198-5203
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/FerrandoD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/FerrandoD23
Angelo Ferrando, Giorgio Delzanno:
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP 2023: 171-182
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/vortex/0001GM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vortex/0001GM23
Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA 2023: 1-8
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/FerrandoMMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/FerrandoMMS23
Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri:
HYASM: A Tool to Verify Hierarchical Systems. WETICE 2023: 1-6
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/UnniyankalB0M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/UnniyankalB0M23
Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA 2023: 1-16
[c58]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-02341
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-02341
Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando:
Runtime Verification for Trustworthy Computing. AREA@ECAI 2023: 49-62
[c57]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-09787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-09787
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
3vLTL: A Tool to Generate Automata for Three-valued LTL. FMAS@iFM 2023: 180-187
[p2]
- 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
[e4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-00333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-00333
Angelo Ferrando, Rafael Cardoso:
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023. EPTCS 391, 2023 [contents]
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-17219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-17219
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023)
2022
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/LosapioMMF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/LosapioMMF22
Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study. Intelligenza Artificiale 16(1): 49-67 (2022)
[c56]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/0001M22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/0001M22
Angelo Ferrando, Vadim Malvone:
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA 2022
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0001C22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0001C22
Angelo Ferrando, Rafael C. Cardoso:
Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. AAMAS 2022: 1589-1591
[c54]
- 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
[c53]
- 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
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/helmeto/Delzanno0GPZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/helmeto/Delzanno0GPZ22
Giorgio Delzanno, Angelo Ferrando, Giovanna Guerrini, Matteo Pusceddu, Giovanni Zanone:
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO 2022: 497-508
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/FerrandoC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/FerrandoC22
Angelo Ferrando, Rafael C. Cardoso:
RVPLAN: Runtime Verification of Assumptions in Automated Planning. ICAART (2) 2022: 67-77
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FarrellMFDG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FarrellMFDG22
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao:
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM 2022: 39-44
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/FerrandoM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/FerrandoM22
Angelo Ferrando, Vadim Malvone:
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS 2022: 140-152
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FerrandoM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FerrandoM22
Angelo Ferrando, Vadim Malvone:
Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM 2022: 335-351
[c47]
- 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
[c46]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14044
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher:
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM 2022: 193-207
[e3]
- view
- export record
  dblp key:
  - conf/woa/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/2022
Angelo Ferrando, Viviana Mascardi:
Proceedings of the 23rd Workshop "From Objects to Agents", Genova, Italy, September 1-3, 2022. CEUR Workshop Proceedings 3261, CEUR-WS.org 2022 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09058
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis:
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. EPTCS 362, 2022 [contents]
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-09344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-09344
Angelo Ferrando, Vadim Malvone:
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. CoRR abs/2202.09344 (2022)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-05507
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-05507
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
A Compositional Approach to Verifying Modular Robotic Systems. CoRR abs/2208.05507 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-11544
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-11544
Luca Ciccone, Francesco Dagnino, Angelo Ferrando:
Ain't No Stopping Us Monitoring Now. CoRR abs/2211.11544 (2022)
2021
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/computers/CardosoF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computers/CardosoF21
Rafael C. Cardoso, Angelo Ferrando:
A Review of Agent-Based Programming for Multi-Agent Systems. Comput. 10(2): 16 (2021)
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/firai/FarrellMFDG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/firai/FarrellMFDG21
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao:
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI 8: 639282 (2021)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/FerrandoCFLPFM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FerrandoCFLPFM21
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi:
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59(1): 44-76 (2021)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/ConchonDF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/ConchonDF21
Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando:
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundam. Informaticae 178(4): 347-378 (2021)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsan/CardosoFBMA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsan/CardosoFBMA21
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Networks 10(2): 33 (2021)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsan/CardosoFBMA21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsan/CardosoFBMA21a
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Special Issue: Agents and Robots for Reliable Engineered Autonomy. J. Sens. Actuator Networks 10(3): 47 (2021)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/robotics/FisherCCDDDFFHJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/robotics/FisherCCDDDFFHJ21
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster:
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10(2): 67 (2021)
[j9]
- 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)
[j8]
- 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)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/FerrandoM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FerrandoM21
Angelo Ferrando, Vadim Malvone:
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS 2021: 1764-1766
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/FerrandoD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FerrandoD21
Angelo Ferrando, Giorgio Delzanno:
Incrementally Predictive Runtime Verification. CILC 2021: 92-106
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/CardosoFD021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/CardosoFD021
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Implementing Ethical Governors in BDI. EMAS@AAMAS 2021: 22-41
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/FerrandoP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/FerrandoP21
Angelo Ferrando, Fabio Papacchini:
StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. EMAS@AAMAS 2021: 114-136
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/flairs/CardosoMSFD021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/CardosoMSFD021
Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS 2021
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/FerrandoM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/FerrandoM21
Angelo Ferrando, Vadim Malvone:
Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS 2021: 302-310
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/0001FC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/0001FC21
Michael Fisher, Angelo Ferrando, Rafael C. Cardoso:
Increasing confidence in autonomous systems. VORTEX@ISSTA 2021: 1-4
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FerrandoC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FerrandoC21
Angelo Ferrando, Rafael C. Cardoso:
RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA 2021: 22-25
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/CardosoFP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/CardosoFP21
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
Automated Planning and BDI Agents: A Case Study. PAAMS 2021: 52-63
[c36]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/woa/LosapioMMF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/LosapioMMF21
Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. WOA 2021: 83-97
[c35]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12585
Angelo Ferrando, Rafael C. Cardoso:
Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS 2021: 38-53
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-08172
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-08172
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne:
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR abs/2110.08172 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-13621
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-13621
Angelo Ferrando, Vadim Malvone:
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. CoRR abs/2112.13621 (2021)
2020
[c34]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/FerrandoKPCS020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/FerrandoKPCS020
Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher:
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA 2020: 7-11
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/CardosoFDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/CardosoFDF20
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT 2020: 191-205
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/CardosoFLF020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/CardosoFLF020
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM 2020: 353-360
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/BiagettiFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/BiagettiFM20
Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi:
The DigForSim Agent Based Simulator of People Movements in Crime Scenes. PAAMS 2020: 42-54
[c30]
- 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
[c29]
- 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
[c28]
- 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
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2007-11260
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-11260
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. EPTCS 319, 2020 [contents]
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-02736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-02736
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR abs/2006.02736 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-10045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-10045
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR abs/2007.10045 (2020)
[i3]
- 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)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Ferrando19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Ferrando19
Angelo Ferrando:
An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond. University of Genoa, Italy, 2019
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Ferrando19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ferrando19
Angelo Ferrando:
The early bird catches the worm: First verify, then monitor! Sci. Comput. Program. 172: 160-179 (2019)
[c27]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/FerrandoWCDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FerrandoWCDM19
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS 2019: 1955-1957
[c26]
- 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
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/FerrandoWCDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/FerrandoWCDM19
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS 2019: 43-64
[c24]
- 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
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/CaponeBMDFGG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/CaponeBMDFGG19
Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini:
Smart RogAgent: Where Agents and Humans Team Up. PRIMA 2019: 541-549
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ZhaoOLRFHFPF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ZhaoOLRFHFPF19
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM 2019: 105-124
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CardosoFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CardosoFP19
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. The Multi-Agent Programming Contest 2019: 31-58
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-01131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-01131
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR abs/1902.01131 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-03019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-03019
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR abs/1909.03019 (2019)
2018
[j6]
- 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)
[c21]
- 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
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/ConchonDF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/ConchonDF18
Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando:
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. NETYS 2018: 209-224
[c19]
- 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
[c18]
- 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
[c17]
- 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
[c16]
- 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
[j5]
- 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)
[c15]
- 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
[c14]
- 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
[c13]
- 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
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/TremoriAF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/TremoriAF16
Alberto Tremori, Matteo Agresta, Angelo Ferrando:
Simulation of autonomous systems in the extended marine domain. Int. J. Simul. Process. Model. 11(1): 9-23 (2016)
[c12]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/Ferrando16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/Ferrando16
Angelo Ferrando:
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification. DC@AI*IA 2016: 40-45
[c11]
- 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
[c10]
- 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
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ecir/FerrandoBMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecir/FerrandoBMR16
Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso:
Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. MultiLingMine@ECIR 2016: 6-15
[c8]
- 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
[c7]
- 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
[j3]
- 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)
[c6]
- 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
[c5]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/BeuxBCDFFGMOPST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella:
Computational thinking for beginners: A successful experience using Prolog. CILC 2015: 31-45
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/Ferrando15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/Ferrando15
Angelo Ferrando:
Parametric protocol-driven agents and their integration in JADE. CILC 2015: 72-84
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/MasseiPTF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/MasseiPTF14
Marina Massei, Simonluca Poggi, Alberto Tremori, Angelo Ferrando:
Innovative models for supporting operational planning. Int. J. Simul. Process. Model. 9(3): 181-194 (2014)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jocs/MasseiPAF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jocs/MasseiPAF14
Marina Massei, Simonluca Poggi, Matteo Agresta, Angelo Ferrando:
Development planning based on interoperable agent driven simulation. J. Comput. Sci. 5(3): 395-407 (2014)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dsrt/BruzzoneDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsrt/BruzzoneDF14
Agostino G. Bruzzone, Luciano Dato, Angelo Ferrando:
Simulation Exploration Experience: Providing Effective Surveillance and Defense for a Moon Base Against Threats from Outer Space. DS-RT 2014: 121-126
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/BruzzoneMPBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/BruzzoneMPBF13
Agostino G. Bruzzone, Marina Massei, Simonluca Poggi, Christian Bartolucci, Angelo Ferrando:
Intelligent Agents for Human Behavior Modeling as Support to Operations. SIMULTECH (Selected Papers) 2013: 119-132
[c1]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/BruzzoneMDPF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/BruzzoneMDPF13
Agostino G. Bruzzone, Francesca Madeo, Margherita Dallorto, Davide Poggi, Angelo Ferrando:
Different modeling and simulation approaches applied to industrial process plants. SpringSim (EAIA) 2013: 6

Coauthor Index

see FAQ

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.