Marco Roveri
Università degli Studi di Trento
H-index: 44
Europe-Italy
Top articles of Marco Roveri
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware | IEEE Transactions on Information Forensics and Security | Atefeh Zareh Chahoki Hamid Reza Shahriari Marco Roveri | 2024/1/15 |
A Markovian model for the spread of the SARS-CoV-2 virus | Automatica | Luigi Palopoli Daniele Fontanelli Marco Frego Marco Roveri | 2023/5/1 |
Implementing bdi continual temporal planning for robotic agents | Alex Zanetti Devis Dal Moro Redi Vreto Marco Robol Marco Roveri | 2023/10/26 | |
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements | Atefeh Zareh Chahoki Marco Roveri Daniel Amyot John Mylopoulos | 2023/11/7 | |
Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters | arXiv preprint arXiv:2310.02346 | Aya Kherrour Marco Robol Marco Roveri Paolo Giorgini | 2023/10/3 |
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis | Paolo Giorgini Andrea Mazzullo Marco Robol Marco Roveri | 2023 | |
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications | arXiv preprint arXiv:2309.15049 | Enrico Saccon Ahmet Tikna Davide De Martini Edoardo Lamon Marco Roveri | 2023/9/26 |
Engineering Smart Contracts with Symboleo: A Progress Report | Daniel Amyot Luigi Logrippo John Mylopoulos Marco Roveri Amal Ahmed Anda | 2023/9/11 | |
When graphs meet game theory: a scalable approach for robotic car racing | Ahmet Tikna Marco Roveri Daniele Fontanelli Luigi Palopoli | 2023/6/26 | |
{PISTIS}: Trusted Computing Architecture for Low-end Embedded Systems | Michele Grisafi Mahmoud Ammar Marco Roveri Bruno Crispo | 2022 | |
Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations | Marco Roveri Franc Ivankovic Luigi Palopoli Daniele Fontanelli | 2022/11/28 | |
Developing BDI-based robotic systems with ROS2 | Devis Dal Moro Marco Robol Marco Roveri Paolo Giorgini | 2022/7/13 | |
Verification modulo theories | Formal Methods in System Design | Alessandro Cimatti Alberto Griggio Sergio Mover Marco Roveri Stefano Tonetta | 2022/6 |
Model-checking legal contracts with SymboleoPC | Alireza Parvizimosaed Marco Roveri Aidin Rasti Daniel Amyot Luigi Logrippo | 2022/10/23 | |
Real-time BDI agents: a model and its implementation | arXiv preprint arXiv:2205.00979 | Andrea Traldi Francesco Bruschetti Marco Robol Marco Roveri Paolo Giorgini | 2022/5/2 |
Symboleo2SC: From legal contract specifications to smart contracts | Aidin Rasti Daniel Amyot Alireza Parvizimosaed Marco Roveri Luigi Logrippo | 2022/10/23 | |
Computing unsatisfiable cores for LTLf specifications | arXiv preprint arXiv:2203.04834 | Marco Roveri Claudio Di Ciccio Chiara Di Francescomarino Chiara Ghidini | 2022/3/9 |
Specification and analysis of legal contracts with Symboleo | Software and Systems Modeling | Alireza Parvizimosaed Sepehr Sharifi Daniel Amyot Luigi Logrippo Marco Roveri | 2022/12 |
Urban traffic control via planning with global state constraints | Proceedings of the International Symposium on Combinatorial Search | Franc Ivankovic Mauro Vallati Lukáš Chrpa Marco Roveri | 2022/7/17 |
Discovery and identification of memory corruption vulnerabilities on bare-metal embedded devices | IEEE Transactions on Dependable and Secure Computing | Majid Salehi Luca Degani Marco Roveri Danny Hughes Bruno Crispo | 2022/2/8 |