 | 2008 |
|---|
| 15 |       | Matthias Werner,
Michael A. Jaeger,
Helge Parzyjegla:
An Application of the (max, +) Algebra to Information Flow Security.
ICN 2008: 262-266 |
| 2006 |
|---|
| 14 | | Michael A. Jaeger,
Gero Mühl,
Matthias Werner,
Helge Parzyjegla:
Reconfiguring Self-stabilizing Publish/Subscribe Systems.
DSOM 2006: 233-238 |
| 13 | | Matthias Werner,
Gero Mühl:
A State Equation for Petri Nets with Delaying Places.
ECBS 2006: 501-502 |
| 12 | | Matthias Werner,
Gero Mühl:
Non-reachability in Petri Nets with Delaying Places.
MASCOTS 2006: 401-412 |
| 11 |  | Klaus Herrmann,
Matthias Werner,
Gero Mühl:
A Methodology for Classifying Self-Organizing Software Systems.
ITSSA 2(1): 41-50 (2006) |
| 2005 |
|---|
| 10 | | Louchka Popova-Zeugmann,
Matthias Werner:
Extreme Runtimes of Schedules Modelled by Time Petri Nets.
Fundam. Inform. 67(1-3): 163-174 (2005) |
| 2004 |
|---|
| 9 | | Matthias Werner,
Louchka Popova-Zeugmann,
Jan Richling:
A Method to Prove Non-Reachability in Priority Duration Petri Nets.
Fundam. Inform. 61(3-4): 351-368 (2004) |
| 2003 |
|---|
| 8 | | Louchka Popova-Zeugmann,
Matthias Werner,
Jan Richling:
Using State Equation to Prove Non-Reachability in Timed Petrinets.
Fundam. Inform. 55(2): 187-202 (2003) |
| 2002 |
|---|
| 7 | | Jan Richling,
Matthias Werner,
Louchka Popova-Zeugmann:
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.
ICRA 2002: 4065-4070 |
| 6 | | Jan Richling,
Louchka Popova-Zeugmann,
Matthias Werner:
Verification of Non-functional Properties of a Composable Architecture with Petrinets.
Fundam. Inform. 51(1-2): 185-200 (2002) |
| 2000 |
|---|
| 5 | | Matthias Werner,
Helmut Myritz,
Uwe Düffert,
Martin Lötzsch,
Hans-Dieter Burkhard:
Humboldt Heroes.
RoboCup 2000: 651-654 |
| 1999 |
|---|
| 4 | | Hans-Dieter Burkhard,
Matthias Werner,
Michael Ritzschke,
Frank Winkler,
Jan Wendler,
Andrej Georgi,
Uwe Düffert,
Helmut Myritz:
Humboldt Hereos in RoboCup-99.
RoboCup 1999: 770-773 |
| 1998 |
|---|
| 3 | | Holger Karl,
Matthias Werner,
Lars Küttner:
An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults.
EUROMICRO 1998: 10468-10475 |
| 2 | | Holger Karl,
Matthias Werner,
Lars Küttner:
Experimental investigation of message latencies in the Totem protocol in the Presence of faults.
IEE Proceedings - Software 145(6): 219-227 (1998) |
| 1997 |
|---|
| 1 | | Andreas Polze,
Gerhard Fohler,
Matthias Werner:
Predictable Network Computing.
ICDCS 1997: 0- |
