 | 2012 |
|---|
| 20 |       | Gefei Zhang,
Matthias M. Hölzl:
Weaving semantic aspects in HiLA.
AOSD 2012: 263-274 |
| 2011 |
|---|
| 19 | | 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
Springer 2011 |
| 18 | | Matthias M. Hölzl,
Martin Wirsing:
Towards a System Model for Ensembles.
Formal Modeling: Actors, Open Systems, Biological Systems 2011: 241-261 |
| 17 | | Gefei Zhang,
Matthias M. Hölzl:
Aspect-Oriented Modeling of Web Applications with HiLA.
ICWE Workshops 2011: 211-222 |
| 16 | | 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 |
| 15 | | Matthias M. Hölzl,
Nora Koch,
Philip Mayer,
Martin Wirsing:
Sensoria Patterns.
Results of the SENSORIA Project 2011: 719-736 |
| 2010 |
|---|
| 14 | | Matthias M. Hölzl,
Alexander Knapp,
Gefei Zhang:
Modeling the Car Crash Crisis Management System Using HiLA.
T. Aspect-Oriented Software Development 7: 234-271 (2010) |
| 2009 |
|---|
| 13 | | Matthias M. Hölzl,
Grit Denker,
Max Meier,
Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
CALCO 2009: 423-432 |
| 12 | | 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 |
| 11 | | Gefei Zhang,
Matthias M. Hölzl:
HiLA: High-Level Aspects for UML State Machines.
MoDELS Workshops 2009: 104-118 |
| 10 | | Matthias M. Hölzl,
Max Meier,
Martin Wirsing:
Which Soft Constraints do you Prefer?
Electr. Notes Theor. Comput. Sci. 238(3): 189-205 (2009) |
| 2008 |
|---|
| 9 |  | Martin Wirsing,
Jean-Pierre Banâtre,
Matthias M. Hölzl,
Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Springer 2008 |
| 8 | | 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 |
| 7 | | 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 |
| 6 | | Matthias M. Hölzl,
Axel Rauschmayer,
Martin Wirsing:
Software Engineering for Ensembles.
Software-Intensive Systems and New Computing Paradigms 2008: 45-63 |
| 2007 |
|---|
| 5 | | Gefei Zhang,
Matthias M. Hölzl,
Alexander Knapp:
Enhancing UML State Machines with Aspects.
MoDELS 2007: 529-543 |
| 2006 |
|---|
| 4 | | 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 |
| 3 | | 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 |
|---|
| 2 | | Matthias M. Hölzl,
John N. Crossley:
Disjunctive Constraint Lambda Calculi.
LPAR 2005: 64-78 |
| 2002 |
|---|
| 1 | | Matthias M. Hölzl,
John N. Crossley:
Constraint-Lambda Calculi.
FroCos 2002: 207-221 |
Data released under the ODC-BY 1.0 license — See also our legal information page