default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthias M. Hölzl
Person information
- affiliation: Ludwig Maximilians University Munich, Institute for Informatics
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2013
[b2]Matthias M. Hölzl, Allaithy Raed, Martin Wirsing:
Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. eXamen.press, Springer 2013, ISBN 978-3-642-28503-5, pp. I-X, 1-252- 2001
- [b1]Matthias M. Hölzl:
Constraint-lambda calculi: theory and applications. Ludwig Maximilian University of Munich, Germany, 2001, pp. 1-211
Journal Articles
- 2016
- [j4]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: 180-200 (2016) - [j3]Matthias M. Hölzl, Thomas Gabor:
Continuous Collaboration for Changing Environments. LNCS Trans. Found. Mastering Chang. 1: 201-224 (2016) - 2015
- [j2]Gefei Zhang, Matthias M. Hölzl:
Improving the modularity of web-application models with aspects. Int. J. Web Eng. Technol. 10(2): 98-128 (2015) - 2010
- [j1]Matthias M. Hölzl, Alexander Knapp, Gefei Zhang:
Modeling the Car Crash Crisis Management System Using HiLA. LNCS Trans. Aspect Oriented Softw. Dev. 7: 234-271 (2010)
Conference and Workshop Papers
- 2015
- [c20]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: 13-23 - [c19]Matthias M. Hölzl, Thomas Gabor:
Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System. SEsCPS@ICSE 2015: 19-25 - 2014
- [c18]Gefei Zhang, Matthias M. Hölzl:
A Set of Metrics for States and Transitions in UML State Machines. BM-FA 2014: 2 - [c17]Gefei Zhang, Matthias M. Hölzl:
A Set of Metrics of Non-locality Complexity in UML State Machines. BM-FA (Revised Selected Papers) 2014: 59-81 - [c16]Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl:
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. ISoLA (1) 2014: 96-98 - 2013
- [c15]Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing:
Soft Constraints for Lexicographic Orders. MICAI (1) 2013: 68-79 - 2012
- [c14]Gefei Zhang, Matthias M. Hölzl:
Weaving semantic aspects in HiLA. AOSD 2012: 263-274 - 2011
- [c13]Matthias M. Hölzl, Martin Wirsing:
Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 241-261 - [c12]Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli:
ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO 2011: 1-24 - [c11]Gefei Zhang, Matthias M. Hölzl:
Aspect-Oriented Modeling of Web Applications with HiLA. ICWE Workshops 2011: 211-222 - 2009
- [c10]Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432 - [c9]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: 455-469 - [c8]Gefei Zhang, Matthias M. Hölzl:
HiLA: High-Level Aspects for UML State Machines. MoDELS (Workshops) 2009: 104-118 - 2008
- [c7]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: 170-190 - [c6]Matthias M. Hölzl, Max Meier, Martin Wirsing:
Which Soft Constraints do you Prefer? WRLA 2008: 189-205 - 2007
- [c5]Gefei Zhang, Matthias M. Hölzl, Alexander Knapp:
Enhancing UML State Machines with Aspects. MoDELS 2007: 529-543 - 2006
- [c4]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: 24-45 - [c3]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: 30-50 - 2005
- [c2]Matthias M. Hölzl, John N. Crossley:
Disjunctive Constraint Lambda Calculi. LPAR 2005: 64-78 - 2002
- [c1]Matthias M. Hölzl, John N. Crossley:
Constraint-Lambda Calculi. FroCoS 2002: 207-221
Parts in Books or Collections
- 2015
- [p7]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [p6]Matthias M. Hölzl, Thomas Gabor:
Reasoning and Learning for Awareness and Adaptation. The ASCENS Approach 2015: 249-290 - [p5]Matthias M. Hölzl, Nora Koch, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli:
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems. The ASCENS Approach 2015: 325-354 - 2011
- [p4]Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer:
Sensoria - Software Engineering for Service-Oriented Overlay Computers. Results of the SENSORIA Project 2011: 1-14 - [p3]Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing:
Sensoria Patterns. Results of the SENSORIA Project 2011: 719-736 - 2008
- [p2]Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms 2008: 1-44 - [p1]Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Software Engineering for Ensembles. Software-Intensive Systems and New Computing Paradigms 2008: 45-63
Editorship
- 2015
- [e3]Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer:
Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Lecture Notes in Computer Science 8998, Springer 2015, ISBN 978-3-319-16309-3 [contents] - 2011
- [e2]Martin Wirsing, Matthias M. Hölzl:
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, ISBN 978-3-642-20400-5 [contents] - 2008
- [e1]Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-28 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
