Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alberto Lluch-Lafuente
@article{DBLP:journals/compsec/KonstaLSD24a,
author = {Alyzia Maria Konsta and
Alberto Lluch{-}Lafuente and
Beatrice Spiga and
Nicola Dragoni},
title = {Survey: Automatic generation of attack trees and attack graphs},
journal = {Comput. Secur.},
volume = {137},
pages = {103602},
year = {2024},
url = {https://doi.org/10.1016/j.cose.2023.103602},
doi = {10.1016/J.COSE.2023.103602},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/compsec/KonstaLSD24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/KonstaLSD24,
author = {Alyzia Maria Konsta and
Alberto Lluch{-}Lafuente and
Beatrice Spiga and
Nicola Dragoni},
title = {Corrigendum to "Survey: Automatic generation of attack trees
and attack graphs" [Computers {\&} Security Volume 137, February
2024, 103602]},
journal = {Comput. Secur.},
volume = {138},
pages = {103660},
year = {2024},
url = {https://doi.org/10.1016/j.cose.2023.103660},
doi = {10.1016/J.COSE.2023.103660},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/compsec/KonstaLSD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CasaluceBCLV24,
author = {Roberto Casaluce and
Andrea Burattin and
Francesca Chiaromonte and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {White-box validation of quantitative product lines by statistical
model checking and process mining},
journal = {J. Syst. Softw.},
volume = {210},
pages = {111983},
year = {2024},
url = {https://doi.org/10.1016/j.jss.2024.111983},
doi = {10.1016/J.JSS.2024.111983},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CasaluceBCLV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/BrocciaBLSF24,
author = {Giovanna Broccia and
Maurice H. ter Beek and
Alberto Lluch{-}Lafuente and
Paola Spoletini and
Alessio Ferrari},
editor = {Daniel M{\'{e}}ndez and
Ana Moreira},
title = {Assessing the Understandability and Acceptance of Attack-Defense Trees
for Modelling Security Requirements},
booktitle = {Requirements Engineering: Foundation for Software Quality - 30th International
Working Conference, {REFSQ} 2024, Winterthur, Switzerland, April 8-11,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14588},
pages = {39--56},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57327-9\_3},
doi = {10.1007/978-3-031-57327-9\_3},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/BrocciaBLSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-13019,
author = {Roberto Casaluce and
Andrea Burattin and
Francesca Chiaromonte and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {White-box validation of quantitative product lines by statistical
model checking and process mining},
journal = {CoRR},
volume = {abs/2401.13019},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.13019},
doi = {10.48550/ARXIV.2401.13019},
eprinttype = {arXiv},
eprint = {2401.13019},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-13019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-12040,
author = {Alyzia{-}Maria Konsta and
Gemma Di Federico and
Alberto Lluch{-}Lafuente and
Andrea Burattin},
title = {Attack Tree Generation via Process Mining},
journal = {CoRR},
volume = {abs/2402.12040},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.12040},
doi = {10.48550/ARXIV.2402.12040},
eprinttype = {arXiv},
eprint = {2402.12040},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-12040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KonstaLD23,
author = {Alyzia Maria Konsta and
Alberto Lluch{-}Lafuente and
Nicola Dragoni},
title = {A Survey of Trust Management for Internet of Things},
journal = {{IEEE} Access},
volume = {11},
pages = {122175--122204},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3327335},
doi = {10.1109/ACCESS.2023.3327335},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/KonstaLD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ArgyrisLTTV23,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Reducing Boolean networks with backward equivalence},
journal = {{BMC} Bioinform.},
volume = {24},
number = {1},
pages = {212},
year = {2023},
url = {https://doi.org/10.1186/s12859-023-05326-9},
doi = {10.1186/S12859-023-05326-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/ArgyrisLTTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ArgyrisLLTTV23,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Alexander Leguizamon{-}Robayo and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Minimization of Dynamical Systems over Monoids},
booktitle = {{LICS}},
pages = {1--14},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175697},
doi = {10.1109/LICS56636.2023.10175697},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ArgyrisLLTTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-14479,
author = {Alyzia Maria Konsta and
Beatrice Spiga and
Alberto Lluch{-}Lafuente and
Nicola Dragoni},
title = {A Survey of Automatic Generation of Attack Trees and Attack Graphs},
journal = {CoRR},
volume = {abs/2302.14479},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.14479},
doi = {10.48550/ARXIV.2302.14479},
eprinttype = {arXiv},
eprint = {2302.14479},
timestamp = {Thu, 02 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-14479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiCL22,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {A theory of Automated Market Makers in DeFi},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:12)2022},
doi = {10.46298/LMCS-18(4:12)2022},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Lluch-LafuenteM22,
author = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Formal methods and tools for industrial critical systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {6},
pages = {973--976},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00687-7},
doi = {10.1007/S10009-022-00687-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/Lluch-LafuenteM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ArgyrisLTTV22,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Ion Petre and
Andrei Paun},
title = {An Extension of {ERODE} to Reduce Boolean Networks By Backward Boolean
Equivalence},
booktitle = {Computational Methods in Systems Biology - 20th International Conference,
{CMSB} 2022, Bucharest, Romania, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13447},
pages = {294--301},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15034-0\_16},
doi = {10.1007/978-3-031-15034-0\_16},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ArgyrisLTTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiCL22,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Ittay Eyal and
Juan A. Garay},
title = {Maximizing Extractable Value from Automated Market Makers},
booktitle = {Financial Cryptography and Data Security - 26th International Conference,
{FC} 2022, Grenada, May 2-6, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13411},
pages = {3--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-18283-9\_1},
doi = {10.1007/978-3-031-18283-9\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartolettiCJLMV22,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Tommi Junttila and
Alberto Lluch{-}Lafuente and
Massimiliano Mirelli and
Andrea Vandin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Analysis of Lending Pools in Decentralized Finance},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {335--355},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_21},
doi = {10.1007/978-3-031-19759-8\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BartolettiCJLMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01333,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Tommi Junttila and
Alberto Lluch{-}Lafuente and
Massimiliano Mirelli and
Andrea Vandin},
title = {Formal Analysis of Lending Pools in Decentralized Finance},
journal = {CoRR},
volume = {abs/2206.01333},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01333},
doi = {10.48550/ARXIV.2206.01333},
eprinttype = {arXiv},
eprint = {2206.01333},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-15169,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Minimization of Dynamical Systems over Monoids},
journal = {CoRR},
volume = {abs/2206.15169},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.15169},
doi = {10.48550/ARXIV.2206.15169},
eprinttype = {arXiv},
eprint = {2206.15169},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-15169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-01712,
author = {Alyzia Maria Konsta and
Alberto Lluch{-}Lafuente and
Nicola Dragoni},
title = {Trust Management for Internet of Things: {A} Systematic Literature
Review},
journal = {CoRR},
volume = {abs/2211.01712},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.01712},
doi = {10.48550/ARXIV.2211.01712},
eprinttype = {arXiv},
eprint = {2211.01712},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-01712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/BeekLLV21,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {Quantitative Security Risk Modeling and Analysis with RisQFLan},
journal = {Comput. Secur.},
volume = {109},
pages = {102381},
year = {2021},
url = {https://doi.org/10.1016/j.cose.2021.102381},
doi = {10.1016/J.COSE.2021.102381},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/BeekLLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/DragoniLMS21,
author = {Nicola Dragoni and
Alberto Lluch{-}Lafuente and
Fabio Massacci and
Anders Schlichtkrull},
title = {Are We Preparing Students to Build Security In? {A} Survey of European
Cybersecurity in Higher Education Programs [Education]},
journal = {{IEEE} Secur. Priv.},
volume = {19},
number = {1},
pages = {81--88},
year = {2021},
url = {https://doi.org/10.1109/MSEC.2020.3037446},
doi = {10.1109/MSEC.2020.3037446},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeesp/DragoniLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GnadELH20,
author = {Daniel Gnad and
Jan Eisenhut and
Alberto Lluch{-}Lafuente and
J{\"{o}}rg Hoffmann},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Model Checking {\o}mega-Regular Properties with Decoupled Search},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {411--434},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_19},
doi = {10.1007/978-3-030-81688-9\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GnadELH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ArgyrisLTTV21,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
editor = {Eugenio Cinquemani and
Lo{\"{\i}}c Paulev{\'{e}}},
title = {Reducing Boolean Networks with Backward Boolean Equivalence},
booktitle = {Computational Methods in Systems Biology - 19th International Conference,
{CMSB} 2021, Bordeaux, France, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12881},
pages = {1--18},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85633-5\_1},
doi = {10.1007/978-3-030-85633-5\_1},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ArgyrisLTTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BartolettiCL21,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {A Theory of Automated Market Makers in DeFi},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 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 = {12717},
pages = {168--187},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_11},
doi = {10.1007/978-3-030-78142-2\_11},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiCL21,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Matthew Bernhard and
Andrea Bracciali and
Lewis Gudgeon and
Thomas Haines and
Ariah Klages{-}Mundt and
Shin'ichiro Matsuo and
Daniel Perez and
Massimiliano Sala and
Sam Werner},
title = {Towards a Theory of Decentralized Finance},
booktitle = {Financial Cryptography and Data Security. {FC} 2021 International
Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March
5, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12676},
pages = {227--232},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63958-0\_20},
doi = {10.1007/978-3-662-63958-0\_20},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiCL21a,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Matthew Bernhard and
Andrea Bracciali and
Lewis Gudgeon and
Thomas Haines and
Ariah Klages{-}Mundt and
Shin'ichiro Matsuo and
Daniel Perez and
Massimiliano Sala and
Sam Werner},
title = {SoK: Lending Pools in Decentralized Finance},
booktitle = {Financial Cryptography and Data Security. {FC} 2021 International
Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March
5, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12676},
pages = {553--578},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63958-0\_40},
doi = {10.1007/978-3-662-63958-0\_40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiCL21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2021,
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1},
doi = {10.1007/978-3-030-85248-1},
isbn = {978-3-030-85247-4},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/DragoniMLS21,
author = {Nicola Dragoni and
Fabio Massacci and
Alberto Lluch{-}Lafuente and
Anders Schlichtkrull},
title = {A Survey of European Cybersecurity in Higher Education Programs},
publisher = {{IEEE} DataPort},
year = {2021},
month = jul,
howpublished = {\url{https://doi.org/10.21227/b5y0-4243}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/b5y0-4243},
doi = {10.21227/B5Y0-4243},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/DragoniMLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08677,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {Quantitative Security Risk Modeling and Analysis with RisQFLan},
journal = {CoRR},
volume = {abs/2101.08677},
year = {2021},
url = {https://arxiv.org/abs/2101.08677},
eprinttype = {arXiv},
eprint = {2101.08677},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11350,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {A theory of Automated Market Makers in DeFi},
journal = {CoRR},
volume = {abs/2102.11350},
year = {2021},
url = {https://arxiv.org/abs/2102.11350},
eprinttype = {arXiv},
eprint = {2102.11350},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01870,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {Maximizing Extractable Value from Automated Market Makers},
journal = {CoRR},
volume = {abs/2106.01870},
year = {2021},
url = {https://arxiv.org/abs/2106.01870},
eprinttype = {arXiv},
eprint = {2106.01870},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15476,
author = {Georgios Argyris and
Alberto Lluch{-}Lafuente and
Mirco Tribastone and
Max Tschaikowski and
Andrea Vandin},
title = {Reducing Boolean Networks with Backward Boolean Equivalence},
journal = {CoRR},
volume = {abs/2106.15476},
year = {2021},
url = {https://arxiv.org/abs/2106.15476},
eprinttype = {arXiv},
eprint = {2106.15476},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15476.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BeekLLV20,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {3},
pages = {321--345},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2853726},
doi = {10.1109/TSE.2018.2853726},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BeekLLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BeekLLV20,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {Variability meets security: quantitative security modeling and analysis
of highly customizable attack scenarios},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {11:1--11:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377041},
doi = {10.1145/3377024.3377041},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/BeekLLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/Fischer-HubnerB20,
author = {Simone Fischer{-}H{\"{u}}bner and
Matthias Beckerle and
Alberto Lluch{-}Lafuente and
Antonio Ruiz{-}Mart{\'{\i}}nez and
Karo Saharinen and
Antonio F. Skarmeta and
Pierantonia Sterlini},
editor = {Lynette Drevin and
Sun{\'{e}} von Solms and
Marianthi Theocharidou},
title = {Quality Criteria for Cyber Security MOOCs},
booktitle = {Information Security Education. Information Security in Action - 13th
{IFIP} {WG} 11.8 World Conference, {WISE} 13, Maribor, Slovenia, September
21-23, 2020, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {579},
pages = {46--60},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59291-2\_4},
doi = {10.1007/978-3-030-59291-2\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wise/Fischer-HubnerB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13230,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {SoK: Lending Pools in Decentralized Finance},
journal = {CoRR},
volume = {abs/2012.13230},
year = {2020},
url = {https://arxiv.org/abs/2012.13230},
eprinttype = {arXiv},
eprint = {2012.13230},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lluch-Lafuente19,
author = {Alberto Lluch{-}Lafuente},
title = {DisCoTec 2019: the 14th international federated conference on distributed
computing techniques},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {4},
pages = {24--25},
year = {2019},
url = {https://doi.org/10.1145/3373394.3373398},
doi = {10.1145/3373394.3373398},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lluch-Lafuente19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Lluch-Lafuente19,
author = {Alberto Lluch{-}Lafuente},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {A Framework for Provenance-Preserving History Distribution and Incremental
Reduction},
booktitle = {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},
pages = {471--486},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_26},
doi = {10.1007/978-3-030-21485-2\_26},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Lluch-Lafuente19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BeekLLV19,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Summary of: {A} Framework for Quantitative Modeling and Analysis of
Highly (re)configurable Systems},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {547--551},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_35},
doi = {10.1007/978-3-030-34968-4\_35},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BeekLLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaldanL18,
author = {Paolo Baldan and
Alberto Lluch{-}Lafuente},
title = {Many-to-many information flow policies},
journal = {Sci. Comput. Program.},
volume = {168},
pages = {118--141},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.08.003},
doi = {10.1016/J.SCICO.2018.08.003},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaldanL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/SebastioALS18,
author = {Stefano Sebastio and
Michele Amoretti and
Alberto Lluch{-}Lafuente and
Antonio Scala},
title = {A Holistic Approach for Collaborative Workload Execution in Volunteer
Clouds},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {28},
number = {2},
pages = {14:1--14:27},
year = {2018},
url = {https://doi.org/10.1145/3155336},
doi = {10.1145/3155336},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/SebastioALS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KaminskasL18,
author = {Linas Kaminskas and
Alberto Lluch{-}Lafuente},
editor = {Giovanna Di Marzo Serugendo and
Michele Loreti},
title = {Aggregation Policies for Tuple Spaces},
booktitle = {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},
pages = {181--199},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92408-3\_8},
doi = {10.1007/978-3-319-92408-3\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/KaminskasL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VandinBLL18,
author = {Andrea Vandin and
Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {QFLan: {A} Tool for the Quantitative Analysis of Highly Reconfigurable
Systems},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {329--337},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_19},
doi = {10.1007/978-3-319-95582-7\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/VandinBLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BuravlevNLM18,
author = {Vitaly Buravlev and
Rocco De Nicola and
Alberto Lluch{-}Lafuente and
Claudio Antares Mezzina},
editor = {Ivan Merelli and
Pietro Li{\`{o}} and
Igor V. Kotenko},
title = {Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions
and Replication Strategies},
booktitle = {26th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2018, Cambridge, United Kingdom, March
21-23, 2018},
pages = {302--305},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PDP2018.2018.00052},
doi = {10.1109/PDP2018.2018.00052},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/BuravlevNLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GnadDL018,
author = {Daniel Gnad and
Patrick Dubbert and
Alberto Lluch{-}Lafuente and
J{\"{o}}rg Hoffmann},
editor = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino},
title = {Star-Topology Decoupling in {SPIN}},
booktitle = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
Malaga, Spain, June 20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10869},
pages = {103--114},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94111-0\_6},
doi = {10.1007/978-3-319-94111-0\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/GnadDL018.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}
}
@article{DBLP:journals/jlp/LaneseLKV17,
author = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Sophia Knight and
Hugo Torres Vieira},
title = {Preface for the special issue on Interaction and Concurrency Experience
2015},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {1},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.10.003},
doi = {10.1016/J.JLAMP.2016.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LaneseLKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeekL17,
author = {Maurice H. ter Beek and
Alberto Lluch{-}Lafuente},
title = {Automated specification and verification of Web-based applications},
journal = {J. Log. Algebraic Methods Program.},
volume = {87},
pages = {51},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.11.004},
doi = {10.1016/J.JLAMP.2016.11.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BeekL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BaldanBL17,
author = {Paolo Baldan and
Alessandro Beggiato and
Alberto Lluch{-}Lafuente},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
title = {Many-to-Many Information Flow Policies},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {159--177},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_9},
doi = {10.1007/978-3-319-59746-1\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BaldanBL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/DragoniGLMMMS17,
author = {Nicola Dragoni and
Saverio Giallorenzo and
Alberto Lluch{-}Lafuente and
Manuel Mazzara and
Fabrizio Montesi and
Ruslan Mustafin and
Larisa Safina},
editor = {Manuel Mazzara and
Bertrand Meyer},
title = {Microservices: Yesterday, Today, and Tomorrow},
booktitle = {Present and Ulterior Software Engineering},
pages = {195--216},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67425-4\_12},
doi = {10.1007/978-3-319-67425-4\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/DragoniGLMMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BeekLLV17,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {A framework for quantitative modeling and analysis of highly (re)configurable
systems},
journal = {CoRR},
volume = {abs/1707.08411},
year = {2017},
url = {http://arxiv.org/abs/1707.08411},
eprinttype = {arXiv},
eprint = {1707.08411},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeekLLV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Li0LNN16,
author = {Ximeng Li and
Xi Wu and
Alberto Lluch{-}Lafuente and
Flemming Nielson and
Hanne Riis Nielson},
title = {A Coordination Language for Databases},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2016},
url = {https://doi.org/10.23638/LMCS-13(1:10)2017},
doi = {10.23638/LMCS-13(1:10)2017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Li0LNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaneseLSV16,
author = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Preface for the special issue on Interaction and Concurrency Experience
2014},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {3},
pages = {367},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.010},
doi = {10.1016/J.JLAMP.2015.09.010},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LaneseLSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BosnackiELW16,
author = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Special section on Graph Inspection and Traversal Engineering {(GRAPHITE}
2014)},
journal = {Sci. Comput. Program.},
volume = {130},
pages = {1},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.06.007},
doi = {10.1016/J.SCICO.2016.06.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BosnackiELW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SebastioAL16,
author = {Stefano Sebastio and
Michele Amoretti and
Alberto Lluch{-}Lafuente},
title = {{AVOCLOUDY:} a simulator of volunteer clouds},
journal = {Softw. Pract. Exp.},
volume = {46},
number = {1},
pages = {3--30},
year = {2016},
url = {https://doi.org/10.1002/spe.2345},
doi = {10.1002/SPE.2345},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/SebastioAL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AndricNL16,
author = {Marina Andric and
Rocco De Nicola and
Alberto Lluch{-}Lafuente},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Replicating Data for Better Performances in {X10}},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {236--251},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_12},
doi = {10.1007/978-3-319-27810-0\_12},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AndricNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekLLV16,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Statistical Model Checking for Product Lines},
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 = {114--133},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_8},
doi = {10.1007/978-3-319-47166-2\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeekLLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2016,
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 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 = {9686},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7},
doi = {10.1007/978-3-319-39519-7},
isbn = {978-3-319-39518-0},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DragoniGLMMMS16,
author = {Nicola Dragoni and
Saverio Giallorenzo and
Alberto Lluch{-}Lafuente and
Manuel Mazzara and
Fabrizio Montesi and
Ruslan Mustafin and
Larisa Safina},
title = {Microservices: yesterday, today, and tomorrow},
journal = {CoRR},
volume = {abs/1606.04036},
year = {2016},
url = {http://arxiv.org/abs/1606.04036},
eprinttype = {arXiv},
eprint = {1606.04036},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DragoniGLMMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisis/BravettiLMM15,
author = {Mario Bravetti and
Alberto Lluch{-}Lafuente and
Manuel Mazzara and
Fabrizio Montesi},
title = {Guest Editorial: Special Issue on Service-Oriented Architectures and
Programming},
journal = {J. Internet Serv. Inf. Secur.},
volume = {5},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.22667/JISIS.2015.02.31.001},
doi = {10.22667/JISIS.2015.02.31.001},
timestamp = {Thu, 23 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisis/BravettiLMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BruniLM15,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
title = {Constraint design rewriting},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {23--30},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.015},
doi = {10.1016/J.SCICO.2013.11.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BruniLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BruniCGLV15,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {Modelling and analyzing adaptive self-assembly strategies with Maude},
journal = {Sci. Comput. Program.},
volume = {99},
pages = {75--94},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.043},
doi = {10.1016/J.SCICO.2013.11.043},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BruniCGLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CarboneLLS15,
author = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Preface for the special issue of Interaction and Concurrency Experience
2013},
journal = {Sci. Comput. Program.},
volume = {109},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.05.012},
doi = {10.1016/J.SCICO.2015.05.012},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CarboneLLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/Lluch-LafuenteT15,
author = {Alberto Lluch{-}Lafuente and
Emilio Tuosto},
title = {Preface},
journal = {Serv. Oriented Comput. Appl.},
volume = {9},
number = {3-4},
pages = {211},
year = {2015},
url = {https://doi.org/10.1007/s11761-015-0178-x},
doi = {10.1007/S11761-015-0178-X},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/Lluch-LafuenteT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BruniCGLV15,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Daniel Moldt and
Heiko R{\"{o}}lke and
Harald St{\"{o}}rrle},
title = {Awareness and Control in Adaptable Transition Systems},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering (PNSE'15), including the International Workshop on Petri
Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A}
satellite event of the conferences: 36th International Conference
on Application and Theory of Petri Nets and Concurrency Petri Nets
2015 and 15th International Conference on Application of Concurrency
to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1372},
pages = {19--21},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1372/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/BruniCGLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Lluch-LafuenteN15,
author = {Alberto Lluch{-}Lafuente and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Discretionary Information Flow Control for Interaction-Oriented Specifications},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {427--450},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_20},
doi = {10.1007/978-3-319-23165-5\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Lluch-LafuenteN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniCGLV15,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {A White Box Perspective on Behavioural Adaptation},
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 = {552--581},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_32},
doi = {10.1007/978-3-319-15545-6\_32},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BruniCGLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AndricNL15,
author = {Marina Andric and
Rocco De Nicola and
Alberto Lluch{-}Lafuente},
editor = {Tom Holvoet and
Mirko Viroli},
title = {Replica-Based High-Performance Tuple Space Computing},
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 = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_1},
doi = {10.1007/978-3-319-19282-6\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AndricNL15.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/coordination/WuLLNN15,
author = {Xi Wu and
Ximeng Li and
Alberto Lluch{-}Lafuente and
Flemming Nielson and
Hanne Riis Nielson},
editor = {Tom Holvoet and
Mirko Viroli},
title = {Klaim-DB: {A} Modeling Language for Distributed Database Applications},
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 = {197--212},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19282-6\_13},
doi = {10.1007/978-3-319-19282-6\_13},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/WuLLNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BeekLLV15,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Douglas C. Schmidt},
title = {Statistical analysis of probabilistic models of software product lines
with quantitative constraints},
booktitle = {Proceedings of the 19th International Conference on Software Product
Line, {SPLC} 2015, Nashville, TN, USA, July 20-24, 2015},
pages = {11--15},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791060.2791087},
doi = {10.1145/2791060.2791087},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/BeekLLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BeekLLV15,
author = {Maurice H. ter Beek and
Axel Legay and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Joanne M. Atlee and
Stefania Gnesi},
title = {Quantitative Analysis of Probabilistic Models of Software Product
Lines with Statistical Model Checking},
booktitle = {Proceedings 6th Workshop on Formal Methods and Analysis in {SPL} Engineering,
FMSPLE@ETAPS 2015, London, UK, 11 April 2015},
series = {{EPTCS}},
volume = {182},
pages = {56--70},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.182.5},
doi = {10.4204/EPTCS.182.5},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/BeekLLV15.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/BruniCGHLVW15,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Matthias M. H{\"{o}}lzl and
Alberto Lluch{-}Lafuente and
Andrea Vandin and
Martin Wirsing},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {163--184},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_4},
doi = {10.1007/978-3-319-16310-9\_4},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BruniCGHLVW15.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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BeekL15,
editor = {Maurice H. ter Beek and
Alberto Lluch{-}Lafuente},
title = {Proceedings 11th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
2015},
series = {{EPTCS}},
volume = {188},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.188},
doi = {10.4204/EPTCS.188},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BeekL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KnightLLV15,
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189},
doi = {10.4204/EPTCS.189},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KnightLLV15.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/icse/SebastioAL14,
author = {Stefano Sebastio and
Michele Amoretti and
Alberto Lluch{-}Lafuente},
editor = {Gregor Engels and
Nelly Bencomo},
title = {A computational field framework for collaborative task execution in
volunteer clouds},
booktitle = {9th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2014, Proceedings, Hyderabad, India,
June 2-3, 2014},
pages = {105--114},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593929.2593943},
doi = {10.1145/2593929.2593943},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SebastioAL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/CelestiniLMST14,
author = {Alessandro Celestini and
Alberto Lluch{-}Lafuente and
Philip Mayer and
Stefano Sebastio and
Francesco Tiezzi},
editor = {Jianying Zhou and
Nurit Gal{-}Oz and
Jie Zhang and
Ehud Gudes},
title = {Reputation-Based Cooperation in the Clouds},
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 = {213--220},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43813-8\_15},
doi = {10.1007/978-3-662-43813-8\_15},
timestamp = {Thu, 23 Sep 2021 11:47:43 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/CelestiniLMST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/AlrahmanABL14,
author = {Yehia Abd Alrahman and
Marina Andric and
Alessandro Beggiato and
Alberto Lluch{-}Lafuente},
editor = {Santiago Escobar},
title = {Can We Efficiently Check Concurrent Programs Under Relaxed Memory
Models in Maude?},
booktitle = {Rewriting Logic and Its Applications - 10th International Workshop,
{WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {21--41},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_2},
doi = {10.1007/978-3-319-12904-4\_2},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wrla/AlrahmanABL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2013,
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {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},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-05119-2},
doi = {10.1007/978-3-319-05119-2},
isbn = {978-3-319-05118-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BosnackiELW14,
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159},
doi = {10.4204/EPTCS.159},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BosnackiELW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LaneseLSV14,
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166},
doi = {10.4204/EPTCS.166},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LaneseLSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AmorettiLS13,
author = {Michele Amoretti and
Alberto Lluch{-}Lafuente and
Stefano Sebastio},
title = {A Cooperative Approach for Distributed Task Execution in Autonomic
Clouds},
booktitle = {21st Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2013, Belfast, United Kingdom,
February 27 - March 1, 2013},
pages = {274--281},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/PDP.2013.47},
doi = {10.1109/PDP.2013.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AmorettiLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BeekLP13,
author = {Maurice H. ter Beek and
Alberto Lluch{-}Lafuente and
Marinella Petrocchi},
title = {Combining declarative and procedural views in the specification and
analysis of product families},
booktitle = {17th International Software Product Line Conference co-located workshops,
{SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
pages = {10--17},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2499777.2500722},
doi = {10.1145/2499777.2500722},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/BeekLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CarboneLLS13,
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131},
doi = {10.4204/EPTCS.131},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CarboneLLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tinytocs/BruniCGLV13,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {Adaptation is a Game},
journal = {Tiny Trans. Comput. Sci.},
volume = {2},
year = {2013},
url = {http://tinytocs.org/vol2/papers/tinytocs2-bruni.pdf},
timestamp = {Tue, 14 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tinytocs/BruniCGLV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GadducciLV12,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
title = {Counterpart Semantics for a Second-Order {\(\mu\)}-Calculus},
journal = {Fundam. Informaticae},
volume = {118},
number = {1-2},
pages = {177--205},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-709},
doi = {10.3233/FI-2012-709},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GadducciLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BruniCGLV12,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Juan de Lara and
Andrea Zisman},
title = {A Conceptual Framework for Adaptation},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 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 = {7212},
pages = {240--254},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_17},
doi = {10.1007/978-3-642-28872-2\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BruniCGLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GadducciLV12,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Exploiting Over- and Under-Approximations for Infinite-State Counterpart
Models},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {51--65},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_4},
doi = {10.1007/978-3-642-33654-6\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/GadducciLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Lluch-LafuenteMV12,
author = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Meseguer and
Andrea Vandin},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {State Space c-Reductions of Concurrent Systems in Rewriting Logic},
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 = {430--446},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_30},
doi = {10.1007/978-3-642-34281-3\_30},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Lluch-LafuenteMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BruniCGLV12,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Adaptable Transition Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {95--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_6},
doi = {10.1007/978-3-642-37635-1\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BruniCGLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BruniCGLV12,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Francisco Dur{\'{a}}n},
title = {Modelling and Analyzing Adaptive Self-assembly Strategies with Maude},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
{WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
March 24-25, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7571},
pages = {118--138},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34005-5\_7},
doi = {10.1007/978-3-642-34005-5\_7},
timestamp = {Mon, 28 Jun 2021 11:09:20 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BruniCGLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/VandinL11,
author = {Andrea Vandin and
Alberto Lluch{-}Lafuente},
title = {Towards a Maude Tool for Model Checking Temporal Graph Properties},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {41},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.41.640},
doi = {10.14279/TUJ.ECEASST.41.640},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/VandinL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/BruniLM11,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
title = {On Structured Model-Driven Transformations},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {185--206},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i89},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/BruniLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BruniL11,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {Evaluating the Performance of Model Transformation Styles in Maude},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {79--96},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_6},
doi = {10.1007/978-3-642-35743-5\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BruniL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BruniFLMT11,
author = {Roberto Bruni and
Howard Foster and
Alberto Lluch{-}Lafuente and
Ugo Montanari and
Emilio Tuosto},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {A Formal Support to Business and Architectural Design for Service-Oriented
Systems},
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 = {133--152},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_7},
doi = {10.1007/978-3-642-20401-2\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BruniFLMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BruniCGLM11,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Hierarchical Models for Service-Oriented Systems},
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 = {349--368},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_16},
doi = {10.1007/978-3-642-20401-2\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BruniCGLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BruniGL10,
author = {Roberto Bruni and
Fabio Gadducci and
Alberto Lluch{-}Lafuente},
title = {An Algebra of Hierarchical Graphs and its Application to Structural
Encoding},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {53--96},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BruniGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniCGLM10,
author = {Roberto Bruni and
Andrea Corradini and
Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {On GS-Monoidal Theories for Graphs with Nesting},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {59--86},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_4},
doi = {10.1007/978-3-642-17322-6\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BruniCGLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BoronatBLMP10,
author = {Artur Boronat and
Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari and
Generoso Paolillo},
editor = {John Hatcliff and
Elena Zucca},
title = {Exploiting the Hierarchical Structure of Rule-Based Specifications
for Decision Planning},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {2--16},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_2},
doi = {10.1007/978-3-642-13464-7\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BoronatBLMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GadducciLV10,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente and
Andrea Vandin},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Counterpart Semantics for a Second-Order \emph{{\(\mathrm{\mu}\)}}-Calculus},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {282--297},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_19},
doi = {10.1007/978-3-642-15928-2\_19},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/GadducciLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniGL10,
author = {Roberto Bruni and
Fabio Gadducci and
Alberto Lluch{-}Lafuente},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {An Algebra of Hierarchical Graphs},
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 = {205--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_14},
doi = {10.1007/978-3-642-15640-3\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BruniGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BruniL09,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente},
title = {Ten virtues of structured graphs},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {18},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.18.261},
doi = {10.14279/TUJ.ECEASST.18.261},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/BruniL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiLL09,
author = {Dragan Bosnacki and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Partial-order reduction for general state exploring algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {1},
pages = {39--51},
year = {2009},
url = {https://doi.org/10.1007/s10009-008-0093-y},
doi = {10.1007/S10009-008-0093-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BruniHKLMMSW09,
author = {Roberto Bruni and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Alberto Lluch{-}Lafuente and
Philip Mayer and
Ugo Montanari and
Andreas Schroeder and
Martin Wirsing},
editor = {Luciano Baresi and
Chi{-}Hung Chi and
Jun Suzuki},
title = {A Service-Oriented {UML} Profile with Formal Support},
booktitle = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5900},
pages = {455--469},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10383-4\_34},
doi = {10.1007/978-3-642-10383-4\_34},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BruniHKLMMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BruniGL09,
author = {Roberto Bruni and
Fabio Gadducci and
Alberto Lluch{-}Lafuente},
editor = {Cosimo Laneve and
Jianwen Su},
title = {A Graph Syntax for Processes and Services},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {46--60},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_3},
doi = {10.1007/978-3-642-14458-5\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BruniGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BucchiaroneLMP09,
author = {Antonio Bucchiarone and
Alberto Lluch{-}Lafuente and
Annapaola Marconi and
Marco Pistore},
editor = {Cosimo Laneve and
Jianwen Su},
title = {A Formalisation of Adaptable Pervasive Flows},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {61--75},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_4},
doi = {10.1007/978-3-642-14458-5\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BucchiaroneLMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BruniLM08,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
title = {Style-Based Architectural Reconfigurations},
journal = {Bull. {EATCS}},
volume = {94},
pages = {161--180},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BruniLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniBGHL08,
author = {Roberto Bruni and
Antonio Bucchiarone and
Stefania Gnesi and
Dan Hirsch and
Alberto Lluch{-}Lafuente},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Graph-Based Design and Analysis of Dynamic Software Architectures},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {37--56},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_4},
doi = {10.1007/978-3-540-68679-8\_4},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BruniBGHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraccialiBL09,
author = {Andrea Bracciali and
Roberto Bruni and
Alberto Lluch{-}Lafuente},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {On Symbolic Semantics for Name-decorated Contexts},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {37--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.038},
doi = {10.1016/J.ENTCS.2009.06.038},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraccialiBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniLM09,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
editor = {Grigore Rosu},
title = {Hierarchical Design Rewriting with Maude},
booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {3},
pages = {45--62},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.012},
doi = {10.1016/J.ENTCS.2009.05.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BruniLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GadducciL07,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Graphical Encoding of a Spatial Logic for the \emph{pi} -Calculus},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {209--225},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_15},
doi = {10.1007/978-3-540-73859-6\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/GadducciL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Lluch-Lafuente07,
author = {Alberto Lluch{-}Lafuente},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Towards Model Checking Spatial Properties with {SPIN}},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {223--242},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_15},
doi = {10.1007/978-3-540-73370-6\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Lluch-Lafuente07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BruniLMT07,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari and
Emilio Tuosto},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {Service Oriented Architectural Design},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {186--203},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_14},
doi = {10.1007/978-3-540-78663-4\_14},
timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BruniLMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EdelkampJL06,
author = {Stefan Edelkamp and
Shahid Jabbar and
Alberto Lluch{-}Lafuente},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Heuristic Search for the Analysis of Graph Transition Systems},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {414--429},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_29},
doi = {10.1007/11841883\_29},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/EdelkampJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiLL06,
author = {Dragan Bosnacki and
Stefan Leue and
Alberto Lluch{-}Lafuente},
editor = {Antti Valmari},
title = {Partial-Order Reduction for General State Exploring Algorithms},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {271--287},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_16},
doi = {10.1007/11691617\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BaldanCKL06,
author = {Paolo Baldan and
Andrea Corradini and
Barbara K{\"{o}}nig and
Alberto Lluch{-}Lafuente},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Pierre{-}Yves Schobbens},
title = {A Temporal Graph Logic for Verification of Graph Transformation Systems},
booktitle = {Recent Trends in Algebraic Development Techniques, 18th International
Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4409},
pages = {1--20},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71998-4\_1},
doi = {10.1007/978-3-540-71998-4\_1},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BaldanCKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lluch-LafuenteM05,
author = {Alberto Lluch{-}Lafuente and
Ugo Montanari},
title = {Quantitative mu-calculus and {CTL} defined over constraint semirings},
journal = {Theor. Comput. Sci.},
volume = {346},
number = {1},
pages = {135--160},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.08.006},
doi = {10.1016/J.TCS.2005.08.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lluch-LafuenteM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampJL05,
author = {Stefan Edelkamp and
Shahid Jabbar and
Alberto Lluch{-}Lafuente},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Cost-Algebraic Heuristic Search},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {1362--1367},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-216.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/Rubio-LoyolaSCFPL05,
author = {Javier Rubio{-}Loyola and
Joan Serrat and
Marinos Charalambides and
Paris Flegkas and
George Pavlou and
Alberto Lluch{-}Lafuente},
title = {Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement
Frameworks},
booktitle = {6th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/POLICY.2005.38},
doi = {10.1109/POLICY.2005.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/Rubio-LoyolaSCFPL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GadducciL06,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Graphical Verification of a Spatial Logic for the \emph{pi}-calculus},
booktitle = {Proceedings of the Workshop on Graph Transformation for Verification
and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San
Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {2},
pages = {31--46},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.03.031},
doi = {10.1016/J.ENTCS.2005.03.031},
timestamp = {Fri, 20 Jan 2023 11:11:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GadducciL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HirschLT06,
author = {Dan Hirsch and
Alberto Lluch{-}Lafuente and
Emilio Tuosto},
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {A Logic for Application Level QoS},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {135--159},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.036},
doi = {10.1016/J.ENTCS.2005.10.036},
timestamp = {Thu, 01 Dec 2022 16:37:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HirschLT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampLL04,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Directed explicit-state model checking in the validation of communication
protocols},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {247--267},
year = {2004},
url = {https://doi.org/10.1007/s10009-002-0104-3},
doi = {10.1007/S10009-002-0104-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampLL04a,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Partial-order reduction and trail improvement in directed model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {277--301},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0151-z},
doi = {10.1007/S10009-004-0151-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampLL04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lluch-LafuenteM05,
author = {Alberto Lluch{-}Lafuente and
Ugo Montanari},
editor = {Antonio Cerone and
Alessandra Di Pierro},
title = {Quantitative ?-calculus and {CTL} Based on Constraint Semirings},
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 = {37--59},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.063},
doi = {10.1016/J.ENTCS.2004.02.063},
timestamp = {Thu, 01 Dec 2022 16:35:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lluch-LafuenteM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerrariL06,
author = {Gianluigi Ferrari and
Alberto Lluch{-}Lafuente},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {A Logic for Graphs with QoS},
booktitle = {Proceedings of the First International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September
11-12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {142},
pages = {143--160},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.030},
doi = {10.1016/J.ENTCS.2004.10.030},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerrariL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Lafuente03,
author = {Alberto Lluch{-}Lafuente},
title = {Directed search for the verification of communication protocols},
school = {University of Freiburg, Freiburg im Breisgau, Germany},
year = {2003},
url = {http://www.freidok.uni-freiburg.de/volltexte/791},
urn = {urn:nbn:de:bsz:25-opus-7916},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Lafuente03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Lluch-LafuenteEL02,
author = {Alberto Lluch{-}Lafuente and
Stefan Edelkamp and
Stefan Leue},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Partial Order Reduction in Directed Model Checking},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {112--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_10},
doi = {10.1007/3-540-46017-9\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Lluch-LafuenteEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampLL01,
author = {Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Stefan Leue},
editor = {Matthew B. Dwyer},
title = {Directed Explicit Model Checking with {HSF-SPIN}},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {57--79},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_5},
doi = {10.1007/3-540-45139-0\_5},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/EdelkampLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampLL01,
author = {Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Stefan Leue},
editor = {Scott D. Stoller and
Willem Visser},
title = {Trail-directed model checking},
booktitle = {Workshop on Software Model Checking 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {3},
pages = {343--356},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00261-0},
doi = {10.1016/S1571-0661(04)00261-0},
timestamp = {Mon, 05 Dec 2022 12:31:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
