Matthias M. Hölzl

According to our database, Matthias M. Hölzl authored at least 33 papers between 2001 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Continuous Collaboration for Changing Environments.

Matthias M. Hölzl, Thomas Gabor

LNCS Trans. Found. Mastering Chang., 2016

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

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

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reasoning and Learning for Awareness and Adaptation.

Matthias M. Hölzl, Thomas Gabor

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Improving the modularity of web-application models with aspects.

Gefei Zhang, Matthias M. Hölzl

Int. J. Web Eng. Technol., 2015

Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System.

Matthias M. Hölzl, Thomas Gabor

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

Ode to the PST.

Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed

Proceedings of the Software, 2015

2014

Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction.

Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

A Set of Metrics of Non-locality Complexity in UML State Machines.

Gefei Zhang, Matthias M. Hölzl

Proceedings of the Behavior Modeling, 2014

A Set of Metrics for States and Transitions in UML State Machines.

Gefei Zhang, Matthias M. Hölzl

Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, 2014

2013

Soft Constraints for Lexicographic Orders.

Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

Java kompakt - Eine Einführung in die Software-Entwicklung mit Java.

Matthias M. Hölzl, Allaithy Raed, Martin Wirsing

eXamen.press, Springer, ISBN: 978-3-642-28503-5, 2013

2012

Weaving semantic aspects in HiLA.

Gefei Zhang, Matthias M. Hölzl

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Aspect-Oriented Modeling of Web Applications with HiLA.

Gefei Zhang, Matthias M. Hölzl

Proceedings of the Current Trends in Web Engineering, 2011

ASCENS: Engineering Autonomic Service-Component Ensembles.

Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Towards a System Model for Ensembles.

Matthias M. Hölzl, Martin Wirsing

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

Sensoria - Software Engineering for Service-Oriented Overlay Computers.

Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Sensoria Patterns.

Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Modeling the Car Crash Crisis Management System Using HiLA.

Matthias M. Hölzl, Alexander Knapp, Gefei Zhang

LNCS Trans. Aspect Oriented Softw. Dev., 2010

2009

HiLA: High-Level Aspects for UML State Machines.

Gefei Zhang, Matthias M. Hölzl

Proceedings of the Models in Software Engineering, 2009

A Service-Oriented UML Profile with Formal Support.

Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Constraint-Muse: A Soft-Constraint Based System for Music Therapy.

Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Software Engineering for Ensembles.

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Engineering of Software-Intensive Systems: State of the Art and Research Challenges.

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Which Soft Constraints do you Prefer?

Matthias M. Hölzl, Max Meier, Martin Wirsing

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

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, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Enhancing UML State Machines with Aspects.

Gefei Zhang, Matthias M. Hölzl, Alexander Knapp

Proceedings of the Model Driven Engineering Languages and Systems, 2007

2006

SensoriaProcess Calculi for Service-Oriented Computing.

Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Semantic-Based Development of Service-Oriented Systems.

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Disjunctive Constraint Lambda Calculi.

Matthias M. Hölzl, John N. Crossley

Proceedings of the Logic for Programming, 2005

2002

Constraint-Lambda Calculi.

Matthias M. Hölzl, John N. Crossley

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2001

Constraint-lambda calculi: theory and applications.

Matthias M. Hölzl

PhD thesis, 2001