Alberto Lluch Lafuente

Alberto Lluch Lafuente

Associate Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 180

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
Loading

Publications rss feed

2018
 

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 (ISSN: 1049-3301), vol: 28, issue: 2, pages: 1-27, 2018

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: http://dx.doi.org/10.1145/3155336

  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 (ISBN: 978-3-319-95581-0), pages: 329-337, 2018, Springer,
Presented at:
Federated Logic Conference 2018, 2018, Oxford

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: http://dx.doi.org/10.1007/978-3-319-95582-7_19

  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 (ISSN: 0098-5589), 2018

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2018     |    DOI: http://dx.doi.org/10.1109/TSE.2018.2853726

 

Aggregation Policies for Tuple Spaces

Kaminskas, Linas ; Lluch Lafuente, Alberto
part of: COORDINATION 2018: Coordination Models and Languages (ISBN: 978-3-319-92407-6), pages: 181-199, 2018, Springer,
Presented at:
20th International Conference on Coordination Models and Languages, 2018, Madrid

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: http://dx.doi.org/10.1007/978-3-319-92408-3_8

 

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) (ISBN: 978-1-5386-4975-6), pages: 302-5, 2018, IEEE,
Presented at:
2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 2018, Cambridge

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: http://dx.doi.org/10.1109/PDP2018.2018.00052

  PDF

Star-Topology Decoupling in SPIN

Gnad, Daniel ; Dubbert, Patrick ; Lluch Lafuente, Alberto ; Hoffmann, Jorg
part of: SPIN 2018: Model Checking Software (ISBN: 978-3-319-94110-3), pages: 103-114, 2018, Springer,
Presented at:
2018 International Symposium on Model Checking Software, 2018, Málaga

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: http://dx.doi.org/10.1007/978-3-319-94111-0_6

 

Many-to-many information flow policies

Baldan, Paolo ; Lluch Lafuente, Alberto
in: Science of Computer Programming (ISSN: 0167-6423), 2018

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2018     |    DOI: http://dx.doi.org/10.1016/j.scico.2018.08.003

2017
  PDF

Asynchronous Distributed Execution of Fixpoint-Based Computational Fields

Lluch Lafuente, Alberto ; Loreti, Michele ; Montanari, Ugo
in: Logical Methods in Computer Science (ISSN: 1860-5974), vol: 13, issue: 1, 2017

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.23638/LMCS-13(1:13)2017

  PDF

A coordination language for databases

Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
in: Logical Methods in Computer Science (ISSN: 1860-5974), vol: 13, issue: 1, 2017

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017

 

Automated specification and verification of Web-based applications

ter Beek, Maurice H. ; Lluch Lafuente, Alberto
in: Journal of Logical and Algebraic Methods in Programming, vol: 87, pages: 51-51, 2017

Type: Editorial

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1016/j.jlamp.2016.11.004