Alberto Lluch-Lafuente

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 65

Top Venues

CoRR

COORDINATION

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

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 (2024)
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 (2024)
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni
Survey: Automatic generation of attack trees and attack graphs. Comput. Secur. 137 (2024)
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 (2024)
Alyzia Maria Konsta, Beatrice Spiga, Alberto Lluch-Lafuente, Nicola Dragoni
A Survey of Automatic Generation of Attack Trees and Attack Graphs. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24 (1) (2023)
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni
A Survey of Trust Management for Internet of Things. IEEE Access 11 (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. LICS (2023)
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)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
A theory of Automated Market Makers in DeFi. Log. Methods Comput. Sci. 18 (4) (2022)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. CoRR (2022)
Alberto Lluch-Lafuente, Anastasia Mavridou
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. CoRR (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) (2022)
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni
Trust Management for Internet of Things: A Systematic Literature Review. CoRR (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Maximizing Extractable Value from Automated Market Makers. Financial Cryptography (2022)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Towards a Theory of Decentralized Finance. Financial Cryptography Workshops (2021)
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) (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
SoK: Lending Pools in Decentralized Finance. Financial Cryptography Workshops (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
Maximizing Extractable Value from Automated Market Makers. CoRR (2021)
Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann
Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
A Theory of Automated Market Makers in DeFi. COORDINATION (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
A theory of Automated Market Makers in DeFi. CoRR (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109 (2021)
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
SoK: Lending Pools in Decentralized Finance. CoRR (2020)
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)
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)
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) (2020)
Alberto Lluch-Lafuente
A Framework for Provenance-Preserving History Distribution and Incremental Reduction. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Alberto Lluch-Lafuente
DisCoTec 2019: the 14th international federated conference on distributed computing techniques. ACM SIGLOG News 6 (4) (2019)
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)
Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann
Star-Topology Decoupling in SPIN. SPIN (2018)
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) (2018)
Paolo Baldan, Alberto Lluch-Lafuente
Many-to-many information flow policies. Sci. Comput. Program. 168 (2018)
Linas Kaminskas, Alberto Lluch-Lafuente
Aggregation Policies for Tuple Spaces. COORDINATION (2018)
Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM (2018)
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)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR (2017)
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13 (1) (2017)
Maurice H. ter Beek, Alberto Lluch-Lafuente
Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. 87 (2017)
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) (2017)
Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
Many-to-Many Information Flow Policies. COORDINATION (2017)
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
AVOCLOUDY: a simulator of volunteer clouds. Softw. Pract. Exp. 46 (1) (2016)
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi (2016)
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130 (2016)
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
Microservices: yesterday, today, and tomorrow. CoRR (2016)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Statistical Model Checking for Product Lines. ISoLA (1) (2016)
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
A Coordination Language for Databases. Log. Methods Comput. Sci. 13 (1) (2016)
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) (2016)
Alberto Lluch-Lafuente, Emilio Tuosto
Preface. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
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) (2015)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Constraint design rewriting. Sci. Comput. Program. 97 (2015)
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109 (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99 (2015)
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION (2015)
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
Replica-Based High-Performance Tuple Space Computing. COORDINATION (2015)
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)
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems (2015)
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)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets (2015)
Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency (2015)
Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi
Reputation-Based Cooperation in the Clouds. IFIPTM (2014)
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? WRLA (2014)
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
Programming and Verifying Component Ensembles. FPS@ETAPS (2014)
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
A computational field framework for collaborative task execution in volunteer clouds. SEAMS (2014)
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)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013)
Michele Amoretti, Alberto Lluch-Lafuente, Stefano Sebastio
A Cooperative Approach for Distributed Task Execution in Autonomic Clouds. PDP (2013)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA (2012)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A Conceptual Framework for Adaptation. FASE (2012)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118 (1-2) (2012)
Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptable Transition Systems. WADT (2012)
Andrea Vandin, Alberto Lluch-Lafuente
Towards a Maude Tool for Model Checking Temporal Graph Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Roberto Bruni, Alberto Lluch-Lafuente
Evaluating the Performance of Model Transformation Styles in Maude. FACS (2011)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5 (1-2) (2011)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs. TGC (2010)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
-Calculus. ICGT (2010)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering (2010)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20 (2010)
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE (2010)
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave (2009)
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente
On Symbolic Semantics for Name-decorated Contexts. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore
A Formalisation of Adaptable Pervasive Flows. WS-FM (2009)
Roberto Bruni, Alberto Lluch-Lafuente
Ten virtues of structured graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
A Graph Syntax for Processes and Services. WS-FM (2009)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Hierarchical Design Rewriting with Maude. WRLA (2008)
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente
Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models (2008)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Style-Based Architectural Reconfigurations. Bull. EATCS 94 (2008)
Alberto Lluch-Lafuente
Towards Model Checking Spatial Properties with SPIN. SPIN (2007)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
Service Oriented Architectural Design. TGC (2007)
Fabio Gadducci, Alberto Lluch-Lafuente
-Calculus. CALCO (2007)
Fabio Gadducci, Alberto Lluch-Lafuente
-calculus. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT (2006)

Alberto Lluch-Lafuente.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alberto Lluch-Lafuente