Alberto Lluch Lafuente

Alberto Lluch Lafuente

Sektionsleder, Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 324, rum 181

2800 Kgs. Lyngby

Hjemmeside

Få tilsendt vCard på e-mail.

Publikationer
Projekter
Kurser
Loading

Publikationer rss feed

2020
  PDF

A framework for quantitative modeling and analysis of highly (re)configurable systems

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea
in: I E E E Transactions on Software Engineering, vol: 46, issue: 3, pages: 321 - 345

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2020     |    DOI: https://doi.org/10.1109/TSE.2018.2853726

  PDF

Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea
part of: Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020, Association for Computing Machinery
Presented at:
14th International Working Conference on Variability Modelling of Software-Intensive Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2020     |    DOI: https://doi.org/10.1145/3377024.3377041

2019
  PDF

A framework for provenance-preserving history distribution and incremental reduction

Lluch Lafuente, Alberto
part of: Models, Languages, and Tools for Concurrent and Distributed Programming, pages: 471-486, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-030-21485-2_26

 

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea
part of: Integrated Formal Methods, pages: 547-551, 2019, Springer
Presented at:
15th International Conference on integrated Formal Methods

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-030-34968-4_35

2018
  PDF

Aggregation Policies for Tuple Spaces

Kaminskas, Linas ; Lluch Lafuente, Alberto
part of: COORDINATION 2018: Coordination Models and Languages , pages: 181-199, 2018, Springer
Presented at:
20th International Conference on Coordination Models and Languages

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-92408-3_8

  PDF

A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds

Sebastio, Stefano ; Amoretti, Michele ; Lluch Lafuente, Alberto ; Scala, Antonio
in: A C M Transactions on Modeling and Computer Simulation, vol: 28, issue: 2, pages: 1-27

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1145/3155336

 

Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies

Buravlev, Vitaly ; De Nicola, Rocco ; Lluch Lafuente, Alberto ; Mezzina, Claudio Antares
part of: Proceedings of 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), pages: 302-5, 2018, IEEE
Presented at:
2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1109/PDP2018.2018.00052

 

Many-to-many information flow policies

Baldan, Paolo ; Lluch Lafuente, Alberto
in: Science of Computer Programming, vol: 168, pages: 118-141

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1016/j.scico.2018.08.003

  PDF

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Vandin, Andrea ; Ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto
part of: Formal Methods, pages: 329-337, 2018, Springer
Presented at:
Federated Logic Conference 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-95582-7_19

  PDF

Star-Topology Decoupling in SPIN

Gnad, Daniel ; Dubbert, Patrick ; Lluch Lafuente, Alberto ; Hoffmann, Jorg
part of: SPIN 2018: Model Checking Software, pages: 103-114, 2018, Springer
Presented at:
2018 International Symposium on Model Checking Software

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-94111-0_6