![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2003
- [b1]Alberto Lluch-Lafuente:
Directed search for the verification of communication protocols. University of Freiburg, Freiburg im Breisgau, Germany, 2003, pp. 1-144
Journal Articles
- 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) - 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) - 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) - 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) - 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) - 2019
- [j25]Alberto Lluch-Lafuente:
DisCoTec 2019: the 14th international federated conference on distributed computing techniques. ACM SIGLOG News 6(4): 24-25 (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) - 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) - 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) - 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) - 2012
- [j10]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - 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) - 2010
- [j7]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20: 53-96 (2010) - 2009
- [j6]Roberto Bruni, Alberto Lluch-Lafuente
:
Ten virtues of structured graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j5]Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
:
Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. 11(1): 39-51 (2009) - 2008
- [j4]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Style-Based Architectural Reconfigurations. Bull. EATCS 94: 161-180 (2008) - 2005
- [j3]Alberto Lluch-Lafuente
, Ugo Montanari:
Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005) - 2004
- [j2]Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
:
Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. 5(2-3): 247-267 (2004) - [j1]Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
:
Partial-order reduction and trail improvement in directed model checking. Int. J. Softw. Tools Technol. Transf. 6(4): 277-301 (2004)
Conference and Workshop Papers
- 2024
- [c68]Alyzia-Maria Konsta
, Alberto Lluch-Lafuente
, Christoph Matheja
:
What Should Be Observed for Optimal Reward in POMDPs? CAV (3) 2024: 373-394 - [c67]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 - [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 - 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 - 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 Junttila, Alberto Lluch-Lafuente
, Massimiliano Mirelli
, Andrea Vandin
:
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) 2022: 335-355 - 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 - 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 - 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 - 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
- [c48]Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
:
Many-to-Many Information Flow Policies. COORDINATION 2017: 159-177 - 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 - 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 - 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 - 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 - 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
- [c26]Roberto Bruni
, Alberto Lluch-Lafuente
:
Evaluating the Performance of Model Transformation Styles in Maude. FACS 2011: 79-96 - 2010
- [c25]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: 59-86 - [c24]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: 2-16 - [c23]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297 - [c22]Roberto Bruni
, Fabio Gadducci
, Alberto Lluch-Lafuente
:
An Algebra of Hierarchical Graphs. TGC 2010: 205-221 - 2009
- [c21]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: 455-469 - [c20]Roberto Bruni
, Fabio Gadducci
, Alberto Lluch-Lafuente
:
A Graph Syntax for Processes and Services. WS-FM 2009: 46-60 - [c19]Antonio Bucchiarone
, Alberto Lluch-Lafuente
, Annapaola Marconi
, Marco Pistore
:
A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75 - 2008
- [c18]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: 37-56 - [c17]Andrea Bracciali
, Roberto Bruni
, Alberto Lluch-Lafuente
:
On Symbolic Semantics for Name-decorated Contexts. ICE@ICALP 2008: 37-58 - [c16]Roberto Bruni
, Alberto Lluch-Lafuente
, Ugo Montanari:
Hierarchical Design Rewriting with Maude. WRLA 2008: 45-62 - 2007
- [c15]Fabio Gadducci, Alberto Lluch-Lafuente
:
Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225 - [c14]Alberto Lluch-Lafuente
:
Towards Model Checking Spatial Properties with SPIN. SPIN 2007: 223-242 - [c13]Roberto Bruni
, Alberto Lluch-Lafuente
, Ugo Montanari, Emilio Tuosto:
Service Oriented Architectural Design. TGC 2007: 186-203 - 2006
- [c12]Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
:
Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429 - [c11]Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
:
Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287 - [c10]Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
:
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20 - 2005
- [c9]Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente:
Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367 - [c8]Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides
, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente
:
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. POLICY 2005: 181-190 - [c7]Fabio Gadducci
, Alberto Lluch-Lafuente
:
Graphical Verification of a Spatial Logic for the pi-calculus. GT-VC@CONCUR 2005: 31-46 - [c6]Dan Hirsch, Alberto Lluch-Lafuente
, Emilio Tuosto
:
A Logic for Application Level QoS. QAPL 2005: 135-159 - 2004
- [c5]Alberto Lluch-Lafuente
, Ugo Montanari:
Quantitative ?-calculus and CTL Based on Constraint Semirings. QAPL 2004: 37-59 - [c4]Gianluigi Ferrari
, Alberto Lluch-Lafuente
:
A Logic for Graphs with QoS. VODCA@FOSAD 2004: 143-160 - 2002
- [c3]Alberto Lluch-Lafuente
, Stefan Edelkamp, Stefan Leue:
Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127 - 2001
- [c2]Stefan Edelkamp, Alberto Lluch-Lafuente
, Stefan Leue:
Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79 - [c1]Stefan Edelkamp, Alberto Lluch-Lafuente
, Stefan Leue:
Trail-directed model checking. Workshop on Software Model Checking @ CAV 2001: 343-356
Parts in Books or Collections
- 2017
- [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 - 2015
- [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 - 2011
- [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]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368
Editorship
- 2021
- [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] - 2016
- [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] - 2015
- [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
- [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
- [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]
Data and Artifacts
- 2021
- [d1]Nicola Dragoni
, Fabio Massacci
, Alberto Lluch-Lafuente
, Anders Schlichtkrull
:
A Survey of European Cybersecurity in Higher Education Programs. IEEE DataPort, 2021
Informal and Other Publications
- 2024
- [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
- [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
- [i11]Massimo Bartoletti, James Hsin-yu Chiang, Tommi 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
- [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
- [i4]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. CoRR abs/2012.13230 (2020) - 2017
- [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
- [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) - 2013
- [i1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-06 22:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint