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

2017
  PDF

A coordination language for databases

Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
in journal: 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: Journal of Logical and Algebraic Methods in Programming (DOI: http://dx.doi.org/10.1016/j.jlamp.2016.11.004), 2017

Type: Editorial

Status: E-pub ahead of print     |    Year: 2017     |    DOI: http://dx.doi.org/10.1016/j.jlamp.2016.11.004

 

Preface for the special issue on Interaction and Concurrency Experience 2015

Lanese, Ivan ; Lluch Lafuente, Alberto ; Knight, Sophia ; Vieira, Hugo Torres
in journal: Journal of Logical and Algebraic Methods in Programming (DOI: http://dx.doi.org/10.1016/j.jlamp.2016.10.003), vol: 86, issue: 1, pages: 1, 2017

Type: Editorial (Peer reviewed)

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

  PDF

Many-to-Many Information Flow Policies

Baldan, Paolo ; Beggiato, Alessandro ; Lluch Lafuente, Alberto
part of: Coordination Models and Languages (ISBN: 9783319597454), pages: 159-177, 2017, Springer,
Presented at:
19th International Conference on Coordination Models and Languages , 2017, Neuchâtel

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1007/978-3-319-59746-1_9

2016
  PDF

Statistical Model Checking for Product Lines

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea
part of: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISBN: 978-3-319-47165-5), pages: 114-33, 2016, Springer,
Presented at:
7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, 2016, Corfu

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1007/978-3-319-47166-2_8

  PDF

Asynchronous Distributed Execution of Fixpoint-Based Computational Fields

Lluch Lafuente, Alberto ; Loreti, Michele ; Montanari, Ugo
in journal: Logical Methods in Computer Science (ISSN: 1860-5974), 2016

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2016

 

Preface: Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

Bosnacki, Dragan ; Edelkamp, Stefan ; Lluch Lafuente, Alberto ; Wijs, Anton
in journal: Science of Computer Programming (ISSN: 0167-6423) (DOI: http://dx.doi.org/10.1016/j.scico.2016.06.007), vol: 130, pages: 1, 2016

Type: Editorial

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1016/j.scico.2016.06.007

2015
  PDF

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation

Bruni, Roberto ; Corradini, Andrea ; Gadducci, Fabio ; Hölzl, Matthias ; Lluch Lafuente, Alberto ; Vandin, Andrea ; Wirsing, Martin
part of: Software Engineering for Collective Autonomic Systems (ISBN: 978-3-319-16309-3), pages: 163-184, 2015, Springer,

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-16310-9_4

  PDF

A white box perspective on behavioural adaptation

Bruni, Roberto ; Corradini, Andrea ; Gadducci, Fabio ; Lluch Lafuente, Alberto ; Vandin, Andrea
part of: Software, Services, and Systems (ISBN: 978-3-319-15544-9), pages: 552-581, 2015, Springer,

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-15545-6_32

  PDF

Klaim-DB: A Modeling Language for Distributed Database Applications

Wu, Xi ; Li, Ximeng ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Coordination Models and Languages (ISBN: 978-3-319-19281-9), pages: 197-212, 2015, Springer,
Presented at:
17th IFIP WG 6.1 International Conference, COORDINATION 2015, 2015, Grenoble

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-19282-6_13