Matthias M. Hölzl - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Modeling the Car Crash Crisis Management System Using HiLAMatthias M. Hölzl, Alexander Knapp, Gefei Zhang. TAOSD, 7:234-271, 2010. [doi]

2009

Which Soft Constraints do you Prefer?Matthias M. Hölzl, Max Meier, Martin Wirsing. ENTCS, 238(3):189-205, 2009. [doi]

HiLA: High-Level Aspects for UML State MachinesGefei Zhang, Matthias M. Hölzl. MoDELS 2010: 104-118 [doi]

2008

Engineering of Software-Intensive Systems: State of the Art and Research ChallengesMatthias M. Hölzl, Axel Rauschmayer, Martin Wirsing. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 1-44, Springer, 2008. [doi]

Software Engineering for EnsemblesMatthias M. Hölzl, Axel Rauschmayer, Martin Wirsing. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 45-63, Springer, 2008. [doi]

Software-Intensive Systems and New Computing Paradigms - Challenges and VisionsMartin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Volume 5380 of Lecture Notes in Computer Science, Springer, 2008.

2007

Enhancing UML State Machines with AspectsGefei Zhang, Matthias M. Hölzl, Alexander Knapp. MoDELS 2007: 529-543 [doi]

2006

2005

Disjunctive Constraint Lambda CalculiMatthias M. Hölzl, John N. Crossley. lpar 2005: 64-78 [doi]

2002

Constraint-Lambda CalculiMatthias M. Hölzl, John N. Crossley. frocos 2002: 207-221 [doi]