Roveri, Marco
Roveri, Marco
Ingegneria e scienza dell'Informaz (29/10/12-)
6th International Workshop on Systems Software Verification, SSV 2011
2012-01-01 Brauer, Jörg; Roveri, Marco; Tews, Hendrik
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling
2024-01-01 Rambaldi Migliore, Chiara Camilla; Iacca, Giovanni; Roveri, Marco
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
A Comprehensive Approach to On-board Autonomy Verification and Validation
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Critical Overview and Open Questions for Temporal Planning with Uncertainty
2011-01-01 Gennari, Rosella; Roubickova, Anna; Roveri, Marco
A Data-driven Approach for RUL Prediction of an Experimental Filtration System
2020-01-01 Beirami, Hani; Calzà, Davide; Cimatti, Alessandro; Islam, Manjurul; Roveri, Marco; Svaizer, Piergiorgio
A Demonstration of BDI-Based Robotic Systems with ROS2
2022-01-01 Dal Moro, D.; Robol, M.; Roveri, M.; Giorgini, P.
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, R.; Pistore, M.; Roveri, M.
A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem
2025-01-01 Lorenzi, Alessandro; Genetti, Stefano; Rambaldi Migliore, Chiara Camilla; Roveri, Marco; Iacca, Giovanni
A Markovian model for the spread of the SARS-CoV-2 virus
2023-01-01 Palopoli, Luigi; Fontanelli, Daniele; Frego, Marco; Roveri, Marco
A Model Checker for AADL
2010-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco; Wimmer, Ralf
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency
2024-01-01 Kherrour, Aya; Robol, Marco; Roveri, Marco; Giorgini, Paolo
A new method for testing decision procedures in modal and terminological logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A new method for testing decision procedures in modal logics
1997-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A Theorem Prover Based Approach for SAT-Based Model Checking Certification
2025-01-01 Sindoni, G.; Pasini, P.; Cabodi, G.; Camurati, P. E.; Griggio, A.; Palena, M.; Roveri, M.; Tonetta, S.
Abstraction in Model Checking for Bug Hunting
2000-01-01 Roveri, Marco
Abstraction in planning via model checking
1998-01-01 Cimatti, A.; Giunchiglia, Fausto; Roveri, M.
Addressing Radiotherapy Scheduling with a Bin Packing Problem Formulation: A Comparative Study of Exact Solvers and Genetic Algorithms
2025-01-01 Rambaldi Migliore, Chiara Camilla; Stanicel, David; Roveri, Marco; Iacca, Giovanni