| 2004 |
|---|
| 9 | EE | Nikola Milanovic,
Jan Richling,
Miroslaw Malek:
Lightweight Services for Embedded Systems.
WSTFEUS 2004: 40-44 |
| 8 | EE | 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 |
|---|
| 7 | EE | 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 |
|---|
| 6 | | Jan Richling,
Matthias Werner,
Louchka Popova-Zeugmann:
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.
ICRA 2002: 4065-4070 |
| 5 | | 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) |
| 2001 |
|---|
| 4 | | Andreas Polze,
Jan Richling,
Janek Schwarz,
Miroslaw Malek:
Towards predictable CORBA-based services.
Comput. Syst. Sci. Eng. 16(2): 135-147 (2001) |
| 2000 |
|---|
| 3 | | Jan Richling:
Message Scheduled System - A Composable Architecture for Embedded Real-Time Systems.
PDPTA 2000 |
| 1999 |
|---|
| 2 | EE | Andreas Polze,
Jan Richling,
Janek Schwarz,
Miroslaw Malek:
Towards Predictable CORBA-Based Web-Services.
ISORC 1999: 182- |
| 1998 |
|---|
| 1 | | Jan Richling,
Janek Schwarz,
Andreas Polze:
Java Komponenten für ein verteiltes Echtzeitsystem.
Java-Informations-Tage 1998: 298-312 |
