• Richard Petersens Plads, 324, 181

    2800 Kgs. Lyngby

    Denmark

20012023

Research output per year

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

Research Output

Filter
Journal article
2020

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

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, (Accepted/In press) In : I E E E Transactions on Software Engineering. 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
90 Downloads (Pure)
2018

A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds

Sebastio, S., Amoretti, M., Lluch Lafuente, A. & Scala, A., 2018, In : A C M Transactions on Modeling and Computer Simulation. 28, 2, p. 1-27 27 p., Article No. 14 .

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
37 Downloads (Pure)

Many-to-many information flow policies

Baldan, P. & Lluch Lafuente, A., 2018, In : Science of Computer Programming. 168, p. 118-141

Research output: Contribution to journalJournal articleResearchpeer-review

2017

A coordination language for databases

Li, X., Wu, X., Lluch Lafuente, A., Nielson, F. & Nielson, H. R., 2017, In : Logical Methods in Computer Science. 13, 1, 52 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
331 Downloads (Pure)

Asynchronous Distributed Execution of Fixpoint-Based Computational Fields

Lluch Lafuente, A., Loreti, M. & Montanari, U., 2017, In : Logical Methods in Computer Science. 13, 1, 47 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
106 Downloads (Pure)

Microservices: Yesterday, Today, and Tomorrow

Dragoni, N., Giallorenzo, S., Lafuente, A., Mazzara, M., Montesi, F., Mustafin, R. & Safina, L., 2017, In : Present and Ulterior Software Engineering. p. 195-216

Research output: Contribution to journalJournal articleResearchpeer-review

File
2043 Downloads (Pure)
2015

AVOCLOUDY: a simulator of volunteer clouds

Sebastio, S., Amoretti, M. & Lluch Lafuente, A., 2015, In : Software: Practice & Experience. 46, 1, p. 3-30

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
240 Downloads (Pure)
2014

Modelling and analyzing adaptive self-assembly strategies with Maude

Vandin, A., Bruni, R., Gadducci, F., Corradini, A. & Lluch Lafuente, A., 2014, In : Science of Computer Programming. 99, p. 75-94

Research output: Contribution to journalJournal articleResearchpeer-review

2013

Constraint design rewriting

Bruni, R., Lluch Lafuente, A. & Montanari, U., 2013, (Accepted/In press) In : Science of Computer Programming.

Research output: Contribution to journalJournal articleResearchpeer-review

2012

Counterpart Semantics for a Second-Order mu-Calculus

Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, In : Fundamenta Informaticae. 118, 1-2, p. 177-205 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

On structured model-driven transformations

Bruni, R., Lluch Lafuente, A. & Montanari, U., 2012, In : International Journal of Software and Informatics. p. 185-206

Research output: Contribution to journalJournal articleResearchpeer-review

2011

A Lewisian approach to the verification of adaptive systems

Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2011, In : Rivista Italiana di Filosofia Analitica Junior. 2, 2

Research output: Contribution to journalJournal articleResearchpeer-review

2010

An algebra of hierarchical graphs and its application to structural encoding

Bruni, R., Gadducci, F. & Lluch Lafuente, A., 2010, In : Scientific Annals of Computer Science. 20, p. 53-96 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2009

Partial-order reduction for general state exploring algorithms

Bošnackǐki, D., Leue, S. & Lluch Lafuente, A., 2009, In : International Journal on Software Tools for Technology Transfer. 11, 1, p. 39-51 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2008

Style-Based Architectural Reconfigurations

Bruni, R., Lluch Lafuente, A., Montanari, U. & Tuosto, E., 2008, In : Bulletin of the European Association for Theoretical Computer Science. 94, p. 161-180

Research output: Contribution to journalJournal articleResearchpeer-review

2005

Quantitative mu-calculus and CTL defined over constraint semirings

Lluch Lafuente, A. & Montanari, U., 2005, In : Theoretical Computer Science. 346, 1, p. 135-160 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2004

Directed explicit-state model checking in the validation of communication protocols

Edelkamp, S., Leue, S. & Lluch Lafuente, A., 2004, In : International Journal on Software Tools for Technology Transfer. 5, 2-3, p. 247-267 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Partial-order reduction and trail improvement in directed model checking

Edelkamp, S., Leue, S. & Lluch Lafuente, A., 2004, In : International Journal on Software Tools for Technology Transfer. 6, 4, p. 277-301 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review