| 1995 |
|---|
| 5 | | Jorge Cuéllar,
Isolde Wildgruber:
The Steam-Boiler Problem - A TLT Solution.
Formal Methods for Industrial Applications 1995: 165-183 |
| 4 | | Jorge Cuéllar,
Isolde Wildgruber:
The Real-Time Behavior of the Steam Boiler.
Formal Methods for Industrial Applications 1995: 184-202 |
| 3 | | Hans Rischel,
Jorge Cuéllar,
Simon Mørk,
Anders P. Ravn,
Isolde Wildgruber:
Development of Safety-Critical Real-Time Systems.
SOFSEM 1995: 206-235 |
| 1994 |
|---|
| 2 | | Jorge Cuéllar,
Isolde Wildgruber,
Dieter Barnard:
Combining the Design of Industrial Systems with Effective Verification Techniques.
FME 1994: 639-658 |
| 1993 |
|---|
| 1 | | Günter Böckle,
Christof Störmann,
Isolde Wildgruber:
Methods for Exploitation of Fine-Grained Parallelism.
Parallel Computer Architectures 1993: 118-132 |
