Constraint-lambda calculi: theory and applications. - Matthias M. Hölzl (2001)

Constraint-Lambda Calculi. - Matthias M. Hölzl; John N. Crossley (FroCoS, 2002)

Disjunctive Constraint Lambda Calculi. - Matthias M. Hölzl; John N. Crossley (LPAR, 2005)

Semantic-Based Development of Service-Oriented Systems. - Martin Wirsing; Allan Clark; Stephen Gilmore; Matthias M. Hölzl; Alexander Knapp; Nora Koch; Andreas Schroeder 001 (FORTE, 2006)

SensoriaProcess Calculi for Service-Oriented Computing. - Martin Wirsing; Rocco De Nicola; Stephen Gilmore; Matthias M. Hölzl; Roberto Lucchi; Mirco Tribastone; Gianluigi Zavattaro (TGC, 2006)

Enhancing UML State Machines with Aspects. - Gefei Zhang; Matthias M. Hölzl; Alexander Knapp (MoDELS, 2007)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - 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; et al. (ISoLA, 2008)

Which Soft Constraints do you Prefer? - Matthias M. Hölzl; Max Meier; Martin Wirsing (WRLA, 2008)

Engineering of Software-Intensive Systems: State of the Art and Research Challenges. - Matthias M. Hölzl; Axel Rauschmayer; Martin Wirsing (Software-Intensive Systems and New Computing Paradigms, 2008)

Software Engineering for Ensembles. - Matthias M. Hölzl; Axel Rauschmayer; Martin Wirsing (Software-Intensive Systems and New Computing Paradigms, 2008)

Constraint-Muse: A Soft-Constraint Based System for Music Therapy. - Matthias M. Hölzl; Grit Denker; Max Meier; Martin Wirsing (CALCO, 2009)

A Service-Oriented UML Profile with Formal Support. - Roberto Bruni 001; Matthias M. Hölzl; Nora Koch; Alberto Lluch-Lafuente; Philip Mayer; Ugo Montanari; Andreas Schroeder 001; Martin Wirsing (ICSOC/ServiceWave, 2009)

HiLA: High-Level Aspects for UML State Machines. - Gefei Zhang; Matthias M. Hölzl (MoDELS (Workshops), 2009)

Modeling the Car Crash Crisis Management System Using HiLA. - Matthias M. Hölzl; Alexander Knapp; Gefei Zhang (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

Sensoria Patterns. - Matthias M. Hölzl; Nora Koch; Philip Mayer; Martin Wirsing (Results of the SENSORIA Project, 2011)

Sensoria - Software Engineering for Service-Oriented Overlay Computers. - Martin Wirsing; Matthias M. Hölzl; Nora Koch; Philip Mayer (Results of the SENSORIA Project, 2011)

Towards a System Model for Ensembles. - Matthias M. Hölzl; Martin Wirsing (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

ASCENS: Engineering Autonomic Service-Component Ensembles. - Martin Wirsing; Matthias M. Hölzl; Mirco Tribastone; Franco Zambonelli (FMCO, 2011)

Aspect-Oriented Modeling of Web Applications with HiLA. - Gefei Zhang; Matthias M. Hölzl (ICWE Workshops, 2011)

Weaving semantic aspects in HiLA. - Gefei Zhang; Matthias M. Hölzl (AOSD, 2012)

Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. - Matthias M. Hölzl; Allaithy Raed; Martin Wirsing (Springer, 2013)

Soft Constraints for Lexicographic Orders. - Fabio Gadducci; Matthias M. Hölzl; Giacoma Valentina Monreale; Martin Wirsing (MICAI (1), 2013)

A Set of Metrics for States and Transitions in UML State Machines. - Gefei Zhang; Matthias M. Hölzl (BM-FA, 2014)

A Set of Metrics of Non-locality Complexity in UML State Machines. - Gefei Zhang; Matthias M. Hölzl (BM-FA (Revised Selected Papers), 2014)

Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. - Martin Wirsing; Rocco De Nicola; Matthias M. Hölzl (ISoLA (1), 2014)

Ode to the PST. - Matthias M. Hölzl; Nora Koch; Philip Mayer; Andreas Schroeder 001; Lenz Belzner; Marianne Busch; Anton Fasching; Annabelle Klarl; Christian Kroiss; Laith Raed (Software, Services, and Systems, 2015)

Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System. - Matthias M. Hölzl; Thomas Gabor (SEsCPS@ICSE, 2015)

Improving the modularity of web-application models with aspects. - Gefei Zhang; Matthias M. Hölzl (Int. J. Web Eng. Technol., 2015)

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Matthias M. Hölzl; Alberto Lluch-Lafuente; Andrea Vandin; Martin Wirsing (The ASCENS Approach, 2015)

Reasoning and Learning for Awareness and Adaptation. - Matthias M. Hölzl; Thomas Gabor (The ASCENS Approach, 2015)

The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems. - Matthias M. Hölzl; Nora Koch; Mariachiara Puviani; Martin Wirsing; Franco Zambonelli (The ASCENS Approach, 2015)

Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. - Lenz Belzner; Matthias M. Hölzl; Nora Koch; Martin Wirsing (LNCS Trans. Found. Mastering Chang., 2016)

Continuous Collaboration for Changing Environments. - Matthias M. Hölzl; Thomas Gabor (LNCS Trans. Found. Mastering Chang., 2016)