Остановите войну!
for scientists:
default search action
Viviana Mascardi
- > Home > Persons > Viviana Mascardi
Publications
- 2023
- [j28]Angelo Ferrando, Viviana Mascardi:
Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale 17(1): 3-5 (2023) - [j26]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) - [c123]Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS 2023: 233-252 - [c122]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 - [c121]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP 2023: 25-31 - [c119]Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA 2023: 1-8 - [p4]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
- [j25]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) - [c118]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC 2022: 154-170 - [c117]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS 2022: 22-40 - [c115]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 - [e7]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] - 2021
- [j22]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) - [j21]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) - [j20]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) - [c109]Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. WOA 2021: 83-97 - 2020
- [c107]Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi:
The DigForSim Agent Based Simulator of People Movements in Crime Scenes. PAAMS 2020: 42-54 - [c106]Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c104]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 - [c102]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020: 13-32 - [i4]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? (extended version). CoRR abs/2008.06453 (2020) - 2019
- [c99]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS 2019: 1955-1957 - [c98]Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. CILC 2019: 229-241 - [c97]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 - [c96]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS 2019: 248-260 - [c95]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 - [i3]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) - 2018
- [j16]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) - [c92]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c90]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS 2018: 59-71 - [c89]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Managing Bad AIPs with RIVERtools. PAAMS 2018: 296-300 - [c88]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [c87]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Agents Interoperability via Conformance Modulo Mapping. WOA 2018: 109-115 - 2017
- [j15]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) - [c85]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Decentralizing MAS Monitoring with DecAMon. AAMAS 2017: 239-248 - [c84]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Parametric Runtime Verification of Multiagent Systems. AAMAS 2017: 1457-1459 - [c83]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
- [c81]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS 2016: 39-58 - [c80]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 - [c79]Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso:
Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. MultiLingMine@ECIR 2016: 6-15 - [c78]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 - [c77]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
- [j12]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) - [c75]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS 2015: 1019-1029 - [c74]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
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint