Alberto Lluch Lafuente
Danmarks Tekniske Universitet
H-index: 32
Europe-Denmark
Top articles of Alberto Lluch Lafuente
White-box validation of quantitative product lines by statistical model checking and process mining
Journal of Systems and Software
2024/4/1
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
2024/3/30
Attack Tree Generation via Process Mining
arXiv preprint arXiv:2402.12040
2024/2/19
Alberto Lluch Lafuente
H-Index: 16
Andrea Burattin
H-Index: 18
Survey: Automatic generation of attack trees and attack graphs
Computers & Security
2024/2/1
Alberto Lluch Lafuente
H-Index: 16
Reducing Boolean networks with backward equivalence
BMC bioinformatics
2023/12
Alberto Lluch Lafuente
H-Index: 16
Max Tschaikowski
H-Index: 12
A Survey of Trust Management for Internet of Things
IEEE Access
2023/10/25
Alberto Lluch Lafuente
H-Index: 16
Minimization of Dynamical Systems over Monoids
2023/6/26
Alberto Lluch Lafuente
H-Index: 16
Max Tschaikowski
H-Index: 12
A theory of automated market makers in defi
2021/6/8
Formal methods and tools for industrial critical systems
International Journal on Software Tools for Technology Transfer
2022/12
Alberto Lluch Lafuente
H-Index: 16
Formal analysis of lending pools in decentralized finance
2022/10/17
Massimo Bartoletti
H-Index: 18
James Chiang
H-Index: 82
Tommi Junttila
H-Index: 12
Alberto Lluch Lafuente
H-Index: 16
An extension of ERODE to reduce boolean networks by backward boolean equivalence
2022/8/19
Alberto Lluch Lafuente
H-Index: 16
Max Tschaikowski
H-Index: 12
Maximizing extractable value from automated market makers
Financial Cryptography & Data Security 2022
2021/6/2
Blue Book: A set of cybersecurity roadmaps and challenges for researchers and policymakers
2022
Quantitative security risk modeling and analysis with RisQFLan
Computers & Security
2021/10/1
Axel Legay
H-Index: 35
Alberto Lluch Lafuente
H-Index: 16
Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs
IEEE Security & Privacy
2021/1/26
Alberto Lluch Lafuente
H-Index: 16
Towards a theory of decentralized finance
2021
Model Checking -Regular Properties with Decoupled Search
2021
Daniel Gnad
H-Index: 7
Alberto Lluch Lafuente
H-Index: 16
SoK: lending pools in decentralized finance
2021
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios
2020/2/5
Axel Legay
H-Index: 35
Alberto Lluch Lafuente
H-Index: 16
Quality criteria for cyber security moocs
2020
Simone Fischer-Hübner
H-Index: 13
Alberto Lluch Lafuente
H-Index: 16
Antonio Skarmeta
H-Index: 41
Pierantonia Sterlini
H-Index: 2