• 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
Book chapter
2019

A framework for provenance-preserving history distribution and incremental reduction

Lluch Lafuente, A., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 471-486 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
24 Downloads (Pure)
2015

A white box perspective on behavioural adaptation

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & Hennicker, R. (eds.). Springer, p. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
199 Downloads (Pure)

Discretionary Information Flow Control for Interaction-Oriented Specifications

Lluch Lafuente, A., Nielson, F. & Nielson, H. R., 2015, Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Springer, p. 427-450 (Lecture Notes in Computer Science, Vol. 9200).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
183 Downloads (Pure)

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

Bruni, R., Corradini, A., Gadducci, F., Hölzl, M., Lluch Lafuente, A., Vandin, A. & Wirsing, M., 2015, Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Wirsing, M., Hölzl, M., Koch, N. & Mayer, P. (eds.). Springer, p. 163-184 (Lecture Notes in Computer Science, Vol. 8998).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
160 Downloads (Pure)

Replicating Data for Better Performances in X10

Andrić, M., De Nicola, R. & Lluch Lafuente, A., 2015, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hansen, R. R. & Hankin, C. (eds.). Springer, p. 236-251 (Lecture Notes in Computer Science, Vol. 9560).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

The SCEL Language: Design, Implementation, Verification

Rocco De Nicola, R. X., Latella, D., Lluch Lafuente, A., Loreti, M., Margheri, A. M., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F. & Vandin, A., 2015, Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Springer, p. 3-71 (Lecture Notes in Computer Science, Vol. 8998).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
282 Downloads (Pure)

Tools for Ensemble Design and Runtime

Abeywickrama, D. B., Combaz, J., Horký, V., Keznikl, J., Kofron, J., Lluch Lafuente, A., Loreti, M., Andrea Margheri, A., Mayer, P., Monreale, V., Montanari, U., Pinciroli, C., Tuma, P., Vandin, A. & Vassev, E., 2015, Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Springer, p. 429-448 (Lecture Notes in Computer Science, Vol. 8998).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2013

Adaptation is a Game

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2013, Tiny Transactions on Computer Science. Vol. 2.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2011

A formal support to business and architectural design for service-oriented systems

Bruni, R., Foster, H., Lluch Lafuente, A., Montanari, U. & Tuosto, E., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Springer Berlin Heidelberg, p. 133-152 (Lecture Notes in Computer Science, Vol. 6582).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Hierarchical models for service-oriented systems

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Montanari, U., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing. Springer Berlin Heidelberg, p. 349-368 (Lecture Notes in Computer Science, Vol. 6582).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2009

Specification and Analysis with Hierarchical Graphs

Lluch Lafuente, A., 2009, Proceedings of the Dagstuhl Seminar on Graph Search Engineering.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2008

Graph-Based Design and Analysis of Dynamic Software Architectures

Bruni, R., Bucchiarone, A., Gnesi, S., Hirsch, D. & Lluch Lafuente, A., 2008, Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Springer Berlin Heidelberg, p. 37-56 (Lecture Notes in Computer Science, Vol. 5065).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

On GS-Monoidal Theories for Graphs with Nesting

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Montanari, U., 2008, Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. Springer Berlin Heidelberg, p. 59-86 (Lecture Notes in Computer Science, Vol. 5765).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review