Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alessandro Cimatti
@article{DBLP:journals/ram/ToselloBBCCGPM24,
author = {Elisa Tosello and
Paolo Bonel and
Alberto Buranello and
Marco Carraro and
Alessandro Cimatti and
Lorenzo Granelli and
Stefan Panjkovic and
Andrea Micheli},
title = {Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An
Autonomous Underwater Architecture},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {31},
number = {1},
pages = {72--83},
year = {2024},
url = {https://doi.org/10.1109/MRA.2024.3352810},
doi = {10.1109/MRA.2024.3352810},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ram/ToselloBBCCGPM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KonigHGKCHTKFH24,
author = {Lukas K{\"{o}}nig and
Christian Heinzemann and
Alberto Griggio and
Michaela Klauck and
Alessandro Cimatti and
Franziska Henze and
Stefano Tonetta and
Stefan K{\"{u}}perkoch and
Dennis Fassbender and
Michael Hanselmann},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Towards Safe Autonomous Driving: Model Checking a Behavior Planner
during Development},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {44--65},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_3},
doi = {10.1007/978-3-031-57249-4\_3},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KonigHGKCHTKFH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-19028,
author = {Gianluca Redondi and
Alessandro Cimatti and
Alberto Griggio and
Kenneth McMillan},
title = {Invariant Checking for SMT-based Systems with Quantifiers},
journal = {CoRR},
volume = {abs/2402.19028},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.19028},
doi = {10.48550/ARXIV.2402.19028},
eprinttype = {arXiv},
eprint = {2402.19028},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-19028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-00087,
author = {Alessandro Cimatti and
Alberto Griggio and
Gianluca Redondi},
title = {Towards the verification of a generic interlocking logic: Dafny meets
parameterized model checking},
journal = {CoRR},
volume = {abs/2403.00087},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.00087},
doi = {10.48550/ARXIV.2403.00087},
eprinttype = {arXiv},
eprint = {2403.00087},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-00087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CimattiGGMT23,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
title = {{GR(1)} is equivalent to {R(1)}},
journal = {Inf. Process. Lett.},
volume = {179},
pages = {106319},
year = {2023},
url = {https://doi.org/10.1016/j.ipl.2022.106319},
doi = {10.1016/J.IPL.2022.106319},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CimattiGGMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CimattiGGMT23,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
title = {A first-order logic characterization of safety and co-safety languages},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:13)2023},
doi = {10.46298/LMCS-19(3:13)2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CimattiGGMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/StefenonCC23,
author = {St{\'{e}}fano Frizzo Stefenon and
Marco Cristoforetti and
Alessandro Cimatti},
editor = {Roberto Basili and
Domenico Lembo and
Carla Limongelli and
Andrea Orlandini},
title = {Towards Automatic Digitalization of Railway Engineering Schematics},
booktitle = {AIxIA 2023 - Advances in Artificial Intelligence - XXIInd International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14318},
pages = {453--466},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47546-7\_31},
doi = {10.1007/978-3-031-47546-7\_31},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/StefenonCC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/XiaBCGLP23,
author = {Yechuan Xia and
Anna Becchi and
Alessandro Cimatti and
Alberto Griggio and
Jianwen Li and
Geguang Pu},
editor = {Constantin Enea and
Akash Lal},
title = {Searching for i-Good Lemmas to Accelerate Safety Model Checking},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {288--308},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_14},
doi = {10.1007/978-3-031-37703-7\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/XiaBCGLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CasagrandeCDPT23,
author = {Alberto Casagrande and
Alessandro Cimatti and
Luca Dorigo and
Carla Piazza and
Stefano Tonetta},
editor = {Agostino Dovier and
Andrea Formisano},
title = {Set-Based Invariants over Polynomial Systems},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper8.pdf},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CasagrandeCDPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BasagiannisBBCGMTTT23,
author = {Stylianos Basagiannis and
Ludovico Battista and
Anna Becchi and
Alessandro Cimatti and
Georgios Giantamidis and
Sergio Mover and
Alberto Tacchella and
Stefano Tonetta and
Vassilios A. Tsachouridis},
title = {SMT-Based Stability Verification of an Industrial Switched {PI} Control
Systems},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30,
2023},
pages = {243--250},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN-W58399.2023.00063},
doi = {10.1109/DSN-W58399.2023.00063},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BasagiannisBBCGMTTT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/LanzaniSZCBT23,
author = {Isabella Lanzani and
Riccardo Scattolini and
Enrico Zio and
Alessandro Cimatti and
Marco Bozzano and
Stefano Tonetta},
title = {Two formal methodologies of Model-Based Safety Assessment for Fault
Tree Analysis},
booktitle = {7th International Conference on System Reliability and Safety, {ICSRS}
2023, Bologna, Italy, November 22-24, 2023},
pages = {376--383},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSRS59833.2023.10381356},
doi = {10.1109/ICSRS59833.2023.10381356},
timestamp = {Fri, 09 Feb 2024 20:38:51 +0100},
biburl = {https://dblp.org/rec/conf/icsrs/LanzaniSZCBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BombardelliCTZ23,
author = {Alberto Bombardelli and
Alessandro Cimatti and
Stefano Tonetta and
Marco Zamboni},
editor = {Paula Herber and
Anton Wijs},
title = {Symbolic Model Checking of Relative Safety {LTL} Properties},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {302--320},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_16},
doi = {10.1007/978-3-031-47705-8\_16},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BombardelliCTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiCGTCNB23,
author = {Alessandro Cimatti and
Luca Cristoforetti and
Alberto Griggio and
Stefano Tonetta and
Sara Corfini and
Marco Di Natale and
Florian Barrau},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {{EVA:} a Tool for the Compositional Verification of {AUTOSAR} Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {3--10},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_1},
doi = {10.1007/978-3-031-30820-8\_1},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiCGTCNB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2023,
editor = {Alessandro Cimatti and
Laura Titolo},
title = {Formal Methods for Industrial Critical Systems - 28th International
Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14290},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43681-9},
doi = {10.1007/978-3-031-43681-9},
isbn = {978-3-031-43680-2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-10587,
author = {Muhammad Syifa'ul Mufid and
Andrea Micheli and
Alessandro Abate and
Alessandro Cimatti},
title = {Formal Analysis and Verification of Max-Plus Linear Systems},
journal = {CoRR},
volume = {abs/2308.10587},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.10587},
doi = {10.48550/ARXIV.2308.10587},
eprinttype = {arXiv},
eprint = {2308.10587},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-10587.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BittnerBCGTV22,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta and
Vikt{\'{o}}ria Voz{\'{a}}rov{\'{a}}},
title = {Diagnosability of fair transition systems},
journal = {Artif. Intell.},
volume = {309},
pages = {103725},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103725},
doi = {10.1016/J.ARTINT.2022.103725},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BittnerBCGTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CimattiTT22,
author = {Alessandro Cimatti and
Chun Tian and
Stefano Tonetta},
title = {Assumption-based Runtime Verification},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {2},
pages = {277--324},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00416-z},
doi = {10.1007/S10703-023-00416-Z},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CimattiTT22.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/iandc/CimattiGM22,
author = {Alessandro Cimatti and
Alberto Griggio and
Enrico Magnago},
title = {{LTL} falsification in infinite-state systems},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104977},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104977},
doi = {10.1016/J.IC.2022.104977},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CimattiGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/StefenonSYC22,
author = {St{\'{e}}fano Frizzo Stefenon and
Gurmail Singh and
Kin Choong Yow and
Alessandro Cimatti},
title = {Semi-ProtoPNet Deep Neural Network for the Classification of Defective
Power Grid Distribution Structures},
journal = {Sensors},
volume = {22},
number = {13},
pages = {4859},
year = {2022},
url = {https://doi.org/10.3390/s22134859},
doi = {10.3390/S22134859},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/StefenonSYC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PanjkovicMC22,
author = {Stefan Panjkovic and
Andrea Micheli and
Alessandro Cimatti},
title = {Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9886--9893},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21225},
doi = {10.1609/AAAI.V36I9.21225},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PanjkovicMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CimattiGLS22,
author = {Alessandro Cimatti and
Alberto Griggio and
Enrico Lipparini and
Roberto Sebastiani},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Handling Polynomial and Transcendental Functions in {SMT} via Unconstrained
Optimisation and Topological Degree Test},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {137--153},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_9},
doi = {10.1007/978-3-031-19992-9\_9},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CimattiGLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CimattiGR22,
author = {Alessandro Cimatti and
Alberto Griggio and
Gianluca Redondi},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Verification of {SMT} Systems with Quantifiers},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {154--170},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_10},
doi = {10.1007/978-3-031-19992-9\_10},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/CimattiGR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BecchiC22,
author = {Anna Becchi and
Alessandro Cimatti},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Abstraction Modulo Stability for Reverse Engineering},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {469--489},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_23},
doi = {10.1007/978-3-031-13185-1\_23},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BecchiC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CimattiGGMT22,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {A first-order logic characterisation of safety and co-safety languages},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {244--263},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_13},
doi = {10.1007/978-3-030-99253-8\_13},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CimattiGGMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/TiernoTCP22,
author = {Antonio Tierno and
Giuliano Turri and
Alessandro Cimatti and
Roberto Passerone},
title = {Symbolic Encoding of Reliability for the Design of Redundant Architectures},
booktitle = {5th {IEEE} International Conference on Industrial Cyber-Physical Systems,
{ICPS} 2022, Coventry, United Kingdom, May 24-26, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICPS51978.2022.9816888},
doi = {10.1109/ICPS51978.2022.9816888},
timestamp = {Mon, 06 Nov 2023 13:38:03 +0100},
biburl = {https://dblp.org/rec/conf/icphys/TiernoTCP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BombardelliBCCG22,
author = {Alberto Bombardelli and
Marco Bozzano and
Roberto Cavada and
Alessandro Cimatti and
Alberto Griggio and
Massimo Nazaria and
Edoardo Nicolodi and
Stefano Tonetta},
editor = {Christel Seguin and
Marc Zeller and
Tatiana Prosvirnova},
title = {{COMPASTA:} Extending {TASTE} with Formal Design and Verification
Functionality},
booktitle = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}
2022, Munich, Germany, September 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13525},
pages = {21--27},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15842-1\_2},
doi = {10.1007/978-3-031-15842-1\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imbsa/BombardelliBCCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BozzanoCGJK22,
author = {Marco Bozzano and
Alessandro Cimatti and
Alberto Griggio and
Martin Jon{\'{a}}s and
Greg Kimberly},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Analysis of Cyclic Fault Propagation via {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {470--483},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_36},
doi = {10.1007/978-3-031-15707-3\_36},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BozzanoCGJK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CimattiCCNGPT22,
author = {Alessandro Cimatti and
Sara Corfini and
Luca Cristoforetti and
Marco Di Natale and
Alberto Griggio and
Stefano Puri and
Stefano Tonetta},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {A comprehensive framework for the analysis of automotive systems},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {379--389},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552408},
doi = {10.1145/3550355.3552408},
timestamp = {Thu, 27 Oct 2022 15:55:50 +0200},
biburl = {https://dblp.org/rec/conf/models/CimattiCCNGPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/AmendolaBBCSFGG22,
author = {Arturo Amendola and
Lorenzo Barruffo and
Marco Bozzano and
Alessandro Cimatti and
Salvatore De Simone and
Eugenio Fedeli and
Artem Gabbasov and
Domenico Ernesto Garrubba and
Massimiliano Girardi and
Diana Serra and
Roberto Tiella and
Gianni Zampedri},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Formal Design and Validation of an Automatic Train Operation Control
System},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {169--178},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_12},
doi = {10.1007/978-3-031-05814-1\_12},
timestamp = {Mon, 23 May 2022 16:36:24 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/AmendolaBBCSFGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CavadaCGS22,
author = {Roberto Cavada and
Alessandro Cimatti and
Alberto Griggio and
Angelo Susi},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {A Formal {IDE} for Railways: Research Challenges},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {107--115},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_9},
doi = {10.1007/978-3-031-26236-4\_9},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CavadaCGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/CimattiGT22,
author = {Alessandro Cimatti and
Alberto Griggio and
Stefano Tonetta},
editor = {David D{\'{e}}harbe and
Antti E. J. Hyv{\"{a}}rinen},
title = {The {VMT-LIB} Language and Tools},
booktitle = {Proceedings of the 20th Internal Workshop on Satisfiability Modulo
Theories co-located with the 11th International Joint Conference on
Automated Reasoning {(IJCAR} 2022) part of the 8th Federated Logic
Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3185},
pages = {80--89},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3185/extended9547.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/CimattiGT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmendolaBCCFPST22,
author = {Arturo Amendola and
Anna Becchi and
Roberto Cavada and
Alessandro Cimatti and
Andrea Ferrando and
Lorenzo Pilati and
Giuseppe Scaglione and
Alberto Tacchella and
Marco Zamboni},
editor = {Dana Fisman and
Grigore Rosu},
title = {{NORMA:} a tool for the analysis of Relay-based Railway Interlocking
Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {125--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_7},
doi = {10.1007/978-3-030-99524-9\_7},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmendolaBCCFPST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoCGJ22,
author = {Marco Bozzano and
Alessandro Cimatti and
Alberto Griggio and
Martin Jon{\'{a}}s},
editor = {Dana Fisman and
Grigore Rosu},
title = {Efficient Analysis of Cyclic Redundancy Architectures via Boolean
Fault Propagation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {273--291},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_15},
doi = {10.1007/978-3-030-99527-0\_15},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoCGJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoCTV22,
author = {Marco Bozzano and
Alessandro Cimatti and
Stefano Tonetta and
Vikt{\'{o}}ria Voz{\'{a}}rov{\'{a}}},
editor = {Dana Fisman and
Grigore Rosu},
title = {Searching for Ribbon-Shaped Paths in Fair Transition Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {543--560},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_30},
doi = {10.1007/978-3-030-99524-9\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoCTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02307,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
title = {A first-order logic characterization of safety and co-safety languages},
journal = {CoRR},
volume = {abs/2209.02307},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.02307},
doi = {10.48550/ARXIV.2209.02307},
eprinttype = {arXiv},
eprint = {2209.02307},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02307.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BozzanoCGJM21,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
David Jones and
Cristian Mattarei},
title = {Model-based Safety Assessment of a Triple Modular Generator with xSAP},
journal = {Formal Aspects Comput.},
volume = {33},
number = {2},
pages = {251--295},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00532-9},
doi = {10.1007/S00165-021-00532-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BozzanoCGJM21.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/applepies/TiernoTCP21,
author = {Antonio Tierno and
Giuliano Turri and
Alessandro Cimatti and
Roberto Passerone},
editor = {Sergio Saponara and
Alessandro De Gloria},
title = {Automatic Design Space Exploration of Redundant Architectures},
booktitle = {Applications in Electronics Pervading Industry, Environment and Society
- {APPLEPIES} 2021},
series = {Lecture Notes in Electrical Engineering},
volume = {866},
pages = {149--154},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-95498-7\_21},
doi = {10.1007/978-3-030-95498-7\_21},
timestamp = {Tue, 12 Apr 2022 11:38:04 +0200},
biburl = {https://dblp.org/rec/conf/applepies/TiernoTCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CimattiGM21,
author = {Alessandro Cimatti and
Alberto Griggio and
Enrico Magnago},
editor = {Zhe Hou and
Vijay Ganesh},
title = {Automatic Discovery of Fair Paths in Infinite-State Transition Systems},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {32--47},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_3},
doi = {10.1007/978-3-030-88885-5\_3},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/CimattiGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CimattiGR21,
author = {Alessandro Cimatti and
Alberto Griggio and
Gianluca Redondi},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Universal Invariant Checking of Parametric Systems with Quantifier-free
{SMT} Reasoning},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {131--147},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_8},
doi = {10.1007/978-3-030-79876-5\_8},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CimattiGR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCPGJK20,
author = {Marco Bozzano and
Alessandro Cimatti and
Anthony Fernandes Pires and
Alberto Griggio and
Martin Jon{\'{a}}s and
Greg Kimberly},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Efficient SMT-Based Analysis of Failure Propagation},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {209--230},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_10},
doi = {10.1007/978-3-030-81688-9\_10},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCPGJK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MoverCGIT21,
author = {Sergio Mover and
Alessandro Cimatti and
Alberto Griggio and
Ahmed Irfan and
Stefano Tonetta},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {529--551},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_25},
doi = {10.1007/978-3-030-81685-8\_25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MoverCGIT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MufidMAC21,
author = {Muhammad Syifa'ul Mufid and
Andrea Micheli and
Alessandro Abate and
Alessandro Cimatti},
editor = {Serge Haddad and
Daniele Varacca},
title = {SMT-Based Model Checking of Max-Plus Linear Systems},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {22:1--22:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.22},
doi = {10.4230/LIPICS.CONCUR.2021.22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/MufidMAC21.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/BecchiCZ21,
author = {Anna Becchi and
Alessandro Cimatti and
Enea Zaffanella},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Reverse engineering with P-stable Abstractions},
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 = {91--95},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/BecchiCZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CimattiTT21,
author = {Alessandro Cimatti and
Chun Tian and
Stefano Tonetta},
editor = {Lu Feng and
Dana Fisman},
title = {Assumption-Based Runtime Verification of Infinite-State Systems},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {207--227},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_11},
doi = {10.1007/978-3-030-88494-9\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/CimattiTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CimattiGGMT21,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Fairness, Assumptions, and Guarantees for Extended Bounded Response
{LTL+P} Synthesis},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {351--371},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_20},
doi = {10.1007/978-3-030-92124-8\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CimattiGGMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CashmoreCMMZ21,
author = {Michael Cashmore and
Alessandro Cimatti and
Daniele Magazzeni and
Andrea Micheli and
Parisa Zehtabi},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Efficient Anytime Computation and Execution of Decoupled Robustness
Envelopes for Temporal Plans},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {13:1--13:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.13},
doi = {10.4230/LIPICS.TIME.2021.13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CashmoreCMMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CimattiGM21,
author = {Alessandro Cimatti and
Alberto Griggio and
Enrico Magnago},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Proving the Existence of Fair Paths in Infinite-State Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {104--126},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_6},
doi = {10.1007/978-3-030-67067-2\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CimattiGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08319,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Expressiveness of Extended Bounded Response {LTL}},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {152--165},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.10},
doi = {10.4204/EPTCS.346.10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-12821,
author = {Alessandro Cimatti and
Alberto Griggio and
Stefano Tonetta},
title = {The {VMT-LIB} Language and Tools},
journal = {CoRR},
volume = {abs/2109.12821},
year = {2021},
url = {https://arxiv.org/abs/2109.12821},
eprinttype = {arXiv},
eprint = {2109.12821},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-12821.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/aaai/ValentiniMC20,
author = {Alessandro Valentini and
Andrea Micheli and
Alessandro Cimatti},
title = {Temporal Planning with Intermediate Conditions and Effects},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {9975--9982},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6553},
doi = {10.1609/AAAI.V34I06.6553},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ValentiniMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiGGMT20,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
title = {Reactive Synthesis from Extended Bounded Response {LTL} Specifications},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {83--92},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_15},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiGGMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AbateCMM20,
author = {Alessandro Abate and
Alessandro Cimatti and
Andrea Micheli and
Muhammad Syifa'ul Mufid},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Computation of the Transient in Max-Plus Linear Systems via SMT-Solving},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {161--177},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_10},
doi = {10.1007/978-3-030-57628-8\_10},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/AbateCMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmendolaBCCGSST20,
author = {Arturo Amendola and
Anna Becchi and
Roberto Cavada and
Alessandro Cimatti and
Alberto Griggio and
Giuseppe Scaglione and
Angelo Susi and
Alberto Tacchella and
Matteo Tessi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Model-Based Approach to the Design, Verification and Deployment
of Railway Interlocking System},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {240--254},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_16},
doi = {10.1007/978-3-030-61467-6\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmendolaBCCGSST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BecchiCZ20,
author = {Anna Becchi and
Alessandro Cimatti and
Enea Zaffanella},
editor = {Frank S. de Boer and
Antonio Cerone},
title = {Synthesis of P-Stable Abstractions},
booktitle = {Software Engineering and Formal Methods - 18th International Conference,
{SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12310},
pages = {214--230},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58768-0\_12},
doi = {10.1007/978-3-030-58768-0\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BecchiCZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiGGKT20,
author = {Alessandro Cimatti and
Luca Geatti and
Alberto Griggio and
Greg Kimberly and
Stefano Tonetta},
editor = {Armin Biere and
David Parker},
title = {Safe Decomposition of Startup Requirements: Verification and Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {155--172},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_9},
doi = {10.1007/978-3-030-45190-5\_9},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiGGKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-00505,
author = {Alessandro Abate and
Alessandro Cimatti and
Andrea Micheli and
Muhammad Syifa'ul Mufid},
title = {Computation of the Transient in Max-Plus Linear Systems via SMT-Solving},
journal = {CoRR},
volume = {abs/2007.00505},
year = {2020},
url = {https://arxiv.org/abs/2007.00505},
eprinttype = {arXiv},
eprint = {2007.00505},
timestamp = {Mon, 06 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-00505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-05335,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
title = {Reactive Synthesis from Extended Bounded Response {LTL} Specifications},
journal = {CoRR},
volume = {abs/2008.05335},
year = {2020},
url = {https://arxiv.org/abs/2008.05335},
eprinttype = {arXiv},
eprint = {2008.05335},
timestamp = {Sun, 16 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-05335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BozzanoCM19,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei},
title = {Formal reliability analysis of redundancy architectures},
journal = {Formal Aspects Comput.},
volume = {31},
number = {1},
pages = {59--94},
year = {2019},
url = {https://doi.org/10.1007/s00165-018-0475-1},
doi = {10.1007/S00165-018-0475-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BozzanoCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CashmoreCMMZ19,
author = {Michael Cashmore and
Alessandro Cimatti and
Daniele Magazzeni and
Andrea Micheli and
Parisa Zehtabi},
title = {Robustness Envelopes for Temporal Plans},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {7538--7545},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33017538},
doi = {10.1609/AAAI.V33I01.33017538},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CashmoreCMMZ19.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/cpsweek/FrehseAABBCGGMM19,
author = {Goran Frehse and
Alessandro Abate and
Dieky Adzkiya and
Anna Becchi and
Lei Bu and
Alessandro Cimatti and
Mirco Giacobbe and
Alberto Griggio and
Sergio Mover and
Muhammad Syifa'ul Mufid and
Idriss Riouak and
Stefano Tonetta and
Enea Zaffanella},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
Dynamics},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {1--13},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/rjwn},
doi = {10.29007/RJWN},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/FrehseAABBCGGMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CimattiTT19,
author = {Alessandro Cimatti and
Chun Tian and
Stefano Tonetta},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Assumption-Based Runtime Verification with Partial Observability and
Resets},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {165--184},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_10},
doi = {10.1007/978-3-030-32079-9\_10},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/CimattiTT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CimattiTT19a,
author = {Alessandro Cimatti and
Chun Tian and
Stefano Tonetta},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {NuRV: {A} nuXmv Extension for Runtime Verification},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {382--392},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_23},
doi = {10.1007/978-3-030-32079-9\_23},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/CimattiTT19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CimattiDST19,
author = {Alessandro Cimatti and
Rance DeLong and
Ivan Stojic and
Stefano Tonetta},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Friedemann Bitsch},
title = {Model-Based Run-Time Synthesis of Architectural Configurations for
Adaptive {MILS} Systems},
booktitle = {Computer Safety, Reliability, and Security - 38th International Conference,
{SAFECOMP} 2019, Turku, Finland, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11698},
pages = {200--215},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26601-1\_14},
doi = {10.1007/978-3-030-26601-1\_14},
timestamp = {Mon, 02 Sep 2019 15:11:27 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CimattiDST19.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}
}
@inproceedings{DBLP:conf/tacas/BozzanoBCKNT19,
author = {Marco Bozzano and
Harold Bruintjes and
Alessandro Cimatti and
Joost{-}Pieter Katoen and
Thomas Noll and
Stefano Tonetta},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {{COMPASS} 3.0},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {379--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_25},
doi = {10.1007/978-3-030-17462-0\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoBCKNT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-11581,
author = {Alessandro Valentini and
Andrea Micheli and
Alessandro Cimatti},
title = {Temporal Planning with Intermediate Conditions and Effects},
journal = {CoRR},
volume = {abs/1909.11581},
year = {2019},
url = {http://arxiv.org/abs/1909.11581},
eprinttype = {arXiv},
eprint = {1909.11581},
timestamp = {Mon, 31 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-11581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07318,
author = {Michael Cashmore and
Alessandro Cimatti and
Daniele Magazzeni and
Andrea Micheli and
Parisa Zehtabi},
title = {Towards Efficient Anytime Computation and Execution of Decoupled Robustness
Envelopes for Temporal Plans},
journal = {CoRR},
volume = {abs/1911.07318},
year = {2019},
url = {http://arxiv.org/abs/1911.07318},
eprinttype = {arXiv},
eprint = {1911.07318},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-07318.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/fmsd/CimattiDT18,
author = {Alessandro Cimatti and
Ramiro Demasi and
Stefano Tonetta},
title = {Tightening the contract refinements of a system architecture},
journal = {Formal Methods Syst. Des.},
volume = {52},
number = {1},
pages = {88--116},
year = {2018},
url = {https://doi.org/10.1007/s10703-017-0312-9},
doi = {10.1007/S10703-017-0312-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CimattiDT18.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/fm/CimattiST18,
author = {Alessandro Cimatti and
Ivan Stojic and
Stefano Tonetta},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Formal Specification and Verification of Dynamic Parametrized Architectures},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {625--644},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_37},
doi = {10.1007/978-3-319-95582-7\_37},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CimattiST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CavadaCMSCS18,
author = {Roberto Cavada and
Alessandro Cimatti and
Sergio Mover and
Mirko Sessa and
Giuseppe Cadavero and
Giuseppe Scaglione},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Analysis of Relay Interlocking Systems via SMT-based Model Checking
of Switched Multi-Domain Kirchhoff Networks},
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.8603007},
doi = {10.23919/FMCAD.2018.8603007},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CavadaCMSCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/CimattiDST18,
author = {Alessandro Cimatti and
Rance DeLong and
Ivan Stojic and
Stefano Tonetta},
editor = {Sergey Tverdyshev},
title = {Towards adaptive {MILS} System: Model- Based Design, Verification
and Run-Time Adaptation: Slides},
booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure
Systems, MILS@DSN 2018, Luxembourg, June 25, 2018},
publisher = {Zenodo},
year = {2018},
url = {https://doi.org/10.5281/zenodo.1306063},
doi = {10.5281/ZENODO.1306063},
timestamp = {Fri, 21 Sep 2018 12:06:23 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/CimattiDST18.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/sigsoft/MechtaevGCR18,
author = {Sergey Mechtaev and
Alberto Griggio and
Alessandro Cimatti and
Abhik Roychoudhury},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Symbolic execution with existential second-order constraints},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {389--399},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236049},
doi = {10.1145/3236024.3236049},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MechtaevGCR18.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}
}
@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/AbrahamA0BBCDEF17,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria Bigatti and
Martin Brain and
Alessandro Cimatti and
James H. Davenport and
Matthew England and
Pascal Fontaine and
Stephen Forrest and
Vijay Ganesh and
Alberto Griggio and
Daniel Kroening and
Werner M. Seiler},
editor = {Giles Reger and
Dmitriy Traytel},
title = {SC-square: when Satisfiability Checking and Symbolic Computation join
forces},
booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
pages = {6--10},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/p319},
doi = {10.29007/P319},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/AbrahamA0BBCDEF17.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/fmcad/CimattiMS17,
author = {Alessandro Cimatti and
Sergio Mover and
Mirko Sessa},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {SMT-based analysis of switching multi-domain linear Kirchhoff networks},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {188--195},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102259},
doi = {10.23919/FMCAD.2017.8102259},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BittnerBC17,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti},
editor = {Marco Bozzano and
Yiannis Papadopoulos},
title = {Timed Failure Propagation Analysis for Spacecraft Engineering: The
{ESA} Solar Orbiter Case Study},
booktitle = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
2017, Trento, Italy, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10437},
pages = {255--271},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64119-5\_17},
doi = {10.1007/978-3-319-64119-5\_17},
timestamp = {Thu, 14 Oct 2021 09:59:31 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/BittnerBC17.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}
}
@proceedings{DBLP:conf/dx/2017,
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
year = {2017},
url = {http://www.easychair.org/publications/volume/DX17},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2017,
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1},
doi = {10.1007/978-3-319-66197-1},
isbn = {978-3-319-66196-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2017.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/cca/AbrahamA0BBBCDE16,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria Bigatti and
Martin Brain and
Bruno Buchberger and
Alessandro Cimatti and
James H. Davenport and
Matthew England and
Pascal Fontaine and
Stephen Forrest and
Alberto Griggio and
Daniel Kroening and
Werner M. Seiler and
Thomas Sturm},
title = {Satisfiability checking and symbolic computation},
journal = {{ACM} Commun. Comput. Algebra},
volume = {50},
number = {4},
pages = {145--147},
year = {2016},
url = {https://doi.org/10.1145/3055282.3055285},
doi = {10.1145/3055282.3055285},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/AbrahamA0BBBCDE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CimattiGMT16,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
title = {Infinite-state invariant checking with {IC3} and predicate abstraction},
journal = {Formal Methods Syst. Des.},
volume = {49},
number = {3},
pages = {190--218},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0257-4},
doi = {10.1007/S10703-016-0257-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CimattiGMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BittnerBCZ16,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Gianni Zampedri},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Automated Verification and Tightening of Failure Propagation Models},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {907--913},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10094},
doi = {10.1609/AAAI.V30I1.10094},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BittnerBCZ16.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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CimattiGT16,
author = {Alessandro Cimatti and
Marco Gario and
Stefano Tonetta},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {A Lazy Approach to Temporal Epistemic Logic Model Checking},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1218--1226},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937101},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/CimattiGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GarioCMTR16,
author = {Marco Gario and
Alessandro Cimatti and
Cristian Mattarei and
Stefano Tonetta and
Kristin Yvonne Rozier},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Model Checking at Scale: Automated Air Traffic Control Design Space
Exploration},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {3--22},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_1},
doi = {10.1007/978-3-319-41540-6\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GarioCMTR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DanielCGTM16,
author = {Jakub Daniel and
Alessandro Cimatti and
Alberto Griggio and
Stefano Tonetta and
Sergio Mover},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded
Relations},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {271--291},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_15},
doi = {10.1007/978-3-319-41528-4\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DanielCGTM16.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}
}
@inproceedings{DBLP:conf/fm/CimattiMS16,
author = {Alessandro Cimatti and
Sergio Mover and
Mirko Sessa},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {From Electrical Switched Networks to Hybrid Automata},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {164--181},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_11},
doi = {10.1007/978-3-319-48989-6\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CimattiMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CavadaCCRT16,
author = {Roberto Cavada and
Alessandro Cimatti and
Luigi Crema and
Mattia Roccabruna and
Stefano Tonetta},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Model-Based Design of an Energy-System Embedded Controller Using Taste},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {741--747},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_45},
doi = {10.1007/978-3-319-48989-6\_45},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CavadaCCRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BittnerBC16,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti},
editor = {Subbarao Kambhampati},
title = {Automated Synthesis of Timed Failure Propagation Graphs},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {972--978},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/142},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BittnerBC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbrahamABBBBCDE16,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria Bigatti and
Martin Brain and
Bruno Buchberger and
Alessandro Cimatti and
James H. Davenport and
Matthew England and
Pascal Fontaine and
Stephen Forrest and
Alberto Griggio and
Daniel Kroening and
Werner M. Seiler and
Thomas Sturm},
editor = {Michael Kohlhase and
Moa Johansson and
Bruce R. Miller and
Leonardo de Moura and
Frank Wm. Tompa},
title = {SC\({}^{\mbox{2}}\): Satisfiability Checking Meets Symbolic Computation
- (Project Paper)},
booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9791},
pages = {28--43},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42547-4\_3},
doi = {10.1007/978-3-319-42547-4\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/AbrahamABBBBCDE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CimattiDT16,
author = {Alessandro Cimatti and
Ramiro Demasi and
Stefano Tonetta},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Tightening a Contract Refinement},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {386--402},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_26},
doi = {10.1007/978-3-319-41591-8\_26},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CimattiDT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BittnerBCCGGMMZ16,
author = {Benjamin Bittner and
Marco Bozzano and
Roberto Cavada and
Alessandro Cimatti and
Marco Gario and
Alberto Griggio and
Cristian Mattarei and
Andrea Micheli and
Gianni Zampedri},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The xSAP Safety Analysis Platform},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {533--539},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_31},
doi = {10.1007/978-3-662-49674-9\_31},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BittnerBCCGGMMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria Bigatti and
Martin Brain and
Bruno Buchberger and
Alessandro Cimatti and
James H. Davenport and
Matthew England and
Pascal Fontaine and
Stephen Forrest and
Alberto Griggio and
Daniel Kroening and
Werner M. Seiler and
Thomas Sturm},
title = {Satisfiability Checking and Symbolic Computation},
journal = {CoRR},
volume = {abs/1607.06945},
year = {2016},
url = {http://arxiv.org/abs/1607.06945},
eprinttype = {arXiv},
eprint = {1607.06945},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16a,
author = {Erika {\'{A}}brah{\'{a}}m and
John Abbott and
Bernd Becker and
Anna Maria Bigatti and
Martin Brain and
Bruno Buchberger and
Alessandro Cimatti and
James H. Davenport and
Matthew England and
Pascal Fontaine and
Stephen Forrest and
Alberto Griggio and
Daniel Kroening and
Werner M. Seiler and
Thomas Sturm},
title = {Satisfiability Checking meets Symbolic Computation (Project Paper)},
journal = {CoRR},
volume = {abs/1607.08028},
year = {2016},
url = {http://arxiv.org/abs/1607.08028},
eprinttype = {arXiv},
eprint = {1607.08028},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16a.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/corr/BozzanoCGT15,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta},
title = {Formal Design of Asynchronous Fault Detection and Identification Components
using Temporal Epistemic Logic},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {4},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(4:4)2015},
doi = {10.2168/LMCS-11(4:4)2015},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzanoCGT15.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/CimattiT15,
author = {Alessandro Cimatti and
Stefano Tonetta},
title = {Contracts-refinement proof system for component-based embedded systems},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {333--348},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.011},
doi = {10.1016/J.SCICO.2014.06.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CimattiT15.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/aaai/BozzanoCGM15,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Andrea Micheli},
editor = {Blai Bonet and
Sven Koenig},
title = {SMT-Based Validation of Timed Failure Propagation Graphs},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3724--3730},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9753},
doi = {10.1609/AAAI.V29I1.9753},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BozzanoCGM15.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}
}
@inproceedings{DBLP:conf/cav/BozzanoCPJKPRT15,
author = {Marco Bozzano and
Alessandro Cimatti and
Anthony Fernandes Pires and
David Jones and
Greg Kimberly and
T. Petri and
R. Robinson and
Stefano Tonetta},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Formal Design and Safety Analysis of {AIR6110} Wheel Brake System},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {518--535},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_36},
doi = {10.1007/978-3-319-21690-4\_36},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCPJKPRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoCGM15,
author = {Marco Bozzano and
Alessandro Cimatti and
Alberto Griggio and
Cristian Mattarei},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Efficient Anytime Techniques for Model-Based Safety Analysis},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {603--621},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_41},
doi = {10.1007/978-3-319-21690-4\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoCGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MattareiCGTR15,
author = {Cristian Mattarei and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta and
Kristin Y. Rozier},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Comparing Different Functional Allocations in Automated Air Traffic
Control Design},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {112--119},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542260},
doi = {10.1109/FMCAD.2015.7542260},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MattareiCGTR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CimattiDMT15,
author = {Alessandro Cimatti and
Rance DeLong and
Davide Marcantonio and
Stefano Tonetta},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Combining {MILS} with Contract-Based Design for Safety and Security
Requirements},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {264--276},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_23},
doi = {10.1007/978-3-319-24249-1\_23},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CimattiDMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syncop/CimattiGMT15,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Parameter Synthesis with {IC3} (Informal Presentation)},
booktitle = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
2015, April 11, 2015, London, United Kingdom},
series = {OASIcs},
volume = {44},
pages = {106--107},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.SynCoP.2015.106},
doi = {10.4230/OASICS.SYNCOP.2015.106},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/syncop/CimattiGMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiGMT15,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
editor = {Christel Baier and
Cesare Tinelli},
title = {HyComp: An SMT-Based Model Checker for Hybrid Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {52--67},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_4},
doi = {10.1007/978-3-662-46681-0\_4},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiGMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BittnerBCCGGMMZ15,
author = {Benjamin Bittner and
Marco Bozzano and
Roberto Cavada and
Alessandro Cimatti and
Marco Gario and
Alberto Griggio and
Cristian Mattarei and
Andrea Micheli and
Gianni Zampedri},
title = {The xSAP Safety Analysis Platform},
journal = {CoRR},
volume = {abs/1504.07513},
year = {2015},
url = {http://arxiv.org/abs/1504.07513},
eprinttype = {arXiv},
eprint = {1504.07513},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BittnerBCCGGMMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CimattiMT14,
author = {Alessandro Cimatti and
Sergio Mover and
Stefano Tonetta},
title = {Quantifier-free encoding of invariants for hybrid systems},
journal = {Formal Methods Syst. Des.},
volume = {45},
number = {2},
pages = {165--188},
year = {2014},
url = {https://doi.org/10.1007/s10703-013-0202-8},
doi = {10.1007/S10703-013-0202-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CimattiMT14.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/atva/BozzanoCMT14,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei and
Stefano Tonetta},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Formal Safety Assessment via Contract-Based Design},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {81--97},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_7},
doi = {10.1007/978-3-319-11936-6\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BozzanoCMT14.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/cav/CimattiGMT14,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
editor = {Armin Biere and
Roderick Bloem},
title = {Verifying {LTL} Properties of Hybrid Systems with K-Liveness},
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 = {424--440},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_28},
doi = {10.1007/978-3-319-08867-9\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiGMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BittnerBCGG14,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Alberto Griggio},
title = {Towards Pareto-optimal parameter synthesis for monotonic cost functions},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {23--30},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987591},
doi = {10.1109/FMCAD.2014.6987591},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BittnerBCGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BittnerBCFGGY14,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
R{\'{e}}gis De Ferluc and
Marco Gario and
Andrea Guiotto and
Yuri Yushtein},
editor = {Frank Ortmeier and
Antoine Rauzy},
title = {An Integrated Process for {FDIR} Design in Aerospace},
booktitle = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
2014, Munich, Germany, October 27-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8822},
pages = {82--95},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12214-4\_7},
doi = {10.1007/978-3-319-12214-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/BittnerBCFGGY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiGMT14,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {{IC3} Modulo Theories via Implicit Predicate Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {46--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_4},
doi = {10.1007/978-3-642-54862-8\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiGMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoCGT14,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Formal Design of Fault Detection and Identification Components Using
Temporal Epistemic Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {326--340},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_22},
doi = {10.1007/978-3-642-54862-8\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoCGT14.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/corr/CimattiGS14,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
title = {Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories},
journal = {CoRR},
volume = {abs/1401.3878},
year = {2014},
url = {http://arxiv.org/abs/1401.3878},
eprinttype = {arXiv},
eprint = {1401.3878},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CimattiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CimattiEFMP14,
author = {Alessandro Cimatti and
Stefan Edelkamp and
Maria Fox and
Daniele Magazzeni and
Erion Plaku},
title = {Automated Planning and Model Checking (Dagstuhl Seminar 14482)},
journal = {Dagstuhl Reports},
volume = {4},
number = {11},
pages = {227--245},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.11.227},
doi = {10.4230/DAGREP.4.11.227},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CimattiEFMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CimattiMT13,
author = {Alessandro Cimatti and
Sergio Mover and
Stefano Tonetta},
title = {SMT-based scenario verification for hybrid systems},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {1},
pages = {46--66},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0158-0},
doi = {10.1007/S10703-012-0158-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CimattiMT13.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/BozzanoCGT13,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Gario and
Stefano Tonetta},
title = {A Formal Framework for the Specification, Verification and Synthesis
of Diagnosers},
booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence,
Bellevue, Washington, USA, July 14-18, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-17}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7048},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BozzanoCGT13.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}
}
@inproceedings{DBLP:conf/atva/Cimatti13,
author = {Alessandro Cimatti},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {23},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_3},
doi = {10.1007/978-3-319-02444-8\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Cimatti13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MoverCTT13,
author = {Sergio Mover and
Alessandro Cimatti and
Ashish Tiwari and
Stefano Tonetta},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Time-aware relational abstractions for hybrid systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {14:1--14:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658592},
doi = {10.1109/EMSOFT.2013.6658592},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/MoverCTT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiGMT13,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
title = {Parameter synthesis with {IC3}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {165--168},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679406/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiGMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BozzanoCM13,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei},
editor = {Valeria Bertacco and
Axel Legay},
title = {Efficient Analysis of Reliability Architectures via Predicate Abstraction},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {279--294},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_19},
doi = {10.1007/978-3-319-03077-7\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BozzanoCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BozzanoCM13,
author = {Marco Bozzano and
Alessandro Cimatti and
Cristian Mattarei},
title = {Automated Analysis of Reliability Architectures},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.37},
doi = {10.1109/ICECCS.2013.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BozzanoCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CimattiDT13,
author = {Alessandro Cimatti and
Michele Dorigatti and
Stefano Tonetta},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {{OCRA:} {A} tool for checking the refinement of temporal contracts},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {702--705},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693137},
doi = {10.1109/ASE.2013.6693137},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/CimattiDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CimattiGSS13,
author = {Alessandro Cimatti and
Alberto Griggio and
Bastiaan Joost Schaafsma and
Roberto Sebastiani},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {A Modular Approach to MaxSAT Modulo Theories},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {150--165},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_12},
doi = {10.1007/978-3-642-39071-5\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CimattiGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiGSS13,
author = {Alessandro Cimatti and
Alberto Griggio and
Bastiaan Joost Schaafsma and
Roberto Sebastiani},
editor = {Nir Piterman and
Scott A. Smolka},
title = {The MathSAT5 {SMT} Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {93--107},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_7},
doi = {10.1007/978-3-642-36742-7\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiGSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CimattiGMT13,
author = {Alessandro Cimatti and
Alberto Griggio and
Sergio Mover and
Stefano Tonetta},
title = {{IC3} Modulo Theories via Implicit Predicate Abstraction},
journal = {CoRR},
volume = {abs/1310.6847},
year = {2013},
url = {http://arxiv.org/abs/1310.6847},
eprinttype = {arXiv},
eprint = {1310.6847},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CimattiGMT13.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/aaai/BittnerBCO12,
author = {Benjamin Bittner and
Marco Bozzano and
Alessandro Cimatti and
Xavier Olive},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Symbolic Synthesis of Observability Requirements for Diagnosability},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {712--718},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8225},
doi = {10.1609/AAAI.V26I1.8225},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BittnerBCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CimattiMT12,
author = {Alessandro Cimatti and
Sergio Mover and
Stefano Tonetta},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {SMT-Based Verification of Hybrid Systems},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {2100--2105},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8442},
doi = {10.1609/AAAI.V26I1.8442},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CimattiMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiG12,
author = {Alessandro Cimatti and
Alberto Griggio},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Software Model Checking via {IC3}},
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 = {277--293},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_23},
doi = {10.1007/978-3-642-31424-7\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiG12.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/euromicro/CimattiT12,
author = {Alessandro Cimatti and
Stefano Tonetta},
editor = {Vittorio Cortellessa and
Henry Muccini and
Onur Demir{\"{o}}rs},
title = {A Property-Based Proof System for Contract-Based Design},
booktitle = {38th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2012, Cesme, Izmir, Turkey, September 5-8, 2012},
pages = {21--28},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEAA.2012.68},
doi = {10.1109/SEAA.2012.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/CimattiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cimatti12,
author = {Alessandro Cimatti},
editor = {Gianpiero Cabodi and
Satnam Singh},
title = {Application of {SMT} solvers to hybrid system verification},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
UK, October 22-25, 2012},
pages = {4},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462548/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Cimatti12.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}
}
@inproceedings{DBLP:conf/fmcad/CimattiMT12,
author = {Alessandro Cimatti and
Sergio Mover and
Stefano Tonetta},
editor = {Gianpiero Cabodi and
Satnam Singh},
title = {A quantifier-free {SMT} encoding of non-linear hybrid automata},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
UK, October 22-25, 2012},
pages = {187--195},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462573/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2012,
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8},
doi = {10.1007/978-3-642-31612-8},
isbn = {978-3-642-31611-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2012.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/jair/CimattiGS11,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
title = {Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories},
journal = {J. Artif. Intell. Res.},
volume = {40},
pages = {701--728},
year = {2011},
url = {https://doi.org/10.1613/jair.3196},
doi = {10.1613/JAIR.3196},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CimattiGS11.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/cav/CimattiMT11,
author = {Alessandro Cimatti and
Sergio Mover and
Stefano Tonetta},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Efficient Scenario Verification for Hybrid Automata},
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 = {317--332},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_25},
doi = {10.1007/978-3-642-22110-1\_25},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/CimattiMT11,
author = {Alessandro Cimatti and
Sergio Mover and
Stefano Tonetta},
title = {HyDI: {A} Language for Symbolic Hybrid Systems with Discrete Interaction},
booktitle = {37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011},
pages = {275--278},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEAA.2011.49},
doi = {10.1109/SEAA.2011.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/CimattiMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiMT11,
author = {Alessandro Cimatti and
Sergio Mover and
Stefano Tonetta},
editor = {Per Bjesse and
Anna Slobodov{\'{a}}},
title = {Proving and explaining the unfeasibility of message sequence charts
for hybrid systems},
booktitle = {International Conference on Formal Methods in Computer-Aided Design,
{FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
pages = {54--62},
publisher = {{FMCAD} Inc.},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157666},
timestamp = {Mon, 09 Aug 2021 15:21:44 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiMT11.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}
}
@article{DBLP:journals/tocl/CimattiGS10,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
title = {Efficient generation of craig interpolants in satisfiability modulo
theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {7:1--7:54},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838559},
doi = {10.1145/1838552.1838559},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CimattiGS10.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/etfa/LePPRC10,
author = {Thi Thieu Hoa Le and
Luigi Palopoli and
Roberto Passerone and
Yusi Ramadian and
Alessandro Cimatti},
title = {Parametric analysis of distributed firm real-time systems: {A} case
study},
booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ETFA.2010.5641315},
doi = {10.1109/ETFA.2010.5641315},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/LePPRC10.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/fmcad/FranzenCNSS10,
author = {Anders Franz{\'{e}}n and
Alessandro Cimatti and
Alexander Nadel and
Roberto Sebastiani and
Jonathan Shalev},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Applying {SMT} in symbolic execution of microcode},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {121--128},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770940/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/FranzenCNSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BuCLMT10,
author = {Lei Bu and
Alessandro Cimatti and
Xuandong Li and
Sergio Mover and
Stefano Tonetta},
editor = {John Hatcliff and
Elena Zucca},
title = {Model Checking of Hybrid Systems Using Shallow Synchronization},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {155--169},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_13},
doi = {10.1007/978-3-642-13464-7\_13},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BuCLMT10.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/spin/Cimatti10,
author = {Alessandro Cimatti},
editor = {Jaco van de Pol and
Michael Weber},
title = {SMT-Based Software Model Checking},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {1--3},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_1},
doi = {10.1007/978-3-642-16164-3\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Cimatti10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiFGSS10,
author = {Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Roberto Sebastiani and
Cristian Stenico},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Satisfiability Modulo the Theory of Costs: Foundations and Applications},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {99--113},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_8},
doi = {10.1007/978-3-642-12002-2\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiFGSS10.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}
}
@article{DBLP:journals/amai/BruttomessoCFGS09,
author = {Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Roberto Sebastiani},
title = {Delayed theory combination vs. Nelson-Oppen for satisfiability modulo
theories: a comparative analysis},
journal = {Ann. Math. Artif. Intell.},
volume = {55},
number = {1-2},
pages = {63--99},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9152-7},
doi = {10.1007/S10472-009-9152-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BruttomessoCFGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CimattiGS09,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
editor = {Renate A. Schmidt},
title = {Interpolant Generation for {UTVPI}},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {167--182},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_15},
doi = {10.1007/978-3-642-02959-2\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CimattiGS09.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/fmcad/BeyerCGKS09,
author = {Dirk Beyer and
Alessandro Cimatti and
Alberto Griggio and
M. Erkan Keremoglu and
Roberto Sebastiani},
title = {Software model checking via large-block encoding},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {25--32},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351147},
doi = {10.1109/FMCAD.2009.5351147},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BeyerCGKS09.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/corr/abs-0904-4709,
author = {Dirk Beyer and
Alessandro Cimatti and
Alberto Griggio and
M. Erkan Keremoglu and
Roberto Sebastiani},
title = {Software Model Checking via Large-Block Encoding},
journal = {CoRR},
volume = {abs/0904.4709},
year = {2009},
url = {http://arxiv.org/abs/0904.4709},
eprinttype = {arXiv},
eprint = {0904.4709},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-4709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-4492,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
title = {Efficient Generation of Craig Interpolants in Satisfiability Modulo
Theories},
journal = {CoRR},
volume = {abs/0906.4492},
year = {2009},
url = {http://arxiv.org/abs/0906.4492},
eprinttype = {arXiv},
eprint = {0906.4492},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-4492.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/cav/BruttomessoCFGS08,
author = {Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Roberto Sebastiani},
editor = {Aarti Gupta and
Sharad Malik},
title = {The MathSAT 4SMT Solver},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {299--303},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_28},
doi = {10.1007/978-3-540-70545-1\_28},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BruttomessoCFGS08.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/rtss/CimattiPR08,
author = {Alessandro Cimatti and
Luigi Palopoli and
Yusi Ramadian},
title = {Symbolic Computation of Schedulability Regions Using Parametric Timed
Automata},
booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}
2008, Barcelona, Spain, 30 November - 3 December 2008},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTSS.2008.36},
doi = {10.1109/RTSS.2008.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CimattiPR08.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/tacas/CimattiGS08,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Efficient Interpolant Generation in Satisfiability Modulo Theories},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {397--412},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_30},
doi = {10.1007/978-3-540-78800-3\_30},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiGS08.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}
}
@proceedings{DBLP:conf/fmcad/2008,
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
publisher = {{IEEE}},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4689158/proceeding},
isbn = {978-1-4244-2735-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/CimattiPT08,
author = {Alessandro Cimatti and
Marco Pistore and
Paolo Traverso},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Automated Planning},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {841--867},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03022-2},
doi = {10.1016/S1574-6526(07)03022-2},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/CimattiPT08.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/atva/BozzanoCT07,
author = {Marco Bozzano and
Alessandro Cimatti and
Francesco Tapparo},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Symbolic Fault Tree Analysis for Reactive Systems},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {162--176},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_13},
doi = {10.1007/978-3-540-75596-8\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BozzanoCT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RakamaricBHC07,
author = {Zvonimir Rakamaric and
Roberto Bruttomesso and
Alan J. Hu and
Alessandro Cimatti},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Verifying Heap-Manipulating Programs in an {SMT} Framework},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {237--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_18},
doi = {10.1007/978-3-540-75596-8\_18},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/RakamaricBHC07.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 = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiRST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BruttomessoCFGHNPS07,
author = {Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Ziyad Hanna and
Alexander Nadel and
Amit Palti and
Roberto Sebastiani},
editor = {Werner Damm and
Holger Hermanns},
title = {A Lazy and Layered SMT({\textdollar}{\textbackslash}mathcal\{BV\}{\textdollar})
Solver for Hard Industrial Verification Problems},
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 = {547--560},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_54},
doi = {10.1007/978-3-540-73368-3\_54},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BruttomessoCFGHNPS07.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/sat/CimattiGS07,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {A Simple and Flexible Way of Computing Small Unsatisfiable Cores in
{SAT} Modulo Theories},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {334--339},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_32},
doi = {10.1007/978-3-540-72788-0\_32},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CimattiGS07.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}
}
@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}
}
@article{DBLP:journals/iandc/BozzanoBCJRRS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
title = {Efficient theory combination via boolean search},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1493--1525},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.05.011},
doi = {10.1016/J.IC.2005.05.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzanoBCJRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BertoliCP06,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Marco Pistore},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Towards Strong Cyclic Planning under Partial Observability},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {354--357},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-039.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/BertoliCP06.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/ecai/BertoliCP06,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Marco Pistore},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Stong Cyclic Planning Under Partial Observability},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {580--584},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BertoliCP06.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/lpar/BruttomessoCFGS06,
author = {Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Roberto Sebastiani},
editor = {Miki Hermann and
Andrei Voronkov},
title = {Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo
Theories: {A} Comparative Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {527--541},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_36},
doi = {10.1007/11916277\_36},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BruttomessoCFGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BruttomessoCFGSS06,
author = {Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Alessandro Santuari and
Roberto Sebastiani},
editor = {Miki Hermann and
Andrei Voronkov},
title = {To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling
Uninterpreted Function Symbols in \emph{SMT}(\emph{EUF} {\`{E}}\emph{T})},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {557--571},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_38},
doi = {10.1007/11916277\_38},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BruttomessoCFGSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/BertoliBC06,
author = {Piergiorgio Bertoli and
Marco Bozzano and
Alessandro Cimatti},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {A Symbolic Model Checking Framework for Safety Analysis, Diagnosis,
and Synthesis},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_1},
doi = {10.1007/978-3-540-74128-2\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/BertoliBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CimattiS06,
author = {Alessandro Cimatti and
Roberto Sebastiani},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Building Efficient Decision Procedures on Top of {SAT} Solvers},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {144--175},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_6},
doi = {10.1007/11757283\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CimattiS06.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}
}
@proceedings{DBLP:conf/sfm/2006,
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283},
doi = {10.1007/11757283},
isbn = {978-3-540-34304-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smt/2005,
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/2},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
title = {MathSAT: Tight Integration of {SAT} and Mathematical Decision Procedures},
journal = {J. Autom. Reason.},
volume = {35},
number = {1-3},
pages = {265--293},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9004-z},
doi = {10.1007/S10817-005-9004-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Robert Nieuwenhuis},
title = {The MathSAT 3 System},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {315--321},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_23},
doi = {10.1007/11532231\_23},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoBCJRRS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Efficient Satisfiability Modulo Theories via Delayed Theory Combination},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {335--349},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_34},
doi = {10.1007/11513988\_34},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoBCJRRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {An Incremental and Layered Procedure for the Satisfiability of Linear
Arithmetic Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {317--333},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_21},
doi = {10.1007/978-3-540-31980-1\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArmandoC06,
author = {Alessandro Armando and
Alessandro Cimatti},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.002},
doi = {10.1016/J.ENTCS.2005.12.002},
timestamp = {Fri, 16 Dec 2022 10:24:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArmandoC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BozzanoBCFHKPS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Ziyad Hanna and
Zurab Khasidashvili and
Amit Palti and
Roberto Sebastiani},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Encoding {RTL} Constructs for MathSAT: a Preliminary Report},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {3--14},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.001},
doi = {10.1016/J.ENTCS.2005.12.001},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BozzanoBCFHKPS06.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}
}
@inproceedings{DBLP:conf/ecai/RoelofsenSC04,
author = {Floris Roelofsen and
Luciano Serafini and
Alessandro Cimatti},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Many Hands Make Light Work: Localized Satisfiability for Multi-Context
Systems},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {58--62},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/RoelofsenSC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BertoliCT04,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Paolo Traverso},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Interleaving Execution and Planning for Nondeterministic, Partially
Observable Domains},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {657--661},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Thu, 02 Sep 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BertoliCT04.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:journals/entcs/AudemardBCS05,
author = {Gilles Audemard and
Marco Bozzano and
Alessandro Cimatti and
Roberto Sebastiani},
editor = {Armin Biere and
Ofer Strichman},
title = {Verifying Industrial Hybrid Systems with MathSAT},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {17--32},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.022},
doi = {10.1016/J.ENTCS.2004.12.022},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AudemardBCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/BiereCCSZ03,
author = {Armin Biere and
Alessandro Cimatti and
Edmund M. Clarke and
Ofer Strichman and
Yunshan Zhu},
title = {Bounded model checking},
journal = {Adv. Comput.},
volume = {58},
pages = {117--148},
year = {2003},
url = {https://doi.org/10.1016/S0065-2458(03)58003-2},
doi = {10.1016/S0065-2458(03)58003-2},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/BiereCCSZ03.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/aips/BertoliCPT03,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Marco Pistore and
Paolo Traverso},
editor = {Enrico Giunchiglia and
Nicola Muscettola and
Dana S. Nau},
title = {A Framework for Planning with Extended Goals under Partial Observability},
booktitle = {Proceedings of the Thirteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2003), June 9-13, 2003, Trento, Italy},
pages = {215--225},
publisher = {{AAAI}},
year = {2003},
url = {http://www.aaai.org/Library/ICAPS/2003/icaps03-022.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/BertoliCPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CimattiPC03,
author = {Alessandro Cimatti and
Charles Pecheur and
Roberto Cavada},
editor = {Georg Gottlob and
Toby Walsh},
title = {Formal Verification of Diagnosability via Symbolic Model Checking},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {363--369},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/054.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CimattiPC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenedettiC03,
author = {Marco Benedetti and
Alessandro Cimatti},
editor = {Hubert Garavel and
John Hatcliff},
title = {Bounded Model Checking for Past {LTL}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {18--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_3},
doi = {10.1007/3-540-36577-X\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenedettiC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BertoliC02,
author = {Piergiorgio Bertoli and
Alessandro Cimatti},
editor = {Malik Ghallab and
Joachim Hertzberg and
Paolo Traverso},
title = {Improving Heuristics for Planning as Search in Belief Space},
booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
Planning Systems, April 23-27, 2002, Toulouse, France},
pages = {143--152},
publisher = {{AAAI}},
year = {2002},
url = {http://www.aaai.org/Library/AIPS/2002/aips02-015.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/BertoliC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/AudemardBCKS02,
author = {Gilles Audemard and
Piergiorgio Bertoli and
Alessandro Cimatti and
Artur Kornilowicz and
Roberto Sebastiani},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms,
and Requirements},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {231--245},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_22},
doi = {10.1007/3-540-45470-5\_22},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/AudemardBCKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/BenerecettiC02,
author = {Massimo Benerecetti and
Alessandro Cimatti},
editor = {Fausto Giunchiglia and
James Odell and
Gerhard Wei{\ss}},
title = {Validation of Multiagent Systems by Symbolic Model Checking},
booktitle = {Agent-Oriented Software Engineering III, Third International Workshop,
{AOSE} 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited
Contributions},
series = {Lecture Notes in Computer Science},
volume = {2585},
pages = {32--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36540-0\_3},
doi = {10.1007/3-540-36540-0\_3},
timestamp = {Tue, 08 Mar 2022 10:12:48 +0100},
biburl = {https://dblp.org/rec/conf/aose/BenerecettiC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AudemardBCKS02,
author = {Gilles Audemard and
Piergiorgio Bertoli and
Alessandro Cimatti and
Artur Kornilowicz and
Roberto Sebastiani},
editor = {Andrei Voronkov},
title = {A {SAT} Based Approach for Solving Formulas over Boolean and Linear
Mathematical Propositions},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {195--210},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_17},
doi = {10.1007/3-540-45620-1\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AudemardBCKS02.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/ecai/BertoliCST02,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
John K. Slaney and
Sylvie Thi{\'{e}}baux},
editor = {Frank van Harmelen},
title = {Solving Power Supply Restoration Problems with Planning via Symbolic
Model Checking},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {576--580},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BertoliCST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AudemardCKS02,
author = {Gilles Audemard and
Alessandro Cimatti and
Artur Kornilowicz and
Roberto Sebastiani},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Bounded Model Checking for Timed Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {243--259},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_16},
doi = {10.1007/3-540-36135-9\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AudemardCKS02.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/scp/Hartonas-GarmhausenCCCG00,
author = {Vicky Hartonas{-}Garmhausen and
S{\'{e}}rgio Vale Aguiar Campos and
Alessandro Cimatti and
Edmund M. Clarke and
Fausto Giunchiglia},
title = {Verification of a safety-critical railway interlocking system with
real-time constraints},
journal = {Sci. Comput. Program.},
volume = {36},
number = {1},
pages = {53--64},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00016-7},
doi = {10.1016/S0167-6423(99)00016-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Hartonas-GarmhausenCCCG00.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/movep/Cimatti00,
author = {Alessandro Cimatti},
editor = {Franck Cassez and
Claude Jard and
Brigitte Rozoy and
Mark Dermot Ryan},
title = {Industrial Applications of Model Checking},
booktitle = {Modeling and Verification of Parallel Processes, 4th Summer School,
{MOVEP} 2000, Nantes, France, June 19-23, 2000},
series = {Lecture Notes in Computer Science},
volume = {2067},
pages = {153--168},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45510-8\_6},
doi = {10.1007/3-540-45510-8\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/movep/Cimatti00.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/dac/BiereCCFZ99,
author = {Armin Biere and
Alessandro Cimatti and
Edmund M. Clarke and
Masahiro Fujita and
Yunshan Zhu},
editor = {Mary Jane Irwin},
title = {Symbolic Model Checking Using {SAT} Procedures instead of BDDs},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {317--320},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309942},
doi = {10.1145/309847.309942},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/BiereCCFZ99.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/fm/CimattiPSTV99,
author = {Alessandro Cimatti and
P. L. Pieraccini and
Roberto Sebastiani and
Paolo Traverso and
Adolfo Villafiorita},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Formal Specification and Validation of a Vital Communication Protocol},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1584--1604},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_34},
doi = {10.1007/3-540-48118-4\_34},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/CimattiPSTV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChiappiniCPRSTV99,
author = {Angelo Chiappini and
Alessandro Cimatti and
Carmen Porzia and
G. Rotondo and
Roberto Sebastiani and
Paolo Traverso and
Adolfo Villafiorita},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Formal Specification and Development of a Safety-Critical Train Management
System},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {410--419},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_35},
doi = {10.1007/3-540-48249-0\_35},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChiappiniCPRSTV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BiereCCZ99,
author = {Armin Biere and
Alessandro Cimatti and
Edmund M. Clarke and
Yunshan Zhu},
editor = {Rance Cleaveland},
title = {Symbolic Model Checking without BDDs},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {193--207},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_14},
doi = {10.1007/3-540-49059-0\_14},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BiereCCZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CimattiG99,
author = {Alessandro Cimatti and
Orna Grumberg},
editor = {Alessandro Cimatti and
Orna Grumberg},
title = {Preface},
booktitle = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
Italy, July 6, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {2},
pages = {127--128},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80673-5},
doi = {10.1016/S1571-0661(05)80673-5},
timestamp = {Tue, 22 Nov 2022 15:04:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CimattiG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/floc/1999smc,
editor = {Alessandro Cimatti and
Orna Grumberg},
title = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
Italy, July 6, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {2},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/23/issue/2},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/floc/1999smc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/CimattiGW98,
author = {Alessandro Cimatti and
Fausto Giunchiglia and
Richard W. Weyhrauch},
title = {A Many-Sorted Natural Deduction},
journal = {Comput. Intell.},
volume = {14},
number = {1},
pages = {134--149},
year = {1998},
url = {https://doi.org/10.1111/0824-7935.00058},
doi = {10.1111/0824-7935.00058},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/CimattiGW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CimattiGMRTT98,
author = {Alessandro Cimatti and
Fausto Giunchiglia and
Giorgio Mongardi and
Dario Romano and
Fernando Torielli and
Paolo Traverso},
title = {Formal Verification of a Railway Interlocking System using Model Checking},
journal = {Formal Aspects Comput.},
volume = {10},
number = {4},
pages = {361--380},
year = {1998},
url = {https://doi.org/10.1007/s001650050022},
doi = {10.1007/S001650050022},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CimattiGMRTT98.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/ftcs/Hartonas-GarmhausenCCCG98,
author = {Vicky Hartonas{-}Garmhausen and
S{\'{e}}rgio Vale Aguiar Campos and
Alessandro Cimatti and
Edmund M. Clarke and
Fausto Giunchiglia},
title = {Verification of a Safety-Critical Railway Interlocking System with
Real-Time Constraints},
booktitle = {Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium
on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998},
pages = {458--463},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/FTCS.1998.689498},
doi = {10.1109/FTCS.1998.689498},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/Hartonas-GarmhausenCCCG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BertoliCGT98,
author = {Piergiorgio Bertoli and
Alessandro Cimatti and
Fausto Giunchiglia and
Paolo Traverso},
editor = {Wolfgang D. Ehrenberger},
title = {A Structured Approach to the Formal Certification of Safety of Computer
Aided Development Tools},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {221--230},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_17},
doi = {10.1007/3-540-49646-7\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BertoliCGT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CimattiGMRTT98,
author = {Alessandro Cimatti and
Fausto Giunchiglia and
Giorgio Mongardi and
Dario Romano and
Fernando Torielli and
Paolo Traverso},
editor = {Wolfgang D. Ehrenberger},
title = {Model Checking Safety Critical Software with {SPIN:} An Application
to a Railway Interlocking System},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {284--295},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_22},
doi = {10.1007/3-540-49646-7\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CimattiGMRTT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiGPPPRTY97,
author = {Alessandro Cimatti and
Fausto Giunchiglia and
Paolo Pecchiari and
Bruno Pietra and
Joe Profeta and
Dario Romano and
Paolo Traverso and
Bing Yu},
editor = {Orna Grumberg},
title = {A Provably Correct Embedded Verifier for the Certification of Safety
Critical Software},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {202--213},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_21},
doi = {10.1007/3-540-63166-6\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CimattiGPPPRTY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/CimattiGGT97,
author = {Alessandro Cimatti and
Fausto Giunchiglia and
Enrico Giunchiglia and
Paolo Traverso},
editor = {Sam Steel and
Rachid Alami},
title = {Planning via Model Checking: {A} Decision Procedure for \emph{AR}},
booktitle = {Recent Advances in {AI} Planning, 4th European Conference on Planning,
ECP'97, Toulouse, France, September 24-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1348},
pages = {130--142},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63912-8\_81},
doi = {10.1007/3-540-63912-8\_81},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecp/CimattiGGT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/CimattiT96,
author = {Alessandro Cimatti and
Paolo Traverso},
title = {Computational reflection via mechanized logical deduction},
journal = {Int. J. Intell. Syst.},
volume = {11},
number = {5},
pages = {279--293},
year = {1996},
url = {https://doi.org/10.1002/(SICI)1098-111X(199605)11:5\&\#60;279::AID-INT3\&\#62;3.0.CO;2-L},
doi = {10.1002/(SICI)1098-111X(199605)11:5\&\#60;279::AID-INT3\&\#62;3.0.CO;2-L},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/CimattiT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GiunchigliaATC96,
author = {Enrico Giunchiglia and
Alessandro Armando and
Paolo Traverso and
Alessandro Cimatti},
title = {Visual representation of natural language scene descriptions},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {26},
number = {4},
pages = {575--589},
year = {1996},
url = {https://doi.org/10.1109/3477.517032},
doi = {10.1109/3477.517032},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/GiunchigliaATC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BenerecettiCGGS97,
author = {Massimo Benerecetti and
Alessandro Cimatti and
Enrico Giunchiglia and
Fausto Giunchiglia and
Luciano Serafini},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Michael J. Wooldridge and
Nicholas R. Jennings},
title = {Formal Specification of Beliefs in Multi-Agent Systems},
booktitle = {Intelligent Agents III, Agent Theories, Architectures, and Languages,
{ECAI} '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1193},
pages = {117--130},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013581},
doi = {10.1007/BFB0013581},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BenerecettiCGGS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fapr/CimattiS96,
author = {Alessandro Cimatti and
Luciano Serafini},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Mechanizing Multi-Agent Reasoning with Belief Contexts},
booktitle = {Practical Reasoning, International Conference on Formal and Applied
Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1085},
pages = {694--696},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61313-7\_111},
doi = {10.1007/3-540-61313-7\_111},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fapr/CimattiS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/CimattiS95,
author = {Alessandro Cimatti and
Luciano Serafini},
editor = {Victor R. Lesser and
Les Gasser},
title = {Multiagent Reasoning with Belief Contexts {II:} Elaboration Tolerance},
booktitle = {Proceedings of the First International Conference on Multiagent Systems,
June 12-14, 1995, San Francisco, California, {USA}},
pages = {57--64},
publisher = {The {MIT} Press},
year = {1995},
timestamp = {Tue, 16 Nov 2004 11:26:50 +0100},
biburl = {https://dblp.org/rec/conf/icmas/CimattiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/TraversoCSAG94,
author = {Paolo Traverso and
Alessandro Cimatti and
Luca Spalazzi and
Alessandro Armando and
Enrico Giunchiglia},
title = {{MRG:} Building planers for real-world complex applications},
journal = {Appl. Artif. Intell.},
volume = {8},
number = {3},
pages = {333--357},
year = {1994},
url = {https://doi.org/10.1080/08839519408945447},
doi = {10.1080/08839519408945447},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/TraversoCSAG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecaiw/CimattiS94,
author = {Alessandro Cimatti and
Luciano Serafini},
editor = {Michael J. Wooldridge and
Nicholas R. Jennings},
title = {Multi-Agent Reasoning with Belief Contexts: The Approach and a Case
Study},
booktitle = {Intelligent Agents, {ECAI-94} Workshop on Agent Theories, Architectures,
and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {890},
pages = {71--85},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58855-8\_4},
doi = {10.1007/3-540-58855-8\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecaiw/CimattiS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GiunchigliaC94,
author = {Fausto Giunchiglia and
Alessandro Cimatti},
editor = {Laurent Fribourg and
Franco Turini},
title = {Introspective Metatheoretic Reasoning},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {425--439},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_26},
doi = {10.1007/3-540-58792-6\_26},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GiunchigliaC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ArmandoCV93,
author = {Alessandro Armando and
Alessandro Cimatti and
Luca Vigan{\`{o}}},
editor = {Pietro Torasso},
title = {Building and Executing Proof Strategies in a Formal Metatheory},
booktitle = {Advances in Artificial Intelligence, Third Congress of the Italian
Association for Artificial Intelligence, AI*IA'93, Torino, Italy,
October 26-28, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {728},
pages = {11--22},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57292-9\_37},
doi = {10.1007/3-540-57292-9\_37},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ArmandoCV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/TraversoCS92,
author = {Paolo Traverso and
Alessandro Cimatti and
Luca Spalazzi},
editor = {Bernd Neumann},
title = {Beyond the Single Planning Paradigm: Introspective Planning},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {643--647},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/TraversoCS92.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-15 20:47 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:
