Marco Roveri

168 papers A* 24A 13B 17C 6Misc 4Journal 59Unranked 41
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications.
IEEE Robotics Autom. Lett.
Enrico Saccon, Davide De Martini, Matteo Saveriano, Edoardo Lamon, Luigi Palopoli, Marco Roveri
2026 J jnl
Firmware Secure Updates Meet Formal Verification.
ACM Trans. Cyber Phys. Syst.
Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri
2026 J jnl
Learning to Solve Orienteering Problem with Time Windows and Variable Profits.
CoRR
Songqun Gao, Zanxi Ruan, Patrick Floor, Marco Roveri, Luigi Palopoli, Daniele Fontanelli
2025 J jnl
A High-Force Gripper with Embedded Multimodal Sensing for Powerful and Perception Driven Grasping.
CoRR
Edoardo Del Bianco, Davide Torielli, Federico Rollo, Damiano Gasperini, Arturo Laurenzi, Lorenzo Baccelliere, Luca Muratore, Marco Roveri, Nikos G. Tsagarakis
2025 — conf
A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem.
GECCO Companion
Alessandro Lorenzi, Stefano Genetti, Chiara Camilla Rambaldi Migliore, Marco Roveri, Giovanni Iacca
2025 J jnl
A Temporal Planning Framework for Multi-Agent Systems via LLM-Aided Knowledge Base Management.
CoRR
Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri
2025 A conf
A Theorem Prover Based Approach for SAT-Based Model Checking Certification.
CADE
Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta
2025 J jnl
A multi-algorithm pathfinding method: Exploiting performance variations for enhanced efficiency.
Ann. Math. Artif. Intell.
Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini
2025 — conf
Addressing Radiotherapy Scheduling with a Bin Packing Problem Formulation: A Comparative Study of Exact Solvers and Genetic Algorithms.
EvoApplications (2)
Chiara Camilla Rambaldi Migliore, David Stanicel, Marco Roveri, Giovanni Iacca
2025 J jnl
Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications.
CoRR
Enrico Saccon, Davide De Martini, Matteo Saveriano, Edoardo Lamon, Luigi Palopoli, Marco Roveri
2025 J jnl
Automated generation of smart contract code from legal contract specifications with Symboleo2SC.
Softw. Syst. Model.
Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
2025 — conf
Certified Secure Updates for IoT Devices.
SEC (1)
Alberto Tacchella, Emanuele Beozzo, Bruno Crispo, Marco Roveri
2025 — conf
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution.
BRAINS
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
2025 J jnl
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution.
CoRR
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
2025 — conf
LEO-SLAM: A Multi-Level Scan Matching Approach with Submap-based Loop Closure Detection.
ECMR
Federico Rollo, Valentina Pericu, Marco Roveri, Arash Ajoudani, Navvab Kashiri
2025 — ed.
Proceedings of the 1st Workshop on Adjustable Autonomy and Physical Embodied Intelligence (AAPEI 2024) co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 20, 2024.
AAPEI@ECAI
Fabio Patrizi, Raffaello Camoriano, Carlo Masone, Marco Roveri, Luigi Palopoli, Giuseppe Averta, Francesca Pistilli
2025 J jnl
SoK: Concurrency in Blockchain - A Systematic Literature Review and the Unveiling of a Misconception.
CoRR
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
2025 J jnl
Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts.
CoRR
Atefeh Zareh Chahoki, Marco Roveri
2025 J jnl
SymboleoPC: checking properties of legal contracts.
Softw. Syst. Model.
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2025 J jnl
Symbolically-Guided Visual Plan Inference from Uncurated Video Data.
CoRR
Wenyan Yang, Ahmet Tikna, Yi Zhao, Yuying Zhang, Luigi Palopoli, Marco Roveri, Joni Pajarinen
2025 — conf
When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications - Abstract.
ICLP Workshops
Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri
2024 — conf
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short paper).
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Chiara Camilla Rambaldi Migliore, Giovanni Iacca, Marco Roveri
2024 — conf
A High-Force Gripper with Embedded Multimodal Sensing for Powerful and Perception Driven Grasping.
Humanoids
Edoardo Del Bianco, Davide Torielli, Federico Rollo, Damiano Gasperini, Arturo Laurenzi, Lorenzo Baccelliere, Luca Muratore, Marco Roveri, Nikos G. Tsagarakis
2024 J jnl
CROSSCON: Cross-platform Open Security Stack for Connected Devices.
CoRR
Bruno Crispo, Marco Roveri, Sandro Pinto, Tiago Gomes, Aljosa Pasic, Ákos Milánkovich, David Puron, Ainara Garcia, Ziga Putrle, Peter Ten, Malvina Catalano
2024 — conf
Comparing Large Language Models and Grammatical Evolution for Code Generation.
GECCO Companion
Leonardo Lucio Custode, Chiara Camilla Rambaldi Migliore, Marco Roveri, Giovanni Iacca
2024 J jnl
Computing Unsatisfiable Cores for LTLf Specifications.
J. Artif. Intell. Res.
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
2024 J jnl
Constructing Behavior Trees from Temporal Plans for Robotic Applications.
CoRR
Josh Zapf, Marco Roveri, Francisco Martín, Juan Carlos Manzanares
2024 J jnl
CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware.
IEEE Trans. Inf. Forensics Secur.
Atefeh Zareh Chahoki, Hamid Reza Shahriari, Marco Roveri
2024 — conf
Demo - Unmasking the Unseen: CryptojackingTrap, the Most Resilient Evasion-Proof Cryptojacking Malware Detection Algorithm.
WIFS
Atefeh Zareh Chahoki, Hamid Reza Shahriari, Marco Roveri
2024 J jnl
FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems.
ACM Trans. Internet Things
Michele Grisafi, Mahmoud Ammar, Marco Roveri, Bruno Crispo
2024 B conf
LLM-Driven Knowledge Extraction in Temporal and Description Logics.
EKAW
Damiano Duranti, Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri
2024 — conf
Mechanical Design of an Agile Quadruped Robot.
ERF (1)
Edoardo Del Bianco, Navvab Kashiri, Marco Roveri, Nikos G. Tsagarakis
2024 — conf
Semantic-Based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments.
ERF (2)
Federico Rollo, Gennaro Raiola, Nikolaos G. Tsagarakis, Marco Roveri, Enrico Mingo Hoffman, Arash Ajoudani
2024 — conf
Smart Drill: an Autonomous Drilling End-Effector with Embedded Sensing and Intelligence for Mobile and Collaborative Robots.
CASE
Edoardo Del Bianco, Federico Rollo, Marco Roveri, Nikos G. Tsagarakis
2024 Misc conf
SymboleoAC: An Access Control Model for Legal Contracts.
PoEM
Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos
2024 A* conf
When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications.
ICRA
Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri
2023 J jnl
A Markovian model for the spread of the SARS-CoV-2 virus.
Autom.
Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri
2023 J jnl
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-Metal Embedded Devices.
IEEE Trans. Dependable Secur. Comput.
Majid Salehi, Luca Degani, Marco Roveri, Danny Hughes, Bruno Crispo
2023 — conf
Engineering Smart Contracts with Symboleo: A Progress Report.
CASCON
Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
2023 — conf
Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters.
AREA@ECAI
Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini
2023 — conf
Implementing BDI Continual Temporal Planning for Robotic Agents.
WI/IAT
Alex Zanetti, Devis Dal Moro, Redi Vreto, Marco Robol, Marco Roveri, Paolo Giorgini
2023 J jnl
Implementing BDI Continual Temporal Planning for Robotic Agents.
CoRR
Alex Zanetti, Devis Dal Moro, Redi Vreto, Marco Robol, Marco Roveri, Paolo Giorgini
2023 — conf
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.
OVERLAY@AI*IA
Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos
2023 J jnl
Semantic-based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments.
CoRR
Federico Rollo, Gennaro Raiola, Nikolaos G. Tsagarakis, Marco Roveri, Enrico Mingo Hoffman, Arash Ajoudani
2023 — conf
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis.
OVERLAY@AI*IA
Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri
2023 J jnl
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications.
CoRR
Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Marco Roveri, Luigi Palopoli
2023 B conf
When graphs meet game theory: a scalable approach for robotic car racing.
COMPSAC
Ahmet Tikna, Marco Roveri, Daniele Fontanelli, Luigi Palopoli
2022 Misc conf
A Demonstration of BDI-Based Robotic Systems with ROS2.
PAAMS
Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini
2022 J jnl
A Markovian Model for the Spread of the SARS-CoV-2 Virus.
CoRR
Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri
2022 — conf
Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario.
AI*IA
Enrico Saccon, Luigi Palopoli, Marco Roveri
2022 — conf
Computing unsatisfiable cores for LTLf specifications.
PMAI@IJCAI
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
2022 J jnl
Computing unsatisfiable cores for LTLf specifications.
CoRR
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini
2022 Misc conf
Developing BDI-Based Robotic Systems with ROS2.
PAAMS
Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini
2022 A conf
Model-checking legal contracts with SymboleoPC.
MoDELS
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2022 A* conf
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems.
USENIX Security Symposium
Michele Grisafi, Mahmoud Ammar, Marco Roveri, Bruno Crispo
2022 A* conf
Real-Time BDI Agents: A Model and Its Implementation.
IJCAI
Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini
2022 J jnl
Real-Time BDI Agents: a model and its implementation.
CoRR
Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini
2022 J jnl
Specification and analysis of legal contracts with Symboleo.
Softw. Syst. Model.
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
2022 A conf
Symboleo2SC: from legal contract specifications to smart contracts.
MoDELS
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
2022 B conf
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract).
SOCS
Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri
2022 J jnl
Verification modulo theories.
Formal Methods Syst. Des.
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta
2022 — conf
Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations.
AI*IA
Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli
2022 J jnl
Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations.
CoRR
Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli
2021 J jnl
A Comprehensive Approach to On-board Autonomy Verification and Validation.
ACM Trans. Intell. Syst. Technol.
Marco Bozzano, Alessandro Cimatti, Marco Roveri
2021 J jnl
Certifying proofs for SAT-based model checking.
Formal Methods Syst. Des.
Alberto Griggio, Marco Roveri, Stefano Tonetta
2021 — conf
Optimization Modulo Non-linear Arithmetic via Incremental Linearization.
FroCoS
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
2021 — conf
Planning with Global State Constraints for Urban Traffic Control.
OVERLAY@GandALF
Franc Ivankovic, Marco Roveri
2020 J jnl
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.
Inf. Comput.
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
2019 — conf
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties.
CAV (1)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
2019 — conf
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.
SC-square@SIAM AG
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
2018 B conf
Certifying Proofs for LTL Model Checking.
FMCAD
Alberto Griggio, Marco Roveri, Stefano Tonetta
2018 A conf
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.
SAT
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 J jnl
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
ACM Trans. Comput. Log.
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 Misc conf
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions.
SYNASC
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 J jnl
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
CoRR
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 J jnl
Satisfiability Modulo Transcendental Functions via Incremental Linearization.
CoRR
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2018 — ed.
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
SEFM Workshops
Antonio Cerone, Marco Roveri
2018 J jnl
Strong temporal planning with uncontrollable durations.
Artif. Intell.
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith
2017 — conf
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
TACAS (1)
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2017 A conf
Satisfiability Modulo Transcendental Functions via Incremental Linearization.
CADE
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
2017 A* conf
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2016 J jnl
Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alberto Griggio, Marco Roveri
2016 A* conf
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2016 J jnl
Dynamic controllability via Timed Game Automata.
Acta Informatica
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
2016 A conf
Verilog2SMV: A tool for word-level verification.
DATE
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
2015 J jnl
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
Artif. Intell.
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2015 B conf
Formal Verification of Infinite-State BIP Models.
ATVA
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
2015 J jnl
HRELTL: A temporal logic for hybrid systems.
Inf. Comput.
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2015 J jnl
Safety assessment of AltaRica models via symbolic model checking.
Sci. Comput. Program.
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
2015 J jnl
Solving strong controllability of temporal problems with uncertainty using SMT.
Constraints An Int. J.
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2015 A* conf
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2014 C conf
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.
TIME
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
2014 J jnl
Spacecraft early design validation using formal methods.
Reliab. Eng. Syst. Saf.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
2014 A* conf
The nuXmv Symbolic Model Checker.
CAV
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
2014 A* conf
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
AAAI
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri
2013 J jnl
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
Sci. Comput. Program.
María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
2013 J jnl
Software Model Checking SystemC.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
2013 A* conf
Timelines with Temporal Uncertainty.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2012 — ed.
6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, The Netherlands, August 26, 2011
SSV
Jörg Brauer, Marco Roveri, Hendrik Tews
2012 A* conf
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System.
CAV
Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev
2012 J jnl
Software Model Checking with Explicit Scheduler and Symbolic Threads
Log. Methods Comput. Sci.
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
2012 A conf
Solving Temporal Problems Using SMT: Strong Controllability.
CP
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2012 A* conf
Solving Temporal Problems Using SMT: Weak Controllability.
AAAI
Alessandro Cimatti, Andrea Micheli, Marco Roveri
2012 J jnl
Validation of requirements for hybrid systems: A formal approach.
ACM Trans. Softw. Eng. Methodol.
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2012 B conf
Verification of parametric system designs.
FMCAD
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
2011 A* conf
A Comprehensive Approach to On-Board Autonomy Verification and Validation.
IJCAI
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
2011 — conf
An Analytic Evaluation of SystemC Encodings in Promela.
SPIN
Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri
2011 A conf
Boosting Lazy Abstraction for SystemC with Partial Order Reduction.
TACAS
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
2011 J jnl
Conformant Planning via Symbolic Model Checking
CoRR
Alessandro Cimatti, Marco Roveri
2011 J jnl
Formalizing requirements with object models and temporal constraints.
Softw. Syst. Model.
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2011 A* conf
Kratos - A Software Model Checker for SystemC.
CAV
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
2011 — conf
OthelloPlay: a plug-in based tool for requirement formalization and validation.
TOPI@ICSE
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
2011 J jnl
Safety, Dependability and Performance Analysis of Extended AADL Models.
Comput. J.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2011 J jnl
Symbolic Model Checking and Safety Assessment of Altarica models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
2010 A* conf
A Model Checker for AADL.
CAV
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
2010 C ed.
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
FMICS
Stefan Kowalewski, Marco Roveri
2010 — conf
Formalization and validation of a subset of the European Train Control System.
ICSE (2)
Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini
2010 C conf
From Sequential Extended Regular Expressions to NFA with Symbolic Labels.
CIAA
Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta
2010 A* conf
RATSY - A New Requirements Analysis Tool with Synthesis.
CAV
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
2010 — conf
Semi-formal functional verification by EFSM traversing via NuSMV.
HLDVT
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri
2010 A conf
Tighter integration of BDDs and SMT for Predicate Abstraction.
DATE
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri
2010 B conf
Verifying SystemC: A software model checking approach.
FMCAD
Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri
2009 C conf
Codesign of dependable systems: A component-based modeling language.
MEMOCODE
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2009 — conf
Formalization and Validation of Safety-Critical Requirements
FMA
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2009 — conf
Model-Based Codesign of Critical Embedded Systems.
ACES-MB@MoDELS
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2009 A* conf
Requirements Validation for Hybrid Systems.
CAV
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2009 B conf
Structure-aware computation of predicate abstraction.
FMCAD
Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri
2009 A* conf
Supporting Requirements Validation: The EuRailCheck Tool.
ASE
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
2009 B conf
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
SAFECOMP
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
2009 — conf
Verification and performance evaluation of aadl models.
ESEC/SIGSOFT FSE
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
2008 B conf
Diagnostic Information for Realizability.
VMCAI
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev
2008 C conf
From Informal Requirements to Property-Driven Formal Validation.
FMICS
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2008 B conf
Object Models with Temporal Constraints.
SEFM
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
2008 J jnl
Symbolic Compilation of PSL.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2007 A* conf
Boolean Abstraction for Temporal Logic Satisfiability.
CAV
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
2007 B conf
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
FMCAD
Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar
2007 — ed.
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006
V&D@FLoC
Roderick Bloem, Marco Roveri, Fabio Somenzi
2007 A* conf
RAT: A Tool for the Formal Analysis of Requirements.
CAV
Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
2007 J jnl
Symbolic Implementation of Alternating Automata.
Int. J. Found. Comput. Sci.
Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri
2007 A conf
Syntactic Optimizations for PSL Verification.
TACAS
Alessandro Cimatti, Marco Roveri, Stefano Tonetta
2006 A* conf
Formal analysis of hardware requirements.
DAC
Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
2006 B conf
From PSL to NBA: a Modular Symbolic Encoding.
FMCAD
Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta
2006 — conf
Preface.
V&D@FLoC
Roderick Bloem, Marco Roveri, Fabio Somenzi
2006 J jnl
Strong planning under partial observability.
Artif. Intell.
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
2006 C conf
Symbolic Implementation of Alternating Automata.
CIAA
Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini
2004 B conf
A Framework for Integrating Business Processes and Business Requirements.
EDOC
Raman Kazhamiakin, Marco Pistore, Marco Roveri
2004 B conf
Bounded Verification of Past LTL.
FMCAD
Alessandro Cimatti, Marco Roveri, Daniel Sheridan
2004 J jnl
Conformant planning via symbolic model checking and heuristic search.
Artif. Intell.
Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
2004 B conf
Formal Verification of Requirements using SPIN: A Case Study on Web Services.
SEFM
Raman Kazhamiakin, Marco Pistore, Marco Roveri
2004 — conf
Requirements-Driven Verification of Web Services.
WSFM
Marco Pistore, Marco Roveri, Paolo Busetta
2004 J jnl
Specifying and analyzing early requirements in Tropos.
Requir. Eng.
Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso
2003 — conf
Agent-Oriented Modeling by Interleaving Formal and Informal Specification.
AOSE
Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi
2003 A conf
Specifying and Analyzing Early Requirements: Some Experimental Results.
RE
Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
2003 J jnl
Weak, strong, and strong cyclic planning via symbolic model checking.
Artif. Intell.
Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
2002 B conf
Improving the Encoding of LTL Model Checking into SAT.
VMCAI
Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani
2002 — conf
Integrating BDD-Based and SAT-Based Symbolic Model Checking.
FroCoS
Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2002 A* conf
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
CAV
Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2001 A* conf
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning.
IJCAI
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri
2001 A* conf
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
IJCAI
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
2001 A conf
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking.
TACAS
Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
2000 J jnl
Conformant Planning via Symbolic Model Checking.
J. Artif. Intell. Res.
Alessandro Cimatti, Marco Roveri
2000 J jnl
NUSMV: A New Symbolic Model Checker.
Int. J. Softw. Tools Technol. Transf.
Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
1999 — conf
Conformant Planning via Model Checking.
ECP
Alessandro Cimatti, Marco Roveri
1999 A* conf
NUSMV: A New Symbolic Model Verifier.
CAV
Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
1998 — conf
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.
AAAI/IAAI
Alessandro Cimatti, Marco Roveri, Paolo Traverso
1998 — conf
Strong Planning in Non-Deterministic Domains Via Model Checking.
AIPS
Alessandro Cimatti, Marco Roveri, Paolo Traverso
1997 A conf
A New Method for Testing Decision Procedures in Modal Logics.
CADE
Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
1996 — conf
A New Method for Testing Decision Procedures in Modal and Terminological Logics.
Description Logics
Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani