Marco Roveri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
69
Venues
30
Active years
1997–2025
Best venue rank
A*
Where they publish
- A*CAV11 papers
- BFMCAD7 papers
- A*AAAI7 papers
- A*IJCAI5 papers
- ATACAS4 papers
- ACADE3 papers
- AMODELS3 papers
- AGECCO2 papers
- NationalPAAMS2 papers
- ADATE2 papers
- A*ICSE2 papers
- BSEFM2 papers
- BVMCAI2 papers
- BICLP1 paper
- UnrankedSEC1 paper
- BEKAW1 paper
- A*ICRA1 paper
- BCOMPSAC1 paper
- BSoCS1 paper
- ASAT1 paper
- NationalSYNASC1 paper
- BATVA1 paper
- CTIME1 paper
- ACP1 paper
- CMEMOCODE1 paper
- BSAFECOMP1 paper
- CFMICS1 paper
- A*DAC1 paper
- BEDOC1 paper
- ARE1 paper
Papers
69 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | A Theorem Prover Based Approach for SAT-Based Model Checking Certification. | Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta |
| 2025 | GECCO | A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem. | Alessandro Lorenzi, Stefano Genetti, Chiara Camilla Rambaldi Migliore, Marco Roveri, Giovanni Iacca |
| 2025 | ICLP | When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications - Abstract. | Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri |
| 2025 | SEC | Certified Secure Updates for IoT Devices. | Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri |
| 2024 | EKAW | LLM-Driven Knowledge Extraction in Temporal and Description Logics. | Damiano Duranti, Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri |
| 2024 | GECCO | Comparing Large Language Models and Grammatical Evolution for Code Generation. | Leonardo Lucio Custode, Chiara Camilla Rambaldi Migliore, Marco Roveri, Giovanni Iacca |
| 2024 | ICRA | When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications. | Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri |
| 2023 | COMPSAC | When graphs meet game theory: a scalable approach for robotic car racing. | Ahmet Tikna, Marco Roveri, Daniele Fontanelli, Luigi Palopoli |
| 2022 | IJCAI | Computing unsatisfiable cores for LTLf specifications. | Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini |
| 2022 | IJCAI | Real-Time BDI Agents: A Model and Its Implementation. | Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini |
| 2022 | MODELS | Model-checking legal contracts with SymboleoPC. | Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2022 | MODELS | Symboleo2SC: from legal contract specifications to smart contracts. | Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos |
| 2022 | PAAMS | Developing BDI-Based Robotic Systems with ROS2. | Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini |
| 2022 | PAAMS | A Demonstration of BDI-Based Robotic Systems with ROS2. | Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini |
| 2022 | SoCS | Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). | Franc Ivankovic, Mauro Vallati, Luks Chrpa, Marco Roveri |
| 2019 | CAV | Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. | Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta |
| 2018 | FMCAD | Certifying Proofs for LTL Model Checking. | Alberto Griggio, Marco Roveri, Stefano Tonetta |
| 2018 | SAT | Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2018 | SYNASC | Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2017 | AAAI | Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2017 | CADE | Satisfiability Modulo Transcendental Functions via Incremental Linearization. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2017 | TACAS | Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2016 | AAAI | Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2016 | DATE | Verilog2SMV: A tool for word-level verification. | Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani |
| 2015 | AAAI | Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2015 | ATVA | Formal Verification of Infinite-State BIP Models. | Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang |
| 2014 | AAAI | Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. | Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri |
| 2014 | CAV | The nuXmv Symbolic Model Checker. | Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta |
| 2014 | TIME | Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. | Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri |
| 2013 | AAAI | Timelines with Temporal Uncertainty. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2012 | AAAI | Solving Temporal Problems Using SMT: Weak Controllability. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2012 | CAV | Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. | Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev |
| 2012 | CP | Solving Temporal Problems Using SMT: Strong Controllability. | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
| 2012 | FMCAD | Verification of parametric system designs. | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
| 2011 | CAV | Kratos - A Software Model Checker for SystemC. | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
| 2011 | IJCAI | A Comprehensive Approach to On-Board Autonomy Verification and Validation. | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev |
| 2011 | ICSE | OthelloPlay: a plug-in based tool for requirement formalization and validation. | Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2011 | TACAS | Boosting Lazy Abstraction for SystemC with Partial Order Reduction. | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
| 2010 | CAV | RATSY - A New Requirements Analysis Tool with Synthesis. | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
| 2010 | CAV | A Model Checker for AADL. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
| 2010 | DATE | Tighter integration of BDDs and SMT for Predicate Abstraction. | Alessandro Cimatti, Anders Franzn, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri |
| 2010 | FMCAD | Verifying SystemC: A software model checking approach. | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |
| 2010 | ICSE | Formalization and validation of a subset of the European Train Control System. | Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini |
| 2009 | CAV | Requirements Validation for Hybrid Systems. | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
| 2009 | FMCAD | Structure-aware computation of predicate abstraction. | Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri |
| 2009 | MEMOCODE | Codesign of dependable systems: A component-based modeling language. | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
| 2009 | MODELS | Model-Based Codesign of Critical Embedded Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2009 | SAFECOMP | The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2008 | FMICS | From Informal Requirements to Property-Driven Formal Validation. | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2008 | SEFM | Object Models with Temporal Constraints. | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2008 | VMCAI | Diagnostic Information for Realizability. | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
| 2007 | CAV | RAT: A Tool for the Formal Analysis of Requirements. | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev |
| 2007 | CAV | Boolean Abstraction for Temporal Logic Satisfiability. | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
| 2007 | FMCAD | Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. | Roberto Cavada, Alessandro Cimatti, Anders Franzn, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
| 2007 | TACAS | Syntactic Optimizations for PSL Verification. | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
| 2006 | DAC | Formal analysis of hardware requirements. | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti |
| 2006 | FMCAD | From PSL to NBA: a Modular Symbolic Encoding. | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta |
| 2004 | EDOC | A Framework for Integrating Business Processes and Business Requirements. | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
| 2004 | FMCAD | Bounded Verification of Past LTL. | Alessandro Cimatti, Marco Roveri, Daniel Sheridan |
| 2004 | SEFM | Formal Verification of Requirements using SPIN: A Case Study on Web Services. | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
| 2003 | RE | Specifying and Analyzing Early Requirements: Some Experimental Results. | Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos |
| 2002 | CAV | NuSMV 2: An OpenSource Tool for Symbolic Model Checking. | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
| 2002 | VMCAI | Improving the Encoding of LTL Model Checking into SAT. | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani |
| 2001 | IJCAI | Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri |
| 2001 | IJCAI | Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
| 2001 | TACAS | Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
| 1999 | CAV | NUSMV: A New Symbolic Model Verifier. | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
| 1998 | AAAI | Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. | Alessandro Cimatti, Marco Roveri, Paolo Traverso |
| 1997 | CADE | A New Method for Testing Decision Procedures in Modal Logics. | Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani |