Marco Roveri

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 60

Top Venues

Publications

Bruno Crispo, Marco Roveri, Sandro Pinto, Tiago Gomes, Aljosa Pasic, Ákos Milánkovich, David Puron, Ainara Garcia, Ziga Putrle, Peter Ten, Malvina Catalano
CROSSCON: Cross-platform Open Security Stack for Connected Devices. CoRR (2024)
Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri
When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications. ICRA (2024)
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
Computing Unsatisfiable Cores for LTLf Specifications. J. Artif. Intell. Res. 80 (2024)
Josh Zapf, Marco Roveri, Francisco Martin, Juan Carlos Manzanares
Constructing Behavior Trees from Temporal Plans for Robotic Applications. CoRR (2024)
Atefeh Zareh Chahoki, Hamid Reza Shahriari, Marco Roveri
CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware. IEEE Trans. Inf. Forensics Secur. 19 (2024)
Leonardo Lucio Custode, Chiara Camilla Migliore Rambaldi, Marco Roveri, Giovanni Iacca
Comparing Large Language Models and Grammatical Evolution for Code Generation. GECCO Companion (2024)
Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
Engineering Smart Contracts with Symboleo: A Progress Report. CASCON (2023)
Ahmet Tikna, Marco Roveri, Daniele Fontanelli, Luigi Palopoli
When graphs meet game theory: a scalable approach for robotic car racing. COMPSAC (2023)
Alex Zanetti, Devis Dal Moro, Redi Vreto, Marco Robol, Marco Roveri, Paolo Giorgini
Implementing BDI Continual Temporal Planning for Robotic Agents. WI/IAT (2023)
Federico Rollo, Gennaro Raiola, Nikolaos G. Tsagarakis, Marco Roveri, Enrico Mingo Hoffman, Arash Ajoudani
Semantic-based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments. CoRR (2023)
Majid Salehi, Luca Degani, Marco Roveri, Danny Hughes, Bruno Crispo
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-Metal Embedded Devices. IEEE Trans. Dependable Secur. Comput. 20 (2) (2023)
Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Marco Roveri, Luigi Palopoli
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications. CoRR (2023)
Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. OVERLAY@AI*IA (2023)
Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA (2023)
Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri
A Markovian model for the spread of the SARS-CoV-2 virus. Autom. 151 (2023)
Alex Zanetti, Devis Dal Moro, Redi Vreto, Marco Robol, Marco Roveri, Paolo Giorgini
Implementing BDI Continual Temporal Planning for Robotic Agents. CoRR (2023)
Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini
Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters. AREA@ECAI (2023)
Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini
Real-Time BDI Agents: a model and its implementation. CoRR (2022)
Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini
Developing BDI-Based Robotic Systems with ROS2. PAAMS (2022)
Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri
A Markovian Model for the Spread of the SARS-CoV-2 Virus. CoRR (2022)
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
Computing unsatisfiable cores for LTLf specifications. PMAI@IJCAI (2022)
Enrico Saccon, Luigi Palopoli, Marco Roveri
Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario. AI*IA (2022)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta
Verification modulo theories. Formal Methods Syst. Des. 60 (3) (2022)
Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini
Real-Time BDI Agents: A Model and Its Implementation. IJCAI (2022)
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Model-checking legal contracts with SymboleoPC. MoDELS (2022)
Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli
Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations. AI*IA (2022)
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
Computing unsatisfiable cores for LTLf specifications. CoRR (2022)
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
Symboleo2SC: from legal contract specifications to smart contracts. MoDELS (2022)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. 21 (6) (2022)
Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). SOCS (2022)
Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli
Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations. CoRR (2022)
Michele Grisafi, Mahmoud Ammar, Marco Roveri, Bruno Crispo
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems. USENIX Security Symposium (2022)
Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini
A Demonstration of BDI-Based Robotic Systems with ROS2. PAAMS (2022)
Franc Ivankovic, Marco Roveri
Planning with Global State Constraints for Urban Traffic Control. OVERLAY@GandALF (2021)
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS (2021)
Alberto Griggio, Marco Roveri, Stefano Tonetta
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57 (2) (2021)
Marco Bozzano, Alessandro Cimatti, Marco Roveri
A Comprehensive Approach to On-board Autonomy Verification and Validation. ACM Trans. Intell. Syst. Technol. 12 (4) (2021)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272 (2020)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) (2019)
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG (2019)
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith
Strong temporal planning with uncontrollable durations. Artif. Intell. 256 (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR (2018)
Alberto Griggio, Marco Roveri, Stefano Tonetta
Certifying Proofs for LTL Model Checking. FMCAD (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. ACM Trans. Comput. Log. 19 (3) (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR (2018)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. SYNASC (2018)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. AAAI (2017)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. TACAS (1) (2017)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE (2017)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. AAAI (2016)
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
Verilog2SMV: A tool for word-level verification. DATE (2016)
Alberto Griggio, Marco Roveri
Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (6) (2016)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
Dynamic controllability via Timed Game Automata. Acta Informatica 53 (6-8) (2016)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artif. Intell. 224 (2015)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. AAAI (2015)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Solving strong controllability of temporal problems with uncertainty using SMT. Constraints An Int. J. 20 (1) (2015)
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
HRELTL: A temporal logic for hybrid systems. Inf. Comput. 245 (2015)
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
Formal Verification of Infinite-State BIP Models. ATVA (2015)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98 (2015)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. TIME (2014)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132 (2014)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. AAAI (2014)
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
The nuXmv Symbolic Model Checker. CAV (2014)
María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program. 78 (7) (2013)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Software Model Checking SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (5) (2013)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Timelines with Temporal Uncertainty. AAAI (2013)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Solving Temporal Problems Using SMT: Weak Controllability. AAAI (2012)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Software Model Checking with Explicit Scheduler and Symbolic Threads Log. Methods Comput. Sci. 8 (2) (2012)
Alessandro Cimatti, Andrea Micheli, Marco Roveri
Solving Temporal Problems Using SMT: Strong Controllability. CP (2012)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Verification of parametric system designs. FMCAD (2012)
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Validation of requirements for hybrid systems: A formal approach. ACM Trans. Softw. Eng. Methodol. 21 (4) (2012)
Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. CAV (2012)
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS (2011)
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
OthelloPlay: a plug-in based tool for requirement formalization and validation. TOPI@ICSE (2011)
Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri
An Analytic Evaluation of SystemC Encodings in Promela. SPIN (2011)
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Formalizing requirements with object models and temporal constraints. Softw. Syst. Model. 10 (2) (2011)
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
Kratos - A Software Model Checker for SystemC. CAV (2011)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI (2011)
Alessandro Cimatti, Marco Roveri
Conformant Planning via Symbolic Model Checking CoRR (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54 (5) (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
A Model Checker for AADL. CAV (2010)
Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri
Verifying SystemC: A software model checking approach. FMCAD (2010)
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
RATSY - A New Requirements Analysis Tool with Synthesis. CAV (2010)
Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA (2010)
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri
Tighter integration of BDDs and SMT for Predicate Abstraction. DATE (2010)
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT (2010)
Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini
Formalization and validation of a subset of the European Train Control System. ICSE (2) (2010)
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Formalization and Validation of Safety-Critical Requirements FMA (2009)
Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri
Structure-aware computation of predicate abstraction. FMCAD (2009)
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
Requirements Validation for Hybrid Systems. CAV (2009)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
Codesign of dependable systems: A component-based modeling language. MEMOCODE (2009)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP (2009)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE (2009)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS (2009)
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool. ASE (2009)
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
From Informal Requirements to Property-Driven Formal Validation. FMICS (2008)
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
Symbolic Compilation of PSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (10) (2008)
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev
Diagnostic Information for Realizability. VMCAI (2008)

Marco Roveri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Roveri