Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDBibTeX records: Michele Loreti
@article{DBLP:journals/lmcs/NenziBBL22,
author = {Laura Nenzi and
Ezio Bartocci and
Luca Bortolussi and
Michele Loreti},
title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical
Systems},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:4)2022},
doi = {10.46298/lmcs-18(1:4)2022},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/NenziBBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GiudiceMQRL22,
author = {Nicola Del Giudice and
Lorenzo Matteucci and
Michela Quadrini and
Aniqa Rehman and
Michele Loreti},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {Sibilla: {A} Tool for Reasoning about Collective Systems},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {92--98},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_6},
doi = {10.1007/978-3-031-08143-9\_6},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GiudiceMQRL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-14686,
author = {Flavio Corradini and
Michele Loreti and
Marco Piangerelli and
Giacomo Rocchetti},
title = {{REPTILE:} {A} Proactive Real-Time Deep Reinforcement Learning Self-adaptive
Framework},
journal = {CoRR},
volume = {abs/2203.14686},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.14686},
doi = {10.48550/arXiv.2203.14686},
eprinttype = {arXiv},
eprint = {2203.14686},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-14686.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/fac/Loreti21,
author = {Michele Loreti},
title = {Semantics of the probabilistic Lambda Calculus By Dirk Draheim},
journal = {Formal Aspects Comput.},
volume = {33},
number = {3},
pages = {457--458},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00534-7},
doi = {10.1007/s00165-021-00534-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Loreti21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NicolaDL21,
author = {Rocco De Nicola and
Tan Duong and
Michele Loreti},
title = {Provably correct implementation of the \emph{AbC} calculus},
journal = {Sci. Comput. Program.},
volume = {202},
pages = {102567},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102567},
doi = {10.1016/j.scico.2020.102567},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NicolaDL21.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}
}
@inproceedings{DBLP:conf/memocode/ViscontiBLN21,
author = {Ennio Visconti and
Ezio Bartocci and
Michele Loreti and
Laura Nenzi},
editor = {S. Arun{-}Kumar and
Dominique M{\'{e}}ry and
Indranil Saha and
Lijun Zhang},
title = {Online monitoring of spatio-temporal properties for imprecise signals},
booktitle = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, Virtual Event, China, November
20 - 22, 2021},
pages = {78--88},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3487212.3487344},
doi = {10.1145/3487212.3487344},
timestamp = {Thu, 23 Dec 2021 09:31:06 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ViscontiBLN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-08708,
author = {Michele Loreti and
Michela Quadrini},
title = {A Spatial Logic for a Simplicial Complex Model},
journal = {CoRR},
volume = {abs/2105.08708},
year = {2021},
url = {https://arxiv.org/abs/2105.08708},
eprinttype = {arXiv},
eprint = {2105.08708},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-08708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-11400,
author = {Ezio Bartocci and
Luca Bortolussi and
Laura Nenzi and
Michele Loreti},
title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/2105.11400},
year = {2021},
url = {https://arxiv.org/abs/2105.11400},
eprinttype = {arXiv},
eprint = {2105.11400},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-11400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08081,
author = {Ennio Visconti and
Ezio Bartocci and
Michele Loreti and
Laura Nenzi},
title = {Online Monitoring of Spatio-Temporal Properties for Imprecise Signals},
journal = {CoRR},
volume = {abs/2109.08081},
year = {2021},
url = {https://arxiv.org/abs/2109.08081},
eprinttype = {arXiv},
eprint = {2109.08081},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08081.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/scp/AlrahmanNL20,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {Programming interactions in collective adaptive systems by relying
on attribute-based communication},
journal = {Sci. Comput. Program.},
volume = {192},
pages = {102428},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102428},
doi = {10.1016/j.scico.2020.102428},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AlrahmanNL20.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}
}
@article{DBLP:journals/tcs/BortolussiHL20,
author = {Luca Bortolussi and
Jane Hillston and
Michele Loreti},
title = {Fluid approximation of broadcasting systems},
journal = {Theor. Comput. Sci.},
volume = {816},
pages = {221--248},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.02.020},
doi = {10.1016/j.tcs.2020.02.020},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BortolussiHL20.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}
}
@inproceedings{DBLP:conf/rv/NenziBBLV20,
author = {Laura Nenzi and
Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Ennio Visconti},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Monitoring Spatio-Temporal Properties (Invited Tutorial)},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {21--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_2},
doi = {10.1007/978-3-030-60508-7\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/NenziBBLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciBLNS20,
author = {Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Laura Nenzi and
Simone Silvetti},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {MoonLight: {A} Lightweight Tool for Monitoring Spatio-Temporal Properties},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {417--428},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_23},
doi = {10.1007/978-3-030-60508-7\_23},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/BartocciBLNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itasec/2020,
editor = {Michele Loreti and
Luca Spalazzi},
title = {Proceedings of the Fourth Italian Conference on Cyber Security, Ancona,
Italy, February 4th to 7th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2597},
publisher = {CEUR-WS.org},
year = {2020},
url = {http://ceur-ws.org/Vol-2597},
urn = {urn:nbn:de:0074-2597-0},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itasec/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlrahmanNL19,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {A calculus for collective-adaptive systems and its behavioural theory},
journal = {Inf. Comput.},
volume = {268},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.104457},
doi = {10.1016/j.ic.2019.104457},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AlrahmanNL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/VissatLNHM19,
author = {Ludovica Luisa Vissat and
Michele Loreti and
Laura Nenzi and
Jane Hillston and
Glenn Marion},
title = {Analysis of Spatio-temporal Properties of Stochastic Systems Using
{TSTL}},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {29},
number = {4},
pages = {20:1--20:24},
year = {2019},
url = {https://doi.org/10.1145/3326168},
doi = {10.1145/3326168},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/VissatLNHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Loreti19,
author = {Michele Loreti},
title = {Replicated Computations Results {(RCR)} Report for "Statistical
Abstraction for Multi-scale Spatio-temporal Systems"},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {29},
number = {4},
pages = {23:1--23:2},
year = {2019},
url = {https://doi.org/10.1145/3341094},
doi = {10.1145/3341094},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/Loreti19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NicolaDL19,
author = {Rocco De Nicola and
Tan Duong and
Michele Loreti},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {{ABEL} - {A} Domain Specific Framework for Programming with Attribute-Based
Communication},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {111--128},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_7},
doi = {10.1007/978-3-030-22397-7\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NicolaDL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BennaceurGTKWCD19,
author = {Amel Bennaceur and
Carlo Ghezzi and
Kenji Tei and
Timo Kehrer and
Danny Weyns and
Radu Calinescu and
Schahram Dustdar and
Zhenjiang Hu and
Shinichi Honiden and
Fuyuki Ishikawa and
Zhi Jin and
Jeffrey Kramer and
Marin Litoiu and
Michele Loreti and
Gabriel A. Moreno and
Hausi A. M{\"{u}}ller and
Laura Nenzi and
Bashar Nuseibeh and
Liliana Pasquale and
Wolfgang Reisig and
Heinz Schmidt and
Christos Tsigkanos and
Haiyan Zhao},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {Modelling and analysing resilient cyber-physical systems},
booktitle = {Proceedings of the 14th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {70--76},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00018},
doi = {10.1109/SEAMS.2019.00018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BennaceurGTKWCD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TsigkanosNLGDG19,
author = {Christos Tsigkanos and
Laura Nenzi and
Michele Loreti and
Martin Garriga and
Schahram Dustdar and
Carlo Ghezzi},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {Inferring analyzable models from trajectories of spatially-distributed
internet of things},
booktitle = {Proceedings of the 14th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {100--106},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00021},
doi = {10.1109/SEAMS.2019.00021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TsigkanosNLGDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019denicola,
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2},
doi = {10.1007/978-3-030-21485-2},
isbn = {978-3-030-21484-5},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2019denicola.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08847,
author = {Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Laura Nenzi},
title = {Monitoring Mobile and Spatially Distributed Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1904.08847},
year = {2019},
url = {http://arxiv.org/abs/1904.08847},
eprinttype = {arXiv},
eprint = {1904.08847},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NenziBCLM18,
author = {Laura Nenzi and
Luca Bortolussi and
Vincenzo Ciancia and
Michele Loreti and
Mieke Massink},
title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
with {SSTL}},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {4},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(4:2)2018},
doi = {10.23638/LMCS-14(4:2)2018},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NenziBCLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CianciaGGLLM18,
author = {Vincenzo Ciancia and
Stephen Gilmore and
Gianluca Grilletti and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Spatio-temporal model checking of vehicular movement in public transport
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {3},
pages = {289--311},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0483-8},
doi = {10.1007/s10009-018-0483-8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CianciaGGLLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/BeekL18,
author = {Maurice H. ter Beek and
Michele Loreti},
title = {Guest Editorial for the Special Issue on FORmal methods for the quantitative
Evaluation of Collective Adaptive SysTems {(FORECAST)}},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {28},
number = {2},
pages = {8:1--8:4},
year = {2018},
url = {https://doi.org/10.1145/3177772},
doi = {10.1145/3177772},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/BeekL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Loreti18,
author = {Michele Loreti},
title = {Replicated Computations Results {(RCR)} Report for "Mesoscopic
Modelling of Pedestrian Movement using Carma and its Tools"},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {28},
number = {2},
pages = {12:1--12:3},
year = {2018},
url = {https://doi.org/10.1145/3177773},
doi = {10.1145/3177773},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tomacs/Loreti18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNGL18,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Giulio Garbi and
Michele Loreti},
editor = {Christel Baier and
Lu{\'{\i}}s Caires},
title = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
as Part of the 13th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10854},
pages = {1--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92612-4\_1},
doi = {10.1007/978-3-319-92612-4\_1},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlrahmanNGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/GalpinGLV18,
author = {Vashti Galpin and
Anastasis Georgoulas and
Michele Loreti and
Andrea Vandin},
editor = {Bj{\"{o}}rn Johansson and
Sanjay Jain},
title = {Statistical Analysis of {CARMA} Models: an Advanced Tutorial},
booktitle = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
December 9-12, 2018},
pages = {395--409},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WSC.2018.8632456},
doi = {10.1109/WSC.2018.8632456},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/GalpinGLV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2018,
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2018, Held as Part of the 13th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2018, Madrid, Spain, June 18-21, 2018. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10852},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3},
doi = {10.1007/978-3-319-92408-3},
isbn = {978-3-319-92407-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Lluch-LafuenteL16,
author = {Alberto Lluch{-}Lafuente and
Michele Loreti and
Ugo Montanari},
title = {Asynchronous Distributed Execution Of Fixpoint-Based Computational
Fields},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:13)2017},
doi = {10.23638/LMCS-13(1:13)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lluch-LafuenteL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLM17,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {FlyFast: {A} Scalable Approach to Probabilistic Model-Checking Based
on Mean-Field Approximation},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {254--275},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_13},
doi = {10.1007/978-3-319-68270-9\_13},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LatellaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BartocciBLN17,
author = {Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Laura Nenzi},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {Monitoring mobile and spatially distributed cyber-physical systems},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {146--155},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127050},
doi = {10.1145/3127041.3127050},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BartocciBLN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/VissatLNHM17,
author = {Ludovica Luisa Vissat and
Michele Loreti and
Laura Nenzi and
Jane Hillston and
Glenn Marion},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Three-Valued Spatio-Temporal Logic: {A} Further Analysis on Spatio-Temporal
Properties of Stochastic Systems},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {317--332},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_22},
doi = {10.1007/978-3-319-66335-7\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/VissatLNHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LatellaLM17,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Axel Legay and
Tiziana Margaria},
title = {FlyFast: {A} Mean Field Model Checker},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {303--309},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_18},
doi = {10.1007/978-3-662-54580-5\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LatellaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/VissatHLN17,
author = {Ludovica Luisa Vissat and
Jane Hillston and
Michele Loreti and
Laura Nenzi},
editor = {Andrea Marin and
Benny Van Houdt and
Giuliano Casale and
Dorina C. Petriu and
Sabina Rossi},
title = {Automatic verification of reliability requirements of spatio-temporal
analysis using Three-Valued Spatio-Temporal Logic},
booktitle = {Proceedings of the 11th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
December 05-07, 2017},
pages = {225--226},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3150928.3150961},
doi = {10.1145/3150928.3150961},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/VissatHLN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NenziBCLM17,
author = {Laura Nenzi and
Luca Bortolussi and
Vincenzo Ciancia and
Michele Loreti and
Mieke Massink},
title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
with {SSTL}},
journal = {CoRR},
volume = {abs/1706.09334},
year = {2017},
url = {http://arxiv.org/abs/1706.09334},
eprinttype = {arXiv},
eprint = {1706.09334},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NenziBCLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06092,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {Programming the Interactions of Collective Adaptive Systems by Relying
on Attribute-based Communication},
journal = {CoRR},
volume = {abs/1711.06092},
year = {2017},
url = {http://arxiv.org/abs/1711.06092},
eprinttype = {arXiv},
eprint = {1711.06092},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09762,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {A Behavioural Theory for Interactions in Collective-Adaptive Systems},
journal = {CoRR},
volume = {abs/1711.09762},
year = {2017},
url = {http://arxiv.org/abs/1711.09762},
eprinttype = {arXiv},
eprint = {1711.09762},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-09762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaLLM16,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Model Checking Spatial Logics for Closure Spaces},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {4},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(4:2)2016},
doi = {10.2168/LMCS-12(4:2)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CianciaLLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CrescenziL16,
author = {Pierluigi Crescenzi and
Michele Loreti},
title = {Preface},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {322},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.03.001},
doi = {10.1016/j.entcs.2016.03.001},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CrescenziL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/ChitiFLP16,
author = {Francesco Chiti and
Romano Fantacci and
Michele Loreti and
Rosario Pugliese},
title = {Context-aware wireless mobile autonomic computing and communications:
research trends and emerging applications},
journal = {{IEEE} Wirel. Commun.},
volume = {23},
number = {2},
pages = {86--92},
year = {2016},
url = {https://doi.org/10.1109/MWC.2016.7462489},
doi = {10.1109/MWC.2016.7462489},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/wc/ChitiFLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
editor = {Elvira Albert and
Ivan Lanese},
title = {On the Power of Attribute-Based Communication},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {1--18},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_1},
doi = {10.1007/978-3-319-39570-8\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {539--553},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_38},
doi = {10.1007/978-3-319-47166-2\_38},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/HillstonL16,
author = {Jane Hillston and
Michele Loreti},
editor = {Gul Agha and
Benny Van Houdt},
title = {{CARMA} Eclipse Plug-in: {A} Tool Supporting Design and Analysis of
Collective Adaptive Systems},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {167--171},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_12},
doi = {10.1007/978-3-319-43425-4\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/HillstonL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/LoretiH16,
author = {Michele Loreti and
Jane Hillston},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Modelling and Analysis of Collective Adaptive Systems with {CARMA}
and its Tools},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {83--119},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_4},
doi = {10.1007/978-3-319-34096-8\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/LoretiH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CianciaLLM16,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Spatial Logic and Spatial Model Checking for Closure Spaces},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {156--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_6},
doi = {10.1007/978-3-319-34096-8\_6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CianciaLLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/NenziBL16,
author = {Laura Nenzi and
Luca Bortolussi and
Michele Loreti},
editor = {Antonio Puliafito and
Kishor S. Trivedi and
Bruno Tuffin and
Marco Scarpa and
Fumio Machida and
Javier Alonso},
title = {jSSTL - {A} Tool to Monitor Spatio-Temporal Properties},
booktitle = {10th {EAI} International Conference on Performance Evaluation Methodologies
and Tools, {VALUETOOLS} 2016, Taormina, Italy, 25th-28th Oct 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.4108/eai.25-10-2016.2266978},
doi = {10.4108/eai.25-10-2016.2266978},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/NenziBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2015,
editor = {Pierre Ganty and
Michele Loreti},
title = {Trustworthy Global Computing - 10th International Symposium, {TGC}
2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9533},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28766-9},
doi = {10.1007/978-3-319-28766-9},
isbn = {978-3-319-28765-2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BeekL16,
editor = {Maurice H. ter Beek and
Michele Loreti},
title = {Proceedings of the Workshop on FORmal methods for the quantitative
Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
Austria, 8 July 2016},
series = {{EPTCS}},
volume = {217},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.217},
doi = {10.4204/EPTCS.217},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeekL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlrahmanNL16,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti},
title = {On the Power of Attribute-based Communication},
journal = {CoRR},
volume = {abs/1602.05635},
year = {2016},
url = {http://arxiv.org/abs/1602.05635},
eprinttype = {arXiv},
eprint = {1602.05635},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlrahmanNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BernardoNL15,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Revisiting bisimilarity and its modal logic for nondeterministic and
probabilistic processes},
journal = {Acta Informatica},
volume = {52},
number = {1},
pages = {61--106},
year = {2015},
url = {https://doi.org/10.1007/s00236-014-0210-1},
doi = {10.1007/s00236-014-0210-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BernardoNL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BernardoGL15,
author = {Marco Bernardo and
Daniel Gebler and
Michele Loreti},
title = {Editorial for the Special Issue on Open Problems in Concurrency Theory},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {731},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.10.002},
doi = {10.1016/j.jlamp.2015.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BernardoGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BorealeBNL15,
author = {Michele Boreale and
Roberto Bruni and
Rocco De Nicola and
Michele Loreti},
title = {CaSPiS: a calculus of sessions, pipelines and services},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {3},
pages = {666--709},
year = {2015},
url = {https://doi.org/10.1017/S0960129512000953},
doi = {10.1017/S0960129512000953},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BorealeBNL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LatellaLM15,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
title = {On-the-fly {PCTL} fast mean-field approximated model-checking for
self-organising coordination},
journal = {Sci. Comput. Program.},
volume = {110},
pages = {23--50},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.06.009},
doi = {10.1016/j.scico.2015.06.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LatellaLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLMS15,
author = {Diego Latella and
Michele Loreti and
Mieke Massink and
Valerio Senni},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {On StocS: {A} Stochastic Extension of {SCEL}},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {619--640},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_35},
doi = {10.1007/978-3-319-15545-6\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LatellaLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LatellaLM15,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Tom Holvoet and
Mirko Viroli},
title = {Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process
Languages for Collective Adaptive Systems},
booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2015, Held as Part of the 10th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2015, Grenoble, France, June 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9037},
pages = {19--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_2},
doi = {10.1007/978-3-319-19282-6\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/LatellaLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Lluch-LafuenteL15,
author = {Alberto Lluch{-}Lafuente and
Michele Loreti and
Ugo Montanari},
editor = {Tom Holvoet and
Mirko Viroli},
title = {A Fixpoint-Based Calculus for Graph-Shaped Computational Fields},
booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2015, Held as Part of the 10th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2015, Grenoble, France, June 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9037},
pages = {101--116},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_7},
doi = {10.1007/978-3-319-19282-6\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Lluch-LafuenteL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/LatellaLM15,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Marta Beltr{\'{a}}n and
William J. Knottenbelt and
Jeremy T. Bradley},
title = {On-the-fly Fluid Model Checking via Discrete Time Population Models},
booktitle = {Computer Performance Engineering - 12th European Workshop, {EPEW}
2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9272},
pages = {193--207},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23267-6\_13},
doi = {10.1007/978-3-319-23267-6\_13},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/LatellaLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NenziBCLM15,
author = {Laura Nenzi and
Luca Bortolussi and
Vincenzo Ciancia and
Michele Loreti and
Mieke Massink},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {21--37},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_2},
doi = {10.1007/978-3-319-23820-3\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/NenziBCLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlrahmanNLTV15,
author = {Yehia Abd Alrahman and
Rocco De Nicola and
Michele Loreti and
Francesco Tiezzi and
Roberto Vigo},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {A calculus for attribute-based communication},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1840--1845},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695668},
doi = {10.1145/2695664.2695668},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AlrahmanNLTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AbeywickramaSL15,
author = {Dhaminda B. Abeywickrama and
Nikola B. Serbedzija and
Michele Loreti},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Monitoring and visualizing adaptation of autonomic systems at runtime},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1857--1860},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695983},
doi = {10.1145/2695664.2695983},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AbeywickramaSL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CianciaGLLM15,
author = {Vincenzo Ciancia and
Gianluca Grilletti and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {An Experimental Spatio-Temporal Model Checker},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {297--311},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_24},
doi = {10.1007/978-3-662-49224-6\_24},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CianciaGLLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BortolussiNGGHL15,
author = {Luca Bortolussi and
Rocco De Nicola and
Vashti Galpin and
Stephen Gilmore and
Jane Hillston and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Nathalie Bertrand and
Mirco Tribastone},
title = {{CARMA:} Collective Adaptive Resource-sharing Markovian Agents},
booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},
series = {{EPTCS}},
volume = {194},
pages = {16--31},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.194.2},
doi = {10.4204/EPTCS.194.2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BortolussiNGGHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/NicolaLLLMMMPTV15,
author = {Rocco De Nicola and
Diego Latella and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Margheri and
Mieke Massink and
Andrea Morichetta and
Rosario Pugliese and
Francesco Tiezzi and
Andrea Vandin},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {The {SCEL} Language: Design, Implementation, Verification},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {3--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_1},
doi = {10.1007/978-3-319-16310-9\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AbeywickramaCHKKLLMMMMPTVV15,
author = {Dhaminda B. Abeywickrama and
Jacques Combaz and
Vojtech Hork{\'{y}} and
Jaroslav Keznikl and
Jan Kofron and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Margheri and
Philip Mayer and
Giacoma Valentina Monreale and
Ugo Montanari and
Carlo Pinciroli and
Petr Tuma and
Andrea Vandin and
Emil Vassev},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Tools for Ensemble Design and Runtime},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {429--448},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_13},
doi = {10.1007/978-3-319-16310-9\_13},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardoNL14,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Revisiting Trace and Testing Equivalences for Nondeterministic and
Probabilistic Processes},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {1},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(1:16)2014},
doi = {10.2168/LMCS-10(1:16)2014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernardoNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BernardoGL14,
author = {Marco Bernardo and
Daniel Gebler and
Michele Loreti},
title = {Report on {OPCT} 2014},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/289},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/BernardoGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/NicolaLPT14,
author = {Rocco De Nicola and
Michele Loreti and
Rosario Pugliese and
Francesco Tiezzi},
title = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {9},
number = {2},
pages = {7:1--7:29},
year = {2014},
url = {https://doi.org/10.1145/2619998},
doi = {10.1145/2619998},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/NicolaLPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BernardoNL14,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {Relating strong behavioral equivalences for processes with nondeterminism
and probabilities},
journal = {Theor. Comput. Sci.},
volume = {546},
pages = {63--92},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.001},
doi = {10.1016/j.tcs.2014.03.001},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BernardoNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/e4mas/HillstonL14,
author = {Jane Hillston and
Michele Loreti},
editor = {Danny Weyns and
Fabien Michel},
title = {Specification and Analysis of Open-Ended Systems with {CARMA}},
booktitle = {Agent Environments for Multi-Agent Systems {IV} - 4th International
Workshop, {E4MAS} 2014 - 10 Years Later, Paris, France, May 6, 2014,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9068},
pages = {95--116},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-23850-0\_7},
doi = {10.1007/978-3-319-23850-0\_7},
timestamp = {Thu, 14 Oct 2021 09:49:20 +0200},
biburl = {https://dblp.org/rec/conf/e4mas/HillstonL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14,
author = {Rocco De Nicola and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Morichetta and
Rosario Pugliese and
Valerio Senni and
Francesco Tiezzi},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Programming and Verifying Component Ensembles},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {69--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_5},
doi = {10.1007/978-3-642-54848-2\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/CianciaLLM14,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Specifying and Verifying Properties of Space},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {222--235},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_18},
doi = {10.1007/978-3-662-44602-7\_18},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/CianciaLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LoretiMPT14,
author = {Michele Loreti and
Andrea Margheri and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Programming and Policing Autonomic Computing Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {164--183},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_12},
doi = {10.1007/978-3-662-45234-9\_12},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LoretiMPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CianciaGLLM14,
author = {Vincenzo Ciancia and
Stephen Gilmore and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Data Verification for Collective Adaptive Systems: Spatial Model-Checking
of Vehicle Location Data},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {32--37},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.16},
doi = {10.1109/SASOW.2014.16},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/CianciaGLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LatellaLMS14,
author = {Diego Latella and
Michele Loreti and
Mieke Massink and
Valerio Senni},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Stochastically timed predicate-based communication primitives for
autonomic computing},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {1--16},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.1},
doi = {10.4204/EPTCS.154.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LatellaLMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LatellaLM14,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {On-the-fly Probabilistic Model Checking},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {45--59},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.6},
doi = {10.4204/EPTCS.166.6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LatellaLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaLLM14,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Specifying and Verifying Properties of Space - Extended Version},
journal = {CoRR},
volume = {abs/1406.6393},
year = {2014},
url = {http://arxiv.org/abs/1406.6393},
eprinttype = {arXiv},
eprint = {1406.6393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CianciaLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NicolaLLM13,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {A uniform definition of stochastic process calculi},
journal = {{ACM} Comput. Surv.},
volume = {46},
number = {1},
pages = {5:1--5:35},
year = {2013},
url = {https://doi.org/10.1145/2522968.2522973},
doi = {10.1145/2522968.2522973},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/NicolaLLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BernardoNL13,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {A uniform framework for modeling nondeterministic, probabilistic,
stochastic, or mixed processes and their behavioral equivalences},
journal = {Inf. Comput.},
volume = {225},
pages = {29--82},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.02.004},
doi = {10.1016/j.ic.2013.02.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BernardoNL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/LatellaLM13,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {On-the-fly Fast Mean-Field Model-Checking},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {297--314},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_17},
doi = {10.1007/978-3-319-05119-2\_17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/LatellaLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL13,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {315--330},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_18},
doi = {10.1007/978-3-319-05119-2\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BernardoNL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BernardoNL13,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Luca Bortolussi and
Herbert Wiklicky},
title = {The Spectrum of Strong Behavioral Equivalences for Nondeterministic
and Probabilistic Processes},
booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of
Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
23-24, 2013},
series = {{EPTCS}},
volume = {117},
pages = {81--96},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.117.6},
doi = {10.4204/EPTCS.117.6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernardoNL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0538,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
title = {A Companion of "Relating Strong Behavioral Equivalences for Processes
with Nondeterminism and Probabilities"},
journal = {CoRR},
volume = {abs/1305.0538},
year = {2013},
url = {http://arxiv.org/abs/1305.0538},
eprinttype = {arXiv},
eprint = {1305.0538},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LatellaLM13,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
title = {On-the-fly Fast Mean-Field Model-Checking: Extended Version},
journal = {CoRR},
volume = {abs/1312.3416},
year = {2013},
url = {http://arxiv.org/abs/1312.3416},
eprinttype = {arXiv},
eprint = {1312.3416},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LatellaLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BernardoNL12,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Lars Birkedal},
title = {Revisiting Trace and Testing Equivalences for Nondeterministic and
Probabilistic Processes},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {195--209},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_13},
doi = {10.1007/978-3-642-28729-9\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BernardoNL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GjondrekajLPTPBBD12,
author = {Edmond Gjondrekaj and
Michele Loreti and
Rosario Pugliese and
Francesco Tiezzi and
Carlo Pinciroli and
Manuele Brambilla and
Mauro Birattari and
Marco Dorigo},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Towards a Formal Verification Methodology for Collective Robotic Systems},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {54--70},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_7},
doi = {10.1007/978-3-642-34281-3\_7},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/GjondrekajLPTPBBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GjondrekajLPT12,
author = {Edmond Gjondrekaj and
Michele Loreti and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Modeling adaptation with a tuple-based coordination language},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1522--1527},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232019},
doi = {10.1145/2245276.2232019},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/GjondrekajLPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaFLP11,
author = {Rocco De Nicola and
Gian Luigi Ferrari and
Michele Loreti and
Rosario Pugliese},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Language-Based Approach to Autonomic Computing},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {25--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_2},
doi = {10.1007/978-3-642-35887-6\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NicolaFLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DErricoL11,
author = {Liliana D'Errico and
Michele Loreti},
editor = {Roberto Bruni and
Vladimiro Sassone},
title = {Context Aware Specification and Verification of Distributed Systems},
booktitle = {Trustworthy Global Computing - 6th International Symposium, {TGC}
2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7173},
pages = {142--159},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-30065-3\_9},
doi = {10.1007/978-3-642-30065-3\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/DErricoL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-1865,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Luca Aceto and
Mohammad Reza Mousavi},
title = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
and Stochastic Process Calculi},
booktitle = {Proceedings First International Workshop on Process Algebra and Coordination,
{PACO} 2011, Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {60},
pages = {66--75},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.60.5},
doi = {10.4204/EPTCS.60.5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/NicolaLLM11,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {SoSL: {A} Service-Oriented Stochastic Logic},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {447--466},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_21},
doi = {10.1007/978-3-642-20401-2\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/NicolaLLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/CappelloCGLLQS11,
author = {Igor Cappello and
Allan Clark and
Stephen Gilmore and
Diego Latella and
Michele Loreti and
Paola Quaglia and
Stefano Schivo},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Quantitative Analysis of Services},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {522--540},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_25},
doi = {10.1007/978-3-642-20401-2\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/CappelloCGLLQS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BeekLLP11,
author = {Maurice H. ter Beek and
Alessandro Lapadula and
Michele Loreti and
Claudio Palasciano},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Analysing Robot Movement Using the Sensoria Methods},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {678--697},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_33},
doi = {10.1007/978-3-642-20401-2\_33},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BeekLLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CalzolaiL10,
author = {Francesco Calzolai and
Michele Loreti},
editor = {Dave Clarke and
Gul A. Agha},
title = {Simulation and Analysis of Distributed Systems in Klaim},
booktitle = {Coordination Models and Languages, 12th International Conference,
{COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6116},
pages = {122--136},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13414-2\_9},
doi = {10.1007/978-3-642-13414-2\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CalzolaiL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardoNL10,
author = {Marco Bernardo and
Rocco De Nicola and
Michele Loreti},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
and Stochastic Processes},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {35--56},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_3},
doi = {10.1007/978-3-642-15640-3\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BernardoNL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/DErricoL10,
author = {Liliana D'Errico and
Michele Loreti},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Property-Preserving Refinement of Concurrent Systems},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {222--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_15},
doi = {10.1007/978-3-642-15640-3\_15},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/DErricoL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/NicolaLLM09,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {MarCaSPiS: a Markovian Extension of a Calculus for Services},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {229},
number = {4},
pages = {11--26},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.071},
doi = {10.1016/j.entcs.2009.07.071},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NicolaLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DErricoL09,
author = {Liliana D'Errico and
Michele Loreti},
editor = {John Field and
Vasco Thudichum Vasconcelos},
title = {Assume-Guarantee Verification of Concurrent Systems},
booktitle = {Coordination Models and Languages, 11th International Conference,
{COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5521},
pages = {288--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02053-7\_15},
doi = {10.1007/978-3-642-02053-7\_15},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DErricoL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/DErricoL09,
author = {Liliana D'Errico and
Michele Loreti},
editor = {Jo{\~{a}}o Paulo Carvalho and
Didier Dubois and
Uzay Kaymak and
Jo{\~{a}}o Miguel da Costa Sousa},
title = {A process Algebra Approach to Fuzzy Reasoning},
booktitle = {Proceedings of the Joint 2009 International Fuzzy Systems Association
World Congress and 2009 European Society of Fuzzy Logic and Technology
Conference, Lisbon, Portugal, July 20-24, 2009},
pages = {1136--1141},
year = {2009},
url = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_1136.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/DErricoL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/NicolaLLM09,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {On a Uniform Framework for the Definition of Stochastic Process Languages},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {9--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_2},
doi = {10.1007/978-3-642-04570-7\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/NicolaLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NicolaLLM09,
author = {Rocco De Nicola and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {Rate-Based Transition Systems for Stochastic Process Calculi},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {435--446},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_36},
doi = {10.1007/978-3-642-02930-1\_36},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NicolaLLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NicolaL08,
author = {Rocco De Nicola and
Michele Loreti},
title = {Multiple-Labelled Transition Systems for nominal calculi and their
logics},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {107--143},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006585},
doi = {10.1017/S0960129507006585},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/NicolaL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CalzolaiNLT08,
author = {Francesco Calzolai and
Rocco De Nicola and
Michele Loreti and
Francesco Tiezzi},
title = {TAPAs: {A} Tool for the Analysis of Process Algebras},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {1},
pages = {54--70},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8\_4},
doi = {10.1007/978-3-540-89287-8\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/CalzolaiNLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL08,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {Implementing Session Centered Calculi},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {17--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_2},
doi = {10.1007/978-3-540-68265-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BettiniNL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BorealeBNL08,
author = {Michele Boreale and
Roberto Bruni and
Rocco De Nicola and
Michele Loreti},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Sessions and Pipelines for Structured Service Programming},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {19--38},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_3},
doi = {10.1007/978-3-540-68863-1\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BorealeBNL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamodia/MassinkLBHL08,
author = {Mieke Massink and
Diego Latella and
Maurice H. ter Beek and
Michael D. Harrison and
Michele Loreti},
editor = {Peter Forbrig and
Fabio Patern{\`{o}}},
title = {A Fluid Flow Approach to Usability Analysis of Multi-user Systems},
booktitle = {Engineering Interactive Systems, Second Conference on Human-Centered
Software Engineering, {HCSE} 2008, and 7th International Workshop
on Task Models and Diagrams, {TAMODIA} 2008, Pisa, Italy, September
25-26, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5247},
pages = {166--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85992-5\_15},
doi = {10.1007/978-3-540-85992-5\_15},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamodia/MassinkLBHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BravettiLLMZ08,
author = {Mario Bravetti and
Diego Latella and
Michele Loreti and
Mieke Massink and
Gianluigi Zavattaro},
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Combining Timed Coordination Primitives and Probabilistic Tuple Spaces},
booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5474},
pages = {52--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00945-7\_4},
doi = {10.1007/978-3-642-00945-7\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BravettiLLMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniNLM08,
author = {Roberto Bruni and
Rocco De Nicola and
Michele Loreti and
Leonardo Gaetano Mezzina},
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Provably Correct Implementations of Services},
booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5474},
pages = {69--86},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00945-7\_5},
doi = {10.1007/978-3-642-00945-7\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BruniNLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/NicolaL07,
author = {Rocco De Nicola and
Michele Loreti},
title = {Multi Labelled Transition Systems: {A} Semantic Framework for Nominal
Calculi},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {169},
pages = {133--146},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.05.019},
doi = {10.1016/j.entcs.2007.05.019},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NicolaL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BettiniNFL07,
author = {Lorenzo Bettini and
Rocco De Nicola and
Daniele Falassi and
Michele Loreti},
title = {Implementing a Distributed Mobile Calculus Using the {IMC} Framework},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {181},
pages = {63--79},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.01.054},
doi = {10.1016/j.entcs.2007.01.054},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BettiniNFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaKLLM07,
author = {Rocco De Nicola and
Joost{-}Pieter Katoen and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Model checking mobile stochastic logic},
journal = {Theor. Comput. Sci.},
volume = {382},
number = {1},
pages = {42--70},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.05.008},
doi = {10.1016/j.tcs.2007.05.008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/NicolaKLLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/ManganaroKL07,
author = {Andrea Manganaro and
Mingyur Koblensky and
Michele Loreti},
editor = {Joaquim Filipe and
Mohammad S. Obaidat},
title = {Design of a Password-Based {EAP} Method},
booktitle = {E-business and Telecommunications - 4th International Conference,
{ICETE} 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {23},
pages = {343--355},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88653-2\_26},
doi = {10.1007/978-3-540-88653-2\_26},
timestamp = {Sat, 19 Oct 2019 20:35:36 +0200},
biburl = {https://dblp.org/rec/conf/icete/ManganaroKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DErricoL07,
author = {Liliana D'Errico and
Michele Loreti},
editor = {Giuseppe F. Italiano and
Eugenio Moggi and
Luigi Laura},
title = {Modeling Fuzzy Behaviours in Concurrent Systems},
booktitle = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
Rome, Italy, October 3-5, 2007, Proceedings},
pages = {94--105},
publisher = {World Scientific},
year = {2007},
timestamp = {Wed, 11 Jun 2008 08:55:26 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/DErricoL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/winsys/ManganaroKL07,
author = {Andrea Manganaro and
Mingyur Koblensky and
Michele Loreti},
editor = {Mohammad S. Obaidat and
Victor Peral Lecha and
Rafael F. S. Caldeirinha},
title = {Design of a Password-based Authentication Method for Wireless Networks},
booktitle = {{WINSYS} 2007 - Proceedings of the International Conference on Wireless
Information Networks and Systems, Barcelona, Spain, July 28-31, 2007,
{WINSYS} is part of {ICETE} - The International Joint Conference on
e-Business and Telecommunications},
pages = {9--16},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Wed, 09 Sep 2009 08:20:58 +0200},
biburl = {https://dblp.org/rec/conf/winsys/ManganaroKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/BettiniNL06,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
title = {Implementing Mobile and Distributed Applications in X-Klaim},
journal = {Scalable Comput. Pract. Exp.},
volume = {7},
number = {4},
year = {2006},
url = {http://www.scpe.org/index.php/scpe/article/view/384},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/BettiniNL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CrescenziLP06,
author = {Pilu Crescenzi and
Michele Loreti and
Rosario Pugliese},
editor = {Renzo Davoli and
Michael Goldweber and
Paola Salomoni},
title = {Assessing {CS1} java skills: a three-year experience},
booktitle = {Proceedings of the 11th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy,
June 26-28, 2006},
pages = {348},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140124.1140257},
doi = {10.1145/1140124.1140257},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/CrescenziLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BorealeBCNLLMMRSVZ06,
author = {Michele Boreale and
Roberto Bruni and
Lu{\'{\i}}s Caires and
Rocco De Nicola and
Ivan Lanese and
Michele Loreti and
Francisco Martins and
Ugo Montanari and
Ant{\'{o}}nio Ravara and
Davide Sangiorgi and
Vasco Thudichum Vasconcelos and
Gianluigi Zavattaro},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {{SCC:} {A} Service Centered Calculus},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {38--57},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_3},
doi = {10.1007/11841197\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/BettiniNFLL05,
author = {Lorenzo Bettini and
Rocco De Nicola and
Daniele Falassi and
Marc Lacoste and
Michele Loreti},
editor = {Lea Kutvonen and
Nancy Alonistioti},
title = {A Flexible and Modular Framework for Implementing Infrastructures
for Global Computing},
booktitle = {Distributed Applications and Interoperable Systems, 5th {IFIP} {WG}
6.1 International Conference, {DAIS} 2005, Athens, Greece, June 15-17,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3543},
pages = {181--193},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11498094\_17},
doi = {10.1007/11498094\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/BettiniNFLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BettiniNL04,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
title = {Formulae Meet Programs Over the Net: {A} Framework for Correct Network
Aware Programming},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {3},
pages = {245--288},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000028536.34044.47},
doi = {10.1023/B:AUSE.0000028536.34044.47},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/BettiniNL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NicolaL04,
author = {Rocco De Nicola and
Michele Loreti},
title = {A modal logic for mobile agents},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {1},
pages = {79--128},
year = {2004},
url = {https://doi.org/10.1145/963927.963930},
doi = {10.1145/963927.963930},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/NicolaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/NicolaL04,
author = {Rocco De Nicola and
Michele Loreti},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {MoMo: {A} Modal Logic for Reasoning About Mobility},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {95--119},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_5},
doi = {10.1007/11561163\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/NicolaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/BettiniCILC04,
author = {Lorenzo Bettini and
Pilu Crescenzi and
Gaia Innocenti and
Michele Loreti and
Leonardo Cecchi},
editor = {Kinshuk and
Chee{-}Kit Looi and
Erkki Sutinen and
Demetrios G. Sampson and
Ignacio Aedo and
Lorna Uden and
Esko K{\"{a}}hk{\"{o}}nen},
title = {An Environment for Self-Assessing Java Programming Skills in Undergraduate
First Programming Courses},
booktitle = {Proceedings of the {IEEE} International Conference on Advanced Learning
Technologies, {ICALT} 2004, Joensuu, Finland, August 30 - September
1, 2004},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICALT.2004.1357395},
doi = {10.1109/ICALT.2004.1357395},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icalt/BettiniCILC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BettiniBNFGLMPTV03,
author = {Lorenzo Bettini and
Viviana Bono and
Rocco De Nicola and
Gian Luigi Ferrari and
Daniele Gorla and
Michele Loreti and
Eugenio Moggi and
Rosario Pugliese and
Emilio Tuosto and
Betti Venneri},
editor = {Corrado Priami},
title = {The Klaim Project: Theory and Practice},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {88--150},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_4},
doi = {10.1007/978-3-540-40042-4\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BettiniNL02,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Formalizing Properties of Mobile Agent Systems},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {72--87},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_9},
doi = {10.1007/3-540-46000-4\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BettiniNL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniNL02,
author = {Lorenzo Bettini and
Rocco De Nicola and
Michele Loreti},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Software update via mobile agent based programming},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {32--36},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508800},
doi = {10.1145/508791.508800},
timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
biburl = {https://dblp.org/rec/conf/sac/BettiniNL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniLP02,
author = {Lorenzo Bettini and
Michele Loreti and
Rosario Pugliese},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {An infrastructure language for open nets},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {373--377},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508862},
doi = {10.1145/508791.508862},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BettiniLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02,
author = {Luis Filipe Andrade and
Paolo Baldan and
Hubert Baumeister and
Roberto Bruni and
Andrea Corradini and
Rocco De Nicola and
Jos{\'{e}} Luiz Fiadeiro and
Fabio Gadducci and
Stefania Gnesi and
Piotr Hoffman and
Nora Koch and
Piotr Kosiuczenko and
Alessandro Lapadula and
Diego Latella and
Ant{\'{o}}nia Lopes and
Michele Loreti and
Mieke Massink and
Franco Mazzanti and
Ugo Montanari and
Crist{\'{o}}v{\~{a}}o Oliveira and
Rosario Pugliese and
Andrzej Tarlecki and
Michel Wermelinger and
Martin Wirsing and
Artur Zawlocki},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {{AGILE:} Software Architecture for Mobility},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {1--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_1},
doi = {10.1007/978-3-540-40020-2\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CapitaniLV01,
author = {Beatrice Capitani and
Michele Loreti and
Betti Venneri},
title = {Hyperformulae, Parallel Deductions and Intersection Types},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {50},
number = {2},
pages = {178--195},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00172-0},
doi = {10.1016/S1571-0661(04)00172-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CapitaniLV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BettiniLP01,
author = {Lorenzo Bettini and
Michele Loreti and
Rosario Pugliese},
title = {Modelling Node Connectivity in Dynamically Evolving Networks},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {54},
pages = {81--91},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00237-3},
doi = {10.1016/S1571-0661(04)00237-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BettiniLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/NicolaL00,
author = {Rocco De Nicola and
Michele Loreti},
editor = {Teodor Rus},
title = {A Modal Logic for {KLAIM}},
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 = {339--354},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_25},
doi = {10.1007/3-540-45499-3\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/NicolaL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniLP00,
author = {Lorenzo Bettini and
Michele Loreti and
Rosario Pugliese},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Ernesto Damiani and
Hisham Haddad and
Dave Oppenheim},
title = {Structured Nets in {KLAIM}},
booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
19-21, 2000. Volume 1},
pages = {174--180},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335603.335736},
doi = {10.1145/335603.335736},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BettiniLP00.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 2022-06-29 22:54 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
