재정 지원 요구사항을 통해 공개된 자료 - Viviana Mascardi자세히 알아보기
제공된 곳이 없음: 4
ROSMonitoring: a runtime verification framework for ROS
A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...
Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020
재정 지원 요구사항 정책: UK Research & Innovation
Agent‐oriented and ontology‐driven digital libraries: The IndianaMAS experience
D Briola, V Deufemia, V Mascardi, L Paolino
Software: Practice and Experience 47 (11), 1773-1799, 2017
재정 지원 요구사항 정책: Government of Italy
A chatbot that uses a multi-agent organization to support collaborative learning
M da Silveira Colissi, R Vieira, V Mascardi, RH Bordini
International Conference on Human-Computer Interaction, 31-38, 2021
재정 지원 요구사항 정책: Fundação para a Ciência e a Tecnologia, Portugal
The DigForSim Agent Based Simulator of People Movements in Crime Scenes
A Biagetti, A Ferrando, V Mascardi
Advances in Practical Applications of Agents, Multi-Agent Systems, and …, 2020
재정 지원 요구사항 정책: European Commission
제공된 곳이 있음: 20
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
재정 지원 요구사항 정책: European Commission
Logic-based technologies for multi-agent systems: a systematic literature review
R Calegari, G Ciatto, V Mascardi, A Omicini
Autonomous Agents and Multi-Agent Systems 35 (1), 1, 2021
재정 지원 요구사항 정책: European Commission
Towards a framework for certification of reliable autonomous systems
M Fisher, V Mascardi, KY Rozier, BH Schlingloff, M Winikoff, ...
Autonomous Agents and Multi-Agent Systems 35, 1-65, 2021
재정 지원 요구사항 정책: US National Science Foundation, US National Aeronautics and Space …
Comparing trace expressions and linear temporal logic for runtime verification
D Ancona, A Ferrando, V Mascardi
Theory and practice of formal methods: Essays dedicated to Frank de Boer on …, 2016
재정 지원 요구사항 정책: Government of Italy
Engineering multi-agent systems: State of affairs and the road ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019
재정 지원 요구사항 정책: Knut and Alice Wallenberg Foundation, UK Engineering and Physical Sciences …
Global protocols as first class entities for self-adaptive agents
D Ancona, D Briola, A Ferrando, V Mascardi
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
재정 지원 요구사항 정책: Government of Italy
Verifying and validating autonomous systems: Towards an integrated approach
A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Recognising assumption violations in autonomous systems verification
A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
On enactability of agent interaction protocols: Towards a unified approach
A Ferrando, M Winikoff, S Cranefield, F Dignum, V Mascardi
Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019 …, 2020
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
A holonic multi-agent system for sketch, image and text interpretation in the rock art domain
V Mascardi, D Briola, A Locoro, D Grignani, V Deufemia, L Paolino, ...
IJICIC 10 (1), 81-99, 2014
재정 지원 요구사항 정책: Government of Italy
A volunteered geographic information system for collecting and rating petroglyph data
V Deufemia, V Mascardi, L Paolino, G Polese, H de Lumley
Journal of Visual Languages & Computing 25 (6), 963-972, 2014
재정 지원 요구사항 정책: Government of Italy
Toward a holistic approach to verification and validation of autonomous cognitive systems
A Ferrando, LA Dennis, RC Cardoso, M Fisher, D Ancona, V Mascardi
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (4), 1-43, 2021
재정 지원 요구사항 정책: UK Research & Innovation
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
D Ancona, D Briola, A Ferrando, V Mascardi
Intelligenza Artificiale 9 (2), 131-148, 2015
재정 지원 요구사항 정책: Government of Italy
Bridging the gap between single-and multi-model predictive runtime verification
A Ferrando, RC Cardoso, M Farrell, M Luckcuck, F Papacchini, M Fisher, ...
Formal Methods in System Design 59 (1), 44-76, 2021
재정 지원 요구사항 정책: UK Research & Innovation
Ontology-driven processing and management of digital rock art objects in indianamas
D Briola, V Deufemia, V Mascardi, L Paolino, N Bianchi
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation …, 2014
재정 지원 요구사항 정책: Government of Italy
FrEX: Extracting Property Expropriation Frame Entities from Real Cases.
R Salvaneschi, D Muradore, A Stanchi, V Mascardi
NL4AI@ AI* IA, 87-103, 2020
재정 지원 요구사항 정책: European Commission
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.