default search action

combined dblp search
author search
venue search
publication search

ask others

Marco Roveri

> Home > Persons

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

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/RoveriCFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/RoveriCFG24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tifs/ChahokiSR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tifs/ChahokiSR24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tiot/GrisafiARC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tiot/GrisafiARC24
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)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/case/BiancoRRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/BiancoRRT24
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
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/CustodeRRI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/CustodeRRI24
Leonardo Lucio Custode, Chiara Camilla Migliore Rambaldi, Marco Roveri, Giovanni Iacca:
Comparing Large Language Models and Grammatical Evolution for Code Generation. GECCO Companion 2024: 1830-1837
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/SacconTML0R24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/SacconTML0R24
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
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-03401
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-03401
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-17379
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-17379
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]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/0002FFR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/0002FFR23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tdsc/SalehiDRHC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/SalehiDRHC23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/AmyotLMRAPASRMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/AmyotLMRAPASRMS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/TiknaRFP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/TiknaRFP23
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/overlay/GiorginiMRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/GiorginiMRR23
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/overlay/ChahokiRAM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/ChahokiRAM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/webi/ZanettiMVRRG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webi/ZanettiMVRRG23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-02346
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-02346
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-00327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-00327
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-15049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-15049
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-14487
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-14487
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/CimattiGMRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CimattiGMRT22
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. Formal Methods Syst. Des. 60(3): 452-481 (2022)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ParvizimosaedSA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ParvizimosaedSA22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/SacconPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/SacconPR22
Enrico Saccon, Luigi Palopoli, Marco Roveri:
Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario. AI*IA 2022: 184-197
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/RoveriIPF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/RoveriIPF22
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/RoveriCFG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/RoveriCFG22
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini:
Computing unsatisfiable cores for LTLf specifications. PMAI@IJCAI 2022: 81-84
[c78]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/TraldiBRRG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/TraldiBRRG22
Andrea Traldi, Francesco Bruschetti, Marco Robol, Marco Roveri, Paolo Giorgini:
Real-Time BDI Agents: A Model and Its Implementation. IJCAI 2022: 511-517
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ParvizimosaedRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ParvizimosaedRR22
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Model-checking legal contracts with SymboleoPC. MoDELS 2022: 278-288
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RastiAPRLAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RastiAPRLAM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/MoroRRG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/MoroRRG22
Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini:
Developing BDI-Based Robotic Systems with ROS2. PAAMS 2022: 100-111
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/MoroRRG22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/MoroRRG22a
Devis Dal Moro, Marco Robol, Marco Roveri, Paolo Giorgini:
A Demonstration of BDI-Based Robotic Systems with ROS2. PAAMS 2022: 473-479
[c73]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/socs/IvankovicVCR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/IvankovicVCR22
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]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/GrisafiARC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/GrisafiARC22
Michele Grisafi, Mahmoud Ammar, Marco Roveri, Bruno Crispo:
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems. USENIX Security Symposium 2022: 3843-3860
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-04834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-04834
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini:
Computing unsatisfiable cores for LTLf specifications. CoRR abs/2203.04834 (2022)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-11317
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-11317
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-00979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-00979
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-00605
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-00605
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GriggioRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GriggioRT21
Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57(2): 178-210 (2021)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tist/BozzanoCR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tist/BozzanoCR21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BigarellaCGIJRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BigarellaCGIJRS21
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gandalf/IvankovicR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gandalf/IvankovicR21
Franc Ivankovic, Marco Roveri:
Planning with Global State Constraints for Urban Traffic Control. OVERLAY@GandALF 2021: 1-5
2020
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CimattiGMRT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CimattiGMRT20
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiGMRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiGMRT19
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/IrfanCGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/IrfanCGRS19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CimattiDMRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CimattiDMRS18
Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith:
Strong temporal planning with uncontrollable durations. Artif. Intell. 256: 1-34 (2018)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CimattiGIRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CimattiGIRS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GriggioRT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GriggioRT18
Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying Proofs for LTL Model Checking. FMCAD 2018: 1-9
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CimattiGIRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CimattiGIRS18
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. SAT 2018: 383-398
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CimattiGIRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CimattiGIRS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/2017w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2017w
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08718
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08718
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08723
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08723
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CoRR abs/1801.08723 (2018)
2017
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CimattiMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CimattiMR17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CimattiGIRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CimattiGIRS17
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Satisfiability Modulo Transcendental Functions via Incremental Linearization. CADE 2017: 95-113
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiGIRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiGIRS17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/CimattiHMPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/CimattiHMPR16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GriggioR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GriggioR16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CimattiMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CimattiMR16
Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. AAAI 2016: 3116-3122
[c60]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/IrfanCGRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/IrfanCGRS16
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani:
Verilog2SMV: A tool for word-level verification. DATE 2016: 1156-1159
2015
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CimattiMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CimattiMR15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/CimattiMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/CimattiMR15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CimattiRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CimattiRT15
Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
HRELTL: A temporal logic for hybrid systems. Inf. Comput. 245: 54-71 (2015)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BozzanoCLMMRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BozzanoCLMMRT15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CimattiMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CimattiMR15
Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. AAAI 2015: 3254-3260
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BliudzeCJMRSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BliudzeCJMRSW15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/BozzanoCKKMNNPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/BozzanoCKKMNNPR14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CimattiHMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CimattiHMR14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CavadaCDGMMMRT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CavadaCDGMMMRT14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/time/CimattiHMPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/CimattiHMPR14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AlpuenteJKR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlpuenteJKR13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/CimattiNR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/CimattiNR13
Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Software Model Checking SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(5): 774-787 (2013)
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CimattiMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CimattiMR13
Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Timelines with Temporal Uncertainty. AAAI 2013: 195-201
2012
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1206-3182
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-3182
Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Software Model Checking with Explicit Scheduler and Symbolic Threads. Log. Methods Comput. Sci. 8(2) (2012)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CimattiRST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CimattiRST12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CimattiMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CimattiMR12
Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Solving Temporal Problems Using SMT: Weak Controllability. AAAI 2012: 448-454
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiCLNRRST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiCLNRRST12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CimattiMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CimattiMR12
Alessandro Cimatti, Andrea Micheli, Marco Roveri:
Solving Temporal Problems Using SMT: Strong Controllability. CP 2012: 248-264
[c50]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/CimattiNR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CimattiNR12
Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Verification of parametric system designs. FMCAD 2012: 122-130
[e3]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/ssv/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/2011
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/BozzanoCKNNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/BozzanoCKNNR11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BozzanoCLMMRT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BozzanoCLMMRT11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/CimattiRST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CimattiRST11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiGMNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiGMNR11
Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri:
Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CavadaCMRST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CavadaCMRST11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/BozzanoCRT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BozzanoCRT11
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev:
A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/CampanaCNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CampanaCNR11
Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
An Analytic Evaluation of SystemC Encodings in Promela. SPIN 2011: 90-107
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiNR11
Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS 2011: 341-356
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-0252
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-0252
Alessandro Cimatti, Marco Roveri:
Conformant Planning via Symbolic Model Checking. CoRR abs/1106.0252 (2011)
2010
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BloemCGHKRSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BloemCGHKRSS10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BozzanoCKNNRW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BozzanoCKNNRW10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/CimattiFGKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/CimattiFGKR10
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]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/CimattiMNR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CimattiMNR10
Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri:
Verifying SystemC: A software model checking approach. FMCAD 2010: 51-59
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/GuglielmoFPSR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/GuglielmoFPSR10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChiappiniCMRRSTV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChiappiniCMRRSTV10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/CimattiMRT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/CimattiMRT10
Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta:
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA 2010: 87-94
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2010
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiRT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiRT09
Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Requirements Validation for Hybrid Systems. CAV 2009: 188-203
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/CimattiDJR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CimattiDJR09
Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri:
Structure-aware computation of predicate abstraction. FMCAD 2009: 9-16
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CavadaCMMMMPRST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CavadaCMMMMPRST09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BozzanoCRKNN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BozzanoCRKNN09
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/BozzanoCKNNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BozzanoCKNNR09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BozzanoCKNNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BozzanoCKNNR09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BozzanoCRKNN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BozzanoCRKNN09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-1741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-1741
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Formalization and Validation of Safety-Critical Requirements. FMA 2009: 68-75
2008
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/CimattiRT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/CimattiRT08
Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Symbolic Compilation of PSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(10): 1737-1750 (2008)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CimattiRST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CimattiRST08
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
From Informal Requirements to Property-Driven Formal Validation. FMICS 2008: 166-181
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CimattiRST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CimattiRST08
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Object Models with Temporal Constraints. SEFM 2008: 249-258
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/CimattiRST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/CimattiRST08
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev:
Diagnostic Information for Realizability. VMCAI 2008: 52-67
2007
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/BloemCPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/BloemCPR07
Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri:
Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007)
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BloemCPRT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BloemCPRT07
Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev:
RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiRST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiRST07
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta:
Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/CavadaCFKRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CavadaCFKRS07
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiRT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiRT07
Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518
[e1]
- view
- export record
  dblp key:
  - conf/floc/2006vd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/floc/2006vd
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BertoliCRT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BertoliCRT06
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/PillSCRBC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/PillSCRBC06
Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti:
Formal analysis of hardware requirements. DAC 2006: 821-826
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/CimattiRST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CimattiRST06
Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta:
From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/BloemCPRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/BloemCPRS06
Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini:
Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BloemRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BloemRS07
Roderick Bloem, Marco Roveri, Fabio Somenzi:
Preface. V&D@FLoC 2006: 1
2004
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CimattiRB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CimattiRB04
Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli:
Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/re/FuxmanLMRT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FuxmanLMRT04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/KazhamiakinPR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/KazhamiakinPR04
Raman Kazhamiakin, Marco Pistore, Marco Roveri:
A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/CimattiRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CimattiRS04
Alessandro Cimatti, Marco Roveri, Daniel Sheridan:
Bounded Verification of Past LTL. FMCAD 2004: 245-259
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/KazhamiakinPR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/KazhamiakinPR04
Raman Kazhamiakin, Marco Pistore, Marco Roveri:
Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PistoreRB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PistoreRB04
Marco Pistore, Marco Roveri, Paolo Busetta:
Requirements-Driven Verification of Web Services. WSFM 2004: 95-108
2003
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CimattiPRT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CimattiPRT03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aose/PeriniPRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aose/PeriniPRS03
Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi:
Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FuxmanLPRM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FuxmanLPRM03
Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos:
Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105-
2002
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiCGGPRST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiCGGPRST02
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]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/CimattiGPRST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/CimattiGPRST02
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/CimattiPRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/CimattiPRS02
Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani:
Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
2001
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BertoliCR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BertoliCR01
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri:
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BertoliCRT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BertoliCRT01
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CimattiRB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CimattiRB01
Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli:
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327
2000
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CimattiR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CimattiR00
Alessandro Cimatti, Marco Roveri:
Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. 13: 305-338 (2000)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CimattiCGR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CimattiCGR00
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

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiCGR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiCGR99
Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri:
NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ecp/CimattiR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecp/CimattiR99
Alessandro Cimatti, Marco Roveri:
Conformant Planning via Model Checking. ECP 1999: 21-34
1998
[c4]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/CimattiRT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CimattiRT98
Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881
[c3]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/CimattiRT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/CimattiRT98
Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GiunchigliaRS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaRS97
Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267
1996
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiunchigliaRS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiunchigliaRS96
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

see FAQ

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.