• 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

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)

Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, 11. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
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)

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2019, Integrated Formal Methods. Springer, p. 547-551 (Lecture Notes in Computer Science, Vol. 11918).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2018

Aggregation Policies for Tuple Spaces

Kaminskas, L. & Lluch Lafuente, A., 2018, COORDINATION 2018: Coordination Models and Languages . Springer, p. 181-199 (Lecture Notes in Computer Science, Vol. 10852).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
23 Downloads (Pure)

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)

Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies

Buravlev, V., De Nicola, R., Lluch Lafuente, A. & Mezzina, C. A., 2018, Proceedings of 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, p. 302-5

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Vandin, A., Ter Beek, M. H., Legay, A. & Lluch Lafuente, A., 2018, Formal Methods. K. H., J. P., B. R. & E. D. V. (eds.). Springer, p. 329-337 9 p. (Lecture Notes in Computer Science, Vol. 10951).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
151 Downloads (Pure)

Star-Topology Decoupling in SPIN

Gnad, D., Dubbert, P., Lluch Lafuente, A. & Hoffmann, J., 2018, SPIN 2018: Model Checking Software. Springer, p. 103-114

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
160 Downloads (Pure)
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)

Automated specification and verification of Web-based applications

ter Beek, M. H. & Lluch Lafuente, A., 2017, In : Journal of Logical and Algebraic Methods in Programming. 87, p. 51-51

Research output: Contribution to journalEditorialResearch

Many-to-Many Information Flow Policies

Baldan, P., Beggiato, A. & Lluch Lafuente, A., 2017, Coordination Models and Languages. Springer, Vol. 10319. p. 159-177 (Lecture Notes in Computer Science, Vol. 10319).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
161 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)

Preface for the special issue on Interaction and Concurrency Experience 2015

Lanese, I., Lluch Lafuente, A., Knight, S. & Vieira, H. T., 2017, In : Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 1 1 p.

Research output: Contribution to journalEditorialResearchpeer-review

2016

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

Bosnacki, D., Edelkamp, S., Lluch Lafuente, A. & Wijs, A., 2016, In : Science of Computer Programming. 130, p. 1 1 p.

Research output: Contribution to journalEditorialResearch

Open Access
File
57 Downloads (Pure)

Statistical Model Checking for Product Lines

ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Vol. 9952. p. 114-33 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
228 Downloads (Pure)
2015

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

Lluch Lafuente, A., Loreti, M. & Montanari, U., 2015, Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). Holvoet, T. & Viroli, M. (eds.). Springer, p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
152 Downloads (Pure)

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)

Awareness and Control in Adaptable Transition Systems

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2015, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15). Moldt, D., Rölke, H. & Störrle, H. (eds.). p. 19-21 (CEUR Workshop Proceedings, Vol. 1372).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
114 Downloads (Pure)

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)

Klaim-DB: A Modeling Language for Distributed Database Applications

Wu, X., Li, X., Lluch Lafuente, A., Nielson, F. & Nielson, H. R., 2015, Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). Holvoet, T. & Viroli, M. (eds.). Springer, p. 197-212 (Lecture Notes in Computer Science, Vol. 9037).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
252 Downloads (Pure)

Preface

Lluch Lafuente, A. & Tuosto, E., 2015, In : Service Oriented Computing and Applications. 9, 3-4, p. 211 1 p.

Research output: Contribution to journalEditorialResearchpeer-review

Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

ter Beek, M. H. (ed.) & Lluch Lafuente, A. (ed.), 2015, (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

Proceedings 8th Interaction and Concurrency Experience

Knight, S. (ed.), Lanese, I. (ed.), Lluch Lafuente, A. (ed.) & Torres Vieira, H. (ed.), 2015, (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

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)

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)

Replica-Based High-Performance Tuple Space Computing

Andric, M., De Nicola, R. & Lluch Lafuente, A., 2015, Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). Holvoet, T. & Viroli, M. (eds.). Springer, p. 3-18 (Lecture Notes in Computer Science, Vol. 9037).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
274 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

Statistical analysis of probabilistic models of software product lines with quantitative constraints

Beek, M. H. T., Legay, A., Lluch Lafuente, A. & Vandin, A., 2015, Proceedings of the 19th International Conference on Software Product Line (SPLC '15). Association for Computing Machinery, p. 11-15

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
225 Downloads (Pure)

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

2014

A computational field framework for collaborative task execution in volunteer clouds

Sebastio, S., Amoretti, M. & Lluch Lafuente, A., 2014, SEAMS 2014 Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, p. 105-114 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Arrahman, Y. A., Andric, M., Beggiato, A. & Lluch Lafuente, A., 2014, Revised Selected Papers of the 10th International Workshop on Rewriting Logic and Its Applications, WRLA 2014. Escobar, S. (ed.). Springer, p. 21-41 (Lecture Notes in Computer Science, Vol. 8663).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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

Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014)

Bošnački, D. (ed.), Edelkamp, S. (ed.), Lluch Lafuente, A. (ed.) & Wijs, A. (ed.), 2014, (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014)

Lanese, I. (ed.), Lluch Lafuente, A. (ed.), Sokolova, A. (ed.) & Vieira, H. T. (ed.), 2014, 110 p.

Research output: Book/ReportBook

Proceedings of the 8th Symposium on Trustworthy Global Computing (TGC 2013)

Abadi, M. (ed.) & Lluch Lafuente, A. (ed.), 2014, 331 p. (Lecture Notes in Computer Science, Vol. 8358).

Research output: Book/ReportBook

Programming and Verifying Component Ensembles

De Nicola, R., Lluch Lafuente, A., Loreti, M., Morichetta, A., Pugliese, R., Senni, V. & Tiezzi, F., 2014, From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Springer, p. 69-83 (Lecture Notes in Computer Science, Vol. 8415).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Reputation-based Cooperation in the Clouds

Celestini, A., Lluch Lafuente, A., Mayer, P., Sebastio, S. & Tiezzi, F., 2014, Trust Management VIII: 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. Proceedings. p. 213-220

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

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

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

Combining Declarative and Procedural Views in the Specification and Analysis of Product Families

Ter Beek, M., Lluch Lafuente, A. & Petrocchi, M., 2013.

Research output: Contribution to conferencePaperResearchpeer-review

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

Proceedings of the 6th Interaction and Concurrency Experience (ICE 2013)

Carbone, M. (ed.), Lanese, I. (ed.), Lluch Lafuente, A. (ed.) & Sokolova, A. (ed.), 2013, Open Publishing Association. (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

2012

A Conceptual Framework for Adaptation

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer Berlin Heidelberg, p. 240-254 (Lecture Notes in Computer Science, Vol. 7212).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Adaptable Transition Systems

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer Berlin Heidelberg, Vol. 7841. p. 95-110

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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