Research Output per year
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2001 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 proceeding › Book chapter › Research › peer-review
Open Access
File
A framework for quantitative modeling and analysis of highly (re)configurable systems
ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2019, (Accepted/In press) In : I E E E Transactions on Software Engineering. 26 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
File
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 proceeding › Article in proceedings › Research › peer-review
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 proceeding › Article in proceedings › Research › peer-review
Open Access
File
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 journal › Journal article › Research › peer-review
Open Access
File
Projects 2011 2021
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A. & Lluch Lafuente, A.
01/07/2018 → 30/06/2021
Project: PhD
Composec: Secure Composition of Distributed Systems
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
01/10/2015 → 12/12/2018
Project: PhD
Cognitive and Perceptive Cameras - Compilation system
Jensen, N. B., Probst, C. W., Karlsson, S., Lluch Lafuente, A., Kessler, C. W. & Sestoft, P.
01/10/2013 → 18/01/2017
Project: PhD
Stochastic Model Checking of Socio- Technical Models
Aslanyan, Z., Nielson, F., Probst, C. W., Lluch Lafuente, A., Hansen, R. R. & Legay, A.
01/07/2013 → 23/11/2016
Project: PhD
Modelling Socio-Technical Aspects of Organizational Security
Ivanova, M. G., Probst, C. W., Lluch Lafuente, A., Schürmann, C. & Gollmann, D.
15/01/2013 → 20/04/2016
Project: PhD