Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Roveri
@article{DBLP:journals/automatica/0002FFR23,
author = {Luigi Palopoli and
Daniele Fontanelli and
Marco Frego and
Marco Roveri},
title = {A Markovian model for the spread of the SARS-CoV-2 virus},
journal = {Autom.},
volume = {151},
pages = {110921},
year = {2023},
url = {https://doi.org/10.1016/j.automatica.2023.110921},
doi = {10.1016/J.AUTOMATICA.2023.110921},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/0002FFR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/SalehiDRHC23,
author = {Majid Salehi and
Luca Degani and
Marco Roveri and
Danny Hughes and
Bruno Crispo},
title = {Discovery and Identification of Memory Corruption Vulnerabilities
on Bare-Metal Embedded Devices},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {20},
number = {2},
pages = {1124--1138},
year = {2023},
url = {https://doi.org/10.1109/TDSC.2022.3149371},
doi = {10.1109/TDSC.2022.3149371},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/SalehiDRHC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/AmyotLMRAPASRMS23,
author = {Daniel Amyot and
Luigi Logrippo and
John Mylopoulos and
Marco Roveri and
Amal Ahmed Anda and
Alireza Parvizimosaed and
Sofana Alfuhaid and
Sepehr Sharifi and
Aidin Rasti and
Regan Meloche and
Daniel Sousa{-}Diaz},
editor = {Paria Shirani and
Iosif{-}Viorel Onut and
Paula Branco},
title = {Engineering Smart Contracts with Symboleo: {A} Progress Report},
booktitle = {Proceedings of the 33rd Annual International Conference on Computer
Science and Software Engineering, {CASCON} 2023, Las Vegas, NV, USA,
September 11-14, 2023},
pages = {235--237},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3615924.3623631},
doi = {10.5555/3615924.3623631},
timestamp = {Thu, 11 Jan 2024 15:48:12 +0100},
biburl = {https://dblp.org/rec/conf/cascon/AmyotLMRAPASRMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TiknaRFP23,
author = {Ahmet Tikna and
Marco Roveri and
Daniele Fontanelli and
Luigi Palopoli},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {When graphs meet game theory: a scalable approach for robotic car
racing},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.00011},
doi = {10.1109/COMPSAC57700.2023.00011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/TiknaRFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/GiorginiMRR23,
author = {Paolo Giorgini and
Andrea Mazzullo and
Marco Robol and
Marco Roveri},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Towards Large Language Model Architectures for Knowledge Acquisition
and Strategy Synthesis},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {21--29},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper4.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/overlay/GiorginiMRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/ChahokiRAM23,
author = {Atefeh Zareh Chahoki and
Marco Roveri and
Daniel Amyot and
John Mylopoulos},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {55--60},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper9.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/ChahokiRAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/ZanettiMVRRG23,
author = {Alex Zanetti and
Devis Dal Moro and
Redi Vreto and
Marco Robol and
Marco Roveri and
Paolo Giorgini},
title = {Implementing {BDI} Continual Temporal Planning for Robotic Agents},
booktitle = {{IEEE} International Conference on Web Intelligence and Intelligent
Agent Technology, {WI-IAT} 2023, Venice, Italy, October 26-29, 2023},
pages = {378--382},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WI-IAT59888.2023.00062},
doi = {10.1109/WI-IAT59888.2023.00062},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/ZanettiMVRRG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-02346,
author = {Aya Kherrour and
Marco Robol and
Marco Roveri and
Paolo Giorgini},
editor = {Angelo Ferrando and
Rafael Cardoso},
title = {Evaluating Heuristic Search Algorithms in Pathfinding: {A} Comprehensive
Study on Performance Metrics and Domain Parameters},
booktitle = {Proceedings of the Third Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
series = {{EPTCS}},
volume = {391},
pages = {102--112},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.391.12},
doi = {10.4204/EPTCS.391.12},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-00327,
author = {Alex Zanetti and
Devis Dal Moro and
Redi Vreto and
Marco Robol and
Marco Roveri and
Paolo Giorgini},
title = {Implementing {BDI} Continual Temporal Planning for Robotic Agents},
journal = {CoRR},
volume = {abs/2309.00327},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.00327},
doi = {10.48550/ARXIV.2309.00327},
eprinttype = {arXiv},
eprint = {2309.00327},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-00327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-15049,
author = {Enrico Saccon and
Ahmet Tikna and
Davide De Martini and
Edoardo Lamon and
Marco Roveri and
Luigi Palopoli},
title = {When Prolog meets generative models: a new approach for managing knowledge
and planning in robotic applications},
journal = {CoRR},
volume = {abs/2309.15049},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.15049},
doi = {10.48550/ARXIV.2309.15049},
eprinttype = {arXiv},
eprint = {2309.15049},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-15049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-14487,
author = {Federico Rollo and
Gennaro Raiola and
Nikolaos G. Tsagarakis and
Marco Roveri and
Enrico Mingo Hoffman and
Arash Ajoudani},
title = {Semantic-based Loco-Manipulation for Human-Robot Collaboration in
Industrial Environments},
journal = {CoRR},
volume = {abs/2312.14487},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.14487},
doi = {10.48550/ARXIV.2312.14487},
eprinttype = {arXiv},
eprint = {2312.14487},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-14487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CimattiGMRT22,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
title = {Verification modulo theories},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {3},
pages = {452--481},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00434-x},
doi = {10.1007/S10703-023-00434-X},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CimattiGMRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ParvizimosaedSA22,
author = {Alireza Parvizimosaed and
Sepehr Sharifi and
Daniel Amyot and
Luigi Logrippo and
Marco Roveri and
Aidin Rasti and
Ali Roudak and
John Mylopoulos},
title = {Specification and analysis of legal contracts with Symboleo},
journal = {Softw. Syst. Model.},
volume = {21},
number = {6},
pages = {2395--2427},
year = {2022},
url = {https://doi.org/10.1007/s10270-022-01053-6},
doi = {10.1007/S10270-022-01053-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ParvizimosaedSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SacconPR22,
author = {Enrico Saccon and
Luigi Palopoli and
Marco Roveri},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Comparing Multi-Agent Path Finding Algorithms in a Real Industrial
Scenario},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {184--197},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_13},
doi = {10.1007/978-3-031-27181-6\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SacconPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RoveriIPF22,
author = {Marco Roveri and
Franc Ivankovic and
Luigi Palopoli and
Daniele Fontanelli},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection:
Opportunities and Limitations},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {427--440},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_30},
doi = {10.1007/978-3-031-27181-6\_30},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/RoveriIPF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RoveriCFG22,
author = {Marco Roveri and
Claudio Di Ciccio and
Chiara Di Francescomarino and
Chiara Ghidini},
editor = {Giuseppe De Giacomo and
Antonella Guzzo and
Marco Montali and
Lior Limonad and
Fabiana Fournier and
Tagatha Chakraborti},
title = {Computing unsatisfiable cores for LTLf specifications},
booktitle = {Proceedings of the Workshop on Process Management in the {AI} Era
{(PMAI} 2022) co-located with 31st International Joint Conference
on Artificial Intelligence and the 25th European Conference on Artificial
Intelligence {(IJCAI-ECAI} 2022), Wien, Austria, July 23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3310},
pages = {81--84},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3310/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/RoveriCFG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TraldiBRRG22,
author = {Andrea Traldi and
Francesco Bruschetti and
Marco Robol and
Marco Roveri and
Paolo Giorgini},
editor = {Luc De Raedt},
title = {Real-Time {BDI} Agents: {A} Model and Its Implementation},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {511--517},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/73},
doi = {10.24963/IJCAI.2022/73},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/TraldiBRRG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ParvizimosaedRR22,
author = {Alireza Parvizimosaed and
Marco Roveri and
Aidin Rasti and
Daniel Amyot and
Luigi Logrippo and
John Mylopoulos},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {Model-checking legal contracts with SymboleoPC},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {278--288},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552449},
doi = {10.1145/3550355.3552449},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/ParvizimosaedRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RastiAPRLAM22,
author = {Aidin Rasti and
Daniel Amyot and
Alireza Parvizimosaed and
Marco Roveri and
Luigi Logrippo and
Amal Ahmed Anda and
John Mylopoulos},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {Symboleo2SC: from legal contract specifications to smart contracts},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {300--310},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552407},
doi = {10.1145/3550355.3552407},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/RastiAPRLAM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/MoroRRG22,
author = {Devis Dal Moro and
Marco Robol and
Marco Roveri and
Paolo Giorgini},
editor = {Frank Dignum and
Philippe Mathieu and
Juan Manuel Corchado and
Fernando de la Prieta},
title = {Developing BDI-Based Robotic Systems with {ROS2}},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Complex Systems Simulation. The {PAAMS} Collection - 20th International
Conference, {PAAMS} 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13616},
pages = {100--111},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-18192-4\_9},
doi = {10.1007/978-3-031-18192-4\_9},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paams/MoroRRG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/MoroRRG22a,
author = {Devis Dal Moro and
Marco Robol and
Marco Roveri and
Paolo Giorgini},
editor = {Frank Dignum and
Philippe Mathieu and
Juan Manuel Corchado and
Fernando de la Prieta},
title = {A Demonstration of BDI-Based Robotic Systems with {ROS2}},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Complex Systems Simulation. The {PAAMS} Collection - 20th International
Conference, {PAAMS} 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13616},
pages = {473--479},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-18192-4\_40},
doi = {10.1007/978-3-031-18192-4\_40},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paams/MoroRRG22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/IvankovicVCR22,
author = {Franc Ivankovic and
Mauro Vallati and
Luk{\'{a}}s Chrpa and
Marco Roveri},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {Urban Traffic Control via Planning with Global State Constraints (Extended
Abstract)},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {291--293},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21789},
doi = {10.1609/SOCS.V15I1.21789},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/IvankovicVCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/GrisafiARC22,
author = {Michele Grisafi and
Mahmoud Ammar and
Marco Roveri and
Bruno Crispo},
editor = {Kevin R. B. Butler and
Kurt Thomas},
title = {{PISTIS:} Trusted Computing Architecture for Low-end Embedded Systems},
booktitle = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
MA, USA, August 10-12, 2022},
pages = {3843--3860},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/usenixsecurity22/presentation/grisafi},
timestamp = {Tue, 18 Oct 2022 17:10:36 +0200},
biburl = {https://dblp.org/rec/conf/uss/GrisafiARC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-04834,
author = {Marco Roveri and
Claudio Di Ciccio and
Chiara Di Francescomarino and
Chiara Ghidini},
title = {Computing unsatisfiable cores for LTLf specifications},
journal = {CoRR},
volume = {abs/2203.04834},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.04834},
doi = {10.48550/ARXIV.2203.04834},
eprinttype = {arXiv},
eprint = {2203.04834},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-04834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11317,
author = {Luigi Palopoli and
Daniele Fontanelli and
Marco Frego and
Marco Roveri},
title = {A Markovian Model for the Spread of the SARS-CoV-2 Virus},
journal = {CoRR},
volume = {abs/2204.11317},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.11317},
doi = {10.48550/ARXIV.2204.11317},
eprinttype = {arXiv},
eprint = {2204.11317},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-11317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00979,
author = {Andrea Traldi and
Francesco Bruschetti and
Marco Robol and
Marco Roveri and
Paolo Giorgini},
title = {Real-Time {BDI} Agents: a model and its implementation},
journal = {CoRR},
volume = {abs/2205.00979},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00979},
doi = {10.48550/ARXIV.2205.00979},
eprinttype = {arXiv},
eprint = {2205.00979},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-00605,
author = {Marco Roveri and
Franc Ivankovic and
Luigi Palopoli and
Daniele Fontanelli},
title = {Verifying a stochastic model for the spread of a SARS-CoV-2-like infection:
opportunities and limitations},
journal = {CoRR},
volume = {abs/2211.00605},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.00605},
doi = {10.48550/ARXIV.2211.00605},
eprinttype = {arXiv},
eprint = {2211.00605},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-00605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GriggioRT21,
author = {Alberto Griggio and
Marco Roveri and
Stefano Tonetta},
title = {Certifying proofs for SAT-based model checking},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {178--210},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00369-1},
doi = {10.1007/S10703-021-00369-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/GriggioRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/BozzanoCR21,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri},
title = {A Comprehensive Approach to On-board Autonomy Verification and Validation},
journal = {{ACM} Trans. Intell. Syst. Technol.},
volume = {12},
number = {4},
pages = {46:1--46:29},
year = {2021},
url = {https://doi.org/10.1145/3472715},
doi = {10.1145/3472715},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tist/BozzanoCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BigarellaCGIJRS21,
author = {Filippo Bigarella and
Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Martin Jon{\'{a}}s and
Marco Roveri and
Roberto Sebastiani and
Patrick Trentin},
editor = {Boris Konev and
Giles Reger},
title = {Optimization Modulo Non-linear Arithmetic via Incremental Linearization},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {213--231},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_12},
doi = {10.1007/978-3-030-86205-3\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BigarellaCGIJRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/IvankovicR21,
author = {Franc Ivankovic and
Marco Roveri},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Planning with Global State Constraints for Urban Traffic Control},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/IvankovicR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CimattiGMRT20,
author = {Alessandro Cimatti and
Alberto Griggio and
Enrico Magnago and
Marco Roveri and
Stefano Tonetta},
title = {SMT-based satisfiability of first-order {LTL} with event freezing
functions and metric operators},
journal = {Inf. Comput.},
volume = {272},
pages = {104502},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104502},
doi = {10.1016/J.IC.2019.104502},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CimattiGMRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiGMRT19,
author = {Alessandro Cimatti and
Alberto Griggio and
Enrico Magnago and
Marco Roveri and
Stefano Tonetta},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Extending nuXmv with Timed Transition Systems and Timed Temporal Properties},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {376--386},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_21},
doi = {10.1007/978-3-030-25540-4\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiGMRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsquare/IrfanCGRS19,
author = {Ahmed Irfan and
Alessandro Cimatti and
Alberto Griggio and
Marco Roveri and
Roberto Sebastiani},
editor = {John Abbott and
Alberto Griggio},
title = {Lemmas for Satisfiability Modulo Transcendental Functions via Incremental
Linearization},
booktitle = {Proceedings of the 4th SC-Square Workshop co-located with the {SIAM}
Conference on Applied Algebraic Geometry, SC-square@SIAM {AG} 2019,
Bern, Switzerland, 10th July 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2460},
publisher = {CEUR-WS.org},
year = {2019},
url = {http://ceur-ws.org/Vol-2460/paper8.pdf},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/IrfanCGRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CimattiDMRS18,
author = {Alessandro Cimatti and
Minh Do and
Andrea Micheli and
Marco Roveri and
David E. Smith},
title = {Strong temporal planning with uncontrollable durations},
journal = {Artif. Intell.},
volume = {256},
pages = {1--34},
year = {2018},
url = {https://doi.org/10.1016/j.artint.2017.11.006},
doi = {10.1016/J.ARTINT.2017.11.006},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CimattiDMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CimattiGIRS18,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
title = {Incremental Linearization for Satisfiability and Verification Modulo
Nonlinear Arithmetic and Transcendental Functions},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {19:1--19:52},
year = {2018},
url = {https://doi.org/10.1145/3230639},
doi = {10.1145/3230639},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CimattiGIRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GriggioRT18,
author = {Alberto Griggio and
Marco Roveri and
Stefano Tonetta},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Certifying Proofs for {LTL} Model Checking},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603022},
doi = {10.23919/FMCAD.2018.8603022},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GriggioRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CimattiGIRS18,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
editor = {Olaf Beyersdorff and
Christoph M. Wintersteiger},
title = {Experimenting on Solving Nonlinear Integer Arithmetic with Incremental
Linearization},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
International Conference, {SAT} 2018, Held as Part of the Federated
Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10929},
pages = {383--398},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94144-8\_23},
doi = {10.1007/978-3-319-94144-8\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CimattiGIRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CimattiGIRS18,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
title = {Incremental linearization: {A} practical approach to satisfiability
modulo nonlinear arithmetic and transcendental functions},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
pages = {19--26},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYNASC.2018.00016},
doi = {10.1109/SYNASC.2018.00016},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/CimattiGIRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2017w,
editor = {Antonio Cerone and
Marco Roveri},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {10729},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74781-1},
doi = {10.1007/978-3-319-74781-1},
isbn = {978-3-319-74780-4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2017w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08718,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
title = {Invariant Checking of {NRA} Transition Systems via Incremental Reduction
to {LRA} with {EUF}},
journal = {CoRR},
volume = {abs/1801.08718},
year = {2018},
url = {http://arxiv.org/abs/1801.08718},
eprinttype = {arXiv},
eprint = {1801.08718},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08723,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
title = {Satisfiability Modulo Transcendental Functions via Incremental Linearization},
journal = {CoRR},
volume = {abs/1801.08723},
year = {2018},
url = {http://arxiv.org/abs/1801.08723},
eprinttype = {arXiv},
eprint = {1801.08723},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08723.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiMR17,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Validating Domains and Plans for Temporal Planning via Encoding into
Infinite-State Linear Temporal Logic},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3547--3554},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11018},
doi = {10.1609/AAAI.V31I1.11018},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CimattiGIRS17,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
editor = {Leonardo de Moura},
title = {Satisfiability Modulo Transcendental Functions via Incremental Linearization},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {95--113},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_7},
doi = {10.1007/978-3-319-63046-5\_7},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/CimattiGIRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiGIRS17,
author = {Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Marco Roveri and
Roberto Sebastiani},
editor = {Axel Legay and
Tiziana Margaria},
title = {Invariant Checking of {NRA} Transition Systems via Incremental Reduction
to {LRA} with {EUF}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {58--75},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_4},
doi = {10.1007/978-3-662-54577-5\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiGIRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CimattiHMPR16,
author = {Alessandro Cimatti and
Luke Hunsberger and
Andrea Micheli and
Roberto Posenato and
Marco Roveri},
title = {Dynamic controllability via Timed Game Automata},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {681--722},
year = {2016},
url = {https://doi.org/10.1007/s00236-016-0257-2},
doi = {10.1007/S00236-016-0257-2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CimattiHMPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GriggioR16,
author = {Alberto Griggio and
Marco Roveri},
title = {Comparing Different Variants of the ic3 Algorithm for Hardware Model
Checking},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {35},
number = {6},
pages = {1026--1039},
year = {2016},
url = {https://doi.org/10.1109/TCAD.2015.2481869},
doi = {10.1109/TCAD.2015.2481869},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/GriggioR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiMR16,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Dynamic Controllability of Disjunctive Temporal Networks: Validation
and Synthesis of Executable Strategies},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3116--3122},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10401},
doi = {10.1609/AAAI.V30I1.10401},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/IrfanCGRS16,
author = {Ahmed Irfan and
Alessandro Cimatti and
Alberto Griggio and
Marco Roveri and
Roberto Sebastiani},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Verilog2SMV: {A} tool for word-level verification},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {1156--1159},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459485/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/IrfanCGRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CimattiMR15,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
title = {An SMT-based approach to weak controllability for disjunctive temporal
problems with uncertainty},
journal = {Artif. Intell.},
volume = {224},
pages = {1--27},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.03.002},
doi = {10.1016/J.ARTINT.2015.03.002},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CimattiMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CimattiMR15,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
title = {Solving strong controllability of temporal problems with uncertainty
using {SMT}},
journal = {Constraints An Int. J.},
volume = {20},
number = {1},
pages = {1--29},
year = {2015},
url = {https://doi.org/10.1007/s10601-014-9167-5},
doi = {10.1007/S10601-014-9167-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/CimattiMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CimattiRT15,
author = {Alessandro Cimatti and
Marco Roveri and
Stefano Tonetta},
title = {{HRELTL:} {A} temporal logic for hybrid systems},
journal = {Inf. Comput.},
volume = {245},
pages = {54--71},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.06.006},
doi = {10.1016/J.IC.2015.06.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CimattiRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BozzanoCLMMRT15,
author = {Marco Bozzano and
Alessandro Cimatti and
Oleg Lisagor and
Cristian Mattarei and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
title = {Safety assessment of AltaRica models via symbolic model checking},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {464--483},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.003},
doi = {10.1016/J.SCICO.2014.06.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiMR15,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
editor = {Blai Bonet and
Sven Koenig},
title = {Strong Temporal Planning with Uncontrollable Durations: {A} State-Space
Approach},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3254--3260},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9653},
doi = {10.1609/AAAI.V29I1.9653},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BliudzeCJMRSW15,
author = {Simon Bliudze and
Alessandro Cimatti and
Mohamad Jaber and
Sergio Mover and
Marco Roveri and
Wajeb Saab and
Qiang Wang},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Formal Verification of Infinite-State {BIP} Models},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {326--343},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_25},
doi = {10.1007/978-3-319-24953-7\_25},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BliudzeCJMRSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BozzanoCKKMNNPR14,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Panagiotis Katsaros and
Konstantinos Mokos and
Viet Yen Nguyen and
Thomas Noll and
Bart Postma and
Marco Roveri},
title = {Spacecraft early design validation using formal methods},
journal = {Reliab. Eng. Syst. Saf.},
volume = {132},
pages = {20--35},
year = {2014},
url = {https://doi.org/10.1016/j.ress.2014.07.003},
doi = {10.1016/J.RESS.2014.07.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BozzanoCKKMNNPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiHMR14,
author = {Alessandro Cimatti and
Luke Hunsberger and
Andrea Micheli and
Marco Roveri},
editor = {Carla E. Brodley and
Peter Stone},
title = {Using Timed Game Automata to Synthesize Execution Strategies for Simple
Temporal Networks with Uncertainty},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2242--2249},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9040},
doi = {10.1609/AAAI.V28I1.9040},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiHMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CavadaCDGMMMRT14,
author = {Roberto Cavada and
Alessandro Cimatti and
Michele Dorigatti and
Alberto Griggio and
Alessandro Mariotti and
Andrea Micheli and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
editor = {Armin Biere and
Roderick Bloem},
title = {The nuXmv Symbolic Model Checker},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {334--342},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_22},
doi = {10.1007/978-3-319-08867-9\_22},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/CavadaCDGMMMRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CimattiHMPR14,
author = {Alessandro Cimatti and
Luke Hunsberger and
Andrea Micheli and
Roberto Posenato and
Marco Roveri},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Sound and Complete Algorithms for Checking the Dynamic Controllability
of Temporal Networks with Uncertainty, Disjunction and Observation},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {27--36},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.21},
doi = {10.1109/TIME.2014.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CimattiHMPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlpuenteJKR13,
author = {Mar{\'{\i}}a Alpuente and
Christophe Joubert and
Stefan Kowalewski and
Marco Roveri},
title = {Preface to the special section on Formal Methods for Industrial Critical
Systems {(FMICS} 2009 + {FMICS} 2010)},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {775--777},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.005},
doi = {10.1016/J.SCICO.2012.05.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AlpuenteJKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CimattiNR13,
author = {Alessandro Cimatti and
Iman Narasamdya and
Marco Roveri},
title = {Software Model Checking SystemC},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {32},
number = {5},
pages = {774--787},
year = {2013},
url = {https://doi.org/10.1109/TCAD.2012.2232351},
doi = {10.1109/TCAD.2012.2232351},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CimattiNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiMR13,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
editor = {Marie desJardins and
Michael L. Littman},
title = {Timelines with Temporal Uncertainty},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {195--201},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8601},
doi = {10.1609/AAAI.V27I1.8601},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-3182,
author = {Alessandro Cimatti and
Iman Narasamdya and
Marco Roveri},
title = {Software Model Checking with Explicit Scheduler and Symbolic Threads},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {2},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(2:18)2012},
doi = {10.2168/LMCS-8(2:18)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-3182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CimattiRST12,
author = {Alessandro Cimatti and
Marco Roveri and
Angelo Susi and
Stefano Tonetta},
title = {Validation of requirements for hybrid systems: {A} formal approach},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {21},
number = {4},
pages = {22:1--22:34},
year = {2012},
url = {https://doi.org/10.1145/2377656.2377659},
doi = {10.1145/2377656.2377659},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/CimattiRST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiMR12,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Solving Temporal Problems Using {SMT:} Weak Controllability},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {448--454},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8136},
doi = {10.1609/AAAI.V26I1.8136},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiCLNRRST12,
author = {Alessandro Cimatti and
Raffaele Corvino and
Armando Lazzaro and
Iman Narasamdya and
Tiziana Rizzo and
Marco Roveri and
Angela Sanseviero and
Andrei Tchaltsev},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Formal Verification and Validation of {ERTMS} Industrial Railway Train
Spacing System},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {378--393},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_29},
doi = {10.1007/978-3-642-31424-7\_29},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiCLNRRST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CimattiMR12,
author = {Alessandro Cimatti and
Andrea Micheli and
Marco Roveri},
editor = {Michela Milano},
title = {Solving Temporal Problems Using {SMT:} Strong Controllability},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {248--264},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_20},
doi = {10.1007/978-3-642-33558-7\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CimattiMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiNR12,
author = {Alessandro Cimatti and
Iman Narasamdya and
Marco Roveri},
editor = {Gianpiero Cabodi and
Satnam Singh},
title = {Verification of parametric system designs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
UK, October 22-25, 2012},
pages = {122--130},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462564/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiNR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssv/2011,
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
isbn = {978-3-939897-36-1},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssv/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BozzanoCKNNR11,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri},
title = {Safety, Dependability and Performance Analysis of Extended {AADL}
Models},
journal = {Comput. J.},
volume = {54},
number = {5},
pages = {754--775},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxq024},
doi = {10.1093/COMJNL/BXQ024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BozzanoCKNNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BozzanoCLMMRT11,
author = {Marco Bozzano and
Alessandro Cimatti and
Oleg Lisagor and
Cristian Mattarei and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
title = {Symbolic Model Checking and Safety Assessment of Altarica models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.697},
doi = {10.14279/TUJ.ECEASST.46.697},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BozzanoCLMMRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CimattiRST11,
author = {Alessandro Cimatti and
Marco Roveri and
Angelo Susi and
Stefano Tonetta},
title = {Formalizing requirements with object models and temporal constraints},
journal = {Softw. Syst. Model.},
volume = {10},
number = {2},
pages = {147--160},
year = {2011},
url = {https://doi.org/10.1007/s10270-009-0130-7},
doi = {10.1007/S10270-009-0130-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CimattiRST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiGMNR11,
author = {Alessandro Cimatti and
Alberto Griggio and
Andrea Micheli and
Iman Narasamdya and
Marco Roveri},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Kratos - {A} Software Model Checker for SystemC},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {310--316},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_24},
doi = {10.1007/978-3-642-22110-1\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiGMNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CavadaCMRST11,
author = {Roberto Cavada and
Alessandro Cimatti and
Andrea Micheli and
Marco Roveri and
Angelo Susi and
Stefano Tonetta},
editor = {Judith Bishop and
Karin K. Breitman and
David Notkin},
title = {OthelloPlay: a plug-in based tool for requirement formalization and
validation},
booktitle = {Proceedings of the 1st Workshop on Developing Tools as Plug-ins, {TOPI}
2011, Waikiki, Honolulu, HI, USA, May 28, 2011},
pages = {59},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1984708.1984728},
doi = {10.1145/1984708.1984728},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CavadaCMRST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BozzanoCRT11,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri and
Andrei Tchaltsev},
editor = {Toby Walsh},
title = {A Comprehensive Approach to On-Board Autonomy Verification and Validation},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2398--2403},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400},
doi = {10.5591/978-1-57735-516-8/IJCAI11-400},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BozzanoCRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CampanaCNR11,
author = {Daniele Campana and
Alessandro Cimatti and
Iman Narasamdya and
Marco Roveri},
editor = {Alex Groce and
Madanlal Musuvathi},
title = {An Analytic Evaluation of SystemC Encodings in Promela},
booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
UT, USA, July 14-15, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6823},
pages = {90--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22306-8\_7},
doi = {10.1007/978-3-642-22306-8\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/CampanaCNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiNR11,
author = {Alessandro Cimatti and
Iman Narasamdya and
Marco Roveri},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Boosting Lazy Abstraction for SystemC with Partial Order Reduction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {341--356},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_31},
doi = {10.1007/978-3-642-19835-9\_31},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0252,
author = {Alessandro Cimatti and
Marco Roveri},
title = {Conformant Planning via Symbolic Model Checking},
journal = {CoRR},
volume = {abs/1106.0252},
year = {2011},
url = {http://arxiv.org/abs/1106.0252},
eprinttype = {arXiv},
eprint = {1106.0252},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BloemCGHKRSS10,
author = {Roderick Bloem and
Alessandro Cimatti and
Karin Greimel and
Georg Hofferek and
Robert K{\"{o}}nighofer and
Marco Roveri and
Viktor Schuppan and
Richard Seeber},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {{RATSY} - {A} New Requirements Analysis Tool with Synthesis},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {425--429},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_37},
doi = {10.1007/978-3-642-14295-6\_37},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemCGHKRSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCKNNRW10,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri and
Ralf Wimmer},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {A Model Checker for {AADL}},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {562--565},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_48},
doi = {10.1007/978-3-642-14295-6\_48},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCKNNRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CimattiFGKR10,
author = {Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Krishnamani Kalyanasundaram and
Marco Roveri},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Tighter integration of BDDs and {SMT} for Predicate Abstraction},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {1707--1712},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457090},
doi = {10.1109/DATE.2010.5457090},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CimattiFGKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiMNR10,
author = {Alessandro Cimatti and
Andrea Micheli and
Iman Narasamdya and
Marco Roveri},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Verifying SystemC: {A} software model checking approach},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {51--59},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770933/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiMNR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/GuglielmoFPSR10,
author = {Giuseppe Di Guglielmo and
Franco Fummi and
Graziano Pravadelli and
Stefano Soffia and
Marco Roveri},
title = {Semi-formal functional verification by {EFSM} traversing via NuSMV},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
pages = {58--65},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HLDVT.2010.5496660},
doi = {10.1109/HLDVT.2010.5496660},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/GuglielmoFPSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChiappiniCMRRSTV10,
author = {Angelo Chiappini and
Alessandro Cimatti and
Luca Macchi and
Oscar Rebollo and
Marco Roveri and
Angelo Susi and
Stefano Tonetta and
Berardino Vittorini},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Formalization and validation of a subset of the European Train Control
System},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {109--118},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810312},
doi = {10.1145/1810295.1810312},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChiappiniCMRRSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CimattiMRT10,
author = {Alessandro Cimatti and
Sergio Mover and
Marco Roveri and
Stefano Tonetta},
editor = {Michael Domaratzki and
Kai Salomaa},
title = {From Sequential Extended Regular Expressions to {NFA} with Symbolic
Labels},
booktitle = {Implementation and Application of Automata - 15th International Conference,
{CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6482},
pages = {87--94},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18098-9\_10},
doi = {10.1007/978-3-642-18098-9\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/CimattiMRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2010,
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8},
doi = {10.1007/978-3-642-15898-8},
isbn = {978-3-642-15897-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiRT09,
author = {Alessandro Cimatti and
Marco Roveri and
Stefano Tonetta},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Requirements Validation for Hybrid Systems},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {188--203},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_17},
doi = {10.1007/978-3-642-02658-4\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiDJR09,
author = {Alessandro Cimatti and
Jori Dubrovin and
Tommi A. Junttila and
Marco Roveri},
title = {Structure-aware computation of predicate abstraction},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {9--16},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351149},
doi = {10.1109/FMCAD.2009.5351149},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiDJR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CavadaCMMMMPRST09,
author = {Roberto Cavada and
Alessandro Cimatti and
Alessandro Mariotti and
Cristian Mattarei and
Andrea Micheli and
Sergio Mover and
Marco Pensallorto and
Marco Roveri and
Angelo Susi and
Stefano Tonetta},
title = {Supporting Requirements Validation: The EuRailCheck Tool},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {665--667},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.49},
doi = {10.1109/ASE.2009.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CavadaCMMMMPRST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BozzanoCRKNN09,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll},
title = {Codesign of dependable systems: {A} component-based modeling language},
booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
{USA}},
pages = {121--130},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/MEMCOD.2009.5185388},
doi = {10.1109/MEMCOD.2009.5185388},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BozzanoCRKNN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BozzanoCKNNR09,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri},
editor = {Stefan Van Baelen and
Thomas Weigert and
Ileana Ober},
title = {Model-Based Codesign of Critical Embedded Systems},
booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting
and Construction of Embedded Systems {(} {ACES-MB} 2009 ), held as
part of the 2009 International Conference on Model Driven Engineering
Languages and Systems {(} MoDELS'09 {)} Denver, Colorado, USA, October
6, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {507},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-507/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BozzanoCKNNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BozzanoCKNNR09,
author = {Marco Bozzano and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll and
Marco Roveri},
editor = {Bettina Buth and
Gerd Rabe and
Till Seyfarth},
title = {The {COMPASS} Approach: Correctness, Modelling and Performability
of Aerospace Systems},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference,
{SAFECOMP} 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5775},
pages = {173--186},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04468-7\_15},
doi = {10.1007/978-3-642-04468-7\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BozzanoCKNNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BozzanoCRKNN09,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri and
Joost{-}Pieter Katoen and
Viet Yen Nguyen and
Thomas Noll},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Verification and performance evaluation of aadl models},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {285--286},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595744},
doi = {10.1145/1595696.1595744},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BozzanoCRKNN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-1741,
author = {Alessandro Cimatti and
Marco Roveri and
Angelo Susi and
Stefano Tonetta},
editor = {Manuela{-}Luminita Bujorianu and
Michael Fisher},
title = {Formalization and Validation of Safety-Critical Requirements},
booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {20},
pages = {68--75},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.20.7},
doi = {10.4204/EPTCS.20.7},
timestamp = {Tue, 21 Sep 2021 18:08:28 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-1741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CimattiRT08,
author = {Alessandro Cimatti and
Marco Roveri and
Stefano Tonetta},
title = {Symbolic Compilation of {PSL}},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {10},
pages = {1737--1750},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.2003303},
doi = {10.1109/TCAD.2008.2003303},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CimattiRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/CimattiRST08,
author = {Alessandro Cimatti and
Marco Roveri and
Angelo Susi and
Stefano Tonetta},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {From Informal Requirements to Property-Driven Formal Validation},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {166--181},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_15},
doi = {10.1007/978-3-642-03240-0\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/CimattiRST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CimattiRST08,
author = {Alessandro Cimatti and
Marco Roveri and
Angelo Susi and
Stefano Tonetta},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Object Models with Temporal Constraints},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {249--258},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.23},
doi = {10.1109/SEFM.2008.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CimattiRST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CimattiRST08,
author = {Alessandro Cimatti and
Marco Roveri and
Viktor Schuppan and
Andrei Tchaltsev},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Diagnostic Information for Realizability},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {52--67},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_9},
doi = {10.1007/978-3-540-78163-9\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CimattiRST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BloemCPR07,
author = {Roderick Bloem and
Alessandro Cimatti and
Ingo Pill and
Marco Roveri},
title = {Symbolic Implementation of Alternating Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {4},
pages = {727--743},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004942},
doi = {10.1142/S0129054107004942},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BloemCPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BloemCPRT07,
author = {Roderick Bloem and
Roberto Cavada and
Ingo Pill and
Marco Roveri and
Andrei Tchaltsev},
editor = {Werner Damm and
Holger Hermanns},
title = {{RAT:} {A} Tool for the Formal Analysis of Requirements},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {263--267},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_30},
doi = {10.1007/978-3-540-73368-3\_30},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BloemCPRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiRST07,
author = {Alessandro Cimatti and
Marco Roveri and
Viktor Schuppan and
Stefano Tonetta},
editor = {Werner Damm and
Holger Hermanns},
title = {Boolean Abstraction for Temporal Logic Satisfiability},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {532--546},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_53},
doi = {10.1007/978-3-540-73368-3\_53},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiRST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CavadaCFKRS07,
author = {Roberto Cavada and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Krishnamani Kalyanasundaram and
Marco Roveri and
R. K. Shyamasundar},
title = {Computing Predicate Abstractions by Integrating BDDs and {SMT} Solvers},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {69--76},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.35},
doi = {10.1109/FAMCAD.2007.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CavadaCFKRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiRT07,
author = {Alessandro Cimatti and
Marco Roveri and
Stefano Tonetta},
editor = {Orna Grumberg and
Michael Huth},
title = {Syntactic Optimizations for {PSL} Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {505--518},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_39},
doi = {10.1007/978-3-540-71209-1\_39},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/floc/2006vd,
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/4},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/floc/2006vd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BertoliCRT06,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Marco Roveri and
Paolo Traverso},
title = {Strong planning under partial observability},
journal = {Artif. Intell.},
volume = {170},
number = {4-5},
pages = {337--384},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2006.01.004},
doi = {10.1016/J.ARTINT.2006.01.004},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BertoliCRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PillSCRBC06,
author = {Ingo Pill and
Simone Semprini and
Roberto Cavada and
Marco Roveri and
Roderick Bloem and
Alessandro Cimatti},
editor = {Ellen Sentovich},
title = {Formal analysis of hardware requirements},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {821--826},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1147119},
doi = {10.1145/1146909.1147119},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PillSCRBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiRST06,
author = {Alessandro Cimatti and
Marco Roveri and
Simone Semprini and
Stefano Tonetta},
title = {From {PSL} to {NBA:} a Modular Symbolic Encoding},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {125--133},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.19},
doi = {10.1109/FMCAD.2006.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiRST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BloemCPRS06,
author = {Roderick Bloem and
Alessandro Cimatti and
Ingo Pill and
Marco Roveri and
Simone Semprini},
editor = {Oscar H. Ibarra and
Hsu{-}Chun Yen},
title = {Symbolic Implementation of Alternating Automata},
booktitle = {Implementation and Application of Automata, 11th International Conference,
{CIAA} 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4094},
pages = {208--218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812128\_20},
doi = {10.1007/11812128\_20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BloemCPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BloemRS07,
author = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Preface},
booktitle = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
pages = {1},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.025},
doi = {10.1016/J.ENTCS.2006.12.025},
timestamp = {Fri, 27 Jan 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BloemRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CimattiRB04,
author = {Alessandro Cimatti and
Marco Roveri and
Piergiorgio Bertoli},
title = {Conformant planning via symbolic model checking and heuristic search},
journal = {Artif. Intell.},
volume = {159},
number = {1-2},
pages = {127--206},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.05.003},
doi = {10.1016/J.ARTINT.2004.05.003},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CimattiRB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/FuxmanLMRT04,
author = {Ariel Fuxman and
Lin Liu and
John Mylopoulos and
Marco Roveri and
Paolo Traverso},
title = {Specifying and analyzing early requirements in Tropos},
journal = {Requir. Eng.},
volume = {9},
number = {2},
pages = {132--150},
year = {2004},
url = {https://doi.org/10.1007/s00766-004-0191-7},
doi = {10.1007/S00766-004-0191-7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/FuxmanLMRT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/KazhamiakinPR04,
author = {Raman Kazhamiakin and
Marco Pistore and
Marco Roveri},
title = {A Framework for Integrating Business Processes and Business Requirements},
booktitle = {8th International Enterprise Distributed Object Computing Conference
{(EDOC} 2004), 20-24 September 2004, Monterey, California, USA, Proceedings},
pages = {9--20},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10000},
doi = {10.1109/EDOC.2004.10000},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/KazhamiakinPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiRS04,
author = {Alessandro Cimatti and
Marco Roveri and
Daniel Sheridan},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Bounded Verification of Past {LTL}},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {245--259},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_18},
doi = {10.1007/978-3-540-30494-4\_18},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KazhamiakinPR04,
author = {Raman Kazhamiakin and
Marco Pistore and
Marco Roveri},
title = {Formal Verification of Requirements using {SPIN:} {A} Case Study on
Web Services},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {406--415},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.19},
doi = {10.1109/SEFM.2004.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/KazhamiakinPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PistoreRB04,
author = {Marco Pistore and
Marco Roveri and
Paolo Busetta},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Requirements-Driven Verification of Web Services},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {95--108},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.005},
doi = {10.1016/J.ENTCS.2004.05.005},
timestamp = {Fri, 09 Dec 2022 11:51:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PistoreRB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CimattiPRT03,
author = {Alessandro Cimatti and
Marco Pistore and
Marco Roveri and
Paolo Traverso},
title = {Weak, strong, and strong cyclic planning via symbolic model checking},
journal = {Artif. Intell.},
volume = {147},
number = {1-2},
pages = {35--84},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00374-0},
doi = {10.1016/S0004-3702(02)00374-0},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CimattiPRT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/PeriniPRS03,
author = {Anna Perini and
Marco Pistore and
Marco Roveri and
Angelo Susi},
editor = {Paolo Giorgini and
J{\"{o}}rg P. M{\"{u}}ller and
James Odell},
title = {Agent-Oriented Modeling by Interleaving Formal and Informal Specification},
booktitle = {Agent-Oriented Software Engineering IV, 4th International Workshop,
{AOSE} 2003, Melbourne, Australia, July 15, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2935},
pages = {36--52},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24620-6\_3},
doi = {10.1007/978-3-540-24620-6\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/aose/PeriniPRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FuxmanLPRM03,
author = {Ariel Fuxman and
Lin Liu and
Marco Pistore and
Marco Roveri and
John Mylopoulos},
title = {Specifying and Analyzing Early Requirements: Some Experimental Results},
booktitle = {11th {IEEE} International Conference on Requirements Engineering {(RE}
2003), 8-12 September 2003, Monterey Bay, CA, {USA}},
pages = {105},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICRE.2003.1232742},
doi = {10.1109/ICRE.2003.1232742},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FuxmanLPRM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiCGGPRST02,
author = {Alessandro Cimatti and
Edmund M. Clarke and
Enrico Giunchiglia and
Fausto Giunchiglia and
Marco Pistore and
Marco Roveri and
Roberto Sebastiani and
Armando Tacchella},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {NuSMV 2: An OpenSource Tool for Symbolic Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {359--364},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_29},
doi = {10.1007/3-540-45657-0\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiCGGPRST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CimattiGPRST02,
author = {Alessandro Cimatti and
Enrico Giunchiglia and
Marco Pistore and
Marco Roveri and
Roberto Sebastiani and
Armando Tacchella},
editor = {Alessandro Armando},
title = {Integrating BDD-Based and SAT-Based Symbolic Model Checking},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {49--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_5},
doi = {10.1007/3-540-45988-X\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CimattiGPRST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CimattiPRS02,
author = {Alessandro Cimatti and
Marco Pistore and
Marco Roveri and
Roberto Sebastiani},
editor = {Agostino Cortesi},
title = {Improving the Encoding of {LTL} Model Checking into {SAT}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {196--207},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_14},
doi = {10.1007/3-540-47813-2\_14},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CimattiPRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BertoliCR01,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Marco Roveri},
editor = {Bernhard Nebel},
title = {Heuristic Search + Symbolic Model Checking = Efficient Conformant
Planning},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {467--472},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BertoliCR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BertoliCRT01,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Marco Roveri and
Paolo Traverso},
editor = {Bernhard Nebel},
title = {Planning in Nondeterministic Domains under Partial Observability via
Symbolic Model Checking},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {473--478},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Fri, 23 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BertoliCRT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiRB01,
author = {Alessandro Cimatti and
Marco Roveri and
Piergiorgio Bertoli},
editor = {Tiziana Margaria and
Wang Yi},
title = {Searching Powerset Automata by Combining Explicit-State and Symbolic
Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {313--327},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_22},
doi = {10.1007/3-540-45319-9\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiRB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CimattiR00,
author = {Alessandro Cimatti and
Marco Roveri},
title = {Conformant Planning via Symbolic Model Checking},
journal = {J. Artif. Intell. Res.},
volume = {13},
pages = {305--338},
year = {2000},
url = {https://doi.org/10.1613/jair.774},
doi = {10.1613/JAIR.774},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CimattiR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CimattiCGR00,
author = {Alessandro Cimatti and
Edmund M. Clarke and
Fausto Giunchiglia and
Marco Roveri},
title = {{NUSMV:} {A} New Symbolic Model Checker},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {4},
pages = {410--425},
year = {2000},
url = {https://doi.org/10.1007/s100090050046},
doi = {10.1007/S100090050046},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CimattiCGR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiCGR99,
author = {Alessandro Cimatti and
Edmund M. Clarke and
Fausto Giunchiglia and
Marco Roveri},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {{NUSMV:} {A} New Symbolic Model Verifier},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {495--499},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_44},
doi = {10.1007/3-540-48683-6\_44},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiCGR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/CimattiR99,
author = {Alessandro Cimatti and
Marco Roveri},
editor = {Susanne Biundo and
Maria Fox},
title = {Conformant Planning via Model Checking},
booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1809},
pages = {21--34},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720246\_2},
doi = {10.1007/10720246\_2},
timestamp = {Tue, 02 Nov 2021 15:59:06 +0100},
biburl = {https://dblp.org/rec/conf/ecp/CimattiR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiRT98,
author = {Alessandro Cimatti and
Marco Roveri and
Paolo Traverso},
editor = {Jack Mostow and
Chuck Rich},
title = {Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic
Domains},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {875--881},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-124.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiRT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CimattiRT98,
author = {Alessandro Cimatti and
Marco Roveri and
Paolo Traverso},
editor = {Reid G. Simmons and
Manuela M. Veloso and
Stephen F. Smith},
title = {Strong Planning in Non-Deterministic Domains Via Model Checking},
booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence
Planning Systems, Pittsburgh, Pennsylvania, USA, 1998},
pages = {36--43},
publisher = {{AAAI}},
year = {1998},
url = {http://www.aaai.org/Library/AIPS/1998/aips98-005.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/CimattiRT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GiunchigliaRS97,
author = {Fausto Giunchiglia and
Marco Roveri and
Roberto Sebastiani},
editor = {William McCune},
title = {A New Method for Testing Decision Procedures in Modal Logics},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {264--267},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_26},
doi = {10.1007/3-540-63104-6\_26},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GiunchigliaRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiunchigliaRS96,
author = {Fausto Giunchiglia and
Marco Roveri and
Roberto Sebastiani},
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {A New Method for Testing Decision Procedures in Modal and Terminological
Logics},
booktitle = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
pages = {119--123},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Fri, 05 Mar 2004 14:36:40 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GiunchigliaRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
