Matthias M. Hölzl

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 5

Top Venues

LNCS Trans. Found. Mastering Chang.

MICAI (1)

Software, Services, and Systems

SEsCPS@ICSE

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. LNCS Trans. Found. Mastering Chang. 1 (2016)
Matthias M. Hölzl, Thomas Gabor
Continuous Collaboration for Changing Environments. LNCS Trans. Found. Mastering Chang. 1 (2016)
Gefei Zhang, Matthias M. Hölzl
Improving the modularity of web-application models with aspects. Int. J. Web Eng. Technol. 10 (2) (2015)
Matthias M. Hölzl, Thomas Gabor
Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System. SEsCPS@ICSE (2015)
Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed
Ode to the PST. Software, Services, and Systems (2015)
Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. ISoLA (1) (2014)
Gefei Zhang, Matthias M. Hölzl
A Set of Metrics of Non-locality Complexity in UML State Machines. BM-FA (Revised Selected Papers) (2014)
Gefei Zhang, Matthias M. Hölzl
A Set of Metrics for States and Transitions in UML State Machines. BM-FA (2014)
Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing
Soft Constraints for Lexicographic Orders. MICAI (1) (2013)
Gefei Zhang, Matthias M. Hölzl
Weaving semantic aspects in HiLA. AOSD (2012)
Matthias M. Hölzl, Martin Wirsing
Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Gefei Zhang, Matthias M. Hölzl
Aspect-Oriented Modeling of Web Applications with HiLA. ICWE Workshops (2011)
Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli
ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO (2011)
Matthias M. Hölzl, Alexander Knapp, Gefei Zhang
Modeling the Car Crash Crisis Management System Using HiLA. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Gefei Zhang, Matthias M. Hölzl
HiLA: High-Level Aspects for UML State Machines. MoDELS (Workshops) (2009)
Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO (2009)
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave (2009)
Matthias M. Hölzl, Max Meier, Martin Wirsing
Which Soft Constraints do you Prefer? WRLA (2008)
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA (2008)
Gefei Zhang, Matthias M. Hölzl, Alexander Knapp
Enhancing UML State Machines with Aspects. MoDELS (2007)
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
Semantic-Based Development of Service-Oriented Systems. FORTE (2006)
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
SensoriaProcess Calculi for Service-Oriented Computing. TGC (2006)
Matthias M. Hölzl, John N. Crossley
Disjunctive Constraint Lambda Calculi. LPAR (2005)
Matthias M. Hölzl, John N. Crossley
Constraint-Lambda Calculi. FroCoS (2002)

Matthias M. Hölzl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias M. Hölzl