Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alessandro Aldini
@inproceedings{DBLP:conf/forte/EspositoA023,
author = {Andrea Esposito and
Alessandro Aldini and
Marco Bernardo},
editor = {Marieke Huisman and
Ant{\'{o}}nio Ravara},
title = {Branching Bisimulation Semantics Enables Noninterference Analysis
of Reversible Systems},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held
as Part of the 18th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13910},
pages = {57--74},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35355-0\_5},
doi = {10.1007/978-3-031-35355-0\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/EspositoA023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pst/AldiniMS23,
author = {Alessandro Aldini and
Suzana Mesquita de Borba Maranh{\~{a}}o Moreno and
Jean{-}Marc Seigneur},
title = {A Rule-Language Tailored for Financial Inclusion and {KYC/AML} Compliance},
booktitle = {20th Annual International Conference on Privacy, Security and Trust,
{PST} 2023, Copenhagen, Denmark, August 21-23, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PST58708.2023.10320148},
doi = {10.1109/PST58708.2023.10320148},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pst/AldiniMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-15670,
author = {Andrea Esposito and
Alessandro Aldini and
Marco Bernardo and
Sabina Rossi},
title = {Noninterference Analysis of Reversible Systems: An Approach Based
on Branching Bisimilarity},
journal = {CoRR},
volume = {abs/2311.15670},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.15670},
doi = {10.48550/ARXIV.2311.15670},
eprinttype = {arXiv},
eprint = {2311.15670},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-15670.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firai/Aldini22,
author = {Alessandro Aldini},
title = {On the Modeling and Verification of Collective and Cooperative Systems},
journal = {Frontiers Robotics {AI}},
volume = {9},
year = {2022},
url = {https://doi.org/10.3389/frobt.2022.866649},
doi = {10.3389/FROBT.2022.866649},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/firai/Aldini22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TagliaferriA22,
author = {Mirko Tagliaferri and
Alessandro Aldini},
title = {From belief to trust: {A} quantitative framework based on modal logic},
journal = {J. Log. Comput.},
volume = {32},
number = {6},
pages = {1017--1047},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac016},
doi = {10.1093/LOGCOM/EXAC016},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/TagliaferriA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Aldini22,
author = {Alessandro Aldini},
title = {On the modeling and verification of the spread of fake news, algebraically},
journal = {J. Log. Comput.},
volume = {32},
number = {6},
pages = {1272--1291},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac015},
doi = {10.1093/LOGCOM/EXAC015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Aldini22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AldiniAG22,
author = {Alessandro Aldini and
Samuel Allen Alexander and
Pierluigi Graziani},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution
to the Surprise Examination Paradox},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {383--399},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_30},
doi = {10.1007/978-3-031-26236-4\_30},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AldiniAG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jimaging/AmuraAPSTT21,
author = {Annamaria Amura and
Alessandro Aldini and
Stefano Pagnotta and
Emanuele Salerno and
Anna Tonazzini and
Paolo Triolo},
title = {Analysis of Diagnostic Images of Artworks and Feature Extraction:
Design of a Methodology},
journal = {J. Imaging},
volume = {7},
number = {3},
pages = {53},
year = {2021},
url = {https://doi.org/10.3390/jimaging7030053},
doi = {10.3390/JIMAGING7030053},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jimaging/AmuraAPSTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/AldiniMMS21,
author = {Alessandro Aldini and
Antonio La Marra and
Fabio Martinelli and
Andrea Saracino},
title = {Ask a(n)droid to tell you the odds: probabilistic security-by-contract
for mobile devices},
journal = {Soft Comput.},
volume = {25},
number = {3},
pages = {2295--2314},
year = {2021},
url = {https://doi.org/10.1007/s00500-020-05299-4},
doi = {10.1007/S00500-020-05299-4},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soco/AldiniMMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/AldiniCGT21,
author = {Alessandro Aldini and
Gianluca Curzi and
Pierluigi Graziani and
Mirko Tagliaferri},
editor = {Jirina Vejnarov{\'{a}} and
Nic Wilson},
title = {Trust Evidence Logic},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 16th European Conference, {ECSQARU} 2021, Prague, Czech Republic,
September 21-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12897},
pages = {575--589},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86772-0\_41},
doi = {10.1007/978-3-030-86772-0\_41},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/AldiniCGT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AldiniB20,
author = {Alessandro Aldini and
Marco Bernardo},
title = {The Italian Conference on Theoretical Computer Science},
journal = {Theor. Comput. Sci.},
volume = {815},
pages = {310},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.03.003},
doi = {10.1016/J.TCS.2020.03.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AldiniB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/AldiniBDKR20,
author = {Alessandro Aldini and
Alessandro Bogliolo and
Saverio Delpriori and
Lorenz Cuno Klopfenstein and
Giorgia Remedi},
editor = {Michele Loreti and
Luca Spalazzi},
title = {Modeling and Verification of the Worth-One-Minute Security Protocols},
booktitle = {Proceedings of the Fourth Italian Conference on Cyber Security, Ancona,
Italy, February 4th to 7th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2597},
pages = {24--35},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2597/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/AldiniBDKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AldiniGT20,
author = {Alessandro Aldini and
Pierluigi Graziani and
Mirko Tagliaferri},
editor = {Loek Cleophas and
Mieke Massink},
title = {Reasoning About Ignorance and Beliefs},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops
- ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September
14-15, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12524},
pages = {214--230},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67220-1\_17},
doi = {10.1007/978-3-030-67220-1\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AldiniGT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2001-06163,
editor = {Alessandro Aldini and
Herbert Wiklicky},
title = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
series = {{EPTCS}},
volume = {312},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.312},
doi = {10.4204/EPTCS.312},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-06163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcn/KlopfensteinDAB19,
author = {Lorenz Cuno Klopfenstein and
Saverio Delpriori and
Alessandro Aldini and
Alessandro Bogliolo},
title = {"Worth one minute": An anonymous rewarding platform for
crowd-sensing systems},
journal = {J. Commun. Networks},
volume = {21},
number = {5},
pages = {509--520},
year = {2019},
url = {https://doi.org/10.1109/JCN.2019.000051},
doi = {10.1109/JCN.2019.000051},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcn/KlopfensteinDAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/AldiniT19,
author = {Alessandro Aldini and
Mirko Tagliaferri},
editor = {Andrea Saracino and
Paolo Mori},
title = {Logics to Reason Formally About Trust Computation and Manipulation},
booktitle = {Emerging Technologies for Authorization and Authentication - Second
International Workshop, {ETAA} 2019, Luxembourg City, Luxembourg,
September 27, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11967},
pages = {1--15},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-39749-4\_1},
doi = {10.1007/978-3-030-39749-4\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/AldiniT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TagliaferriA19,
author = {Mirko Tagliaferri and
Alessandro Aldini},
editor = {Javier C{\'{a}}mara and
Martin Steffen},
title = {A Trust Logic for the Varieties of Trust},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2019 Collocated Workshops:
CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20,
2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12226},
pages = {119--136},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57506-9\_10},
doi = {10.1007/978-3-030-57506-9\_10},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/TagliaferriA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2001-06942,
author = {Alessandro Aldini},
editor = {Alessandro Aldini and
Herbert Wiklicky},
title = {Quantitative Aspects of Programming Languages and Systems over the
past {\textdollar}2{\^{}}4{\textdollar} years and beyond},
booktitle = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
series = {{EPTCS}},
volume = {312},
pages = {1--19},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.312.1},
doi = {10.4204/EPTCS.312.1},
timestamp = {Fri, 27 Mar 2020 08:38:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-06942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CasadeiAV18,
author = {Roberto Casadei and
Alessandro Aldini and
Mirko Viroli},
title = {Towards attack-resistant Aggregate Computing using trust mechanisms},
journal = {Sci. Comput. Program.},
volume = {167},
pages = {114--137},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.07.006},
doi = {10.1016/J.SCICO.2018.07.006},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CasadeiAV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Aldini18,
author = {Alessandro Aldini},
title = {Design and Verification of Trusted Collective Adaptive Systems},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {28},
number = {2},
pages = {9:1--9:27},
year = {2018},
url = {https://doi.org/10.1145/3155337},
doi = {10.1145/3155337},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/Aldini18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/TagliaferriA18,
author = {Mirko Tagliaferri and
Alessandro Aldini},
title = {A Trust Logic for Pre-Trust Computations},
booktitle = {21st International Conference on Information Fusion, {FUSION} 2018,
Cambridge, UK, July 10-13, 2018},
pages = {2006--2012},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ICIF.2018.8455621},
doi = {10.23919/ICIF.2018.8455621},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fusion/TagliaferriA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/TagliaferriA18,
author = {Mirko Tagliaferri and
Alessandro Aldini},
editor = {Nurit Gal{-}Oz and
Peter R. Lewis},
title = {From Knowledge to Trust: {A} Logical Framework for Pre-trust Computations},
booktitle = {Trust Management {XII} - 12th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2018, Toronto, ON, Canada, July 10-13, 2018, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {528},
pages = {107--123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95276-5\_8},
doi = {10.1007/978-3-319-95276-5\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/TagliaferriA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/KlopfensteinDAB18,
author = {Lorenz Cuno Klopfenstein and
Saverio Delpriori and
Alessandro Aldini and
Alessandro Bogliolo},
title = {Introducing a flexible rewarding platform for mobile crowd-sensing
applications},
booktitle = {2018 {IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2018, Athens, Greece, March 19-23, 2018},
pages = {728--733},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PERCOMW.2018.8480323},
doi = {10.1109/PERCOMW.2018.8480323},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/KlopfensteinDAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2018,
editor = {Alessandro Aldini and
Marco Bernardo},
title = {Proceedings of the 19th Italian Conference on Theoretical Computer
Science, Urbino, Italy, September 18-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2243},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2243},
urn = {urn:nbn:de:0074-2243-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-11676,
author = {Marco Bernardo and
Edoardo Bont{\`{a}} and
Alessandro Aldini},
title = {Process Algebraic Architectural Description Languages: Generalizing
Component-Oriented Mismatch Detection in the Presence of Nonsynchronous
Communications},
journal = {CoRR},
volume = {abs/1805.11676},
year = {2018},
url = {http://arxiv.org/abs/1805.11676},
eprinttype = {arXiv},
eprint = {1805.11676},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-11676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imcs/AldiniSLTG17,
author = {Alessandro Aldini and
Jean{-}Marc Seigneur and
Carlos Ballester Lafuente and
Xavier Titi and
Jonathan Guislain},
title = {Design and validation of a trust-based opportunity-enabled risk management
system},
journal = {Inf. Comput. Secur.},
volume = {25},
number = {1},
pages = {2--25},
year = {2017},
url = {https://doi.org/10.1108/ICS-05-2016-0037},
doi = {10.1108/ICS-05-2016-0037},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imcs/AldiniSLTG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CasadeiAV17,
author = {Roberto Casadei and
Alessandro Aldini and
Mirko Viroli},
editor = {Antonio Cerone and
Marco Roveri},
title = {Combining Trust and Aggregate Computing},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {507--522},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_34},
doi = {10.1007/978-3-319-74781-1\_34},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CasadeiAV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/MarraMSA16,
author = {Antonio La Marra and
Fabio Martinelli and
Andrea Saracino and
Alessandro Aldini},
title = {On Probabilistic Application Compliance},
booktitle = {2016 {IEEE} Trustcom/BigDataSE/ISPA, Tianjin, China, August 23-26,
2016},
pages = {1848--1855},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/TrustCom.2016.0283},
doi = {10.1109/TRUSTCOM.2016.0283},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/MarraMSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Aldini16,
author = {Alessandro Aldini},
editor = {Maurice H. ter Beek and
Michele Loreti},
title = {A Formal Framework for Modeling Trust and Reputation in Collective
Adaptive Systems},
booktitle = {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},
pages = {19--30},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.217.4},
doi = {10.4204/EPTCS.217.4},
timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/Aldini16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2015dpm,
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Guillermo Navarro{-}Arribas and
Alessandro Aldini and
Fabio Martinelli and
Neeraj Suri},
title = {Data Privacy Management, and Security Assurance - 10th International
Workshop, {DPM} 2015, and 4th International Workshop, {QASA} 2015,
Vienna, Austria, September 21-22, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9481},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29883-2},
doi = {10.1007/978-3-319-29883-2},
isbn = {978-3-319-29882-5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/2015dpm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2016dpm,
editor = {Giovanni Livraga and
Vicen{\c{c}} Torra and
Alessandro Aldini and
Fabio Martinelli and
Neeraj Suri},
title = {Data Privacy Management and Security Assurance - 11th International
Workshop, {DPM} 2016 and 5th International Workshop, {QASA} 2016,
Heraklion, Crete, Greece, September 26-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9963},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47072-6},
doi = {10.1007/978-3-319-47072-6},
isbn = {978-3-319-47071-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/2016dpm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2016,
editor = {Alessandro Aldini and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {Foundations of Security Analysis and Design {VIII} - {FOSAD} 2014/2015/2016
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9808},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43005-8},
doi = {10.1007/978-3-319-43005-8},
isbn = {978-3-319-43004-1},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AldiniMSS15,
author = {Alessandro Aldini and
Fabio Martinelli and
Andrea Saracino and
Daniele Sgandurra},
title = {Detection of repackaged mobile applications through a collaborative
approach},
journal = {Concurr. Comput. Pract. Exp.},
volume = {27},
number = {11},
pages = {2818--2838},
year = {2015},
url = {https://doi.org/10.1002/cpe.3447},
doi = {10.1002/CPE.3447},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/AldiniMSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/Aldini15,
author = {Alessandro Aldini},
title = {Modeling and verification of trust and reputation systems},
journal = {Secur. Commun. Networks},
volume = {8},
number = {16},
pages = {2933--2946},
year = {2015},
url = {https://doi.org/10.1002/sec.1220},
doi = {10.1002/SEC.1220},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/Aldini15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aic/AldiniFG15,
author = {Alessandro Aldini and
Vincenzo Fano and
Pierluigi Graziani},
editor = {Antonio Lieto and
Cristina Battaglino and
Daniele Paolo Radicioni and
Manuela Sanguinetti},
title = {Do the Self-Knowing Machines Dream of Knowing Their Factivity?},
booktitle = {Proceedings of the 3rd International Workshop on Artificial Intelligence
and Cognition, Turin, Italy, September 28-29, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1510},
pages = {125--132},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1510/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/aic/AldiniFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hapoc/AldiniFG15,
author = {Alessandro Aldini and
Vincenzo Fano and
Pierluigi Graziani},
editor = {Fabio Gadducci and
Mirko Tavosanis},
title = {Theory of Knowing Machines: Revisiting G{\"{o}}del and the Mechanistic
Thesis},
booktitle = {History and Philosophy of Computing - Third International Conference,
HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {487},
pages = {57--70},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-47286-7\_4},
doi = {10.1007/978-3-319-47286-7\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hapoc/AldiniFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/AldiniSLTG15,
author = {Alessandro Aldini and
Jean{-}Marc Seigneur and
Carlos Ballester Lafuente and
Xavier Titi and
Jonathan Guislain},
title = {Formal Modeling and Verification of Opportunity-enabled Risk Management},
booktitle = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22,
2015, Volume 1},
pages = {676--684},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/Trustcom.2015.434},
doi = {10.1109/TRUSTCOM.2015.434},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/AldiniSLTG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AldiniB15,
author = {Alessandro Aldini and
Marco Bernardo},
editor = {Nathalie Bertrand and
Mirco Tribastone},
title = {Expected-Delay-Summing Weak Bisimilarity for Markov Automata},
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 = {1--15},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.194.1},
doi = {10.4204/EPTCS.194.1},
timestamp = {Mon, 16 Sep 2019 14:48:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/AldiniB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2014-8872,
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Jordi Herrera{-}Joancomart{\'{\i}} and
Emil Lupu and
Joachim Posegga and
Alessandro Aldini and
Fabio Martinelli and
Neeraj Suri},
title = {Data Privacy Management, Autonomous Spontaneous Security, and Security
Assurance - 9th International Workshop, {DPM} 2014, 7th International
Workshop, {SETOP} 2014, and 3rd International Workshop, {QASA} 2014,
Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8872},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17016-9},
doi = {10.1007/978-3-319-17016-9},
isbn = {978-3-319-17015-2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/2014-8872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/Aldini14,
author = {Alessandro Aldini},
editor = {Jianying Zhou and
Nurit Gal{-}Oz and
Jie Zhang and
Ehud Gudes},
title = {A Calculus for Trust and Reputation Systems},
booktitle = {Trust Management {VIII} - 8th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2014, Singapore, July 7-10, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {430},
pages = {173--188},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43813-8\_12},
doi = {10.1007/978-3-662-43813-8\_12},
timestamp = {Thu, 23 Sep 2021 11:47:43 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/Aldini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/AldiniBLS14,
author = {Alessandro Aldini and
Alessandro Bogliolo and
Carlos Ballester Lafuente and
Jean{-}Marc Seigneur},
editor = {Jianying Zhou and
Nurit Gal{-}Oz and
Jie Zhang and
Ehud Gudes},
title = {On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based
Networks},
booktitle = {Trust Management {VIII} - 8th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2014, Singapore, July 7-10, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {430},
pages = {205--212},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43813-8\_14},
doi = {10.1007/978-3-662-43813-8\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/AldiniBLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2013,
editor = {Alessandro Aldini and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {Foundations of Security Analysis and Design {VII} - {FOSAD} 2012/2013
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8604},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10082-1},
doi = {10.1007/978-3-319-10082-1},
isbn = {978-3-319-10081-4},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cts/MartinelliSSA13,
author = {Fabio Martinelli and
Andrea Saracino and
Daniele Sgandurra and
Alessandro Aldini},
editor = {Geoffrey Charles Fox and
Waleed W. Smari},
title = {A collaborative framework for generating probabilistic contracts},
booktitle = {2013 International Conference on Collaboration Technologies and Systems,
{CTS} 2013, San Diego, CA, USA, May 20-24, 2013},
pages = {139--142},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CTS.2013.6567219},
doi = {10.1109/CTS.2013.6567219},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/cts/MartinelliSSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Aldini12,
author = {Alessandro Aldini},
title = {Approximating Markovian testing equivalence},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {73--86},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.07.019},
doi = {10.1016/J.TCS.2011.07.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Aldini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/BoglioloPAMMYLS12,
author = {Alessandro Bogliolo and
Paolo Polidori and
Alessandro Aldini and
Waldir A. Moreira and
Paulo Mendes and
M{\"{u}}rsel Yildiz and
Carlos Ballester Lafuente and
Jean{-}Marc Seigneur},
title = {Virtual currency and reputation-based cooperation incentives in user-centric
networks},
booktitle = {8th International Wireless Communications and Mobile Computing Conference,
{IWCMC} 2012, Limassol, Cyprus, August 27-31, 2012},
pages = {895--900},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IWCMC.2012.6314323},
doi = {10.1109/IWCMC.2012.6314323},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/BoglioloPAMMYLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/AldiniB11,
author = {Alessandro Aldini and
Marco Bernardo},
title = {Component-oriented verification of noninterference},
journal = {J. Syst. Archit.},
volume = {57},
number = {3},
pages = {282--293},
year = {2011},
url = {https://doi.org/10.1016/j.sysarc.2010.06.005},
doi = {10.1016/J.SYSARC.2010.06.005},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/AldiniB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AldiniBS11,
author = {Alessandro Aldini and
Marco Bernardo and
Jeremy Sproston},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Performability Measure Specification: Combining {CSRL} and {MSL}},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {165--179},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_13},
doi = {10.1007/978-3-642-24431-5\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/AldiniBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2010,
editor = {Alessandro Aldini and
Roberto Gorrieri},
title = {Foundations of Security Analysis and Design {VI} - {FOSAD} Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {6858},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23082-0},
doi = {10.1007/978-3-642-23082-0},
isbn = {978-3-642-23081-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0024016,
author = {Alessandro Aldini and
Marco Bernardo and
Flavio Corradini},
title = {A Process Algebraic Approach to Software Architecture Design},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-84800-223-4},
doi = {10.1007/978-1-84800-223-4},
isbn = {978-1-84800-222-7},
timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0024016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BernardoBA10,
author = {Marco Bernardo and
Edoardo Bont{\`{a}} and
Alessandro Aldini},
title = {Handling communications in process algebraic architectural description
languages: Modeling, verification, and implementation},
journal = {J. Syst. Softw.},
volume = {83},
number = {8},
pages = {1404--1429},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2010.02.025},
doi = {10.1016/J.JSS.2010.02.025},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BernardoBA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-5094,
author = {Alessandro Aldini},
editor = {Alessandra Di Pierro and
Gethin Norman},
title = {Approximate Testing Equivalence Based on Time, Probability, and Observed
Behavior},
booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
series = {{EPTCS}},
volume = {28},
pages = {1--15},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.28.1},
doi = {10.4204/EPTCS.28.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2010,
editor = {Alessandro Aldini and
Marco Bernardo and
Luciano Bononi and
Vittorio Cortellessa},
title = {Computer Performance Engineering - 7th European Performance Engineering
Workshop, {EPEW} 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6342},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15784-4},
doi = {10.1007/978-3-642-15784-4},
isbn = {978-3-642-15783-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2010,
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8},
doi = {10.1007/978-3-642-13678-8},
isbn = {978-3-642-13677-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AldiniB09,
author = {Alessandro Aldini and
Marco Bernardo},
editor = {Pierpaolo Degano and
Luca Vigan{\`{o}}},
title = {A General Framework for Nondeterministic, Probabilistic, and Stochastic
Noninterference},
booktitle = {Foundations and Applications of Security Analysis, Joint Workshop
on Automated Reasoning for Security Protocol Analysis and Issues in
the Theory of Security, {ARSPA-WITS} 2009, York, UK, March 28-29,
2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5511},
pages = {18--33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03459-6\_2},
doi = {10.1007/978-3-642-03459-6\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/AldiniB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2009,
editor = {Alessandro Aldini and
Gilles Barthe and
Roberto Gorrieri},
title = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5705},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03829-7},
doi = {10.1007/978-3-642-03829-7},
isbn = {978-3-642-03828-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vodca/2008,
editor = {Alessandro Aldini and
Maurice H. ter Beek and
Fabio Gadducci},
title = {Proceedings of the 3rd International Workshop on Views On Designing
Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August
30-31, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {236},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/236/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vodca/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/AldiniP08,
author = {Alessandro Aldini and
Alessandra Di Pierro},
title = {Estimating the maximum information leakage},
journal = {Int. J. Inf. Sec.},
volume = {7},
number = {3},
pages = {219--242},
year = {2008},
url = {https://doi.org/10.1007/s10207-007-0050-x},
doi = {10.1007/S10207-007-0050-X},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/AldiniP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AldiniB08,
author = {Alessandro Aldini and
Marco Bernardo},
editor = {Rog{\'{e}}rio de Lemos and
Jean{-}Charles Fabre and
Cristina Gacek and
Fabio Gadducci and
Maurice H. ter Beek},
title = {Weak Behavioral Equivalences for Verifying Secure and Performance-Aware
Component-Based Systems},
booktitle = {Architecting Dependable Systems {VI}},
series = {Lecture Notes in Computer Science},
volume = {5835},
pages = {228--254},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-10248-6\_10},
doi = {10.1007/978-3-642-10248-6\_10},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/AldiniB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AldiniB08,
author = {Alessandro Aldini and
Christel Baier},
editor = {Alessandro Aldini and
Christel Baier},
title = {Preface},
booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
pages = {1--3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.015},
doi = {10.1016/J.ENTCS.2008.11.015},
timestamp = {Fri, 20 Jan 2023 13:44:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AldiniB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AldiniBG09,
author = {Alessandro Aldini and
Maurice H. ter Beek and
Fabio Gadducci},
editor = {Alessandro Aldini and
Maurice H. ter Beek and
Fabio Gadducci},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Views On Designing
Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August
30-31, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {236},
pages = {1--3},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.010},
doi = {10.1016/J.ENTCS.2009.03.010},
timestamp = {Thu, 09 Mar 2023 13:17:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AldiniBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qapl/2008,
editor = {Alessandro Aldini and
Christel Baier},
title = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/220/issue/3},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qapl/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/AldiniB07,
author = {Alessandro Aldini and
Marco Bernardo},
title = {A formal approach to the integrated analysis of security and QoS},
journal = {Reliab. Eng. Syst. Saf.},
volume = {92},
number = {11},
pages = {1503--1520},
year = {2007},
url = {https://doi.org/10.1016/j.ress.2006.10.003},
doi = {10.1016/J.RESS.2006.10.003},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/AldiniB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AldiniB07,
author = {Alessandro Aldini and
Marco Bernardo},
title = {Mixing logics and rewards for the component-oriented specification
of performance measures},
journal = {Theor. Comput. Sci.},
volume = {382},
number = {1},
pages = {3--23},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.05.006},
doi = {10.1016/J.TCS.2007.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AldiniB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BernardoA07,
author = {Marco Bernardo and
Alessandro Aldini},
editor = {Giuseppe F. Italiano and
Eugenio Moggi and
Luigi Laura},
title = {Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted
Internal Immediate Actions},
booktitle = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
Rome, Italy, October 3-5, 2007, Proceedings},
pages = {39--56},
publisher = {World Scientific},
year = {2007},
timestamp = {Fri, 10 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BernardoA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AldiniB07,
author = {Alessandro Aldini and
Franck van Breugel},
editor = {Alessandro Aldini and
Franck van Breugel},
title = {Preface},
booktitle = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.012},
doi = {10.1016/J.ENTCS.2007.08.012},
timestamp = {Fri, 20 Jan 2023 13:40:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AldiniB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2007,
editor = {Alessandro Aldini and
Roberto Gorrieri},
title = {Foundations of Security Analysis and Design IV, {FOSAD} 2006/2007
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {4677},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74810-6},
doi = {10.1007/978-3-540-74810-6},
isbn = {978-3-540-74809-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qapl/2007,
editor = {Alessandro Aldini and
Franck van Breugel},
title = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {3},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/190/issue/3},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qapl/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Aldini06,
author = {Alessandro Aldini},
title = {Classification of security properties in a Linda-like process algebra},
journal = {Sci. Comput. Program.},
volume = {63},
number = {1},
pages = {16--38},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.07.010},
doi = {10.1016/J.SCICO.2005.07.010},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Aldini06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AldiniB06,
author = {Alessandro Aldini and
Marco Bernardo},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Component-Oriented Specification of Performance Measures},
booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects
of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {3},
pages = {27--43},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.010},
doi = {10.1016/J.ENTCS.2006.07.010},
timestamp = {Fri, 20 Jan 2023 13:06:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AldiniB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AldiniB05,
author = {Alessandro Aldini and
Marco Bernardo},
title = {On the usability of process algebra: An architectural view},
journal = {Theor. Comput. Sci.},
volume = {335},
number = {2-3},
pages = {281--329},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.043},
doi = {10.1016/J.TCS.2004.10.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AldiniB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AcquavivaABBBL05,
author = {Andrea Acquaviva and
Alessandro Aldini and
Marco Bernardo and
Alessandro Bogliolo and
Edoardo Bont{\`{a}} and
Emanuele Lattanzi},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {A Methodology Based on Formal Methods for Predicting the Impact of
Dynamic Power Management},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {155--189},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_5},
doi = {10.1007/11419822\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/AcquavivaABBBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fosad/2005,
editor = {Alessandro Aldini and
Roberto Gorrieri and
Fabio Martinelli},
title = {Foundations of Security Analysis and Design III, {FOSAD} 2004/2005
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {3655},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554578},
doi = {10.1007/11554578},
isbn = {3-540-28955-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AldiniBG04,
author = {Alessandro Aldini and
Mario Bravetti and
Roberto Gorrieri},
title = {A process-algebraic approach for the analysis of probabilistic noninterference},
journal = {J. Comput. Secur.},
volume = {12},
number = {2},
pages = {191--245},
year = {2004},
url = {https://doi.org/10.3233/jcs-2004-12202},
doi = {10.3233/JCS-2004-12202},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AldiniBG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AcquavivaABBBL04,
author = {Andrea Acquaviva and
Alessandro Aldini and
Marco Bernardo and
Alessandro Bogliolo and
Edoardo Bont{\`{a}} and
Emanuele Lattanzi},
title = {Assessing the Impact of Dynamic Power Management on the Functionality
and the Performance of Battery-Powered Appliances},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {731},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DSN.2004.1311944},
doi = {10.1109/DSN.2004.1311944},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/AcquavivaABBBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/TroinaAG04,
author = {Angelo Troina and
Alessandro Aldini and
Roberto Gorrieri},
editor = {Corrado Priami and
Paola Quaglia},
title = {Towards a Formal Treatment of Secrecy Against Computational Adversaries},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {77--92},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_5},
doi = {10.1007/978-3-540-31794-4\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gc/TroinaAG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AldiniB04,
author = {Alessandro Aldini and
Marco Bernardo},
title = {TwoTowers 4.0: Towards the Integration of Security Analysis and Performance
Evaluation},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {336--337},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348055},
doi = {10.1109/QEST.2004.1348055},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AldiniB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AldiniB04,
author = {Alessandro Aldini and
Marco Bernardo},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {An Integrated View of Security Analysis and Performance Evaluation:
Trading QoS with Covert Channel Bandwidth},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {283--296},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_24},
doi = {10.1007/978-3-540-30138-7\_24},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AldiniB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AldiniP05,
author = {Alessandro Aldini and
Alessandra Di Pierro},
editor = {Antonio Cerone and
Alessandra Di Pierro},
title = {On Quantitative Analysis of Probabilistic Protocols},
booktitle = {Proceedings of the Second Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2004, Barcelona, Spain, March 27-28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {112},
pages = {131--148},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.019},
doi = {10.1016/J.ENTCS.2004.01.019},
timestamp = {Thu, 01 Dec 2022 16:35:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AldiniP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejasp/AldiniRG03,
author = {Alessandro Aldini and
Marco Roccetti and
Roberto Gorrieri},
title = {On Securing Real-Time Speech Transmission over the Internet: An Experimental
Study},
journal = {{EURASIP} J. Adv. Signal Process.},
volume = {2003},
number = {10},
pages = {1027--1042},
year = {2003},
url = {https://doi.org/10.1155/S1110865703304019},
doi = {10.1155/S1110865703304019},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejasp/AldiniRG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BravettiA03,
author = {Mario Bravetti and
Alessandro Aldini},
title = {Discrete time generative-reactive probabilistic processes with different
advancing speeds},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {355--406},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00344-9},
doi = {10.1016/S0304-3975(01)00344-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BravettiA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AldiniB03,
author = {Alessandro Aldini and
Marco Bernardo},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {A General Approach to Deadlock Freedom Verification for Software Architectures},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {658--677},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_36},
doi = {10.1007/978-3-540-45236-2\_36},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AldiniB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/AldiniG03,
author = {Alessandro Aldini and
Roberto Gorrieri},
editor = {Corrado Priami},
title = {A Study about Trade-Off between Performance and Security in an Internet
Audio Mechanism},
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 = {203--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_7},
doi = {10.1007/978-3-540-40042-4\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/global/AldiniG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Aldini03,
author = {Alessandro Aldini},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Coordination Model and Noninterference},
booktitle = {First International Workshop on Security Issues in Coordination Models,
Languages, and Systems, SecCo 2003, Satellite Event for {ICALP} 2003,
Eindhoven, The Netherlands, June 28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {3},
pages = {37--53},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80683-2},
doi = {10.1016/S1571-0661(04)80683-2},
timestamp = {Thu, 08 Dec 2022 14:22:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Aldini03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AldiniP04,
author = {Alessandro Aldini and
Alessandra Di Pierro},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {A Quantitative Approach to Noninterference for Probabilistic Systems},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {155--182},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.007},
doi = {10.1016/J.ENTCS.2004.02.007},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AldiniP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TroinaAG04,
author = {Angelo Troina and
Alessandro Aldini and
Roberto Gorrieri},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Approximating Imperfect Cryptography in a Formal Model},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {183--203},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.008},
doi = {10.1016/J.ENTCS.2004.02.008},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TroinaAG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/AldiniBPGHW02,
author = {Alessandro Aldini and
Mario Bravetti and
Alessandra Di Pierro and
Roberto Gorrieri and
Chris Hankin and
Herbert Wiklicky},
editor = {Riccardo Focardi and
Roberto Gorrieri},
title = {Two Formal Approaches for Approximating Noninterference Properties},
booktitle = {Foundations of Security Analysis and Design II, {FOSAD} 2001/2002
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {2946},
pages = {1--43},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24631-2\_1},
doi = {10.1007/978-3-540-24631-2\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/AldiniBPGHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/AldiniG02,
author = {Alessandro Aldini and
Roberto Gorrieri},
editor = {Holger Hermanns and
Roberto Segala},
title = {Security Analysis of a Probabilistic Non-repudiation Protocol},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification, Second Joint International Workshop {PAPM-PROBMIV} 2002,
Copenhagen, Denmark, July 25-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2399},
pages = {17--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45605-8\_3},
doi = {10.1007/3-540-45605-8\_3},
timestamp = {Sat, 30 Sep 2023 09:54:28 +0200},
biburl = {https://dblp.org/rec/conf/papm/AldiniG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/AldiniBGR01,
author = {Alessandro Aldini and
Marco Bernardo and
Roberto Gorrieri and
Marco Roccetti},
title = {Comparing the QoS of Internet audio mechanisms via formal methods},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {11},
number = {1},
pages = {1--42},
year = {2001},
url = {https://doi.org/10.1145/379525.379526},
doi = {10.1145/379525.379526},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/AldiniBGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Aldini01,
author = {Alessandro Aldini},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Probabilistic Information Flow in a Process Algebra},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {152--168},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_11},
doi = {10.1007/3-540-44685-0\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Aldini01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/BravettiA01,
author = {Mario Bravetti and
Alessandro Aldini},
editor = {Luca de Alfaro and
Stephen Gilmore},
title = {Expressing Processes with Different Action Durations through Probabilities},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
Germany, September 12-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2165},
pages = {168--183},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44804-7\_11},
doi = {10.1007/3-540-44804-7\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/papm/BravettiA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiA01,
author = {Mario Bravetti and
Alessandro Aldini},
editor = {Flavio Corradini and
Walter Vogler},
title = {Non-determinism in Probabilistic Timed Systems with General Distributions},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark,
August 25, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {3},
pages = {246--274},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00227-0},
doi = {10.1016/S1571-0661(04)00227-0},
timestamp = {Thu, 01 Dec 2022 15:07:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AldiniB00,
author = {Alessandro Aldini and
Mario Bravetti},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {An Asynchronous Calculus for Generative-Reactive Probalistic Systems},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {591--606},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AldiniB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
