Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pierluigi San Pietro
@inproceedings{DBLP:conf/sofsem/CrespiReghizziRP24,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
editor = {Henning Fernau and
Serge Gaspers and
Ralf Klasing},
title = {Row-Column Combination of Dyck Words},
booktitle = {{SOFSEM} 2024: Theory and Practice of Computer Science - 49th International
Conference on Current Trends in Theory and Practice of Computer Science,
{SOFSEM} 2024, Cochem, Germany, February 19-23, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14519},
pages = {139--153},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-52113-3\_10},
doi = {10.1007/978-3-031-52113-3\_10},
timestamp = {Sun, 25 Feb 2024 15:20:57 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/CrespiReghizziRP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Crespi-Reghizzi23,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Two-Dimensional Dyck Words (short paper) (text not included)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
publisher = {CEUR-WS.org},
year = {2023},
timestamp = {Mon, 18 Dec 2023 16:58:34 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Crespi-Reghizzi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tfm/2023,
editor = {Catherine Dubois and
Pierluigi {San Pietro}},
title = {Formal Methods Teaching: 5th International Workshop, FMTea 2023, L{\"{u}}beck,
Germany, March 6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13962},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27534-0},
doi = {10.1007/978-3-031-27534-0},
isbn = {978-3-031-27533-3},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tfm/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-16522,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
title = {Two-dimensional Dyck words},
journal = {CoRR},
volume = {abs/2307.16522},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.16522},
doi = {10.48550/ARXIV.2307.16522},
eprinttype = {arXiv},
eprint = {2307.16522},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-16522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Crespi-Reghizzi22,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
title = {Reducing the local alphabet size in tiling systems by means of 2D
comma-free codes},
journal = {Theor. Comput. Sci.},
volume = {933},
pages = {1--20},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.09.010},
doi = {10.1016/J.TCS.2022.09.010},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Crespi-Reghizzi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-05208,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
title = {Reducing the local alphabet size in tiling systems by means of 2D
comma-free codes},
journal = {CoRR},
volume = {abs/2206.05208},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.05208},
doi = {10.48550/ARXIV.2206.05208},
eprinttype = {arXiv},
eprint = {2206.05208},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-05208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Crespi-Reghizzi21,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Reducing Local Alphabet Size in Recognizable Picture Languages},
booktitle = {Developments in Language Theory - 25th International Conference, {DLT}
2021, Porto, Portugal, August 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12811},
pages = {103--116},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81508-0\_9},
doi = {10.1007/978-3-030-81508-0\_9},
timestamp = {Tue, 10 Aug 2021 15:35:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Crespi-Reghizzi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SmithBRP21,
author = {Robert L. Smith and
Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Simon Bliudze and
Stefania Gnesi and
Nico Plat and
Laura Semini},
title = {Improved Bounded Model Checking of Timed Automata},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
pages = {97--110},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FormaliSE52586.2021.00016},
doi = {10.1109/FORMALISE52586.2021.00016},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SmithBRP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Crespi-Reghizzi21,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
editor = {Claudio Sacerdoti Coen and
Ivano Salvo},
title = {Reducing the Local Alphabet Size in Tiling Systems for Picture Languages},
booktitle = {Proceedings of the 22nd Italian Conference on Theoretical Computer
Science, Bologna, Italy, September 13-15, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3072},
pages = {199--204},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3072/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Crespi-Reghizzi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Crespi-Reghizzi21,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Homomorphic Characterization of Tree Languages Based on Comma-Free
Encoding},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {241--254},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_19},
doi = {10.1007/978-3-030-68195-1\_19},
timestamp = {Tue, 23 Feb 2021 12:56:48 +0100},
biburl = {https://dblp.org/rec/conf/lata/Crespi-Reghizzi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12444,
author = {Robert L. Smith and
Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {Improved Bounded Model Checking of Timed Automata},
journal = {CoRR},
volume = {abs/2104.12444},
year = {2021},
url = {https://arxiv.org/abs/2104.12444},
eprinttype = {arXiv},
eprint = {2104.12444},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MuranoBPO20,
author = {Aniello Murano and
Patricia Bouyer and
Pierluigi {San Pietro} and
Andrea Orlandini},
title = {Preface},
journal = {Inf. Comput.},
volume = {272},
pages = {104497},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104497},
doi = {10.1016/J.IC.2019.104497},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MuranoBPO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BersaniRP20,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {On the initialization of clocks in timed formalisms},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {175--198},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.11.023},
doi = {10.1016/J.TCS.2019.11.023},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BersaniRP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Crespi-Reghizzi20,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Deque automata, languages, and planar graph representations},
journal = {Theor. Comput. Sci.},
volume = {834},
pages = {43--59},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.02.029},
doi = {10.1016/J.TCS.2020.02.029},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Crespi-Reghizzi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MenghiBRP20,
author = {Claudio Menghi and
Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {Model Checking {MITL} Formulae on Timed Automata: {A} Logic-based
Approach},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {3},
pages = {26:1--26:44},
year = {2020},
url = {https://doi.org/10.1145/3383687},
doi = {10.1145/3383687},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MenghiBRP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Crespi-Reghizzi19,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Non-erasing Chomsky-Sch{\"{u}}tzenberger theorem with grammar-independent
alphabet},
journal = {Inf. Comput.},
volume = {269},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.104442},
doi = {10.1016/J.IC.2019.104442},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Crespi-Reghizzi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Crespi-Reghizzi19,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Miroslav Ciric and
Manfred Droste and
Jean{-}{\'{E}}ric Pin},
title = {Regular Languages as Local Functions with Small Alphabets},
booktitle = {Algebraic Informatics - 8th International Conference, {CAI} 2019,
Ni{\v{s}}, Serbia, June 30 - July 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11545},
pages = {124--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21363-3\_11},
doi = {10.1007/978-3-030-21363-3\_11},
timestamp = {Mon, 21 Mar 2022 08:53:41 +0100},
biburl = {https://dblp.org/rec/conf/cai/Crespi-Reghizzi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Crespi-Reghizzi19,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Deque Languages, Automata and Planar Graphs (text not included)},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Crespi-Reghizzi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Crespi-Reghizzi18,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {Deque Languages, Automata and Planar Graphs},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {243--255},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_20},
doi = {10.1007/978-3-319-98654-8\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Crespi-Reghizzi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04003,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Non-erasing Chomsky-Sch\{{\"{u}}\}tzenberger theorem with grammar-independent
alphabet},
journal = {CoRR},
volume = {abs/1805.04003},
year = {2018},
url = {http://arxiv.org/abs/1805.04003},
eprinttype = {arXiv},
eprint = {1805.04003},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-06562,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Deque languages, automata and planar graphs},
journal = {CoRR},
volume = {abs/1806.06562},
year = {2018},
url = {http://arxiv.org/abs/1806.06562},
eprinttype = {arXiv},
eprint = {1806.06562},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-06562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08684,
author = {Claudio Menghi and
Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {A Flexible Approach for Checking Timed Automata on Continuous Time
Semantics},
journal = {CoRR},
volume = {abs/1806.08684},
year = {2018},
url = {http://arxiv.org/abs/1806.08684},
eprinttype = {arXiv},
eprint = {1806.08684},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BersaniRP17,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {A logical characterization of timed regular languages},
journal = {Theor. Comput. Sci.},
volume = {658},
pages = {46--59},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.07.020},
doi = {10.1016/J.TCS.2016.07.020},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BersaniRP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Crespi-Reghizzi17a,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Counter machines, Petri Nets, and consensual computation},
journal = {Theor. Comput. Sci.},
volume = {664},
pages = {91--116},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2015.12.004},
doi = {10.1016/J.TCS.2015.12.004},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Crespi-Reghizzi17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-01761,
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
year = {2017},
url = {http://arxiv.org/abs/1709.01761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-01761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BersaniRP16,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {A tool for deciding the satisfiability of continuous-time metric temporal
logic},
journal = {Acta Informatica},
volume = {53},
number = {2},
pages = {171--206},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0229-y},
doi = {10.1007/S00236-015-0229-Y},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BersaniRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BersaniBGKP16,
author = {Marcello M. Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Efficient large-scale trace checking using mapreduce},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {888--898},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884832},
doi = {10.1145/2884781.2884832},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BersaniBGKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Crespi-Reghizzi16,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {The Missing Case in Chomsky-Sch{\"{u}}tzenberger Theorem},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {345--358},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_27},
doi = {10.1007/978-3-319-30000-9\_27},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Crespi-Reghizzi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BersaniRP15,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {An SMT-based approach to satisfiability checking of {MITL}},
journal = {Inf. Comput.},
volume = {245},
pages = {72--97},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.06.007},
doi = {10.1016/J.IC.2015.06.007},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BersaniRP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BersaniBGKP15,
author = {Marcello M. Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Efficient Large-scale Trace Checking Using MapReduce},
journal = {CoRR},
volume = {abs/1508.06613},
year = {2015},
url = {http://arxiv.org/abs/1508.06613},
eprinttype = {arXiv},
eprint = {1508.06613},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BersaniBGKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BersaniFMPRP14,
author = {Marcello M. Bersani and
Achille Frigeri and
Angelo Morzenti and
Matteo Pradella and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {Constraint {LTL} satisfiability checking without automata},
journal = {J. Appl. Log.},
volume = {12},
number = {4},
pages = {522--557},
year = {2014},
url = {https://doi.org/10.1016/j.jal.2014.07.005},
doi = {10.1016/J.JAL.2014.07.005},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/BersaniFMPRP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BouchyFP14,
author = {Florent Bouchy and
Alain Finkel and
Pierluigi {San Pietro}},
title = {Dense-choice Counter Machines revisited},
journal = {Theor. Comput. Sci.},
volume = {542},
pages = {17--31},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.04.029},
doi = {10.1016/J.TCS.2014.04.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BouchyFP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BersaniBGKP14,
author = {Marcello Maria Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
editor = {Stefania Gnesi and
Arend Rensink},
title = {SMT-Based Checking of {SOLOIST} over Sparse Traces},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 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 = {8411},
pages = {276--290},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_19},
doi = {10.1007/978-3-642-54804-8\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BersaniBGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BersaniRP14,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {A Logical Characterization of Timed (non-)Regular Languages},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {75--86},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_7},
doi = {10.1007/978-3-662-44522-8\_7},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BersaniRP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/BianculliGKP14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Offline Trace Checking of Quantitative Properties of Service-Based
Applications},
booktitle = {7th {IEEE} International Conference on Service-Oriented Computing
and Applications, {SOCA} 2014, Matsue, Japan, November 17-19, 2014},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SOCA.2014.14},
doi = {10.1109/SOCA.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/BianculliGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Crespi-ReghizziP14,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {Commutative Languages and their Composition by Consensual Methods},
booktitle = {Proceedings 14th International Conference on Automata and Formal Languages,
{AFL} 2014, Szeged, Hungary, May 27-29, 2014},
series = {{EPTCS}},
volume = {151},
pages = {216--230},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.151.15},
doi = {10.4204/EPTCS.151.15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Crespi-ReghizziP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BianculliGKP14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Offline Trace Checking of Quantitative Properties of Service-Based
Applications},
journal = {CoRR},
volume = {abs/1409.4653},
year = {2014},
url = {http://arxiv.org/abs/1409.4653},
eprinttype = {arXiv},
eprint = {1409.4653},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BianculliGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BersaniRP13,
author = {Marcello Maria Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {On the Satisfiability of Metric Temporal Logics over the Reals},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.884},
doi = {10.14279/TUJ.ECEASST.66.884},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BersaniRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Crespi-ReghizziP13,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Strict Local Testability with Consensus Equals Regularity, and Other
Properties},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {6},
pages = {747--764},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400169},
doi = {10.1142/S0129054113400169},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Crespi-ReghizziP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/PradellaMP13,
author = {Matteo Pradella and
Angelo Morzenti and
Pierluigi {San Pietro}},
title = {Bounded satisfiability checking of metric temporal logic specifications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {3},
pages = {20:1--20:54},
year = {2013},
url = {https://doi.org/10.1145/2491509.2491514},
doi = {10.1145/2491509.2491514},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/PradellaMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BersaniRP13,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Deciding Continuous-Time Metric Temporal Logic with Counting Modalities},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {70--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_8},
doi = {10.1007/978-3-642-41036-9\_8},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BersaniRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BersaniRP13,
author = {Marcello M. Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {C{\'{e}}sar S{\'{a}}nchez and
Kristen Brent Venable and
Esteban Zim{\'{a}}nyi},
title = {A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal
Logic},
booktitle = {2013 20th International Symposium on Temporal Representation and Reasoning,
Pensacola, FL, USA, September 26-28, 2013},
pages = {99--106},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TIME.2013.20},
doi = {10.1109/TIME.2013.20},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BersaniRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Crespi-ReghizziP13,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Stavros Konstantinidis},
title = {Deterministic Counter Machines and Parallel Matching Computations},
booktitle = {Implementation and Application of Automata - 18th International Conference,
{CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7982},
pages = {280--291},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39274-0\_25},
doi = {10.1007/978-3-642-39274-0\_25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/Crespi-ReghizziP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BersaniRP13,
author = {Marcello Maria Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Deciding the Satisfiability of {MITL} Specifications},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {64--78},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.8},
doi = {10.4204/EPTCS.119.8},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BersaniRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Crespi-ReghizziP12,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {From Regular to Strictly Locally Testable Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {8},
pages = {1711--1728},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400710},
doi = {10.1142/S0129054112400710},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Crespi-ReghizziP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BianculliGP12,
author = {Domenico Bianculli and
Carlo Ghezzi and
Pierluigi {San Pietro}},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {The Tale of {SOLOIST:} {A} Specification Language for Service Compositions
Interactions},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {55--72},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_4},
doi = {10.1007/978-3-642-35861-6\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BianculliGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Crespi-ReghizziP12,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Strict Local Testability with Consensus Equals Regularity},
booktitle = {Implementation and Application of Automata - 17th International Conference,
{CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7381},
pages = {113--124},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31606-7\_10},
doi = {10.1007/978-3-642-31606-7\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/Crespi-ReghizziP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-0946,
author = {Marcello M. Bersani and
Achille Frigeri and
Angelo Morzenti and
Matteo Pradella and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {Constraint {LTL} Satisfiability Checking without Automata},
journal = {CoRR},
volume = {abs/1205.0946},
year = {2012},
url = {http://arxiv.org/abs/1205.0946},
eprinttype = {arXiv},
eprint = {1205.0946},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-0946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Crespi-ReghizziP11,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Consensual languages and matching finite-state computations},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {45},
number = {1},
pages = {77--97},
year = {2011},
url = {https://doi.org/10.1051/ita/2011012},
doi = {10.1051/ITA/2011012},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Crespi-ReghizziP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BersaniFRP11,
author = {Marcello M. Bersani and
Achille Frigeri and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Completeness of the Bounded Satisfiability Problem for Constraint
{LTL}},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {58--71},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_7},
doi = {10.1007/978-3-642-24288-5\_7},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BersaniFRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3626,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Petr Ambroz and
Stepan Holub and
Zuzana Mas{\'{a}}kov{\'{a}}},
title = {From Regular to Strictly Locally Testable Languages},
booktitle = {Proceedings 8th International Conference Words 2011, Prague, Czech
Republic, 12-16th September 2011},
series = {{EPTCS}},
volume = {63},
pages = {103--111},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.63.14},
doi = {10.4204/EPTCS.63.14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BersaniFMPRP10,
author = {Marcello M. Bersani and
Achille Frigeri and
Angelo Morzenti and
Matteo Pradella and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Nicolas Markey and
Jef Wijsen},
title = {Bounded Reachability for Temporal Logic over Constraint Systems},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {43--50},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.21},
doi = {10.1109/TIME.2010.21},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BersaniFMPRP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-1077,
author = {Marcello M. Bersani and
Achille Frigeri and
Angelo Morzenti and
Matteo Pradella and
Matteo Rossi and
Pierluigi {San Pietro}},
title = {Bounded Reachability for Temporal Logic over Constraint Systems},
journal = {CoRR},
volume = {abs/1004.1077},
year = {2010},
url = {http://arxiv.org/abs/1004.1077},
eprinttype = {arXiv},
eprint = {1004.1077},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-1077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PradellaMP09,
author = {Matteo Pradella and
Angelo Morzenti and
Pierluigi {San Pietro}},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {A Metric Encoding for Bounded Model Checking},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {741--756},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_47},
doi = {10.1007/978-3-642-05089-3\_47},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/PradellaMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Crespi-ReghizziP09,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {Languages defined by consensual computations},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {82--85},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Crespi-ReghizziP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-3405,
author = {Florent Bouchy and
Alain Finkel and
Pierluigi {San Pietro}},
editor = {Axel Legay},
title = {Dense-choice Counter Machines revisited},
booktitle = {Proceedings International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2009, Bologna, Italy, 31th August 2009},
series = {{EPTCS}},
volume = {10},
pages = {3--22},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.10.1},
doi = {10.4204/EPTCS.10.1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-3405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-3085,
author = {Matteo Pradella and
Angelo Morzenti and
Pierluigi {San Pietro}},
title = {A Metric Encoding for Bounded Model Checking (extended version)},
journal = {CoRR},
volume = {abs/0907.3085},
year = {2009},
url = {http://arxiv.org/abs/0907.3085},
eprinttype = {arXiv},
eprint = {0907.3085},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-3085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/BieleckiBPP08,
author = {Wlodzimierz Bielecki and
Anna Beletska and
Marek Palkowski and
Pierluigi {San Pietro}},
editor = {Anu G. Bourgeois and
Si{-}Qing Zheng},
title = {Finding Synchronization-Free Parallelism Represented with Trees of
Dependent Operations},
booktitle = {Algorithms and Architectures for Parallel Processing, 8th International
Conference, {ICA3PP} 2008, Cyprus, June 9-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5022},
pages = {185--195},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69501-1\_20},
doi = {10.1007/978-3-540-69501-1\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ica3pp/BieleckiBPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/BeletskaBSP08,
author = {Anna Beletska and
Wlodzimierz Bielecki and
Krzysztof Siedlecki and
Pierluigi {San Pietro}},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Antonio Lagan{\`{a}} and
David Taniar and
Youngsong Mun and
Marina L. Gavrilova},
title = {Finding Synchronization-Free Slices of Operations in Arbitrarily Nested
Loops},
booktitle = {Computational Science and Its Applications - {ICCSA} 2008, International
Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {5073},
pages = {871--886},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69848-7\_69},
doi = {10.1007/978-3-540-69848-7\_69},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccsa/BeletskaBSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PradellaMP08,
author = {Matteo Pradella and
Angelo Morzenti and
Pierluigi {San Pietro}},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {290--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_20},
doi = {10.1007/978-3-540-85762-4\_20},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PradellaMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PradellaMP08,
author = {Matteo Pradella and
Angelo Morzenti and
Pierluigi {San Pietro}},
title = {Refining Real-Time System Specifications through Bounded Model- and
Satisfiability-Checking},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {119--127},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.22},
doi = {10.1109/ASE.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PradellaMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Crespi-ReghizziP08,
author = {Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Friedrich Otto and
Henning Fernau},
title = {Consensual Definition of Languages by Regular Sets},
booktitle = {Language and Automata Theory and Applications, Second International
Conference, {LATA} 2008, Tarragona, Spain, March 13-19, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5196},
pages = {196--208},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88282-4\_19},
doi = {10.1007/978-3-540-88282-4\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Crespi-ReghizziP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/AnselmoCP07,
author = {Marcella Anselmo and
Alessandra Cherubini and
Pierluigi {San Pietro}},
title = {Regular Languages and Associative Language Descriptions},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {9},
number = {2},
year = {2007},
url = {https://doi.org/10.46298/dmtcs.406},
doi = {10.46298/DMTCS.406},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/AnselmoCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BianculliSMPP07,
author = {Domenico Bianculli and
Paola Spoletini and
Angelo Morzenti and
Matteo Pradella and
Pierluigi {San Pietro}},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Model Checking Temporal Metric Specifications with Trio2Promela},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {388--395},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_26},
doi = {10.1007/978-3-540-75698-9\_26},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/BianculliSMPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BianculliMPPS07,
author = {Domenico Bianculli and
Angelo Morzenti and
Matteo Pradella and
Pierluigi {San Pietro} and
Paola Spoletini},
title = {Trio2Promela: {A} Model Checker for Temporal Metric Specifications},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
pages = {61--62},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSECOMPANION.2007.79},
doi = {10.1109/ICSECOMPANION.2007.79},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BianculliMPPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/BeletskaBP07,
author = {Anna Beletska and
Wlodzimierz Bielecki and
Pierluigi {San Pietro}},
title = {Extracting Coarse-Grained Parallelism in Program Loops with the Slicing
Framework},
booktitle = {6th International Symposium on Parallel and Distributed Computing
{(ISPDC} 2007), Hagenberg, Austria, July 5-8, 2007},
pages = {203--210},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISPDC.2007.21},
doi = {10.1109/ISPDC.2007.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/BeletskaBP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PradellaMP07,
author = {Matteo Pradella and
Angelo Morzenti and
Pierluigi {San Pietro}},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {The symmetry of the past and of the future: bi-infinite time in the
verification of temporal properties},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {312--320},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287669},
doi = {10.1145/1287624.1287669},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PradellaMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CherubiniCPP06,
author = {Alessandra Cherubini and
Stefano Crespi{-}Reghizzi and
Matteo Pradella and
Pierluigi {San Pietro}},
title = {Picture languages: Tiling systems versus tile rewriting grammars},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {1-2},
pages = {90--103},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.038},
doi = {10.1016/J.TCS.2006.01.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CherubiniCPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BerstelCRP05,
author = {Jean Berstel and
Stefano Crespi{-}Reghizzi and
Gilles Roussel and
Pierluigi {San Pietro}},
title = {A scalable formal method for design and automatic checking of user
interfaces},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {2},
pages = {124--167},
year = {2005},
url = {https://doi.org/10.1145/1061254.1061256},
doi = {10.1145/1061254.1061256},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/BerstelCRP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DangIPX04,
author = {Zhe Dang and
Oscar H. Ibarra and
Pierluigi {San Pietro} and
Gaoyan Xie},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Real-Counter Automata and Their Decision Problems},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {198--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_17},
doi = {10.1007/978-3-540-30538-5\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DangIPX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/VerdicchioP04,
author = {Mario Verdicchio and
Pierluigi {San Pietro}},
editor = {M. H. Hamza},
title = {Model checking-aided design of secure distributed systems},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {212--217},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/VerdicchioP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbui/CampiMP04,
author = {Alessandro Campi and
Eliseo Martinez and
Pierluigi {San Pietro}},
editor = {Hallvard Tr{\ae}tteberg and
Pedro J. Molina and
Nuno Jardim Nunes},
title = {Experiences with a Formal Method for Design and Automatic Checking
of User Interfaces},
booktitle = {{MBUI} 2004, Making model-based user interface design practical: usable
and open methods and tools, Proceedings of the First International
Workshop on Making model-based user interface design practical: usable
and open methods and tools, Funchal, Madeira, Portugal, January 13,
2004},
series = {{CEUR} Workshop Proceedings},
volume = {103},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-103/campi-et-al.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/mbui/CampiMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraDP03,
author = {Oscar H. Ibarra and
Zhe Dang and
Pierluigi {San Pietro}},
title = {Verification in loosely synchronous queue-connected discrete timed
automata},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {3},
pages = {1713--1735},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00076-2},
doi = {10.1016/S0304-3975(02)00076-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraDP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangPK03,
author = {Zhe Dang and
Pierluigi {San Pietro} and
Richard A. Kemmerer},
title = {Presburger liveness verification of discrete timed automata},
journal = {Theor. Comput. Sci.},
volume = {299},
number = {1-3},
pages = {413--438},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00485-1},
doi = {10.1016/S0304-3975(02)00485-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DangPK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/XieDIP03,
author = {Gaoyan Xie and
Zhe Dang and
Oscar H. Ibarra and
Pierluigi {San Pietro}},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Dense Counter Machines and Verification Problems},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {93--105},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_8},
doi = {10.1007/978-3-540-45069-6\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/XieDIP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/PietroD03,
author = {Pierluigi {San Pietro} and
Zhe Dang},
editor = {Tandy J. Warnow and
Binhai Zhu},
title = {Automatic Verification of Multi-queue Discrete Timed Automata},
booktitle = {Computing and Combinatorics, 9th Annual International Conference,
{COCOON} 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2697},
pages = {159--171},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45071-8\_18},
doi = {10.1007/3-540-45071-8\_18},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/PietroD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MorzentiPPS03,
author = {Angelo Morzenti and
Matteo Pradella and
Pierluigi {San Pietro} and
Paola Spoletini},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Model-Checking {TRIO} Specifications in {SPIN}},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {542--561},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_30},
doi = {10.1007/978-3-540-45236-2\_30},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MorzentiPPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CherubiniCP02,
author = {Alessandra Cherubini and
Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
title = {Associative language descriptions},
journal = {Theor. Comput. Sci.},
volume = {270},
number = {1-2},
pages = {463--491},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00417-5},
doi = {10.1016/S0304-3975(00)00417-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CherubiniCP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/FoschiGMPP02,
author = {Umberto Foschi and
Mauro Giuliani and
Angelo Morzenti and
Matteo Pradella and
Pierluigi {San Pietro}},
title = {Software procurement and methods for specification and validation
in the railway transportation industry},
booktitle = {{IEEE} International Conference on Systems, Man and Cybernetics: Bridging
the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002 -
Volume 1},
pages = {6},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ICSMC.2002.1175593},
doi = {10.1109/ICSMC.2002.1175593},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/smc/FoschiGMPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MartenaP01,
author = {Vincenzo Martena and
Pierluigi {San Pietro}},
editor = {Reinhard Wilhelm},
title = {Alias Analysis by Means of a Model Checker},
booktitle = {Compiler Construction, 10th International Conference, {CC} 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 = {2027},
pages = {3--19},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45306-7\_2},
doi = {10.1007/3-540-45306-7\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/MartenaP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DangIP01,
author = {Zhe Dang and
Oscar H. Ibarra and
Pierluigi {San Pietro}},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Liveness Verification of Reversal-Bounded Multicounter Machines with
a Free Counter},
booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December 13-15,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2245},
pages = {132--143},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45294-X\_12},
doi = {10.1007/3-540-45294-X\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DangIP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BerstelCRP01,
author = {Jean Berstel and
Stefano Crespi{-}Reghizzi and
Gilles Roussel and
Pierluigi {San Pietro}},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {A Scalable Formal Method for Design and Automatic Checking of User
Interfaces},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {453--462},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919118},
doi = {10.1109/ICSE.2001.919118},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BerstelCRP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CherubiniCP01,
author = {Alessandra Cherubini and
Stefano Crespi{-}Reghizzi and
Pierluigi {San Pietro}},
editor = {Antonio Restivo and
Simona Ronchi Della Rocca and
Luca Roversi},
title = {Some Structural Properties of Associative Language Descriptions},
booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
Torino, Italy, October 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2202},
pages = {172--183},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45446-2\_11},
doi = {10.1007/3-540-45446-2\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/CherubiniCP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DangPK01,
author = {Zhe Dang and
Pierluigi {San Pietro} and
Richard A. Kemmerer},
editor = {Afonso Ferreira and
Horst Reichel},
title = {On Presburger Liveness of Discrete Timed Automata},
booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
Science, Dresden, Germany, February 15-17, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2010},
pages = {132--143},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44693-1\_12},
doi = {10.1007/3-540-44693-1\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DangPK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MorascaMP00,
author = {Sandro Morasca and
Angelo Morzenti and
Pierluigi {San Pietro}},
title = {A Case Study on Applying a Tool for Automated System Analysis Based
on Modular Specifications Written in {TRIO}},
journal = {Autom. Softw. Eng.},
volume = {7},
number = {2},
pages = {125--155},
year = {2000},
url = {https://doi.org/10.1023/A:1008710224611},
doi = {10.1023/A:1008710224611},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/MorascaMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Crespi-ReghizziPP00,
author = {Stefano Crespi{-}Reghizzi and
Matteo Pradella and
Pierluigi {San Pietro}},
title = {Associative definition of programming languages},
journal = {Comput. Lang.},
volume = {26},
number = {2-4},
pages = {105--123},
year = {2000},
url = {https://doi.org/10.1016/S0096-0551(01)00004-2},
doi = {10.1016/S0096-0551(01)00004-2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/Crespi-ReghizziPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CherubiniP00,
author = {Alessandra Cherubini and
Pierluigi {San Pietro}},
title = {Tree Adjoining Languages and Multipushdown Languages},
journal = {Theory Comput. Syst.},
volume = {33},
number = {4},
pages = {257--293},
year = {2000},
url = {https://doi.org/10.1007/s002240010004},
doi = {10.1007/S002240010004},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/CherubiniP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PietroMM00,
author = {Pierluigi {San Pietro} and
Angelo Morzenti and
Sandro Morasca},
title = {Generation of Execution Sequences for Modular Time Critical Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {2},
pages = {128--149},
year = {2000},
url = {https://doi.org/10.1109/32.841114},
doi = {10.1109/32.841114},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/PietroMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Coen-PorisiniPP98,
author = {Alberto Coen{-}Porisini and
Matteo Pradella and
Pierluigi {San Pietro}},
editor = {Anders P. Ravn and
Hans Rischel},
title = {A Finite-Domain Semantics for Testing Temporal Logic Specifications},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {41--54},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055335},
doi = {10.1007/BFB0055335},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/Coen-PorisiniPP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MorzentiPM98,
author = {Angelo Morzenti and
Pierluigi {San Pietro} and
Sandro Morasca},
title = {A Tool for Automated System Analysis based on Modular Specifications},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732560},
doi = {10.1109/ASE.1998.732560},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MorzentiPM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CherubiniP96,
author = {Alessandra Cherubini and
Pierluigi {San Pietro}},
title = {A Polynomial-Time Parsing Algorithm for K-Depth Languages},
journal = {J. Comput. Syst. Sci.},
volume = {52},
number = {1},
pages = {61--79},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0006},
doi = {10.1006/JCSS.1996.0006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CherubiniP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MorascaMP96,
author = {Sandro Morasca and
Angelo Morzenti and
Pierluigi {San Pietro}},
editor = {Steve J. Zeil and
Will Tracz},
title = {Generating Functional Test Cases in-the-large for Time-critical Systems
from Logic-based Specifications},
booktitle = {Proceedings of the 1996 International Symposium on Software Testing
and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
pages = {39--52},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/229000.226300},
doi = {10.1145/229000.226300},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MorascaMP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/MorzentiP94,
author = {Angelo Morzenti and
Pierluigi {San Pietro}},
title = {Object-Oriented Logical Specification of Time-Critical Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {3},
number = {1},
pages = {56--98},
year = {1994},
url = {https://doi.org/10.1145/174634.174636},
doi = {10.1145/174634.174636},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/MorzentiP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CiapessoniCMP93,
author = {Emanuele Ciapessoni and
Edoardo Corsetti and
Angelo Montanari and
Pierluigi {San Pietro}},
title = {Embedding Time Granularity in a Logical Specification Language for
Synchronous Real-Time Systems},
journal = {Sci. Comput. Program.},
volume = {20},
number = {1-2},
pages = {141--171},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90025-K},
doi = {10.1016/0167-6423(93)90025-K},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CiapessoniCMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/CastanoAP93,
author = {Silvana Castano and
Valeria De Antonellis and
Pierluigi {San Pietro}},
editor = {Ramez Elmasri and
Vram Kouramajian and
Bernhard Thalheim},
title = {Reuse of Object-Oriented Requirements Specifications},
booktitle = {Entity-Relationship Approach - ER'93, 12th International Conference
on the Entity-Relationship Approach, Arlington, Texas, USA, December
15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {823},
pages = {339--351},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0024378},
doi = {10.1007/BFB0024378},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/CastanoAP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/FelderP92,
author = {Miguel Felder and
Pierluigi {San Pietro}},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Testing by Executing Logic Specifications},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {683--684},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_105},
doi = {10.1007/978-3-642-88049-0\_105},
timestamp = {Fri, 12 May 2017 11:23:45 +0200},
biburl = {https://dblp.org/rec/conf/nato/FelderP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/FelderP92a,
author = {Miguel Felder and
Pierluigi {San Pietro}},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Finite Time Semantics for Executable Logic Specifications},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {685--686},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_106},
doi = {10.1007/978-3-642-88049-0\_106},
timestamp = {Fri, 12 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nato/FelderP92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MorzentiP91,
author = {Angelo Morzenti and
Pierluigi {San Pietro}},
editor = {Pierre America},
title = {An Object-Oriented Logic Language for Modular System Specification},
booktitle = {ECOOP'91 European Conference on Object-Oriented Programming, Geneva,
Switzerland, July 15-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {512},
pages = {39--58},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0057014},
doi = {10.1007/BFB0057014},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MorzentiP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CorsettiCMMMPR91,
author = {Edoardo Corsetti and
Ernani Crivelli and
Dino Mandrioli and
Angelo Montanari and
Angelo Morzenti and
Pierluigi {San Pietro} and
Elena Ratto},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Dealing with different time scales in formal specifications},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952801},
doi = {10.5555/952786.952801},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CorsettiCMMMPR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:22 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:
