• Richard Petersens Plads, 324, 181

    2800 Kgs. Lyngby

    Denmark

20012020

Research output per year

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

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

Research Output

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 journalJournal articleResearchpeer-review

Open Access
File
149 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 proceedingArticle in proceedingsResearchpeer-review

Open Access
File
35 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 proceedingBook chapterResearchpeer-review

Open Access
File
81 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 proceedingArticle in proceedingsResearchpeer-review

Aggregation Policies for Tuple Spaces

Kaminskas, L. & Lluch Lafuente, A., 2018, COORDINATION 2018: Coordination Models and Languages . Springer, p. 181-199 (Lecture Notes in Computer Science, Vol. 10852).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
73 Downloads (Pure)

Projects