• 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
Article in proceedings
2020

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

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)

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

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

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)
2016

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)

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)

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)

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)

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)
2014

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

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

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

Evaluating the performance of model transformation styles with Maude

Bruni, R. & Lluch Lafuente, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer Berlin Heidelberg, p. 79-96 (Lecture Notes in Computer Science, Vol. 7253).

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

Exploiting over- and underapproximations for infinite-state counterpart models

Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Springer Berlin Heidelberg, p. 51-65 (Lecture Notes in Computer Science, Vol. 7562).

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

Modelling and analyzing adaptive self-assembling strategies with Maude

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Springer Berlin Heidelberg, p. 118-138 (Lecture Notes in Computer Science, Vol. 7571).

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

State Space c-Reductions of Concurrent Systems in Rewriting Logic

Lluch Lafuente, A., Meseguer, J. & Vandin, A., 2012, Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Springer Berlin Heidelberg, p. 430-446 (Lecture Notes in Computer Science).

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

2010

A formalisation of Adaptable Pervasive Flows

Bucchiarone, A., Lluch Lafuente, A., Marconi, A. & Pistore, M., 2010, Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer Berlin Heidelberg, p. 61-75 (Lecture Notes in Computer Science, Vol. 6194).

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

A Graph Syntax for Processes and Services

Bruni, R., Gadducci, F. & Lluch Lafuente, A., 2010, Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer Berlin Heidelberg, p. 46-60 (Lecture Notes in Computer Science, Vol. 4912).

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

An Algebra of Hierarchical Graphs

Bruni, R., Gadducci, F. & Lluch Lafuente, A., 2010, Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Springer Berlin Heidelberg, p. 205-221 (Lecture Notes in Computer Science, Vol. 6084).

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

Counterpart semantics for a secondorder mu-calculus

Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2010, Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings. Springer Berlin Heidelberg, p. 282-297 (Lecture Notes in Computer Science, Vol. 6372).

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

Exploiting the hierarchical structure of rule-based specifications for decision planning

Boronat, A., Bruni, R., Lluch Lafuente, A., Montanari, U. & Paolillo, G., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer Berlin Heidelberg, p. 2-16 (Lecture Notes in Computer Science, Vol. 6117).

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

Rewriting nested graphs, through term graphs

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Montanari, U., 2010, Proceedings of WADT 2010, 20th International Workshop on Algebraic Development Techniques. p. 54-56

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

2009

A service-oriented UML profile with formal support

Bruni, R., Hölzl, M., Koch, N., Lluch Lafuente, A., Mayer, P., Montanari, U., Schroeder, A. & Wirsing, M., 2009, Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings. Springer Berlin Heidelberg, p. 455-469 (Lecture Notes in Computer Science, Vol. 5900).

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

Ten virtues of structured graphs

Bruni, R. & Lluch Lafuente, A., 2009, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques. 20 p. (E A S S T Electronic Communications).

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

2008

Architectural Design Rewriting as an Architecture Description Language

Bruni, R., Lluch Lafuente, A., Montanari, U. & Tuosto, E., 2008, Microsoft Research Technical Report MSR-TR-2008-61.

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

Service Oriented Architectural Design

Bruni, R., Lluch Lafuente, A., Montanari, U. & Tuosto, E., 2008, Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers. p. 186-203 (Lecture Notes in Computer Science, Vol. 4912).

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

2007

A Temporal Graph Logic for Abstractions of Graph Rewriting Systems

Baldan, P., Corradini, A., König, B. & Lluch Lafuente, A., 2007, Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Springer Berlin Heidelberg, p. 1-20 (Lecture Notes in Computer Science, Vol. 4409).

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

Graphical Encoding of a Spatial Logic for the pi-calculus

Gadducci, F. & Lluch Lafuente, A., 2007, Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings. Springer Berlin Heidelberg, p. 209-225 (Lecture Notes in Computer Science, Vol. 4624).

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

Towards Model Checking Spatial Properties with SPIN

Lluch Lafuente, A., 2007, Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings. Springer Berlin Heidelberg, p. 223-242 (Lecture Notes in Computer Science, Vol. 4595).

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

2006

Heuristic Search for the Analysis of Graph Transition Systems

Edelkamp, S., Jabbar, S. & Lluch Lafuente, A., 2006, Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings. Springer Berlin Heidelberg, p. 414-429 (Lecture Notes in Computer Science, Vol. 4178).

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

Partial-Order Reduction for General State Exploring Algorithms

Bošnački, D., Leue, S. & Lluch Lafuente, A., 2006, Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings. Springer Berlin Heidelberg, p. 271-287 (Lecture Notes in Computer Science, Vol. 3925).

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

2005

Action Planning for Graph Transition Systems

Edelkamp, S., Jabbar, S. & Lluch Lafuente, A., 2005, Proceedings of the 1st ICAPS Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems. AAAI Press

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

Cost-Algebraic Heuristic Search

Edelkamp, S., Jabbar, S. & Lluch Lafuente, A., 2005, AAAI-05, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference. AAAI Press / The MIT Press, p. 1362-1367 AAAI-05 / 1362

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

Using Linear Temporal Logic for Goal-Oriented Policy Refinement Frameworks

Rubio-Loyola, J., Serrat, J., Charalambides, M., Flegkas, P., Pavlou, G. & Lluch Lafuente, A., 2005, Proceedings of the 6th IEEE Workshop on Policies for Distributed Systems and Networks (POLICY’ 05). IEEE, p. 181-190

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

2004

Abstraction in Directed Model Checking

Edelkamp, S. & Lluch Lafuente, A., 2004, Proceedings of the 1st ICAPS Workshop on Connecting Planning Theory with Practice.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

2003

Symmetry Reduction and Heuristic Search for Error Detection in Model Checking

Lluch Lafuente, A., 2003, Proceedings of the 2nd Workshop on Model Checking and Artificial Intelligence. AAAI Press

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

2002

Partial Order Reduction in Directed Model Checking

Lluch Lafuente, A., Leue, S. & Edelkamp, S., 2002, Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings. p. 95-138 (Lecture Notes in Computer Science, Vol. 2318).

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

2001

Directed Explicit Model Checking with HSF-SPIN

Edelkamp, S., Lluch Lafuente, A. & Leue, S., 2001, Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings. Springer Berlin Heidelberg, p. 57-79 (Lecture Notes in Computer Science, Vol. 2057).

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

Protocol Verification with Heuristic Search

Edelkamp, S., Lluch Lafuente, A. & Leue, S., 2001, Proceedings of the AAAI Spring Symposium on Model-Based Validation of Inteligence.

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