


Остановите войну!
for scientists:
BibTeX 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} }

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.