default search action
Marco Roveri
Person information
- affiliation: University of Trento, Department of Information Engineering and Computer Science, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j34]Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini:
Computing Unsatisfiable Cores for LTLf Specifications. J. Artif. Intell. Res. 80: 517-558 (2024) - [j33]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: 7465-7477 (2024) - [j32]Michele Grisafi, Mahmoud Ammar, Marco Roveri, Bruno Crispo:
FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems. ACM Trans. Internet Things 5(3): 19:1-19:29 (2024) - [c93]Edoardo Del Bianco, Federico Rollo, Marco Roveri, Nikos G. Tsagarakis:
Smart Drill: an Autonomous Drilling End-Effector with Embedded Sensing and Intelligence for Mobile and Collaborative Robots. CASE 2024: 508-513 - [c92]Damiano Duranti, Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri:
LLM-Driven Knowledge Extraction in Temporal and Description Logics. EKAW 2024: 190-208 - [c91]Leonardo Lucio Custode, Chiara Camilla Rambaldi Migliore, Marco Roveri, Giovanni Iacca:
Comparing Large Language Models and Grammatical Evolution for Code Generation. GECCO Companion 2024: 1830-1837 - [c90]Edoardo Del Bianco, Davide Torielli, Federico Rollo, Damiano Gasperini, Arturo Laurenzi, Lorenzo Baccelliere, Luca Muratore, Marco Roveri, Nikos G. Tsagarakis:
A High-Force Gripper with Embedded Multimodal Sensing for Powerful and Perception Driven Grasping. Humanoids 2024: 149-156 - [c89]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: 17065-17071 - [c88]Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos:
SymboleoAC: An Access Control Model for Legal Contracts. PoEM 2024: 227-243 - [i12]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 abs/2406.03401 (2024) - [i11]Josh Zapf, Marco Roveri, Francisco Martín, Juan Carlos Manzanares:
Constructing Behavior Trees from Temporal Plans for Robotic Applications. CoRR abs/2406.17379 (2024) - 2023
- [j31]Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri:
A Markovian model for the spread of the SARS-CoV-2 virus. Autom. 151: 110921 (2023) - [j30]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): 1124-1138 (2023) - [c87]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: 235-237 - [c86]Ahmet Tikna, Marco Roveri, Daniele Fontanelli, Luigi Palopoli:
When graphs meet game theory: a scalable approach for robotic car racing. COMPSAC 2023: 1-8 - [c85]Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri:
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. OVERLAY@AI*IA 2023: 21-29 - [c84]Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos:
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA 2023: 55-60 - [c83]Alex Zanetti, Devis Dal Moro, Redi Vreto, Marco Robol, Marco Roveri, Paolo Giorgini:
Implementing BDI Continual Temporal Planning for Robotic Agents. WI/IAT 2023: 378-382 - [c82]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: 102-112 - [i10]Alex Zanetti, Devis Dal Moro, Redi Vreto, Marco Robol, Marco Roveri, Paolo Giorgini:
Implementing BDI Continual Temporal Planning for Robotic Agents. CoRR abs/2309.00327 (2023) - [i9]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 abs/2309.15049 (2023) - [i8]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 abs/2312.14487 (2023) - 2022
- [j29]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. Formal Methods Syst. Des. 60(3): 452-481 (2022) - [j28]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): 2395-2427 (2022) - [c81]Enrico Saccon, Luigi Palopoli, Marco Roveri:
Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario. AI*IA 2022: 184-197 - [c80]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: 427-440 - [c79]Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini:
Computing unsatisfiable cores for LTLf specifications. PMAI@IJCAI 2022: 81-84 - [c78]Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini:
Real-Time BDI Agents: A Model and Its Implementation. IJCAI 2022: 511-517 - [c77]Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Model-checking legal contracts with SymboleoPC. MoDELS 2022: 278-288 - [c76]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: 300-310 - [c75]Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini:
Developing BDI-Based Robotic Systems with ROS2. PAAMS 2022: 100-111 - [c74]Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini:
A Demonstration of BDI-Based Robotic Systems with ROS2. PAAMS 2022: 473-479 - [c73]Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri:
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). SOCS 2022: 291-293 - [c72]Michele Grisafi, Mahmoud Ammar, Marco Roveri, Bruno Crispo:
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems. USENIX Security Symposium 2022: 3843-3860 - [i7]Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini:
Computing unsatisfiable cores for LTLf specifications. CoRR abs/2203.04834 (2022) - [i6]Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri:
A Markovian Model for the Spread of the SARS-CoV-2 Virus. CoRR abs/2204.11317 (2022) - [i5]Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini:
Real-Time BDI Agents: a model and its implementation. CoRR abs/2205.00979 (2022) - [i4]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 abs/2211.00605 (2022) - 2021
- [j27]Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57(2): 178-210 (2021) - [j26]Marco Bozzano, Alessandro Cimatti, Marco Roveri:
A Comprehensive Approach to On-board Autonomy Verification and Validation. ACM Trans. Intell. Syst. Technol. 12(4): 46:1-46:29 (2021) - [c71]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: 213-231 - [c70]Franc Ivankovic, Marco Roveri:
Planning with Global State Constraints for Urban Traffic Control. OVERLAY@GandALF 2021: 1-5 - 2020
- [j25]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: 104502 (2020)
2010 – 2019
- 2019
- [c69]Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta:
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) 2019: 376-386 - [c68]Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG 2019 - 2018
- [j24]Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith:
Strong temporal planning with uncontrollable durations. Artif. Intell. 256: 1-34 (2018) - [j23]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): 19:1-19:52 (2018) - [c67]Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying Proofs for LTL Model Checking. FMCAD 2018: 1-9 - [c66]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT 2018: 383-398 - [c65]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: 19-26 - [e4]Antonio Cerone, Marco Roveri:
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. Lecture Notes in Computer Science 10729, Springer 2018, ISBN 978-3-319-74780-4 [contents] - [i3]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. CoRR abs/1801.08718 (2018) - [i2]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR abs/1801.08723 (2018) - 2017
- [c64]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. AAAI 2017: 3547-3554 - [c63]Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE 2017: 95-113 - [c62]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: 58-75 - 2016
- [j22]Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri:
Dynamic controllability via Timed Game Automata. Acta Informatica 53(6-8): 681-722 (2016) - [j21]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): 1026-1039 (2016) - [c61]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. AAAI 2016: 3116-3122 - [c60]Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Verilog2SMV: A tool for word-level verification. DATE 2016: 1156-1159 - 2015
- [j20]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artif. Intell. 224: 1-27 (2015) - [j19]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Solving strong controllability of temporal problems with uncertainty using SMT. Constraints An Int. J. 20(1): 1-29 (2015) - [j18]Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
HRELTL: A temporal logic for hybrid systems. Inf. Comput. 245: 54-71 (2015) - [j17]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: 464-483 (2015) - [c59]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. AAAI 2015: 3254-3260 - [c58]Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang:
Formal Verification of Infinite-State BIP Models. ATVA 2015: 326-343 - 2014
- [j16]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: 20-35 (2014) - [c57]Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri:
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. AAAI 2014: 2242-2249 - [c56]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: 334-342 - [c55]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: 27-36 - 2013
- [j15]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): 775-777 (2013) - [j14]Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Software Model Checking SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(5): 774-787 (2013) - [c54]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Timelines with Temporal Uncertainty. AAAI 2013: 195-201 - 2012
- [j13]Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Software Model Checking with Explicit Scheduler and Symbolic Threads. Log. Methods Comput. Sci. 8(2) (2012) - [j12]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Validation of requirements for hybrid systems: A formal approach. ACM Trans. Softw. Eng. Methodol. 21(4): 22:1-22:34 (2012) - [c53]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Solving Temporal Problems Using SMT: Weak Controllability. AAAI 2012: 448-454 - [c52]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: 378-393 - [c51]Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Solving Temporal Problems Using SMT: Strong Controllability. CP 2012: 248-264 - [c50]Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Verification of parametric system designs. FMCAD 2012: 122-130 - [e3]Jörg Brauer, Marco Roveri, Hendrik Tews:
6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. OASIcs 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-36-1 [contents] - 2011
- [j11]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): 754-775 (2011) - [j10]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) - [j9]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Formalizing requirements with object models and temporal constraints. Softw. Syst. Model. 10(2): 147-160 (2011) - [c49]Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri:
Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316 - [c48]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: 59 - [c47]Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev:
A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403 - [c46]Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
An Analytic Evaluation of SystemC Encodings in Promela. SPIN 2011: 90-107 - [c45]Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS 2011: 341-356 - [i1]Alessandro Cimatti, Marco Roveri:
Conformant Planning via Symbolic Model Checking. CoRR abs/1106.0252 (2011) - 2010
- [c44]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: 425-429 - [c43]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer:
A Model Checker for AADL. CAV 2010: 562-565 - [c42]Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri:
Tighter integration of BDDs and SMT for Predicate Abstraction. DATE 2010: 1707-1712 - [c41]Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri:
Verifying SystemC: A software model checking approach. FMCAD 2010: 51-59 - [c40]Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri:
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65 - [c39]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: 109-118 - [c38]Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta:
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA 2010: 87-94 - [e2]Stefan Kowalewski, Marco Roveri:
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Lecture Notes in Computer Science 6371, Springer 2010, ISBN 978-3-642-15897-1 [contents]
2000 – 2009
- 2009
- [c37]Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Requirements Validation for Hybrid Systems. CAV 2009: 188-203 - [c36]Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri:
Structure-aware computation of predicate abstraction. FMCAD 2009: 9-16 - [c35]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: 665-667 - [c34]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: 121-130 - [c33]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 - [c32]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: 173-186 - [c31]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: 285-286 - [c30]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Formalization and Validation of Safety-Critical Requirements. FMA 2009: 68-75 - 2008
- [j8]Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Symbolic Compilation of PSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(10): 1737-1750 (2008) - [c29]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
From Informal Requirements to Property-Driven Formal Validation. FMICS 2008: 166-181 - [c28]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Object Models with Temporal Constraints. SEFM 2008: 249-258 - [c27]Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev:
Diagnostic Information for Realizability. VMCAI 2008: 52-67 - 2007
- [j7]Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri:
Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007) - [c26]Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev:
RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267 - [c25]Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta:
Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546 - [c24]Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar:
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. FMCAD 2007: 69-76 - [c23]Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518 - [e1]Roderick Bloem, Marco Roveri, Fabio Somenzi:
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(4), Elsevier 2007 [contents] - 2006
- [j6]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006) - [c22]Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti:
Formal analysis of hardware requirements. DAC 2006: 821-826 - [c21]Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta:
From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133 - [c20]Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini:
Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218 - [c19]Roderick Bloem, Marco Roveri, Fabio Somenzi:
Preface. V&D@FLoC 2006: 1 - 2004
- [j5]Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli:
Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004) - [j4]Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso:
Specifying and analyzing early requirements in Tropos. Requir. Eng. 9(2): 132-150 (2004) - [c18]Raman Kazhamiakin, Marco Pistore, Marco Roveri:
A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20 - [c17]Alessandro Cimatti, Marco Roveri, Daniel Sheridan:
Bounded Verification of Past LTL. FMCAD 2004: 245-259 - [c16]Raman Kazhamiakin, Marco Pistore, Marco Roveri:
Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415 - [c15]Marco Pistore, Marco Roveri, Paolo Busetta:
Requirements-Driven Verification of Web Services. WSFM 2004: 95-108 - 2003
- [j3]Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso:
Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1-2): 35-84 (2003) - [c14]Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi:
Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52 - [c13]Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos:
Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105- - 2002
- [c12]Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364 - [c11]Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS 2002: 49-56 - [c10]Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani:
Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207 - 2001
- [c9]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri:
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472 - [c8]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478 - [c7]Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli:
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327 - 2000
- [j2]Alessandro Cimatti, Marco Roveri:
Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. 13: 305-338 (2000) - [j1]Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri:
NUSMV: A New Symbolic Model Checker. Int. J. Softw. Tools Technol. Transf. 2(4): 410-425 (2000)
1990 – 1999
- 1999
- [c6]Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri:
NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499 - [c5]Alessandro Cimatti, Marco Roveri:
Conformant Planning via Model Checking. ECP 1999: 21-34 - 1998
- [c4]Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881 - [c3]Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43 - 1997
- [c2]Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267 - 1996
- [c1]Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 01:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint