default search action
Alberto Lluch-Lafuente
Person information
- affiliation: Technical University of Denmark, DTU Compute
- affiliation: IMT Institute for Advanced Studies Lucca, Italy
- affiliation: University of Pisa, Department of Computer Science
- affiliation: University of Freiburg, Institute of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j36]Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni:
Survey: Automatic generation of attack trees and attack graphs. Comput. Secur. 137: 103602 (2024) - [j35]Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni:
Corrigendum to "Survey: Automatic generation of attack trees and attack graphs" [Computers & Security Volume 137, February 2024, 103602]. Comput. Secur. 138: 103660 (2024) - [j34]Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin:
White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. 210: 111983 (2024) - [j33]Daniel Russo, Sebastian Baltes, Niels van Berkel, Paris Avgeriou, Fabio Calefato, Beatriz Cabrero-Daniel, Gemma Catolino, Jürgen Cito, Neil A. Ernst, Thomas Fritz, Hideaki Hata, Reid Holmes, Maliheh Izadi, Foutse Khomh, Mikkel Baun Kjærgaard, Grischa Liebel, Alberto Lluch-Lafuente, Stefano Lambiase, Walid Maalej, Gail C. Murphy, Nils Brede Moe, Gabrielle O'Brien, Elda Paja, Mauro Pezzè, John Stouby Persson, Rafael Prikladnicki, Paul Ralph, Martin P. Robillard, Thiago Rocha Silva, Klaas-Jan Stol, Margaret-Anne D. Storey, Viktoria Stray, Paolo Tell, Christoph Treude, Bogdan Vasilescu:
Generative AI in Software Engineering Must Be Human-Centered: The Copenhagen Manifesto. J. Syst. Softw. 216: 112115 (2024) - [c70]Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja:
What Should Be Observed for Optimal Reward in POMDPs? CAV (3) 2024: 373-394 - [c69]Roberto Casaluce, Andrea Burratin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin:
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. DAMOCLES@AVI 2024: 9-20 - [c68]Margherita Renieri, Letterio Galletta, Alberto Lluch-Lafuente, James Hsin-yu Chiang:
A Netting Protocol for Liquidity-saving Automated Market Makers. DLT 2024 - [c67]Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin:
Attack Tree Generation via Process Mining. ISoLA (1) 2024: 356-372 - [c66]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ 2024: 39-56 - [i16]Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin:
White-box validation of quantitative product lines by statistical model checking and process mining. CoRR abs/2401.13019 (2024) - [i15]Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin:
Attack Tree Generation via Process Mining. CoRR abs/2402.12040 (2024) - [i14]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR abs/2404.06386 (2024) - [i13]Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja:
What should be observed for optimal reward in POMDPs? CoRR abs/2405.10768 (2024) - 2023
- [j32]Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni:
A Survey of Trust Management for Internet of Things. IEEE Access 11: 122175-122204 (2023) - [j31]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1): 212 (2023) - [c65]Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. LICS 2023: 1-14 - [d7]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Zenodo, 2023 - [d6]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Zenodo, 2023 - [d5]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Zenodo, 2023 - [d4]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Zenodo, 2023 - [d3]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Zenodo, 2023 - [i12]Alyzia Maria Konsta, Beatrice Spiga, Alberto Lluch-Lafuente, Nicola Dragoni:
A Survey of Automatic Generation of Attack Trees and Attack Graphs. CoRR abs/2302.14479 (2023) - 2022
- [j30]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A theory of Automated Market Makers in DeFi. Log. Methods Comput. Sci. 18(4) (2022) - [j29]Alberto Lluch-Lafuente, Anastasia Mavridou:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(6): 973-976 (2022) - [c64]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB 2022: 294-301 - [c63]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Maximizing Extractable Value from Automated Market Makers. Financial Cryptography 2022: 3-19 - [c62]Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) 2022: 335-355 - [i11]Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. CoRR abs/2206.01333 (2022) - [i10]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. CoRR abs/2206.15169 (2022) - [i9]Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni:
Trust Management for Internet of Things: A Systematic Literature Review. CoRR abs/2211.01712 (2022) - 2021
- [j28]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j27]Nicola Dragoni, Alberto Lluch-Lafuente, Fabio Massacci, Anders Schlichtkrull:
Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs [Education]. IEEE Secur. Priv. 19(1): 81-88 (2021) - [c61]Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann:
Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) 2021: 411-434 - [c60]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB 2021: 1-18 - [c59]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A Theory of Automated Market Makers in DeFi. COORDINATION 2021: 168-187 - [c58]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Towards a Theory of Decentralized Finance. Financial Cryptography Workshops 2021: 227-232 - [c57]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. Financial Cryptography Workshops 2021: 553-578 - [e8]Alberto Lluch-Lafuente, Anastasia Mavridou:
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Lecture Notes in Computer Science 12863, Springer 2021, ISBN 978-3-030-85247-4 [contents] - [d2]Nicola Dragoni, Fabio Massacci, Alberto Lluch-Lafuente, Anders Schlichtkrull:
A Survey of European Cybersecurity in Higher Education Programs. IEEE DataPort, 2021 - [i8]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR abs/2101.08677 (2021) - [i7]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A theory of Automated Market Makers in DeFi. CoRR abs/2102.11350 (2021) - [i6]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Maximizing Extractable Value from Automated Market Makers. CoRR abs/2106.01870 (2021) - [i5]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR abs/2106.15476 (2021) - 2020
- [j26]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46(3): 321-345 (2020) - [c56]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS 2020: 11:1-11:9 - [c55]Simone Fischer-Hübner, Matthias Beckerle, Alberto Lluch-Lafuente, Antonio Ruiz-Martínez, Karo Saharinen, Antonio F. Skarmeta, Pierantonia Sterlini:
Quality Criteria for Cyber Security MOOCs. WISE 2020: 46-60 - [i4]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. CoRR abs/2012.13230 (2020)
2010 – 2019
- 2019
- [j25]Alberto Lluch-Lafuente:
DisCoTec 2019: the 14th international federated conference on distributed computing techniques. ACM SIGLOG News 6(4): 24-25 (2019) - [c54]Alberto Lluch-Lafuente:
A Framework for Provenance-Preserving History Distribution and Incremental Reduction. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 471-486 - [c53]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM 2019: 547-551 - [d1]Christian Bach, Christian Toftemann Bæk, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". Zenodo, 2019 - 2018
- [j24]Paolo Baldan, Alberto Lluch-Lafuente:
Many-to-many information flow policies. Sci. Comput. Program. 168: 118-141 (2018) - [j23]Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente, Antonio Scala:
A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds. ACM Trans. Model. Comput. Simul. 28(2): 14:1-14:27 (2018) - [c52]Linas Kaminskas, Alberto Lluch-Lafuente:
Aggregation Policies for Tuple Spaces. COORDINATION 2018: 181-199 - [c51]Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente:
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018: 329-337 - [c50]Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina:
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP 2018: 302-305 - [c49]Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann:
Star-Topology Decoupling in SPIN. SPIN 2018: 103-114 - 2017
- [j22]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017) - [j21]Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86(1): 1 (2017) - [j20]Maurice H. ter Beek, Alberto Lluch-Lafuente:
Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. 87: 51 (2017) - [c48]Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente:
Many-to-Many Information Flow Policies. COORDINATION 2017: 159-177 - [p6]Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering 2017: 195-216 - [i3]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR abs/1707.08411 (2017) - 2016
- [j19]Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
A Coordination Language for Databases. Log. Methods Comput. Sci. 13(1) (2016) - [j18]Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85(3): 367 (2016) - [j17]Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs:
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130: 1 (2016) - [j16]Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente:
AVOCLOUDY: a simulator of volunteer clouds. Softw. Pract. Exp. 46(1): 3-30 (2016) - [c47]Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi 2016: 236-251 - [c46]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical Model Checking for Product Lines. ISoLA (1) 2016: 114-133 - [e7]Alberto Lluch-Lafuente, José Proença:
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. Lecture Notes in Computer Science 9686, Springer 2016, ISBN 978-3-319-39518-0 [contents] - [i2]Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: yesterday, today, and tomorrow. CoRR abs/1606.04036 (2016) - 2015
- [j15]Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi:
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. 5(1): 1-2 (2015) - [j14]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015) - [j13]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [j12]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109: 1 (2015) - [j11]Alberto Lluch-Lafuente, Emilio Tuosto:
Preface. Serv. Oriented Comput. Appl. 9(3-4): 211 (2015) - [c45]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c44]Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency 2015: 427-450 - [c43]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c42]Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replica-Based High-Performance Tuple Space Computing. COORDINATION 2015: 3-18 - [c41]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116 - [c40]Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION 2015: 197-212 - [c39]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC 2015: 11-15 - [c38]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70 - [p5]Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p4]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [p3]Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - [e6]Maurice H. ter Beek, Alberto Lluch-Lafuente:
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. EPTCS 188, 2015 [contents] - [e5]Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015 [contents] - 2014
- [c37]Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c36]Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente:
A computational field framework for collaborative task execution in volunteer clouds. SEAMS 2014: 105-114 - [c35]Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi:
Reputation-Based Cooperation in the Clouds. IFIPTM 2014: 213-220 - [c34]Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente:
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? WRLA 2014: 21-41 - [e4]Martín Abadi, Alberto Lluch-Lafuente:
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8358, Springer 2014, ISBN 978-3-319-05118-5 [contents] - [e3]Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs:
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 [contents] - [e2]Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents] - 2013
- [c33]Michele Amoretti, Alberto Lluch-Lafuente, Stefano Sebastio:
A Cooperative Approach for Distributed Task Execution in Autonomic Clouds. PDP 2013: 274-281 - [c32]Maurice H. ter Beek, Alberto Lluch-Lafuente, Marinella Petrocchi:
Combining declarative and procedural views in the specification and analysis of product families. SPLC Workshops 2013: 10-17 - [e1]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents] - [i1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013) - 2012
- [j10]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - [c31]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c30]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65 - [c29]Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin:
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446 - [c28]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110 - [c27]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - 2011
- [j9]Andrea Vandin, Alberto Lluch-Lafuente:
Towards a Maude Tool for Model Checking Temporal Graph Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j8]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5(1-2): 185-206 (2011) - [c26]Roberto Bruni, Alberto Lluch-Lafuente:
Evaluating the Performance of Model Transformation Styles in Maude. FACS 2011: 79-96 - [p2]Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152 - [p1]