default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simone Tini
@article{DBLP:journals/jlap/CastiglioniLT24,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
title = {Back to the format: {A} survey on {SOS} for probabilistic processes},
journal = {J. Log. Algebraic Methods Program.},
volume = {137},
pages = {100929},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2023.100929},
doi = {10.1016/J.JLAMP.2023.100929},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/CastiglioniLT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CastiglioniLT24,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
title = {Stark: {A} tool for the analysis of CPSs robustness},
journal = {Sci. Comput. Program.},
volume = {236},
pages = {103134},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2024.103134},
doi = {10.1016/J.SCICO.2024.103134},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CastiglioniLT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CastiglioniLT24,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
editor = {Rupak Majumdar and
Alexandra Silva},
title = {RobTL: Robustness Temporal Logic for {CPS}},
booktitle = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
September 9-13, 2024, Calgary, Canada},
series = {LIPIcs},
volume = {311},
pages = {15:1--15:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.15},
doi = {10.4230/LIPICS.CONCUR.2024.15},
timestamp = {Fri, 30 Aug 2024 16:44:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/CastiglioniLT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/CastiglioniLLT24,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Michele Loreti and
Simone Tini},
editor = {Anne E. Haxthausen and
Wendelin Serwe},
title = {Evaluating the Effectiveness of Digital Twins Through Statistical
Model Checking with Feedback and Perturbations},
booktitle = {Formal Methods for Industrial Critical Systems - 29th International
Conference, {FMICS} 2024, Milan, Italy, September 9-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14952},
pages = {21--39},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-68150-9\_2},
doi = {10.1007/978-3-031-68150-9\_2},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/CastiglioniLLT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-05829,
author = {Jian Xiang and
Ruggero Lanotte and
Simone Tini and
Stephen Chong and
Massimo Merro},
title = {Measuring Robustness in Cyber-Physical Systems under Sensor Attacks},
journal = {CoRR},
volume = {abs/2403.05829},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.05829},
doi = {10.48550/ARXIV.2403.05829},
eprinttype = {arXiv},
eprint = {2403.05829},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-05829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastiglioniLT23,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
title = {A framework to measure the robustness of programs in the unpredictable
environment},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(3:2)2023},
doi = {10.46298/LMCS-19(3:2)2023},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/CastiglioniLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CastiglioniLT23,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {Stark: {A} Software Tool for the Analysis of Robustness in the unKnown
Environment},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {115--132},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_6},
doi = {10.1007/978-3-031-35361-1\_6},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CastiglioniLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChongLMTX23,
author = {Stephen Chong and
Ruggero Lanotte and
Massimo Merro and
Simone Tini and
Jian Xiang},
title = {Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical
Systems},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {20:1--20:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587118},
doi = {10.1145/3575870.3587118},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ChongLMTX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CastiglioniLT23,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {DisTL: {A} Temporal Logic for the Analysis of the Expected Behaviour
of Cyber-Physical Systems},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {15--30},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/4168.pdf},
timestamp = {Mon, 18 Dec 2023 16:58:34 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CastiglioniLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/LanotteMT23,
author = {Ruggero Lanotte and
Desiree Manicardi and
Simone Tini},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Step-by-step Robustness for Biochemical Networks},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {299--313},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/2906.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/LanotteMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13357,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
title = {EvTL: {A} Temporal Logic for the Transient Analysis of Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/2204.13357},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13357},
doi = {10.48550/ARXIV.2204.13357},
eprinttype = {arXiv},
eprint = {2204.13357},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-11158,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
title = {RobTL: {A} Temporal Logic for the Robustness of Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2212.11158},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.11158},
doi = {10.48550/ARXIV.2212.11158},
eprinttype = {arXiv},
eprint = {2212.11158},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LanotteMT21,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
title = {A probabilistic calculus of cyber-physical systems},
journal = {Inf. Comput.},
volume = {279},
pages = {104618},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104618},
doi = {10.1016/J.IC.2020.104618},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LanotteMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PerezT21,
author = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Preface to Special Issue: {EXPRESS/SOS} 2018},
journal = {Inf. Comput.},
volume = {281},
pages = {104670},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104670},
doi = {10.1016/J.IC.2020.104670},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PerezT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CherubiniST21,
author = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Theoretical Computer Science in Italy},
journal = {Theor. Comput. Sci.},
volume = {864},
pages = {138},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.03.018},
doi = {10.1016/J.TCS.2021.03.018},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CherubiniST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LanotteT21,
author = {Ruggero Lanotte and
Simone Tini},
title = {A weak semantic approach to bisimulation metrics in models with nondeterminism
and continuous state spaces},
journal = {Theor. Comput. Sci.},
volume = {869},
pages = {29--61},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.12.045},
doi = {10.1016/J.TCS.2020.12.045},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LanotteT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/LanotteMMT21,
author = {Ruggero Lanotte and
Massimo Merro and
Andrei Munteanu and
Simone Tini},
title = {Formal Impact Metrics for Cyber-physical Attacks},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00040},
doi = {10.1109/CSF51468.2021.00040},
timestamp = {Fri, 13 Aug 2021 09:20:41 +0200},
biburl = {https://dblp.org/rec/conf/csfw/LanotteMMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CastiglioniLT21,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {How Adaptive and Reliable is Your Program?},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {60--79},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_4},
doi = {10.1007/978-3-030-78089-0\_4},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CastiglioniLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-15319,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
title = {A framework to measure the robustness of programs in the unpredictable
environment},
journal = {CoRR},
volume = {abs/2111.15319},
year = {2021},
url = {https://arxiv.org/abs/2111.15319},
eprinttype = {arXiv},
eprint = {2111.15319},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-15319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PetersT20,
author = {Kirstin Peters and
Simone Tini},
title = {Preface to special issue: {EXPRESS/SOS} 2016 + 2017},
journal = {Acta Informatica},
volume = {57},
number = {6},
pages = {759--760},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00342-w},
doi = {10.1007/S00236-019-00342-W},
timestamp = {Fri, 16 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PetersT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GianolaKMSST20,
author = {Alessandro Gianola and
Stefano Kasangian and
Desiree Manicardi and
Nicoletta Sabadini and
Filippo Schiavio and
Simone Tini},
title = {CospanSpan(Graph): a Compositional Description of the Heart System},
journal = {Fundam. Informaticae},
volume = {171},
number = {1-4},
pages = {221--237},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1880},
doi = {10.3233/FI-2020-1880},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GianolaKMSST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CastiglioniT20,
author = {Valentina Castiglioni and
Simone Tini},
title = {Raiders of the lost equivalence: Probabilistic branching bisimilarity},
journal = {Inf. Process. Lett.},
volume = {159-160},
pages = {105947},
year = {2020},
url = {https://doi.org/10.1016/j.ipl.2020.105947},
doi = {10.1016/J.IPL.2020.105947},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/CastiglioniT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastiglioniT20,
author = {Valentina Castiglioni and
Simone Tini},
title = {Probabilistic divide {\&} congruence: Branching bisimilarity},
journal = {Theor. Comput. Sci.},
volume = {802},
pages = {147--196},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.09.037},
doi = {10.1016/J.TCS.2019.09.037},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CastiglioniT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastiglioniLT20,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
title = {The metric linear-time branching-time spectrum on nondeterministic
probabilistic processes},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {20--69},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.09.019},
doi = {10.1016/J.TCS.2019.09.019},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CastiglioniLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GianolaKMST20,
author = {Alessandro Gianola and
Stefano Kasangian and
Desiree Manicardi and
Nicoletta Sabadini and
Simone Tini},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Compositional Modeling of Biological Systems in CospanSpan(Graph)},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {61--66},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GianolaKMST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CastiglioniLT20,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Measuring Adaptability and Reliability of Large Scale Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {380--396},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_23},
doi = {10.1007/978-3-030-61470-6\_23},
timestamp = {Wed, 28 Oct 2020 11:39:03 +0100},
biburl = {https://dblp.org/rec/conf/isola/CastiglioniLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CastiglioniT19,
author = {Valentina Castiglioni and
Simone Tini},
title = {Logical characterization of branching metrics for nondeterministic
probabilistic transition systems},
journal = {Inf. Comput.},
volume = {268},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.06.001},
doi = {10.1016/J.IC.2019.06.001},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CastiglioniT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CastiglioniLT19,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {293--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_17},
doi = {10.1007/978-3-030-31175-9\_17},
timestamp = {Sat, 09 Apr 2022 12:46:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CastiglioniLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanotteT19,
author = {Ruggero Lanotte and
Simone Tini},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Computing Bisimilarity Metrics for Probabilistic Timed Automata},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {303--321},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_17},
doi = {10.1007/978-3-030-34968-4\_17},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/LanotteT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2019,
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {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},
url = {https://ceur-ws.org/Vol-2504},
urn = {urn:nbn:de:0074-2504-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GeblerT18,
author = {Daniel Gebler and
Simone Tini},
title = {{SOS} specifications for uniformly continuous operators},
journal = {J. Comput. Syst. Sci.},
volume = {92},
pages = {113--151},
year = {2018},
url = {https://doi.org/10.1016/j.jcss.2017.09.011},
doi = {10.1016/J.JCSS.2017.09.011},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GeblerT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastiglioniGT18,
author = {Valentina Castiglioni and
Daniel Gebler and
Simone Tini},
title = {SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {2},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(2:18)2018},
doi = {10.23638/LMCS-14(2:18)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CastiglioniGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LanotteMT18,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
title = {Equational Reasonings in Wireless Network Gossip Protocols},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {3},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(3:24)2018},
doi = {10.23638/LMCS-14(3:24)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LanotteMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LanotteT18,
author = {Ruggero Lanotte and
Simone Tini},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Weak Bisimulation Metrics in Models with Nondeterminism and Continuous
State Spaces},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {292--312},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_16},
doi = {10.1007/978-3-030-02508-3\_16},
timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
biburl = {https://dblp.org/rec/conf/ictac/LanotteT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LanotteMT18,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {296--315},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_17},
doi = {10.1007/978-3-319-98938-9\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LanotteMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1808-08071,
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276},
doi = {10.4204/EPTCS.276},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-10463,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
title = {Towards a formal notion of impact metric for cyber-physical attacks
(full version)},
journal = {CoRR},
volume = {abs/1806.10463},
year = {2018},
url = {http://arxiv.org/abs/1806.10463},
eprinttype = {arXiv},
eprint = {1806.10463},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-10463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LanotteMT17,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
editor = {Ahmed Bouajjani and
Alexandra Silva},
title = {Weak Simulation Quasimetric in a Gossip Scenario},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
as Part of the 12th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10321},
pages = {139--155},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7\_10},
doi = {10.1007/978-3-319-60225-7\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/LanotteMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LanotteMT17,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Compositional Weak Metrics for Group Key Update},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {72:1--72:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.72},
doi = {10.4230/LIPICS.MFCS.2017.72},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/LanotteMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastiglioniT17,
author = {Valentina Castiglioni and
Simone Tini},
editor = {Herbert Wiklicky and
Erik P. de Vink},
title = {Logical Characterization of Trace Metrics},
booktitle = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
series = {{EPTCS}},
volume = {250},
pages = {39--74},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.250.4},
doi = {10.4204/EPTCS.250.4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastiglioniT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-00049,
editor = {Kirstin Peters and
Simone Tini},
title = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
year = {2017},
url = {http://arxiv.org/abs/1709.00049},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastiglioniGT17,
author = {Valentina Castiglioni and
Daniel Gebler and
Simone Tini},
title = {SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes},
journal = {CoRR},
volume = {abs/1701.08330},
year = {2017},
url = {http://arxiv.org/abs/1701.08330},
eprinttype = {arXiv},
eprint = {1701.08330},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastiglioniGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LanotteMT17,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
title = {A Probabilistic Calculus of Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1707.02279},
year = {2017},
url = {http://arxiv.org/abs/1707.02279},
eprinttype = {arXiv},
eprint = {1707.02279},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LanotteMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LanotteMT17a,
author = {Ruggero Lanotte and
Massimo Merro and
Simone Tini},
title = {Equational Reasonings in Wireless Network Gossip Protocols},
journal = {CoRR},
volume = {abs/1707.03215},
year = {2017},
url = {http://arxiv.org/abs/1707.03215},
eprinttype = {arXiv},
eprint = {1707.03215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LanotteMT17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GeblerLT16,
author = {Daniel Gebler and
Kim G. Larsen and
Simone Tini},
title = {Compositional bisimulation metric reasoning with Probabilistic Process
Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {4},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(4:12)2016},
doi = {10.2168/LMCS-12(4:12)2016},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeblerLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CastiglioniLT16,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
title = {A Function Elimination Method for Checking Satisfiability of Arithmetical
Logics},
journal = {Fundam. Informaticae},
volume = {143},
number = {1-2},
pages = {51--71},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1303},
doi = {10.3233/FI-2016-1303},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CastiglioniLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CastiglioniGT16,
author = {Valentina Castiglioni and
Daniel Gebler and
Simone Tini},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Modal Decomposition on Nondeterministic Probabilistic Processes},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {36:1--36:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.36},
doi = {10.4230/LIPICS.CONCUR.2016.36},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/CastiglioniGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LanotteT16,
author = {Ruggero Lanotte and
Simone Tini},
editor = {Bernd{-}Holger Schlingloff},
title = {Extending Taylor Approximation to Hybrid Systems with Integrals},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {141--152},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_13\_Lanotte\&\#38;Tini\_Extending-Taylor-Approximation-to-Hybrid-Systems-with-Integrals.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/LanotteT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastiglioniGT16,
author = {Valentina Castiglioni and
Daniel Gebler and
Simone Tini},
editor = {Mirco Tribastone and
Herbert Wiklicky},
title = {Logical Characterization of Bisimulation Metrics},
booktitle = {Proceedings 14th International Workshop Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
2-3, 2016},
series = {{EPTCS}},
volume = {227},
pages = {44--62},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.227.4},
doi = {10.4204/EPTCS.227.4},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastiglioniGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GeblerT15,
author = {Daniel Gebler and
Simone Tini},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {{SOS} Specifications of Probabilistic Systems by Uniformly Continuous
Operators},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {155--168},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.155},
doi = {10.4230/LIPICS.CONCUR.2015.155},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/GeblerT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GeblerLT15,
author = {Daniel Gebler and
Kim Guldstrand Larsen and
Simone Tini},
editor = {Andrew M. Pitts},
title = {Compositional Metric Reasoning with Probabilistic Process Calculi},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {230--245},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_15},
doi = {10.1007/978-3-662-46678-0\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GeblerLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CastiglioniLT14,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
title = {A Specification Format for Rooted Branching Bisimulation},
journal = {Fundam. Informaticae},
volume = {135},
number = {4},
pages = {355--369},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1128},
doi = {10.3233/FI-2014-1128},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CastiglioniLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PardiniBMMT14,
author = {Giovanni Pardini and
Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {Compositional semantics and behavioural equivalences for reaction
systems with restriction},
journal = {Theor. Comput. Sci.},
volume = {551},
pages = {1--21},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.04.010},
doi = {10.1016/J.TCS.2014.04.010},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PardiniBMMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarbutiMMPT14,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Giovanni Pardini and
Simone Tini},
editor = {Cristian S. Calude and
Rusins Freivalds and
Kazuo Iwama},
title = {Systolic Automata and {P} Systems},
booktitle = {Computing with New Resources - Essays Dedicated to Jozef Gruska on
the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8808},
pages = {17--31},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13350-8\_2},
doi = {10.1007/978-3-319-13350-8\_2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BarbutiMMPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/CastiglioniLT14,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
editor = {Louchka Popova{-}Zeugmann},
title = {A Function Elimination Method for Checking Satisfiability of Arithmetical
Logics},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {46--57},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper46.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/CastiglioniLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GeblerT14,
author = {Daniel Gebler and
Simone Tini},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Fixed-point Characterization of Compositionality Properties of Probabilistic
Processes Combinators},
booktitle = {Proceedings Combined 21st International Workshop on Expressiveness
in Concurrency, {EXPRESS} 2014, and 11th Workshop on Structural Operational
Semantics, {SOS} 2014, Rome, Italy, 1st September 2014},
series = {{EPTCS}},
volume = {160},
pages = {63--78},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.7},
doi = {10.4204/EPTCS.160.7},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeblerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/PardiniBMMT13,
author = {Giovanni Pardini and
Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
editor = {Paola Bonizzoni and
Vasco Brattka and
Benedikt L{\"{o}}we},
title = {A Compositional Semantics of Reaction Systems with Restriction},
booktitle = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7921},
pages = {330--339},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39053-1\_39},
doi = {10.1007/978-3-642-39053-1\_39},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/PardiniBMMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/CastiglioniLT13,
author = {Valentina Castiglioni and
Ruggero Lanotte and
Simone Tini},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {A Rule Format for Rooted Branching Bisimulation},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {49--60},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/CastiglioniLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GeblerT13,
author = {Daniel Gebler and
Simone Tini},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
title = {Compositionality of Approximate Bisimulation for Probabilistic Systems},
booktitle = {Proceedings Combined 20th International Workshop on Expressiveness
in Concurrency and 10th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
series = {{EPTCS}},
volume = {120},
pages = {32--46},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.120.4},
doi = {10.4204/EPTCS.120.4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GeblerT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarbutiCMMT12,
author = {Roberto Barbuti and
Giulio Caravagna and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {Foundational aspects of multiscale modeling of biological systems
with process algebras},
journal = {Theor. Comput. Sci.},
volume = {431},
pages = {96--116},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.058},
doi = {10.1016/J.TCS.2011.12.058},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarbutiCMMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BarbutiMMT11,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {An Overview on Operational Semantics in Membrane Computing},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {1},
pages = {119--131},
year = {2011},
url = {https://doi.org/10.1142/S0129054111007885},
doi = {10.1142/S0129054111007885},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BarbutiMMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BarbutiMMT10,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {Compositional semantics of spiking neural {P} systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {79},
number = {6},
pages = {304--316},
year = {2010},
url = {https://doi.org/10.1016/j.jlap.2010.03.011},
doi = {10.1016/J.JLAP.2010.03.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BarbutiMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tini10,
author = {Simone Tini},
title = {Non-expansive epsilon-bisimulations for probabilistic processes},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {22-24},
pages = {2202--2222},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.01.027},
doi = {10.1016/J.TCS.2010.01.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tini10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/BarbutiMMT10,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
editor = {Marian Gheorghe and
Thomas Hinze and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Membrane Systems Working in Generating and Accepting Modes: Expressiveness
and Encodings},
booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena,
Germany, August 24-27, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6501},
pages = {103--118},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18123-8\_11},
doi = {10.1007/978-3-642-18123-8\_11},
timestamp = {Mon, 03 Jan 2022 22:42:19 +0100},
biburl = {https://dblp.org/rec/conf/membrane/BarbutiMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0491,
author = {Roberto Barbuti and
Giulio Caravagna and
Paolo Milazzo and
Andrea Maggiolo{-}Schettini and
Simone Tini},
editor = {Gabriel Ciobanu and
Maciej Koutny},
title = {Aspects of multiscale modelling in a process algebra for biological
systems},
booktitle = {Proceedings Fourth Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010},
series = {{EPTCS}},
volume = {40},
pages = {54--69},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.40.5},
doi = {10.4204/EPTCS.40.5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BarbutiMMT09,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {P Systems with Transport and Diffusion Membrane Channels},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {17--31},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0085},
doi = {10.3233/FI-2009-0085},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LanotteT09,
author = {Ruggero Lanotte and
Simone Tini},
title = {Probabilistic bisimulation as a congruence},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {2},
pages = {9:1--9:48},
year = {2009},
url = {https://doi.org/10.1145/1462179.1462181},
doi = {10.1145/1462179.1462181},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LanotteT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BarbutiMMT08,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {A {P} Systems Flat Form Preserving Step-by-step Behaviour},
journal = {Fundam. Informaticae},
volume = {87},
number = {1},
pages = {1--34},
year = {2008},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BarbutiMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarbutiMMT08,
author = {Roberto Barbuti and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Simone Tini},
title = {Compositional semantics and behavioral equivalences for {P} Systems},
journal = {Theor. Comput. Sci.},
volume = {395},
number = {1},
pages = {77--100},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.028},
doi = {10.1016/J.TCS.2008.01.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarbutiMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Tini08,
author = {Simone Tini},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Non Expansive epsilon-Bisimulations},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {362--376},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_27},
doi = {10.1007/978-3-540-79980-1\_27},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/Tini08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LanotteT07,
author = {Ruggero Lanotte and
Simone Tini},
title = {Taylor approximation for hybrid systems},
journal = {Inf. Comput.},
volume = {205},
number = {11},
pages = {1575--1607},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.05.004},
doi = {10.1016/J.IC.2007.05.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LanotteT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tini07,
author = {Simone Tini},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Notes on Generative Probabilistic Bisimulation},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {77--88},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.016},
doi = {10.1016/J.ENTCS.2006.09.016},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tini07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LanotteT05,
author = {Ruggero Lanotte and
Simone Tini},
editor = {Vladimiro Sassone},
title = {Probabilistic Congruence for Semistochastic Generative Processes},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {63--78},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_4},
doi = {10.1007/978-3-540-31982-5\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LanotteT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LanotteT05,
author = {Ruggero Lanotte and
Simone Tini},
editor = {Manfred Morari and
Lothar Thiele},
title = {Taylor Approximation for Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop,
{HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3414},
pages = {402--416},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31954-2\_26},
doi = {10.1007/978-3-540-31954-2\_26},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LanotteT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Tini04,
author = {Simone Tini},
title = {Timed {CCP} compositionally embeds Argos and Lustre},
journal = {Formal Aspects Comput.},
volume = {16},
number = {3},
pages = {292--312},
year = {2004},
url = {https://doi.org/10.1007/s00165-004-0041-x},
doi = {10.1007/S00165-004-0041-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Tini04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TiniM04,
author = {Simone Tini and
Andrea Maggiolo{-}Schettini},
title = {Compositional Synthesis of Generalized Mealy Machines},
journal = {Fundam. Informaticae},
volume = {60},
number = {1-4},
pages = {367--382},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-24},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/TiniM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/GorrieriLMMTT04,
author = {Roberto Gorrieri and
Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Fabio Martinelli and
Simone Tini and
Enrico Tronci},
title = {Automated analysis of timed security: a case study on web privacy},
journal = {Int. J. Inf. Sec.},
volume = {2},
number = {3-4},
pages = {168--186},
year = {2004},
url = {https://doi.org/10.1007/s10207-004-0037-9},
doi = {10.1007/S10207-004-0037-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/GorrieriLMMTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LanotteMT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini},
title = {Epsilon-transitions in Concurrent Timed Automata},
journal = {Inf. Process. Lett.},
volume = {89},
number = {1},
pages = {1--7},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2003.09.018},
doi = {10.1016/J.IPL.2003.09.018},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LanotteMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Tini04,
author = {Simone Tini},
title = {Rule formats for compositional non-interference properties},
journal = {J. Log. Algebraic Methods Program.},
volume = {60-61},
pages = {353--400},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2004.03.003},
doi = {10.1016/J.JLAP.2004.03.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Tini04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LanotteMT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini},
title = {Information flow in hybrid systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {3},
number = {4},
pages = {760--799},
year = {2004},
url = {https://doi.org/10.1145/1027794.1027799},
doi = {10.1145/1027794.1027799},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/LanotteMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/LanotteMTTT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini and
Angelo Troina and
Enrico Tronci},
editor = {Javier L{\'{o}}pez and
Sihan Qing and
Eiji Okamoto},
title = {Automatic Covert Channel Analysis of a Multilevel Secure Component},
booktitle = {Information and Communications Security, 6th International Conference,
{ICICS} 2004, Malaga, Spain, October 27-29, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3269},
pages = {249--261},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30191-2\_20},
doi = {10.1007/978-3-540-30191-2\_20},
timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},
biburl = {https://dblp.org/rec/conf/icics/LanotteMTTT04.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/jcss/Tini03,
author = {Simone Tini},
title = {An axiomatic semantics for the synchronous language Gentzen},
journal = {J. Comput. Syst. Sci.},
volume = {66},
number = {2},
pages = {316--348},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(03)00003-5},
doi = {10.1016/S0022-0000(03)00003-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Tini03.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}
}
@article{DBLP:journals/tcs/LanotteMT03,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini},
title = {Concurrency in timed automata},
journal = {Theor. Comput. Sci.},
volume = {309},
number = {1-3},
pages = {503--527},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00316-5},
doi = {10.1016/S0304-3975(03)00316-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LanotteMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Tini03,
author = {Simone Tini},
editor = {Pierpaolo Degano},
title = {Rule Formats for Non Interference},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {129--143},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_10},
doi = {10.1007/3-540-36575-3\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Tini03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanotteMTTT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini and
Angelo Troina and
Enrico Tronci},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Automatic Analysis of the {NRL} Pump},
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 = {245--266},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.011},
doi = {10.1016/J.ENTCS.2004.02.011},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanotteMTTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Maggiolo-SchettiniT02,
author = {Andrea Maggiolo{-}Schettini and
Simone Tini},
title = {On disjunction of literals in triggers of statecharts transitions},
journal = {Inf. Process. Lett.},
volume = {84},
number = {6},
pages = {305--310},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(02)00314-9},
doi = {10.1016/S0020-0190(02)00314-9},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Maggiolo-SchettiniT02.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/tcs/Tini01,
author = {Simone Tini},
title = {An axiomatic semantics for Esterel},
journal = {Theor. Comput. Sci.},
volume = {269},
number = {1-2},
pages = {231--282},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00420-5},
doi = {10.1016/S0304-3975(00)00420-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tini01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LanotteMT01,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini},
editor = {Rusins Freivalds},
title = {Concurrency in Timed Automata},
booktitle = {Fundamentals of Computation Theory, 13th International Symposium,
{FCT} 2001, Riga, Latvia, August 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2138},
pages = {240--251},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44669-9\_24},
doi = {10.1007/3-540-44669-9\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/LanotteMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Tini01,
author = {Simone Tini},
editor = {Furio Honsell and
Marino Miculan},
title = {An Axiomatic Semantics for the Synchronous Language Gentzen},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 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 = {2030},
pages = {394--409},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_26},
doi = {10.1007/3-540-45315-6\_26},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Tini01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FocardiGLMMTT01,
author = {Riccardo Focardi and
Roberto Gorrieri and
Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Fabio Martinelli and
Simone Tini and
Enrico Tronci},
editor = {Marina Lenisa and
Marino Miculan},
title = {Formal Models of Timing Attacks on Web Privacy},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {229--243},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00329-9},
doi = {10.1016/S1571-0661(04)00329-9},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FocardiGLMMTT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanotteMT01,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini},
editor = {Flavio Corradini and
Walter Vogler},
title = {Privacy in Real-Time Systems},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark,
August 25, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {3},
pages = {295--305},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00229-4},
doi = {10.1016/S1571-0661(04)00229-4},
timestamp = {Thu, 01 Dec 2022 15:07:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanotteMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/TiniM00,
author = {Simone Tini and
Andrea Maggiolo{-}Schettini},
editor = {Teodor Rus},
title = {A Causal Semantics for Timed Default Concurrent Constraint Programming},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {228--242},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_18},
doi = {10.1007/3-540-45499-3\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/TiniM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Maggiolo-SchettiniT99,
author = {Andrea Maggiolo{-}Schettini and
Simone Tini},
title = {Applying Techniques of Asynchronous Concurrency to Synchronous Languages},
journal = {Fundam. Informaticae},
volume = {40},
number = {2-3},
pages = {221--250},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-402306},
doi = {10.3233/FI-1999-402306},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/TiniM99,
author = {Simone Tini and
Andrea Maggiolo{-}Schettini},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {A Truly Concurrent Semantics for Timed Default Concurrent Constraint
Programming},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {256--258},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/TiniM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tini99,
author = {Simone Tini},
editor = {Ilaria Castellani and
Bj{\"{o}}rn Victor},
title = {On The Expressiveness of Timed Concurrent Constraint Programming},
booktitle = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
1999, Eindhoven, The Netherlands, August 23, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {27},
pages = {3--17},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80291-9},
doi = {10.1016/S1571-0661(05)80291-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tini99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TiniM98,
author = {Simone Tini and
Andrea Maggiolo{-}Schettini},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Two semantics for Timed Default Concurrent Constraint Programming},
booktitle = {Second Workshop on Concurrent Constraint Programming for Time Critical
Applications and Multi-Agent Systems, {COTIC} 1998, Satellite Workshop
of {CONCUR} 1998, Nice, France, September 7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {1},
pages = {24--41},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80590-0},
doi = {10.1016/S1571-0661(05)80590-0},
timestamp = {Fri, 11 Nov 2022 14:28:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TiniM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maggiolo-SchettiniT98,
author = {Andrea Maggiolo{-}Schettini and
Simone Tini},
editor = {Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
title = {Projectable Semantics for Statecharts},
booktitle = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech
Republic, August 27-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {18},
pages = {134--146},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80255-5},
doi = {10.1016/S1571-0661(05)80255-5},
timestamp = {Fri, 11 Nov 2022 14:46:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Maggiolo-SchettiniT98.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}
}
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-09-10 02:08 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:
