default search action
BibTeX 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, 08 Jun 2024 01:00:00 +0200}, 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} }
@article{DBLP:journals/jss/RussoBBACCCCEFHHIKKLLLMMMOPPPPRRSSS24, author = {Daniel Russo and Sebastian Baltes and Niels van Berkel and Paris Avgeriou and Fabio Calefato and Beatriz Cabrero{-}Daniel and Gemma Catolino and J{\"{u}}rgen Cito and Neil A. Ernst and Thomas Fritz and Hideaki Hata and Reid Holmes and Maliheh Izadi and Foutse Khomh and Mikkel Baun Kj{\ae}rgaard and Grischa Liebel and Alberto Lluch{-}Lafuente and Stefano Lambiase and Walid Maalej and Gail C. Murphy and Nils Brede Moe and Gabrielle O'Brien and Elda Paja and Mauro Pezz{\`{e}} and John Stouby Persson and Rafael Prikladnicki and Paul Ralph and Martin P. Robillard and Thiago Rocha Silva and Klaas{-}Jan Stol and Margaret{-}Anne D. Storey and Viktoria Stray and Paolo Tell and Christoph Treude and Bogdan Vasilescu}, title = {Generative {AI} in Software Engineering Must Be Human-Centered: The Copenhagen Manifesto}, journal = {J. Syst. Softw.}, volume = {216}, pages = {112115}, year = {2024}, url = {https://doi.org/10.1016/j.jss.2024.112115}, doi = {10.1016/J.JSS.2024.112115}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/RussoBBACCCCEFHHIKKLLLMMMOPPPPRRSSS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KonstaLM24, author = {Alyzia{-}Maria Konsta and Alberto Lluch{-}Lafuente and Christoph Matheja}, editor = {Arie Gurfinkel and Vijay Ganesh}, title = {What Should Be Observed for Optimal Reward in POMDPs?}, booktitle = {Computer Aided Verification - 36th International Conference, {CAV} 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {14683}, pages = {373--394}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-65633-0\_17}, doi = {10.1007/978-3-031-65633-0\_17}, timestamp = {Mon, 05 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/KonstaLM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/damocles/CasaluceBCLV24, author = {Roberto Casaluce and Andrea Burratin and Francesca Chiaromonte and Alberto Lluch{-}Lafuente and Andrea Vandin}, editor = {Bernardo Breve and Giuseppe Desolda and Vincenzo Deufemia and Lucio Davide Spano}, title = {Enhancing Threat Model Validation: {A} White-Box Approach based on Statistical Model Checking and Process Mining}, booktitle = {Proceedings of the First International Workshop on Detection And Mitigation Of Cyber attacks that exploit human vuLnerabilitiES {(DAMOCLES} 2024) co-located with 17th International Conference on Advanced Visual Interfaces {(AVI} 2024), Arenzano (Genoa), Italy, Arenzano, Italy, June 4th, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3713}, pages = {9--20}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3713/paper\_2.pdf}, timestamp = {Tue, 02 Jul 2024 16:41:11 +0200}, biburl = {https://dblp.org/rec/conf/damocles/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/corr/abs-2404-06386, author = {Giovanna Broccia and Maurice H. ter Beek and Alberto Lluch{-}Lafuente and Paola Spoletini and Alessio Ferrari}, title = {Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements}, journal = {CoRR}, volume = {abs/2404.06386}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.06386}, doi = {10.48550/ARXIV.2404.06386}, eprinttype = {arXiv}, eprint = {2404.06386}, timestamp = {Wed, 15 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-06386.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-10768, author = {Alyzia{-}Maria Konsta and Alberto Lluch{-}Lafuente and Christoph Matheja}, title = {What should be observed for optimal reward in POMDPs?}, journal = {CoRR}, volume = {abs/2405.10768}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.10768}, doi = {10.48550/ARXIV.2405.10768}, eprinttype = {arXiv}, eprint = {2405.10768}, timestamp = {Wed, 12 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-10768.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 = {Tue, 07 May 2024 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 = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2023, Boston, MA, USA, June 26-29, 2023}, pages = {1--14}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/LICS56636.2023.10175697}, doi = {10.1109/LICS56636.2023.10175697}, timestamp = {Wed, 29 May 2024 16:05:22 +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 A. 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 = {Wed, 28 Aug 2024 01:00:00 +0200}, 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 A. 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 = {Wed, 28 Aug 2024 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 = {Tue, 18 Jun 2024 01:00:00 +0200}, 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} }
@misc{DBLP:data/10/BachBBLLV19, author = {Christian Bach and Christian Toftemann B{\ae}k and Maurice H. ter Beek and Axel Legay and Alberto Lluch{-}Lafuente and Andrea Vandin}, title = {Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios" (Version 1)}, publisher = {Zenodo}, year = {2019}, month = jun, howpublished = {\url{https://doi.org/10.5281/zenodo.3258223}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.3258223}, doi = {10.5281/ZENODO.3258223}, timestamp = {Fri, 06 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/BachBBLLV19.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 = {Fri, 30 Aug 2024 10:31:55 +0200}, 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} }
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.