Logo eprints

Items where Author is "Lluch Lafuente, Alberto"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: 2015 | 2014 | 2012
Number of items: 8.

2015

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Hölzl, Matthias and Lluch Lafuente, Alberto and Vandin, Andrea and Wirsing, Martin Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 163-184. ISBN 978-3-319-16309-3 (2015)

Andrić, Marina and De Nicola, Rocco and Lluch Lafuente, Alberto Replicating Data for Better Performances in X10. In: Semantics, Logics, and Calculi. Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science (9560). Springer, pp. 236-251. ISBN 978-3-319-27810-0 (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil and Kofroň, Jan and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Giacoma Valentina and Montanari, Ugo and Pinciroli, Carlo and Tůma, Petr Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, 19 (8998). Springer International Publishing, Cham, pp. 429-448. ISBN 978-3-319-16309-3 (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea A White Box Perspective on Behavioural Adaptation. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science (8950). Springer, pp. 552-581. ISBN 978-3-319-15544-9 (2015)

2014

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

2012

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 118-138. ISBN 978-3-642-34004-8 (2012)

This list was generated on Thu Mar 28 10:04:29 2024 CET.