Matthias M. Hölzl

36 papers A 1B 2C 2Journal 4Unranked 15
YearRankTypeTitle / Venue / Authors
2016 J jnl
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations.
LNCS Trans. Found. Mastering Chang.
Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing
2016 J jnl
Continuous Collaboration for Changing Environments.
LNCS Trans. Found. Mastering Chang.
Matthias M. Hölzl, Thomas Gabor
2015 — conf
Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System.
SEsCPS@ICSE
Matthias M. Hölzl, Thomas Gabor
2015 J jnl
Improving the modularity of web-application models with aspects.
Int. J. Web Eng. Technol.
Gefei Zhang, Matthias M. Hölzl
2015 — conf
Ode to the PST.
Software, Services, and Systems
Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed
2015 — ch.
Reasoning and Learning for Awareness and Adaptation.
The ASCENS Approach
Matthias M. Hölzl, Thomas Gabor
2015 — ch.
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
The ASCENS Approach
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing
2015 — book
Software Engineering for Collective Autonomic Systems - The ASCENS Approach
The ASCENS Approach
Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer
2015 — ch.
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems.
The ASCENS Approach
Matthias M. Hölzl, Nora Koch, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli
2014 — conf
A Set of Metrics for States and Transitions in UML State Machines.
BM-FA
Gefei Zhang, Matthias M. Hölzl
2014 — conf
A Set of Metrics of Non-locality Complexity in UML State Machines.
BM-FA (Revised Selected Papers)
Gefei Zhang, Matthias M. Hölzl
2014 — conf
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction.
ISoLA (1)
Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl
2013 — book
Java kompakt - Eine Einführung in die Software-Entwicklung mit Java.
Matthias M. Hölzl, Allaithy Raed, Martin Wirsing
2013 — conf
Soft Constraints for Lexicographic Orders.
MICAI (1)
Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing
2012 — conf
Weaving semantic aspects in HiLA.
AOSD
Gefei Zhang, Matthias M. Hölzl
2011 — conf
ASCENS: Engineering Autonomic Service-Component Ensembles.
FMCO
Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli
2011 — conf
Aspect-Oriented Modeling of Web Applications with HiLA.
ICWE Workshops
Gefei Zhang, Matthias M. Hölzl
2011 — book
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Results of the SENSORIA Project
Martin Wirsing, Matthias M. Hölzl
2011 — ch.
Sensoria - Software Engineering for Service-Oriented Overlay Computers.
Results of the SENSORIA Project
Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer
2011 — ch.
Sensoria Patterns.
Results of the SENSORIA Project
Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing
2011 — conf
Towards a System Model for Ensembles.
Formal Modeling: Actors, Open Systems, Biological Systems
Matthias M. Hölzl, Martin Wirsing
2010 J jnl
Modeling the Car Crash Crisis Management System Using HiLA.
LNCS Trans. Aspect Oriented Softw. Dev.
Matthias M. Hölzl, Alexander Knapp, Gefei Zhang
2009 — conf
A Service-Oriented UML Profile with Formal Support.
ICSOC/ServiceWave
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
2009 B conf
Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
CALCO
Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing
2009 — conf
HiLA: High-Level Aspects for UML State Machines.
MoDELS (Workshops)
Gefei Zhang, Matthias M. Hölzl
2008 — ch.
Engineering of Software-Intensive Systems: State of the Art and Research Challenges.
Software-Intensive Systems and New Computing Paradigms
Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
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ó
2008 — ch.
Software Engineering for Ensembles.
Software-Intensive Systems and New Computing Paradigms
Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing
2008 — book
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Software-Intensive Systems and New Computing Paradigms
Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer
2008 — conf
Which Soft Constraints do you Prefer?
WRLA
Matthias M. Hölzl, Max Meier, Martin Wirsing
2007 A conf
Enhancing UML State Machines with Aspects.
MoDELS
Gefei Zhang, Matthias M. Hölzl, Alexander Knapp
2006 C conf
Semantic-Based Development of Service-Oriented Systems.
FORTE
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
2006 — conf
SensoriaProcess Calculi for Service-Oriented Computing.
TGC
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
2005 B conf
Disjunctive Constraint Lambda Calculi.
LPAR
Matthias M. Hölzl, John N. Crossley
2002 — conf
Constraint-Lambda Calculi.
FroCoS
Matthias M. Hölzl, John N. Crossley
2001 — —
Constraint-lambda calculi: theory and applications.
Matthias M. Hölzl