Alberto Lluch Lafuente

Head of Section, Associate Professor, Department of Applied Mathematics and Computer Science
Formal Methods

Phone31241447
Emailalbl@dtu.dk
Websitehttp://www.albertolluch.com, http://www.compute.dtu.dk

Richard Petersens Plads, 324, 181
2800 Kgs. Lyngby
Denmark

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Alberto Lluch Lafuente is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

4 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

45 Article in proceedings
18 Journal article
13 Book chapter
10 Conference article
More

A framework for quantitative modeling and analysis of highly (re)configurable systems
ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, In: I E E E Transactions on Software Engineering. 46, 3, p. 321 - 345
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
216 Downloads (Pure)
Quality Criteria for Cyber Security MOOCs
Fischer-Hübner, S., Beckerle, M., Lluch Lafuente, A., Ruiz Martínez, A., Saharinen, K., Skarmeta, A. & Sterlini, P., 2020, Information Security Education. Information Security in Action. Drevin, L., Von Solms, S. & Theocharidou, M. (eds.). Springer, p. 46-60 (IFIP Advances in Information and Communication Technology, Vol. 579 IFIP).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
28 Downloads (Pure)
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios
ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, 11. (ACM International Conference Proceeding Series).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
65 Downloads (Pure)
A framework for provenance-preserving history distribution and incremental reduction
Lluch Lafuente, A., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 471-486 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Open Access
File
112 Downloads (Pure)
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2019, Integrated Formal Methods. Springer, p. 547-551 (Lecture Notes in Computer Science, Vol. 11918).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
14 Downloads (Pure)

3 Active
8 Finished

Trace-Net++: A Process Calculus for Blockchain State-channels
Hsin-yu Chiang, J. & Lluch Lafuente, A.
01/06/2020 → 31/05/2023
Project: PhD
Formal Techniques and Tools for the Reduction of Biological Systems
Argyris, G., Lluch Lafuente, A. & Vandin, A.
01/02/2020 → 31/01/2023
Project: PhD
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A. & Lluch Lafuente, A.
Grundforskningsfonden
01/07/2018 → 30/06/2021
Project: PhD
Action Model Learning for Multi-agent Systems
Occhipinti Liberman, A., Bolander, T., Gierasimczuk, N., Lluch Lafuente, A., Herzig, A. & Smets, S.
Technical University of Denmark
01/02/2017 → 09/12/2020
Project: PhD
Composec: Secure Composition of Distributed Systems
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
Forskningsrådsfinansiering
01/10/2015 → 12/12/2018
Project: PhD