• 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
Conference article
2015

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2015, In : Electronic Proceedings in Theoretical Computer Science. 182, p. 56-70

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
210 Downloads (Pure)
2013

A Cooperative Approach for Distributed Task Execution in Autonomic Clouds

Amoretti, M., Lluch Lafuente, A. & Sebastio, S., 2013, In : Euromicro Conference on Parallel, Distributed and Network-Based Processing. Proceedings. p. 274-281 8 p.

Research output: Contribution to journalConference articleResearchpeer-review

2011

Towards a Maude Tool for Model Checking Temporal Graph Properties

Lluch Lafuente, A. & Vandin, A., 2011, In : Electronic Communications of the EASST. 41, 14 p.

Research output: Contribution to journalConference articleResearchpeer-review

2009

Hierachical Design Rewriting with Maude

Bruni, R., Lluch Lafuente, A. & Montanari, U., 2009, In : Theoretical Computer Science. 238, 3, p. 45-62

Research output: Contribution to journalConference articleResearchpeer-review

On Symbolic Semantics for Namedecorated Contexts

Bracciali, A., Bruni, R. & Lluch Lafuente, A., 2009, In : Theoretical Computer Science. 229, 3, p. 37-58

Research output: Contribution to journalConference articleResearchpeer-review

2006

A Logic for Application Level QoS

Hirsch, D., Lluch Lafuente, A. & Tuosto, E., 2006, In : Theoretical Computer Science. 153, 2, p. 135-159 25 p.

Research output: Contribution to journalConference articleResearchpeer-review

A logic for graphs with QoS

Ferrari, G. & Lluch Lafuente, A., 2006, In : Electronic Notes in Theoretical Computer Science. 142, SPEC. ISS., p. 143-160 18 p.

Research output: Contribution to journalConference articleResearchpeer-review

2005

Graphical encoding of a spatial logic for the pi-calculus

Gadducci, F. & Lluch Lafuente, A., 2005, In : Electronic Notes in Theoretical Computer Science. 142, p. 209-225 17 p.

Research output: Contribution to journalConference articleResearchpeer-review

Quantitative μ-calculus and CTL Based on Constraint Semirings

Montanari, U. & Lluch Lafuente, A., 2005, In : Electronic Notes in Theoretical Computer Science. 112, SPEC. ISS., p. 37-59 23 p.

Research output: Contribution to journalConference articleResearchpeer-review

2001

Trail-Directed Model Checking

Edelkamp, S., Lluch Lafuente, A. & Leue, S., 2001, In : Theoretical Computer Science. 55, 3, p. 343-356

Research output: Contribution to journalConference articleResearchpeer-review