Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Mascardi, Viviana
111  Ergebnisse:
Personensuche X
?
1

Runtime Verification of Hash Code in Mutable Classes:

, In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs,
Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 25-31 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

VEsNA, a Framework for Virtual Environments via Natural Lan..:

Gatti, Andrea ; Mascardi, Viviana
Robotics.  12 (2023)  2 - p. 46 , 2023
Link: https://doi.org/10.3390/..
 
?
3

Integrating Ontologies and Cognitive Conversational Agents ..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,
Esfahani, Zeinab Namakizadeh ; Engelmann, Débora Cristina ; Ferrando, Angelo.. - p. 66-82 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Fantastic MASs and Where to Find Them: First Results and Le..:

, In: Engineering Multi-Agent Systems; Lecture Notes in Computer Science,
Briola, Daniela ; Ferrando, Angelo ; Mascardi, Viviana - p. 233-252 , 2023
Link: https://doi.org/10.1007/..
 
?
5

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems..:

Engelmann, Debora C. ; Ferrando, Angelo ; Panisson, Alison R....
Robotics.  12 (2023)  2 - p. 49 , 2023
Link: https://doi.org/10.3390/..
 
?
6

RV4Rasa: A Formalism-Agnostic Runtime Verification Framewor..:

, In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution,
Ferrando, Angelo ; Gatti, Andrea ; Mascardi, Viviana - p. 1-8 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Exploiting Logic Programming for Runtime Verification: Curr..:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 300-317 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Smart rogaining for computer science orientation:

Chessa, Manuela ; Delzanno, Giorgio ; Ferrando, Angelo...
Frontiers in Education.  7 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
9

Explaining Semantic Reasoning Using Argumentation:

, In: Lecture Notes in Computer Science; Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection,
Ferreira, Carlos Eduardo A. ; Panisson, Alison R. ; Engelmann, Débora C.... - p. 153-165 , 2022
Link: https://doi.org/10.1007/..
 
?
10

AIxIA 2021 – Advances in Artificial Intelligence: 20th Inte.. 

Lecture Notes in Artificial Intelligence, 13196
Bandini, Stefania ; Gasparini, Francesca ; Mascardi, Viviana.. - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
11

Engineering Multi-Agent Systems : State of Affairs and t..:

Mascardi, Viviana ; Weyns, Danny ; Ricci, Alessandro
ACM SIGSOFT Software Engineering Notes.  44 (2022)  1 - p. 18-28 , 2022
Link: https://dl.acm.org/doi/1..
 
?
12

Proceedings of the 21st International Conference on Autonom..:

Pelachaud, Catherine ; Taylor, Matthew E. ; Faliszewski, Piotr. , 2022
Link: https://dl.acm.org/doi/1..
 
?
13

Mind the Gap! Runtime Verification of Partially Observable ..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,
Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 22-40 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Argumentation as a Method for Explainable AI : A Systematic..:

, In: 2022 17th Iberian Conference on Information Systems and Technologies (CISTI),
Engelmann, Debora ; Damasio, Juliana ; Panisson, Alison R... - p. 1-6 , 2022
Link: https://doi.org/10.23919..
 
?
15

Toward a Holistic Approach to Verification and Validation o..:

Ferrando, Angelo ; Dennis, Louise A. ; Cardoso, Rafael C....
ACM Transactions on Software Engineering and Methodology.  30 (2021)  4 - p. 1-43 , 2021
Link: https://doi.org/10.1145/..
 
1-15