Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adriano Peron
@article{DBLP:journals/kais/VitaleMPRB24,
author = {Vincenzo Norman Vitale and
Sergio Di Martino and
Adriano Peron and
Massimiliano Russo and
Ermanno Battista},
title = {How to manage massive spatiotemporal dataset from stationary and non-stationary
sensors in commercial DBMS?},
journal = {Knowl. Inf. Syst.},
volume = {66},
number = {3},
pages = {2063--2088},
year = {2024},
url = {https://doi.org/10.1007/s10115-023-02009-y},
doi = {10.1007/S10115-023-02009-Y},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kais/VitaleMPRB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BozzelliMPS24,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {The addition of temporal neighborhood makes the logic of prefixes
and sub-intervals EXPSPACE-complete},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:23)2024},
doi = {10.46298/LMCS-20(1:23)2024},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BozzelliMPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenerecettiMP23,
author = {Massimo Benerecetti and
Fabio Mogavero and
Adriano Peron},
title = {Taming Strategy Logic: Non-Recurrent Fragments},
journal = {Inf. Comput.},
volume = {294},
pages = {105081},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105081},
doi = {10.1016/J.IC.2023.105081},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BenerecettiMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMPS23,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Pspace-completeness of the temporal logic of sub-intervals and suffixes},
journal = {Inf. Comput.},
volume = {294},
pages = {105083},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105083},
doi = {10.1016/J.IC.2023.105083},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BozzelliMP23,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
title = {Interval Temporal Logic for Visibly Pushdown Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {3},
pages = {24:1--24:32},
year = {2023},
url = {https://doi.org/10.1145/3583756},
doi = {10.1145/3583756},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BozzelliMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsm/AltieroCMPS23,
author = {Francesco Altiero and
Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi L. L. Starace},
editor = {Gabriele De Vito and
Filomena Ferrucci and
Carmine Gravino},
title = {AI-based Fault-proneness Metrics for Source Code Changes},
booktitle = {Joint Proceedings of the 32nd International Workshop on Software Measurement
{(IWSM)} and the 17th International Conference on Software Process
and Product Measurement (MENSURA), Rome, Italy, September 14-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3543},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3543/paper5.pdf},
timestamp = {Wed, 20 Dec 2023 17:08:34 +0100},
biburl = {https://dblp.org/rec/conf/iwsm/AltieroCMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenerecettiBMP23,
author = {Massimo Benerecetti and
Laura Bozzelli and
Fabio Mogavero and
Adriano Peron},
title = {Quantifying Over Trees in Monadic Second-Order Logic},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175832},
doi = {10.1109/LICS56636.2023.10175832},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenerecettiBMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/AltieroCMPS23,
author = {Francesco Altiero and
Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi Libero Lucio Starace},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {79--84},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper13.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/overlay/AltieroCMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11613,
author = {Massimo Benerecetti and
Laura Bozzelli and
Fabio Mogavero and
Adriano Peron},
title = {Quantifying over Trees in Monadic Second-Order Logic},
journal = {CoRR},
volume = {abs/2304.11613},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11613},
doi = {10.48550/ARXIV.2304.11613},
eprinttype = {arXiv},
eprint = {2304.11613},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMP22,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Context-free timed formalisms: Robust automata and linear temporal
logics},
journal = {Inf. Comput.},
volume = {283},
pages = {104673},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104673},
doi = {10.1016/J.IC.2020.104673},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BozzelliMMPS22,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:24)2022},
doi = {10.46298/LMCS-18(1:24)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BozzelliMMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMP22,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
title = {Complexity issues for timeline-based planning over dense time under
future and minimal semantics},
journal = {Theor. Comput. Sci.},
volume = {901},
pages = {87--113},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.12.004},
doi = {10.1016/J.TCS.2021.12.004},
timestamp = {Wed, 12 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BozzelliPS22,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Expressiveness and Decidability of Temporal Logics for Asynchronous
Hyperproperties},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {27:1--27:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.27},
doi = {10.4230/LIPICS.CONCUR.2022.27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BozzelliPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/AltieroCCMPS22,
author = {Francesco Altiero and
Giovanni Colella and
Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi L. L. Starace},
editor = {Gustavo Marrero Callic{\'{o}} and
Regina Hebig and
Andreas Wortmann},
title = {Change-Aware Regression Test Prioritization using Genetic Algorithms},
booktitle = {48th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2022, Maspalomas, Gran Canaria, Spain, 31 August - 2 September
2022},
pages = {125--132},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SEAA56994.2022.00028},
doi = {10.1109/SEAA56994.2022.00028},
timestamp = {Wed, 15 Feb 2023 22:07:57 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/AltieroCCMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/AltieroCMPS22,
author = {Francesco Altiero and
Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi L. L. Starace},
title = {ReCover: a Curated Dataset for Regression Testing Research},
booktitle = {19th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2022, Pittsburgh, PA, USA, May 23-24, 2022},
pages = {196--200},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524842.3528490},
doi = {10.1145/3524842.3528490},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/msr/AltieroCMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliP22,
author = {Laura Bozzelli and
Adriano Peron},
editor = {Alexander Artikis and
Roberto Posenato and
Stefano Tonetta},
title = {A Quantitative Extension of Interval Temporal Logic over Infinite
Words},
booktitle = {29th International Symposium on Temporal Representation and Reasoning,
{TIME} 2022, November 7-9, 2022, Virtual Conference},
series = {LIPIcs},
volume = {247},
pages = {11:1--11:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TIME.2022.11},
doi = {10.4230/LIPICS.TIME.2022.11},
timestamp = {Wed, 02 Nov 2022 15:45:12 +0100},
biburl = {https://dblp.org/rec/conf/time/BozzelliP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BenerecettiMP22,
author = {Massimo Benerecetti and
Fabio Mogavero and
Adriano Peron},
editor = {Alexander Artikis and
Roberto Posenato and
Stefano Tonetta},
title = {Taming Strategy Logic: Non-Recurrent Fragments},
booktitle = {29th International Symposium on Temporal Representation and Reasoning,
{TIME} 2022, November 7-9, 2022, Virtual Conference},
series = {LIPIcs},
volume = {247},
pages = {14:1--14:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TIME.2022.14},
doi = {10.4230/LIPICS.TIME.2022.14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BenerecettiMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10316,
author = {Laura Bozzelli and
Adriano Peron},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Parametric Interval Temporal Logic over Infinite Words},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {97--113},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.7},
doi = {10.4204/EPTCS.370.7},
timestamp = {Mon, 31 Oct 2022 12:23:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07881,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {The addition of temporal neighborhood makes the logic of prefixes
and sub-intervals EXPSPACE-complete},
journal = {CoRR},
volume = {abs/2202.07881},
year = {2022},
url = {https://arxiv.org/abs/2202.07881},
eprinttype = {arXiv},
eprint = {2202.07881},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13920,
author = {Laura Bozzelli and
Adriano Peron},
title = {A quantitative extension of Interval Temporal Logic over infinite
words},
journal = {CoRR},
volume = {abs/2206.13920},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13920},
doi = {10.48550/ARXIV.2206.13920},
eprinttype = {arXiv},
eprint = {2206.13920},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02956,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
title = {Expressiveness and Decidability of Temporal Logics for Asynchronous
Hyperproperties},
journal = {CoRR},
volume = {abs/2207.02956},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02956},
doi = {10.48550/ARXIV.2207.02956},
eprinttype = {arXiv},
eprint = {2207.02956},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMP21,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
title = {Complexity analysis of a unifying algorithm for model checking interval
temporal logic},
journal = {Inf. Comput.},
volume = {280},
pages = {104640},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104640},
doi = {10.1016/J.IC.2020.104640},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/MartinoPRV21,
author = {Sergio Di Martino and
Adriano Peron and
Alberto Riccabone and
Vincenzo Norman Vitale},
title = {Benchmarking management techniques for massive IIoT time series in
a fog architecture},
journal = {Int. J. Grid Util. Comput.},
volume = {12},
number = {2},
pages = {113--125},
year = {2021},
url = {https://doi.org/10.1504/IJGUC.2021.114820},
doi = {10.1504/IJGUC.2021.114820},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/MartinoPRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/CorazzaMPS21,
author = {Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi Libero Lucio Starace},
editor = {Filippo Lanubile and
Marcos Kalinowski and
Maria Teresa Baldassarre},
title = {Web Application Testing: Using Tree Kernels to Detect Near-duplicate
States in Automated Model Inference},
booktitle = {{ESEM} '21: {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Bari, Italy, October 11-15, 2021},
pages = {37:1--37:6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475716.3484187},
doi = {10.1145/3475716.3484187},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/CorazzaMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BozzelliPS21,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
title = {Asynchronous Extensions of HyperLTL},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470583},
doi = {10.1109/LICS52264.2021.9470583},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BozzelliPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BenerecettiMPS21,
author = {Massimo Benerecetti and
Fabio Mogavero and
Adriano Peron and
Luigi Libero Lucio Starace},
editor = {Ana C. R. Paiva and
Ana Rosa Cavalli and
Paula Ventura Martins and
Ricardo P{\'{e}}rez{-}Castillo},
title = {Expressing Structural Temporal Properties of Safety Critical Hierarchical
Systems},
booktitle = {Quality of Information and Communications Technology - 14th International
Conference, {QUATIC} 2021, Algarve, Portugal, September 8-11, 2021,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1439},
pages = {356--369},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85347-1\_26},
doi = {10.1007/978-3-030-85347-1\_26},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/BenerecettiMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMPS21,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.9},
doi = {10.4230/LIPICS.TIME.2021.9},
timestamp = {Thu, 16 Sep 2021 15:36:49 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08320,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes
makes it EXPSPACE-Complete},
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 = {179--194},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.12},
doi = {10.4204/EPTCS.346.12},
timestamp = {Mon, 29 Nov 2021 16:32:06 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12886,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
title = {Asynchronous Extensions of HyperLTL},
journal = {CoRR},
volume = {abs/2104.12886},
year = {2021},
url = {https://arxiv.org/abs/2104.12886},
eprinttype = {arXiv},
eprint = {2104.12886},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13322,
author = {Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi Libero Lucio Starace},
title = {Web Application Testing: Using Tree Kernels to Detect Near-duplicate
States in Automated Model Inference},
journal = {CoRR},
volume = {abs/2108.13322},
year = {2021},
url = {https://arxiv.org/abs/2108.13322},
eprinttype = {arXiv},
eprint = {2108.13322},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMMP20,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
title = {Model checking interval temporal logics with regular expressions},
journal = {Inf. Comput.},
volume = {272},
pages = {104498},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104498},
doi = {10.1016/J.IC.2019.104498},
timestamp = {Fri, 29 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/NardoneMGABBGMM20,
author = {Roberto Nardone and
Stefano Marrone and
Ugo Gentile and
Aniello Amato and
Gregorio Barberio and
Massimo Benerecetti and
Renato De Guglielmo and
Beniamino Di Martino and
Nicola Mazzocca and
Adriano Peron and
Gaetano Pisani and
Luigi Velardi and
Valeria Vittorini},
title = {An OSLC-based environment for system-level functional testing of {ERTMS/ETCS}
controllers},
journal = {J. Syst. Softw.},
volume = {161},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2019.110478},
doi = {10.1016/J.JSS.2019.110478},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/NardoneMGABBGMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMMPW20,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Gerhard J. Woeginger},
title = {Timeline-based planning over dense temporal domains},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {305--326},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.12.030},
doi = {10.1016/J.TCS.2019.12.030},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMMPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMP20,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Undecidability of Future Timeline-based Planning over Dense Temporal
Domains?},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {155--166},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BozzelliMP20,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Module Checking of Pushdown Multi-agent Systems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {162--171},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/17},
doi = {10.24963/KR.2020/17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BozzelliMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BozzelliMPS20,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {On a Temporal Logic of Prefixes and Infixes},
booktitle = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
pages = {21:1--21:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.21},
doi = {10.4230/LIPICS.MFCS.2020.21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BozzelliMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/AltieroCMPS20,
author = {Francesco Altiero and
Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi Libero Lucio Starace},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Inspecting Code Churns to Prioritize Test Cases},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {272--285},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_17},
doi = {10.1007/978-3-030-64881-7\_17},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/AltieroCMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04728,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Module checking of pushdown multi-agent systems},
journal = {CoRR},
volume = {abs/2003.04728},
year = {2020},
url = {https://arxiv.org/abs/2003.04728},
eprinttype = {arXiv},
eprint = {2003.04728},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-04652,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
journal = {CoRR},
volume = {abs/2006.04652},
year = {2020},
url = {https://arxiv.org/abs/2006.04652},
eprinttype = {arXiv},
eprint = {2006.04652},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-04652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMMPS19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Which fragments of the interval temporal logic {HS} are tractable
in model checking?},
journal = {Theor. Comput. Sci.},
volume = {764},
pages = {125--144},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.04.011},
doi = {10.1016/J.TCS.2018.04.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BozzelliMMPS19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Interval vs. Point Temporal Logic Model Checking: An Expressiveness
Comparison},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {1},
pages = {4:1--4:31},
year = {2019},
url = {https://doi.org/10.1145/3281028},
doi = {10.1145/3281028},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BozzelliMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emoocs/PepinoRPFV19,
author = {Alessandro Pepino and
Marco Ronchetti and
Adriano Peron and
Corinna Freda and
Ersilia Vallefuoco},
editor = {Mauro Calise and
Carlos Delgado Kloos and
Catherine Mongenet and
Justin Reich and
Jos{\'{e}} A. Ruip{\'{e}}rez Valiente and
Gideon Shimshon and
Thomas Staubitz and
Martin Wirsing},
title = {The lecture video recording in university: {A} case study},
booktitle = {Proceedings of Work in Progress Papers of the Research, Experience
and Business Tracks at EMOOCs 2019, co-located with the European MOOCs
Stakeholders Submmit 2019 Conference, Naples, Italy, May 20-22, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2356},
pages = {175--180},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2356/experience\_short16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/emoocs/PepinoRPFV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliMP19,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Interval Temporal Logic for Visibly Pushdown Systems},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {33:1--33:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.33},
doi = {10.4230/LIPICS.FSTTCS.2019.33},
timestamp = {Thu, 05 Dec 2019 15:12:21 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliMP19a,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Taming the Complexity of Timeline-Based Planning over Dense Temporal
Domains},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {34:1--34:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.34},
doi = {10.4230/LIPICS.FSTTCS.2019.34},
timestamp = {Thu, 05 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliMP19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMP19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Model Checking Timeline-Based Systems over Dense Temporal Domains},
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},
pages = {235--247},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper27.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BenerecettiGMNP19,
author = {Massimo Benerecetti and
Ugo Gentile and
Stefano Marrone and
Roberto Nardone and
Adriano Peron and
Luigi L. L. Starace and
Valeria Vittorini},
editor = {Fabrizio Biondi and
Thomas Given{-}Wilson and
Axel Legay},
title = {From Dynamic State Machines to Promela},
booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
Beijing, China, July 15-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11636},
pages = {56--73},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30923-7\_4},
doi = {10.1007/978-3-030-30923-7\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BenerecettiGMNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMP19,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {Complexity Analysis of a Unifying Algorithm for Model Checking Interval
Temporal Logic},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {18:1--18:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.18},
doi = {10.4230/LIPICS.TIME.2019.18},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MartinoFPRV19,
author = {Sergio Di Martino and
Luca Fiadone and
Adriano Peron and
Alberto Riccabone and
Vincenzo Norman Vitale},
editor = {Sumitra Reddy},
title = {Industrial Internet of Things: Persistence for Time Series with NoSQL
Databases},
booktitle = {28th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2019, Naples, Italy, June
12-14, 2019},
pages = {340--345},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WETICE.2019.00076},
doi = {10.1109/WETICE.2019.00076},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/MartinoFPRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-09184,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
title = {Undecidability of future timeline-based planning over dense temporal
domains},
journal = {CoRR},
volume = {abs/1904.09184},
year = {2019},
url = {http://arxiv.org/abs/1904.09184},
eprinttype = {arXiv},
eprint = {1904.09184},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-09184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08406,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Timed Context-Free Temporal Logics},
journal = {CoRR},
volume = {abs/1911.08406},
year = {2019},
url = {http://arxiv.org/abs/1911.08406},
eprinttype = {arXiv},
eprint = {1911.08406},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MolinariMP18,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron},
title = {Model checking for fragments of Halpern and Shoham's interval temporal
logic based on track representatives},
journal = {Inf. Comput.},
volume = {259},
number = {3},
pages = {412--443},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.011},
doi = {10.1016/J.IC.2017.08.011},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MolinariMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMMPS18,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Model checking for fragments of the interval temporal logic {HS} at
the low levels of the polynomial time hierarchy},
journal = {Inf. Comput.},
volume = {262},
pages = {241--264},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.006},
doi = {10.1016/J.IC.2018.09.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMMPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/BozzelliMP18,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Timed Context-Free Temporal Logics},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {235--249},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.17},
doi = {10.4204/EPTCS.277.17},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/BozzelliMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMPW18,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Gerhard J. Woeginger},
editor = {Alessandro Aldini and
Marco Bernardo},
title = {Timeline-Based Planning over Dense Temporal Domains with Trigger-less
Rules is NP-Complete},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer
Science, Urbino, Italy, September 18-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2243},
pages = {116--127},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2243/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BozzelliMMP18,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Decidability and Complexity of Timeline-Based Planning over Dense
Temporal Domains},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {627--628},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17995},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/BozzelliMMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BozzelliMP18,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Event-Clock Nested Automata},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {80--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_6},
doi = {10.1007/978-3-319-77313-1\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BozzelliMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03103,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Complexity of Timeline-Based Planning over Dense Temporal Domains:
Exploring the Middle Ground},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {191--205},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.14},
doi = {10.4204/EPTCS.277.14},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04271,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Timed context-free temporal logics (extended version)},
journal = {CoRR},
volume = {abs/1808.04271},
year = {2018},
url = {http://arxiv.org/abs/1808.04271},
eprinttype = {arXiv},
eprint = {1808.04271},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PeronP17,
author = {Adriano Peron and
Carla Piazza},
title = {Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface},
journal = {Inf. Comput.},
volume = {253},
pages = {179--180},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.07.005},
doi = {10.1016/J.IC.2016.07.005},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PeronP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenerecettiGGMM17,
author = {Massimo Benerecetti and
Renato De Guglielmo and
Ugo Gentile and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone and
Adriano Peron and
Luigi Velardi and
Valeria Vittorini},
title = {Dynamic state machines for modelling railway control systems},
journal = {Sci. Comput. Program.},
volume = {133},
pages = {116--153},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.09.002},
doi = {10.1016/J.SCICO.2016.09.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BenerecettiGGMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BozzelliMMPS17,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {120:1--120:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.120},
doi = {10.4230/LIPICS.ICALP.2017.120},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BozzelliMMPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BozzelliMMP17,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {An In-Depth Investigation of Interval Temporal Logic Model Checking
with Regular Expressions},
booktitle = {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},
pages = {104--119},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_7},
doi = {10.1007/978-3-319-66197-1\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BozzelliMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02094,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi San Pietro},
title = {On the Complexity of Model Checking for Syntactically Maximal Fragments
of the Interval Temporal Logic {HS} with Regular Expressions},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {31--45},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.3},
doi = {10.4204/EPTCS.256.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-01849,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron},
title = {Model Checking for Fragments of Halpern and Shoham's Interval Temporal
Logic Based on Track Representatives},
journal = {CoRR},
volume = {abs/1709.01849},
year = {2017},
url = {http://arxiv.org/abs/1709.01849},
eprinttype = {arXiv},
eprint = {1709.01849},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-01849.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08191,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Interval vs. Point Temporal Logic Model Checking: an Expressiveness
Comparison},
journal = {CoRR},
volume = {abs/1711.08191},
year = {2017},
url = {http://arxiv.org/abs/1711.08191},
eprinttype = {arXiv},
eprint = {1711.08191},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08314,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Event-Clock Nested Automata},
journal = {CoRR},
volume = {abs/1711.08314},
year = {2017},
url = {http://arxiv.org/abs/1711.08314},
eprinttype = {arXiv},
eprint = {1711.08314},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MolinariMMPP16,
author = {Alberto Molinari and
Angelo Montanari and
Aniello Murano and
Giuseppe Perelli and
Adriano Peron},
title = {Checking interval properties of computations},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {587--619},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0250-1},
doi = {10.1007/S00236-015-0250-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MolinariMMPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BenerecettiP16,
author = {Massimo Benerecetti and
Adriano Peron},
title = {Timed recursive state machines: Expressiveness and complexity},
journal = {Theor. Comput. Sci.},
volume = {625},
pages = {85--124},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.02.021},
doi = {10.1016/J.TCS.2016.02.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BenerecettiP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CarotenutoMP16,
author = {Dario Carotenuto and
Aniello Murano and
Adriano Peron},
title = {Ordered multi-stack visibly pushdown automata},
journal = {Theor. Comput. Sci.},
volume = {656},
pages = {1--26},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.08.012},
doi = {10.1016/J.TCS.2016.08.012},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CarotenutoMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Interval Temporal Logic Model Checking: The Border Between Good and
Bad {HS} Fragments},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {389--405},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_27},
doi = {10.1007/978-3-319-40229-1\_27},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Interval vs. Point Temporal Logic Model Checking: an Expressiveness
Comparison},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {26:1--26:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.26},
doi = {10.4230/LIPICS.FSTTCS.2016.26},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Interval Temporal Logic Model Checking Based on Track Bisimilarity
and Prefix Sampling},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {49--61},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MolinariMPS16,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final
Picture},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {473--483},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12792},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/MolinariMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Model Checking the Logic of Allen's Relations Meets and Started-by
is P\({}^{\mbox{NP}}\)-Complete},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {76--90},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.6},
doi = {10.4204/EPTCS.226.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MolinariMMPP16,
author = {Alberto Molinari and
Angelo Montanari and
Aniello Murano and
Giuseppe Perelli and
Adriano Peron},
title = {Checking Interval Properties of Computations},
journal = {CoRR},
volume = {abs/1601.03195},
year = {2016},
url = {http://arxiv.org/abs/1601.03195},
eprinttype = {arXiv},
eprint = {1601.03195},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MolinariMMPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MolinariMP16,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron},
title = {Complexity of {ITL} model checking: some well-behaved fragments of
the interval logic {HS}},
journal = {CoRR},
volume = {abs/1601.03202},
year = {2016},
url = {http://arxiv.org/abs/1601.03202},
eprinttype = {arXiv},
eprint = {1601.03202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MolinariMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/PagliariniSPB15,
author = {Roberto Pagliarini and
Mara Sangiovanni and
Adriano Peron and
Diego di Bernardo},
title = {Combining flux balance analysis and model checking for metabolic network
validation and analysis},
journal = {Nat. Comput.},
volume = {14},
number = {3},
pages = {341--354},
year = {2015},
url = {https://doi.org/10.1007/s11047-014-9419-8},
doi = {10.1007/S11047-014-9419-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/PagliariniSPB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MolinariMP15,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Stephan Kreutzer},
title = {A Model Checking Procedure for Interval Temporal Logics based on Track
Representatives},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {193--210},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.193},
doi = {10.4230/LIPICS.CSL.2015.193},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/MolinariMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGBPVMM15,
author = {Roberto Nardone and
Ugo Gentile and
Massimo Benerecetti and
Adriano Peron and
Valeria Vittorini and
Stefano Marrone and
Nicola Mazzocca},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Modeling Railway Control Systems in Promela},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {121--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_7},
doi = {10.1007/978-3-319-29510-7\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NardoneGBPVMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MolinariMP15,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {Complexity of {ITL} Model Checking: Some Well-Behaved Fragments of
the Interval Logic {HS}},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {90--100},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.12},
doi = {10.1109/TIME.2015.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MolinariMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MolinariMP16,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Pierluigi Crescenzi and
Michele Loreti},
title = {Constraining Cycle Alternations in Model Checking for Interval Temporal
Logic},
booktitle = {Proceedings of the 16th Italian Conference on Theoretical Computer
Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {322},
pages = {211--226},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.03.015},
doi = {10.1016/J.ENTCS.2016.03.015},
timestamp = {Thu, 10 Nov 2022 11:36:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MolinariMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GentileMMNP14,
author = {Ugo Gentile and
Stefano Marrone and
Gianluca Mele and
Roberto Nardone and
Adriano Peron},
editor = {Fr{\'{e}}d{\'{e}}ric Lang and
Francesco Flammini},
title = {Test Specification Patterns for Automatic Generation of Test Sequences},
booktitle = {Formal Methods for Industrial Critical Systems - 19th International
Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8718},
pages = {170--184},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10702-8\_12},
doi = {10.1007/978-3-319-10702-8\_12},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/GentileMMNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGPBVMGMV14,
author = {Roberto Nardone and
Ugo Gentile and
Adriano Peron and
Massimo Benerecetti and
Valeria Vittorini and
Stefano Marrone and
Renato De Guglielmo and
Nicola Mazzocca and
Luigi Velardi},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Dynamic State Machines for Formalizing Railway Control System Specifications},
booktitle = {Formal Techniques for Safety-Critical Systems - Third International
Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {476},
pages = {93--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17581-2\_7},
doi = {10.1007/978-3-319-17581-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NardoneGPBVMGMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BarberioMMVAGGMNPV14,
author = {Gregorio Barberio and
Beniamino Di Martino and
Nicola Mazzocca and
Luigi Velardi and
Aniello Amato and
Renato De Guglielmo and
Ugo Gentile and
Stefano Marrone and
Roberto Nardone and
Adriano Peron and
Valeria Vittorini},
editor = {Andrea Bondavalli and
Andrea Ceccarelli and
Frank Ortmeier},
title = {An Interoperable Testing Environment for {ERTMS/ETCS} Control Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2014 Workshops:
ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, {SASSUR.} Florence, Italy,
September 8-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8696},
pages = {147--156},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10557-4\_18},
doi = {10.1007/978-3-319-10557-4\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BarberioMMVAGGMNPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MontanariMPP14,
author = {Angelo Montanari and
Aniello Murano and
Giuseppe Perelli and
Adriano Peron},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Checking Interval Properties of Computations},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.24},
doi = {10.1109/TIME.2014.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MontanariMPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PeronP14,
editor = {Adriano Peron and
Carla Piazza},
title = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161},
doi = {10.4204/EPTCS.161},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PeronP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GambardellaMCCPB13,
author = {Gennaro Gambardella and
Maria Nicoletta Moretti and
Rossella de Cegli and
Luca Cardone and
Adriano Peron and
Diego di Bernardo},
title = {Differential network analysis for the identification of condition-specific
pathway activity and regulation},
journal = {Bioinform.},
volume = {29},
number = {14},
pages = {1776--1785},
year = {2013},
url = {https://doi.org/10.1093/bioinformatics/btt290},
doi = {10.1093/BIOINFORMATICS/BTT290},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/GambardellaMCCPB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BenerecettiP13,
author = {Massimo Benerecetti and
Adriano Peron},
title = {Timed protocol insecurity problem is NP-complete},
journal = {Future Gener. Comput. Syst.},
volume = {29},
number = {3},
pages = {843--862},
year = {2013},
url = {https://doi.org/10.1016/j.future.2011.11.001},
doi = {10.1016/J.FUTURE.2011.11.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BenerecettiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/josis/MartinoPT13,
author = {Sergio Di Martino and
Adriano Peron and
Taro Tezuka},
title = {Web and Wireless Geographic Information Systems},
journal = {J. Spatial Inf. Sci.},
volume = {6},
number = {1},
pages = {117--118},
year = {2013},
url = {https://doi.org/10.5311/JOSIS.2013.6.145},
doi = {10.5311/JOSIS.2013.6.145},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/josis/MartinoPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/w2gis/2012,
editor = {Sergio Di Martino and
Adriano Peron and
Taro Tezuka},
title = {Web and Wireless Geographical Information Systems - 11th International
Symposium, {W2GIS} 2012, Naples, Italy, April 12-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7236},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29247-7},
doi = {10.1007/978-3-642-29247-7},
isbn = {978-3-642-29246-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/w2gis/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BozzelliMP10,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Pushdown module checking},
journal = {Formal Methods Syst. Des.},
volume = {36},
number = {1},
pages = {65--95},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0093-x},
doi = {10.1007/S10703-010-0093-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BozzelliMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/BenerecettiCP10,
author = {Massimo Benerecetti and
Nicola Cuomo and
Adriano Peron},
editor = {Waleed W. Smari and
John P. McIntire},
title = {Timed protocols insecurity problem is NP-complete},
booktitle = {Proceedings of the 2010 International Conference on High Performance
Computing {\&} Simulation, {HPCS} 2010, June 28 - July 2, 2010,
Caen, France},
pages = {274--282},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/HPCS.2010.5547120},
doi = {10.1109/HPCS.2010.5547120},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/BenerecettiCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BenerecettiMP10,
author = {Massimo Benerecetti and
Stefano Minopoli and
Adriano Peron},
editor = {Nicolas Markey and
Jef Wijsen},
title = {Analysis of Timed Recursive State Machines},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {61--68},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.10},
doi = {10.1109/TIME.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BenerecettiMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcp/BenerecettiCP09,
author = {Massimo Benerecetti and
Nicola Cuomo and
Adriano Peron},
title = {{TPMC:} {A} Model Checker For Time-Sensitive Security Protocols},
journal = {J. Comput.},
volume = {4},
number = {5},
pages = {366--377},
year = {2009},
url = {http://www.jcomputers.us/index.php?m=content\&\#38;c=index\&\#38;a=show\&\#38;catid=104\&\#38;id=1701},
doi = {10.4304/JCP.4.5.366-377},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcp/BenerecettiCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliTP08,
author = {Laura Bozzelli and
Salvatore La Torre and
Adriano Peron},
title = {Verification of well-formed communicating recursive state machines},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {382--405},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.012},
doi = {10.1016/J.TCS.2008.06.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliTP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CarotenutoMP07,
author = {Dario Carotenuto and
Aniello Murano and
Adriano Peron},
editor = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
title = {2-Visibly Pushdown Automata},
booktitle = {Developments in Language Theory, 11th International Conference, {DLT}
2007, Turku, Finland, July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4588},
pages = {132--144},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73208-2\_15},
doi = {10.1007/978-3-540-73208-2\_15},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CarotenutoMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MontanariPP06,
author = {Angelo Montanari and
Adriano Peron and
Gabriele Puppis},
title = {On the relationships between theories of time granularity and the
monadic second-order theory of one successor},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {3-4},
pages = {433--456},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.433-455},
doi = {10.3166/JANCL.16.433-455},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/MontanariPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/FranceschetMPS06,
author = {Massimo Franceschet and
Angelo Montanari and
Adriano Peron and
Guido Sciavicco},
title = {Definability and decidability of binary predicates for time granularity},
journal = {J. Appl. Log.},
volume = {4},
number = {2},
pages = {168--191},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.06.004},
doi = {10.1016/J.JAL.2005.06.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/FranceschetMPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BozzelliTP06,
author = {Laura Bozzelli and
Salvatore La Torre and
Adriano Peron},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Verification of Well-Formed Communicating Recursive State Machines},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {412--426},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_27},
doi = {10.1007/11609773\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BozzelliTP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BozzelliMP05,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Pushdown Module Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {504--518},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_35},
doi = {10.1007/11591191\_35},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BozzelliMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonattiP04,
author = {Piero A. Bonatti and
Adriano Peron},
title = {On the undecidability of logics with converse, nominals, recursion
and counting},
journal = {Artif. Intell.},
volume = {158},
number = {1},
pages = {75--96},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.04.012},
doi = {10.1016/J.ARTINT.2004.04.012},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BonattiP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CombiFP04,
author = {Carlo Combi and
Massimo Franceschet and
Adriano Peron},
title = {Representing and Reasoning about Temporal Granularities},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {51--77},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.51},
doi = {10.1093/LOGCOM/14.1.51},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CombiFP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LanotteMP04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Adriano Peron},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {Structural Model Checking for Communicating Hierarchical Machines},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {525--536},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_40},
doi = {10.1007/978-3-540-28629-5\_40},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LanotteMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LanotteMPT03,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Adriano Peron and
Simone Tini},
title = {Dynamic Hierarchical Machines},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {237--252},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LanotteMPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maggiolo-SchettiniPT03,
author = {Andrea Maggiolo{-}Schettini and
Adriano Peron and
Simone Tini},
title = {A comparison of Statecharts step semantics},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {465--498},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00381-4},
doi = {10.1016/S0304-3975(01)00381-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maggiolo-SchettiniPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FranceschetMPS03,
author = {Massimo Franceschet and
Angelo Montanari and
Adriano Peron and
Guido Sciavicco},
title = {Definability and decidability of binary predicates for time granularity},
booktitle = {10th International Symposium on Temporal Representation and Reasoning
/ 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
8-10 July 2003, Cairns, Queensland, Australia},
pages = {192--202},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TIME.2003.1214896},
doi = {10.1109/TIME.2003.1214896},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FranceschetMPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NapoliPP04,
author = {Margherita Napoli and
Mimmo Parente and
Adriano Peron},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Specification and Verification of Protocols With Time Constraints},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {205--227},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.009},
doi = {10.1016/J.ENTCS.2004.02.009},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NapoliPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0312019,
author = {Laura Bozzelli and
Massimo Benerecetti and
Adriano Peron},
title = {Verification of recursive parallel systems},
journal = {CoRR},
volume = {cs.OH/0312019},
year = {2003},
url = {http://arxiv.org/abs/cs/0312019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-0312019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MontanariPP02,
author = {Angelo Montanari and
Adriano Peron and
Alberto Policriti},
title = {Extending Kamp's Theorem to Model Time Granularity},
journal = {J. Log. Comput.},
volume = {12},
number = {4},
pages = {641--677},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.4.641},
doi = {10.1093/LOGCOM/12.4.641},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MontanariPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CombiFP02,
author = {Carlo Combi and
Massimo Franceschet and
Adriano Peron},
title = {A Logical Approach to Represent and Reason about Calendars},
booktitle = {9th International Symposium on Temporal Representation and Reasoning,
TIME-2002, Manchester, UK, July 7-9, 2002},
pages = {134--140},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/TIME.2002.1027486},
doi = {10.1109/TIME.2002.1027486},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CombiFP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/MontiP01,
author = {Angelo Monti and
Adriano Peron},
title = {Logical definability of Y-tree and trellis systolic omega-languages},
journal = {Acta Cybern.},
volume = {15},
number = {1},
pages = {75--100},
year = {2001},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3564},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/MontiP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LanotteMTP01,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini and
Adriano Peron},
title = {Transformations of Timed Cooperating Automata},
journal = {Fundam. Informaticae},
volume = {47},
number = {3-4},
pages = {271--282},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LanotteMTP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LanotteMP00,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Adriano Peron},
title = {Timed Cooperating Automata},
journal = {Fundam. Informaticae},
volume = {43},
number = {1-4},
pages = {153--173},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-43123408},
doi = {10.3233/FI-2000-43123408},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LanotteMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MontanariPP00,
author = {Angelo Montanari and
Adriano Peron and
Alberto Policriti},
title = {The Taming (Timing) of the States},
journal = {Log. J. {IGPL}},
volume = {8},
number = {5},
pages = {681--699},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.5.681},
doi = {10.1093/JIGPAL/8.5.681},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MontanariPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MontiP00,
author = {Angelo Monti and
Adriano Peron},
title = {Systolic tree omega-Languages: the operational and the logical view},
journal = {Theor. Comput. Sci.},
volume = {233},
number = {1-2},
pages = {1--18},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(97)00257-0},
doi = {10.1016/S0304-3975(97)00257-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MontiP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MontanariPP99,
author = {Angelo Montanari and
Adriano Peron and
Alberto Policriti},
title = {Theories of omega-Layered Metric Temporal Structures: Expressiveness
and Decidability},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {79--102},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.79},
doi = {10.1093/JIGPAL/7.1.79},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MontanariPP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MontiP98,
author = {Angelo Monti and
Adriano Peron},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {A Logical Characterization of Systolic Languages},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {466--476},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028582},
doi = {10.1007/BFB0028582},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MontiP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Maggiolo-SchettiniPT96,
author = {Andrea Maggiolo{-}Schettini and
Adriano Peron and
Simone Tini},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Equivalences of Statecharts},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {687--702},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_84},
doi = {10.1007/3-540-61604-7\_84},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Maggiolo-SchettiniPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Maggiolo-SchettiniP96,
author = {Andrea Maggiolo{-}Schettini and
Adriano Peron},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Retiming Techniques for Statecharts},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {55--71},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_34},
doi = {10.1007/3-540-61648-9\_34},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Maggiolo-SchettiniP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MontiP95,
author = {Angelo Monti and
Adriano Peron},
editor = {Ernst W. Mayr and
Claude Puech},
title = {Systolic Tree Omega-Languages},
booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer
Science, Munich, Germany, March 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {900},
pages = {131--142},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59042-0\_68},
doi = {10.1007/3-540-59042-0\_68},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MontiP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Peron95,
author = {Adriano Peron},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Statecharts, Transition Structures and Transformations},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {454--468},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_213},
doi = {10.1007/3-540-59293-8\_213},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Peron95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/PeronM94,
author = {Adriano Peron and
Andrea Maggiolo{-}Schettini},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Transitions as Interrupts: {A} New Semantics for Timed Statecharts},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {806--821},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_126},
doi = {10.1007/3-540-57887-0\_126},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/PeronM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/Maggiolo-SchettiniP94,
author = {Andrea Maggiolo{-}Schettini and
Adriano Peron},
editor = {Janice E. Cuny and
Hartmut Ehrig and
Gregor Engels and
Grzegorz Rozenberg},
title = {A Graph Rewriting Framework for Statecharts Semantics},
booktitle = {Graph Gramars and Their Application to Computer Science, 5th International
Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1073},
pages = {107--121},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-61228-9\_82},
doi = {10.1007/3-540-61228-9\_82},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/tagt/Maggiolo-SchettiniP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Maggiolo-SchettiniP93,
author = {Andrea Maggiolo{-}Schettini and
Adriano Peron},
editor = {Hans J{\"{u}}rgen Schneider and
Hartmut Ehrig},
title = {Semantics of Full Statecharts Based on Graph Rewriting},
booktitle = {Graph Transformations in Computer Science, International Workshop,
Dagstuhl Castle, Germany, January 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {776},
pages = {265--279},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57787-4\_17},
doi = {10.1007/3-540-57787-4\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Maggiolo-SchettiniP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/RobertoGPC90,
author = {Vito Roberto and
L. Gargiulo and
Adriano Peron and
Claudio Chiaruttini},
title = {A knowledge-based system for geophysical interpretation},
booktitle = {1990 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '90, Albuquerque, New Mexico, USA, April 3-6, 1990},
pages = {1945--1948},
publisher = {{IEEE}},
year = {1990},
url = {https://doi.org/10.1109/ICASSP.1990.115884},
doi = {10.1109/ICASSP.1990.115884},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/RobertoGPC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/RobertoPF89,
author = {Vito Roberto and
Adriano Peron and
P. L. Fumis},
title = {Low-level processing techniques in geophysical image interpretation},
journal = {Pattern Recognit. Lett.},
volume = {10},
number = {2},
pages = {111--122},
year = {1989},
url = {https://doi.org/10.1016/0167-8655(89)90075-5},
doi = {10.1016/0167-8655(89)90075-5},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/prl/RobertoPF89.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-30 20:14 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:
