A New Method for Testing Decision Procedures in Modal and Terminological Logics. - Fausto Giunchiglia; Marco Roveri; Roberto Sebastiani (Description Logics, 1996)

A New Method for Testing Decision Procedures in Modal Logics. - Fausto Giunchiglia; Marco Roveri; Roberto Sebastiani (CADE, 1997)

Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. - Alessandro Cimatti; Marco Roveri; Paolo Traverso (AAAI/IAAI, 1998)

Strong Planning in Non-Deterministic Domains Via Model Checking. - Alessandro Cimatti; Marco Roveri; Paolo Traverso (AIPS, 1998)

NUSMV: A New Symbolic Model Verifier. - Alessandro Cimatti; Edmund M. Clarke; Fausto Giunchiglia; Marco Roveri (CAV, 1999)

Conformant Planning via Model Checking. - Alessandro Cimatti; Marco Roveri (ECP, 1999)

Conformant Planning via Symbolic Model Checking. - Alessandro Cimatti; Marco Roveri (J. Artif. Intell. Res., 2000)

NUSMV: A New Symbolic Model Checker. - Alessandro Cimatti; Edmund M. Clarke; Fausto Giunchiglia; Marco Roveri (Int. J. Softw. Tools Technol. Transf., 2000)

Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri (IJCAI, 2001)

Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso (IJCAI, 2001)

Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. - Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli (TACAS, 2001)

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 (CAV, 2002)

Integrating BDD-Based and SAT-Based Symbolic Model Checking. - Alessandro Cimatti; Enrico Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; Armando Tacchella (FroCoS, 2002)

Improving the Encoding of LTL Model Checking into SAT. - Alessandro Cimatti; Marco Pistore; Marco Roveri; Roberto Sebastiani (VMCAI, 2002)

Agent-Oriented Modeling by Interleaving Formal and Informal Specification. - Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi (AOSE, 2003)

Specifying and Analyzing Early Requirements: Some Experimental Results. - Ariel Fuxman; Lin Liu 001; Marco Pistore; Marco Roveri; John Mylopoulos (RE, 2003)

Weak, strong, and strong cyclic planning via symbolic model checking. - Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso (Artif. Intell., 2003)

A Framework for Integrating Business Processes and Business Requirements. - Raman Kazhamiakin; Marco Pistore; Marco Roveri (EDOC, 2004)

Bounded Verification of Past LTL. - Alessandro Cimatti; Marco Roveri; Daniel Sheridan (FMCAD, 2004)

Formal Verification of Requirements using SPIN: A Case Study on Web Services. - Raman Kazhamiakin; Marco Pistore; Marco Roveri (SEFM, 2004)

Conformant planning via symbolic model checking and heuristic search. - Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli (Artif. Intell., 2004)

Requirements-Driven Verification of Web Services. - Marco Pistore; Marco Roveri; Paolo Busetta (WSFM, 2004)

Specifying and analyzing early requirements in Tropos. - Ariel Fuxman; Lin Liu 001; John Mylopoulos; Marco Roveri; Paolo Traverso (Requir. Eng., 2004)

Formal analysis of hardware requirements. - Ingo Pill; Simone Semprini; Roberto Cavada; Marco Roveri; Roderick Bloem; Alessandro Cimatti (DAC, 2006)

From PSL to NBA: a Modular Symbolic Encoding. - Alessandro Cimatti; Marco Roveri; Simone Semprini; Stefano Tonetta (FMCAD, 2006)

Symbolic Implementation of Alternating Automata. - Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini (CIAA, 2006)

Strong planning under partial observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso (Artif. Intell., 2006)

Preface. - Roderick Bloem; Marco Roveri; Fabio Somenzi (V&D@FLoC, 2006)

RAT: A Tool for the Formal Analysis of Requirements. - Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev (CAV, 2007)

Boolean Abstraction for Temporal Logic Satisfiability. - Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta (CAV, 2007)

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. - Roberto Cavada; Alessandro Cimatti; Anders Franzén; Krishnamani Kalyanasundaram; Marco Roveri; R. K. Shyamasundar (FMCAD, 2007)

Syntactic Optimizations for PSL Verification. - Alessandro Cimatti; Marco Roveri; Stefano Tonetta (TACAS, 2007)

Symbolic Implementation of Alternating Automata. - Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri (Int. J. Found. Comput. Sci., 2007)

From Informal Requirements to Property-Driven Formal Validation. - Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta (FMICS, 2008)

Object Models with Temporal Constraints. - Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta (SEFM, 2008)

Diagnostic Information for Realizability. - Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Andrei Tchaltsev (VMCAI, 2008)

Symbolic Compilation of PSL. - Alessandro Cimatti; Marco Roveri; Stefano Tonetta (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Requirements Validation for Hybrid Systems. - Alessandro Cimatti; Marco Roveri; Stefano Tonetta (CAV, 2009)

Structure-aware computation of predicate abstraction. - Alessandro Cimatti; Jori Dubrovin; Tommi A. Junttila; Marco Roveri (FMCAD, 2009)

Supporting Requirements Validation: The EuRailCheck Tool. - Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta (ASE, 2009)

Codesign of dependable systems: A component-based modeling language. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (MEMOCODE, 2009)

Model-Based Codesign of Critical Embedded Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (ACES-MB@MoDELS, 2009)

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (SAFECOMP, 2009)

Verification and performance evaluation of aadl models. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (ESEC/SIGSOFT FSE, 2009)

Formalization and Validation of Safety-Critical Requirements - Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta (FMA, 2009)

RATSY - A New Requirements Analysis Tool with Synthesis. - Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Könighofer; Marco Roveri; Viktor Schuppan; Richard Seeber (CAV, 2010)

A Model Checker for AADL. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri; Ralf Wimmer 001 (CAV, 2010)

Tighter integration of BDDs and SMT for Predicate Abstraction. - Alessandro Cimatti; Anders Franzén; Alberto Griggio; Krishnamani Kalyanasundaram; Marco Roveri (DATE, 2010)

Verifying SystemC: A software model checking approach. - Alessandro Cimatti; Andrea Micheli; Iman Narasamdya; Marco Roveri (FMCAD, 2010)

Semi-formal functional verification by EFSM traversing via NuSMV. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Stefano Soffia; Marco Roveri (HLDVT, 2010)

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 (ICSE (2), 2010)

From Sequential Extended Regular Expressions to NFA with Symbolic Labels. - Alessandro Cimatti; Sergio Mover; Marco Roveri; Stefano Tonetta (CIAA, 2010)

Kratos - A Software Model Checker for SystemC. - Alessandro Cimatti; Alberto Griggio; Andrea Micheli; Iman Narasamdya; Marco Roveri (CAV, 2011)

OthelloPlay: a plug-in based tool for requirement formalization and validation. - Roberto Cavada; Alessandro Cimatti; Andrea Micheli; Marco Roveri; Angelo Susi; Stefano Tonetta (TOPI@ICSE, 2011)

A Comprehensive Approach to On-Board Autonomy Verification and Validation. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev (IJCAI, 2011)

An Analytic Evaluation of SystemC Encodings in Promela. - Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri (SPIN, 2011)

Boosting Lazy Abstraction for SystemC with Partial Order Reduction. - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (TACAS, 2011)

Safety, Dependability and Performance Analysis of Extended AADL Models. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (Comput. J., 2011)

Symbolic Model Checking and Safety Assessment of Altarica models. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formalizing requirements with object models and temporal constraints. - Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta (Softw. Syst. Model., 2011)

Solving Temporal Problems Using SMT: Weak Controllability. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2012)

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 (CAV, 2012)

Solving Temporal Problems Using SMT: Strong Controllability. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (CP, 2012)

Verification of parametric system designs. - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (FMCAD, 2012)

Software Model Checking with Explicit Scheduler and Symbolic Threads - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (Log. Methods Comput. Sci., 2012)

Validation of requirements for hybrid systems: A formal approach. - Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta (ACM Trans. Softw. Eng. Methodol., 2012)

Timelines with Temporal Uncertainty. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2013)

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). - María Alpuente; Christophe Joubert; Stefan Kowalewski; Marco Roveri (Sci. Comput. Program., 2013)

Software Model Checking SystemC. - Alessandro Cimatti; Iman Narasamdya; Marco Roveri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. - Alessandro Cimatti; Luke Hunsberger; Andrea Micheli; Marco Roveri (AAAI, 2014)

The nuXmv Symbolic Model Checker. - Roberto Cavada; Alessandro Cimatti; Michele Dorigatti; Alberto Griggio; Alessandro Mariotti; Andrea Micheli; Sergio Mover; Marco Roveri; Stefano Tonetta (CAV, 2014)

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 (TIME, 2014)

Spacecraft early design validation using formal methods. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Panagiotis Katsaros; Konstantinos Mokos; Viet Yen Nguyen; Thomas Noll 001; Bart Postma; Marco Roveri (Reliab. Eng. Syst. Saf., 2014)

Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2015)

Formal Verification of Infinite-State BIP Models. - Simon Bliudze; Alessandro Cimatti; Mohamad Jaber 001; Sergio Mover; Marco Roveri; Wajeb Saab; Qiang Wang 020 (ATVA, 2015)

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (Artif. Intell., 2015)

Solving strong controllability of temporal problems with uncertainty using SMT. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (Constraints An Int. J., 2015)

HRELTL: A temporal logic for hybrid systems. - Alessandro Cimatti; Marco Roveri; Stefano Tonetta (Inf. Comput., 2015)

Safety assessment of AltaRica models via symbolic model checking. - Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta (Sci. Comput. Program., 2015)

Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2016)

Verilog2SMV: A tool for word-level verification. - Ahmed Irfan; Alessandro Cimatti; Alberto Griggio; Marco Roveri; Roberto Sebastiani (DATE, 2016)

Dynamic controllability via Timed Game Automata. - Alessandro Cimatti; Luke Hunsberger; Andrea Micheli; Roberto Posenato; Marco Roveri (Acta Informatica, 2016)

Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. - Alberto Griggio; Marco Roveri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. - Alessandro Cimatti; Andrea Micheli; Marco Roveri (AAAI, 2017)

Satisfiability Modulo Transcendental Functions via Incremental Linearization. - Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani (CADE, 2017)

Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. - Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani (TACAS (1), 2017)

Certifying Proofs for LTL Model Checking. - Alberto Griggio; Marco Roveri; Stefano Tonetta (FMCAD, 2018)

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. - Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani (SAT, 2018)

Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. - Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani (SYNASC, 2018)

Strong temporal planning with uncontrollable durations. - Alessandro Cimatti; Minh Do; Andrea Micheli; Marco Roveri; David E. Smith 001 (Artif. Intell., 2018)

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. - Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani (ACM Trans. Comput. Log., 2018)

Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. - Alessandro Cimatti; Alberto Griggio; Enrico Magnago; Marco Roveri; Stefano Tonetta (CAV (1), 2019)

Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. - Ahmed Irfan; Alessandro Cimatti; Alberto Griggio; Marco Roveri; Roberto Sebastiani (SC-square@SIAM AG, 2019)

SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. - Alessandro Cimatti; Alberto Griggio; Enrico Magnago; Marco Roveri; Stefano Tonetta (Inf. Comput., 2020)

Optimization Modulo Non-linear Arithmetic via Incremental Linearization. - Filippo Bigarella; Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Martin Jonás; Marco Roveri; Roberto Sebastiani; Patrick Trentin (FroCoS, 2021)

Planning with Global State Constraints for Urban Traffic Control. - Franc Ivankovic; Marco Roveri (OVERLAY@GandALF, 2021)

Certifying proofs for SAT-based model checking. - Alberto Griggio; Marco Roveri; Stefano Tonetta (Formal Methods Syst. Des., 2021)

A Comprehensive Approach to On-board Autonomy Verification and Validation. - Marco Bozzano; Alessandro Cimatti; Marco Roveri (ACM Trans. Intell. Syst. Technol., 2021)

Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations. - Marco Roveri; Franc Ivankovic; Luigi Palopoli 002; Daniele Fontanelli (AI*IA, 2022)

Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario. - Enrico Saccon; Luigi Palopoli 002; Marco Roveri (AI*IA, 2022)

Real-Time BDI Agents: A Model and Its Implementation. - Andrea Traldi; Francesco Bruschetti; Marco Robol; Marco Roveri; Paolo Giorgini (IJCAI, 2022)

Model-checking legal contracts with SymboleoPC. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Daniel Amyot; Luigi Logrippo; John Mylopoulos (MoDELS, 2022)

Symboleo2SC: from legal contract specifications to smart contracts. - Aidin Rasti; Daniel Amyot; Alireza Parvizimosaed; Marco Roveri; Luigi Logrippo; Amal Ahmed Anda; John Mylopoulos (MoDELS, 2022)

Developing BDI-Based Robotic Systems with ROS2. - Devis Dal Moro; Marco Robol; Marco Roveri; Paolo Giorgini (PAAMS, 2022)

A Demonstration of BDI-Based Robotic Systems with ROS2. - Devis Dal Moro; Marco Robol; Marco Roveri; Paolo Giorgini (PAAMS, 2022)

Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). - Franc Ivankovic; Mauro Vallati; Lukás Chrpa; Marco Roveri (SOCS, 2022)

PISTIS: Trusted Computing Architecture for Low-end Embedded Systems. - Michele Grisafi; Mahmoud Ammar; Marco Roveri; Bruno Crispo (USENIX Security Symposium, 2022)

Verification modulo theories. - Alessandro Cimatti; Alberto Griggio; Sergio Mover; Marco Roveri; Stefano Tonetta (Formal Methods Syst. Des., 2022)

Specification and analysis of legal contracts with Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; Marco Roveri; Aidin Rasti; Ali Roudak; John Mylopoulos (Softw. Syst. Model., 2022)

Engineering Smart Contracts with Symboleo: A Progress Report. - Daniel Amyot; Luigi Logrippo; John Mylopoulos; Marco Roveri; Amal Ahmed Anda; Alireza Parvizimosaed; Sofana Alfuhaid; Sepehr Sharifi; Aidin Rasti; Regan Meloche; Daniel Sousa-Diaz (CASCON, 2023)

When graphs meet game theory: a scalable approach for robotic car racing. - Ahmet Tikna; Marco Roveri; Daniele Fontanelli; Luigi Palopoli 002 (COMPSAC, 2023)

Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. - Atefeh Zareh Chahoki; Marco Roveri; Daniel Amyot; John Mylopoulos (OVERLAY@AI*IA, 2023)

Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. - Paolo Giorgini; Andrea Mazzullo; Marco Robol; Marco Roveri (OVERLAY@AI*IA, 2023)

Implementing BDI Continual Temporal Planning for Robotic Agents. - Alex Zanetti; Devis Dal Moro; Redi Vreto; Marco Robol; Marco Roveri; Paolo Giorgini (WI/IAT, 2023)

A Markovian model for the spread of the SARS-CoV-2 virus. - Luigi Palopoli 002; Daniele Fontanelli; Marco Frego; Marco Roveri (Autom., 2023)

Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters. - Aya Kherrour; Marco Robol; Marco Roveri; Paolo Giorgini (AREA@ECAI, 2023)

Discovery and Identification of Memory Corruption Vulnerabilities on Bare-Metal Embedded Devices. - Majid Salehi; Luca Degani; Marco Roveri; Danny Hughes 001; Bruno Crispo (IEEE Trans. Dependable Secur. Comput., 2023)

Smart Drill: an Autonomous Drilling End-Effector with Embedded Sensing and Intelligence for Mobile and Collaborative Robots. - Edoardo Del Bianco; Federico Rollo; Marco Roveri; Nikos G. Tsagarakis (CASE, 2024)

LLM-Driven Knowledge Extraction in Temporal and Description Logics. - Damiano Duranti; Paolo Giorgini; Andrea Mazzullo; Marco Robol; Marco Roveri (EKAW, 2024)

Mechanical Design of an Agile Quadruped Robot. - Edoardo Del Bianco; Navvab Kashiri; Marco Roveri; Nikos G. Tsagarakis (ERF (1), 2024)

Semantic-Based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments. - Federico Rollo; Gennaro Raiola; Nikolaos G. Tsagarakis; Marco Roveri; Enrico Mingo Hoffman; Arash Ajoudani (ERF (2), 2024)

Comparing Large Language Models and Grammatical Evolution for Code Generation. - Leonardo Lucio Custode; Chiara Camilla Rambaldi Migliore; Marco Roveri; Giovanni Iacca (GECCO Companion, 2024)

A High-Force Gripper with Embedded Multimodal Sensing for Powerful and Perception Driven Grasping. - Edoardo Del Bianco; Davide Torielli; Federico Rollo; Damiano Gasperini; Arturo Laurenzi; Lorenzo Baccelliere; Luca Muratore; Marco Roveri; Nikos G. Tsagarakis (Humanoids, 2024)

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 002; Marco Roveri (ICRA, 2024)

SymboleoAC: An Access Control Model for Legal Contracts. - Sofana Alfuhaid; Amal Ahmed Anda; Daniel Amyot; Marco Roveri; John Mylopoulos (PoEM, 2024)

A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short paper). - Chiara Camilla Rambaldi Migliore; Giovanni Iacca; Marco Roveri (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Demo - Unmasking the Unseen: CryptojackingTrap, the Most Resilient Evasion-Proof Cryptojacking Malware Detection Algorithm. - Atefeh Zareh Chahoki; Hamid Reza Shahriari; Marco Roveri (WIFS, 2024)

CROSSCON: Cross-platform Open Security Stack for Connected Devices. - Bruno Crispo; Marco Roveri; Sandro Pinto 001; Tiago Gomes 001; Aljosa Pasic; Ákos Milánkovich; David Puron; Ainara Garcia; Ziga Putrle; Peter Ten; Malvina Catalano (CoRR, 2024)

Constructing Behavior Trees from Temporal Plans for Robotic Applications. - Josh Zapf; Marco Roveri; Francisco Martín 001; Juan Carlos Manzanares (CoRR, 2024)

Computing Unsatisfiable Cores for LTLf Specifications. - Marco Roveri; Claudio Di Ciccio; Chiara Di Francescomarino; Chiara Ghidini (J. Artif. Intell. Res., 2024)

CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware. - Atefeh Zareh Chahoki; Hamid Reza Shahriari; Marco Roveri (IEEE Trans. Inf. Forensics Secur., 2024)

FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems. - Michele Grisafi; Mahmoud Ammar; Marco Roveri; Bruno Crispo (ACM Trans. Internet Things, 2024)

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 (CADE, 2025)

Addressing Radiotherapy Scheduling with a Bin Packing Problem Formulation: A Comparative Study of Exact Solvers and Genetic Algorithms. - Chiara Camilla Rambaldi Migliore; David Stanicel; Marco Roveri; Giovanni Iacca (EvoApplications (2), 2025)

Certified Secure Updates for IoT Devices. - Alberto Tacchella; Emanuele Beozzo; Bruno Crispo; Marco Roveri (SEC (1), 2025)

A Temporal Planning Framework for Multi-Agent Systems via LLM-Aided Knowledge Base Management. - Enrico Saccon; Ahmet Tikna; Davide De Martini; Edoardo Lamon; Luigi Palopoli 002; Marco Roveri (CoRR, 2025)

Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution. - Atefeh Zareh Chahoki; Maurice Herlihy; Marco Roveri (CoRR, 2025)

Symbolically-Guided Visual Plan Inference from Uncurated Video Data. - Wenyan Yang; Ahmet Tikna; Yi Zhao 014; Yuying Zhang; Luigi Palopoli 002; Marco Roveri; Joni Pajarinen (CoRR, 2025)

SoK: Concurrency in Blockchain - A Systematic Literature Review and the Unveiling of a Misconception. - Atefeh Zareh Chahoki; Maurice Herlihy; Marco Roveri (CoRR, 2025)

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts. - Atefeh Zareh Chahoki; Marco Roveri (CoRR, 2025)

SymboleoPC: checking properties of legal contracts. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Daniel Amyot; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)

Automated generation of smart contract code from legal contract specifications with Symboleo2SC. - Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)