| Date |
Status |
|
Venue/Journal |
Title |
Additional Material |
Acceptance Rate |
31.3.2006
|
|
MLM
|
Mini-Tutorial at the SE'06
conference in Leipzig, Germany
|
Management of large models (in
German only) |
on request
|
-
|
| 20.9.2005 |
|
UML 2 |
Tutorial at the VL/HCC-Conference in Dallas, Texas |
Unified Modeling Language
2.0 |
snapshots |
- |
| 5.9.2005 |
|
UML 2 |
Tutorial at the SEFM-Conference in Koblenz, Germany |
Unified Modeling Language
2.0 |
snapshots |
- |
| 20.8.2005 |
|
UML2EA |
Addison-Wesley
Verlag |
"UML 2 erfolgreich anwenden" |
"UML 2 Syntax Poster" (draft)
|
- |
| 1.4.2005 |
draft |
|
|
"On the Duration of UML 2.0
Activities" |
|
|
| 21.3.2005 |
|
UML2FS |
Pearson Studium Verlag |
"UML 2 für Studenten" |
|
- |
| 12.12.2004 |
|
TR 0504 |
University of Munich, Technical Report 04 2005 |
"Towards a Petri-net
Semantics of Data Flow in UML 2.0 Activities" |
|
- |
| 4.11.2004 |
|
SE'05 |
German Software Engineering Conference 2005 |
"Towards a Formal Semantics of
UML 2.0 Activities" |
Slides |
26% |
| 4.11.2004 |
|
TR 0503 |
University of Munich, Technical Report 03 2005 |
"A Lightweight Platform for
Experimenting with Model Driven Development" |
|
- |
| 12.10.2004 |
|
ENTCS |
Electronic
Notes in Theoretical Computer Science, 117(4), 2005 |
"Semantics and Verification of
Data Flow in UML 2.0 Activities" |
|
- |
| 8.10.2004 |
|
NJC |
Nordic Journal of Computing, vol 11, no 3, 2004, pp.279-302 |
"Structured Nodes in UML
2.0 Activities" |
|
n.a. |
| 30.6.2004 |
|
VLFM'04 |
Visual Languages and Formal Methods |
"Semantics and Verification of
Data Flow in UML 2.0 Activities" |
|
69% |
| 23.5.2004 |
|
NWUML'04 |
Nordic Workshop on UML |
"Semantics of Structured Nodes
in UML 2.0 Activities" |
|
n.a. |
| 10.5.2004 |
draft |
|
|
"Semantics of Exceptions in
UML 2.0 Activities" |
- |
n.a. |
| 15.4.2004 |
|
TR 0402 |
University of Munich, Technical Report 02 2004 |
"Semantics of Exceptions in
UML 2.0 Activities" |
- |
n.a. |
| 15.3.2004 |
|
VL/HCC'04 |
Intl. Symp. Visual Languages/Human Computer Centered Systems
2004, Rome |
"Semantics of
Control-Flow in UML 2.0 Activities" |
|
32% |
| 14.2.2004 |
|
TR 0403 |
University of Munich, Technical Report 09 2004 |
"Trace semantics of UML 2.0 Interactions"
|
- |
n.a. |
| 10.2003 |
|
CSDUML'03 |
Intl. Ws. Critical Systems Development with UML, at UML'03 |
"Assert, Negate and Refinement in UML
2 Interactions" |
Slides |
n.a. |
| 10.2003 |
|
VLFM'03 |
Intl. Ws. Visual Languages and Formal Methods, at HCC'03,
Auckland, NZ |
"Semantics of Interactions in
UML 2.0" |
Slides |
25% |
| 7.9.2003 |
|
PST-Seminar |
Annual Internal Seminar of the PST-Chair |
"A SW-Engineering-Curriculum for Munich" |
Slides |
- |
| 3.5.2003 |
|
ProSim-03 |
Process Modeling and Simulation, at ICSE-03, Portland, OR,
USA |
"Making Agile Processes Scalable"
|
Slides |
n.a. |
| 1.2003 |
|
CMMSiP |
in Koch, N. (Ed.): Software Process Improvement. CMM &
Spice in Practice (ISBN 3878213239) |
"A Pattern-based Approach to
Improving Software Processes" |
- |
n.a. |
| 26.3.2002 |
|
M'02 |
Modellierung'2002, Tutzing, GI Lecture Notes in Informatics
P-12 |
"Group Exercises for the Design
& Validation of GUIs" |
Slides |
n.a. |
| 12.9.2001 |
|
PROFES |
3rd Eur. Ws. Product Focused Software Process, LNCS 2188 |
"Describing Fractal Processes with UML"
|
Slides |
n.a. |
| 6.5.2001 |
|
AM |
ICSE-Workshop on Architectural Modelling |
"Turning UML Subsystems
into Architectural Units" |
- |
n.a. |
| 20.6.2001 |
|
EWSPT |
8th Eur. Ws. Software Process Technology, LNCS 2077 |
"Describing Process Patterns
with UML" |
Slides |
n.a. |
| 20.12.2000 |
|
Diss |
PhD-Thesis, University of Munich |
"Models of Software Architecture"
|
Erratum |
n.a. |
| 2.10.2000 |
|
BS-UML |
Behavioral Semantics of UML, Ws. at the UML-conference |
"Relating Interactions and
StateMachines |
- |
n.a. |
| 2.10.1999 |
|
GI'99 |
Jahrestagung der Gesellschaft für Informatik |
"Debugging Architectural Designs" |
- |
n.a. |
| 18.6.1999 |
|
FBT'99 |
Formale Beschreibungstechniken für verteilte Systeme |
"A Petri-net semantics for Sequence
Diagrams" |
- |
n.a. |
| 18.6.1999 |
|
NOSA'99 |
Nordic Workshop on Software Architecture |
"Architectural Modeling with the UML"
|
- |
n.a. |
| 29.5.1999 |
|
OMER'99 |
Object-Oriented Modeling of Embedded and Real-Time Systems |
"A different notion of components" |
- |
n.a. |
| 5.10.1998 |
|
AWPN'98 |
Ws. Algorithmen und Werkzeuge für Petri-Netze |
"Erfahrungen aus einer
Vergleichsstudie über Petrinetz-Werkzeuge" |
- |
n.a. |
| 5.6.1998 |
|
TR9802 |
University of Munich, Technical Report 9802 |
An Evaluation of High-End Tools
for Petri-Nets |
- |
n.a. |