Logo eprints

Items where Author is "Hölzl, Matthias"

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 | 2013 | 2009 | 2008 | 2006
Number of items: 6.

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)

2014

Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 96-98. ISBN 978-3-662-45233-2 (2014)

2013

Wirsing, Martin and Hölzl, Matthias and Tribastone, Mirco and Zambonelli, Franco ASCENS: engineering autonomic service-component ensembles. In: Formal Methods for Components and Objects. Lecture notes in computer science (7542). Springer, pp. 1-24. ISBN 978-3-642-35887-6 (2013)

2009

Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin A Service-Oriented UML Profile with Formal Support. In: Service-Oriented Computing (ICSOC/ServiceWave 2009). Lecture Notes in Computer Science, 5900 . Springer, pp. 455-469. ISBN 978-3-642-10382-7 (2009)

2008

Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008)

2006

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

This list was generated on Fri Mar 29 00:03:09 2024 CET.