 | 2006 |
|---|
| 7 |       | Jan Staschulat,
Jörn-Christian Braam,
Rolf Ernst,
Thomas Rambow,
Rainer Schlör,
Rainer Busch:
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.
ISoLA 2006: 204-211 |
| 1998 |
|---|
| 6 | | Rainer Schlör,
Bernhard Josko,
Dieter Werth:
Using a Visual Formalism for Design Verification in Industrial Environments.
Services and Visualization: Towards User-Friendly Design 1998: 208-221 |
| 1995 |
|---|
| 5 | | Rainer Schlör,
Franz Korf:
Verification of a production cell controller using symbolic timing diagrams.
EURO-DAC 1995: 548-553 |
| 4 |  | Werner Damm,
Hardi Hungar,
Peter Kelb,
Rainer Schlör:
Statecharts.
Formal Development of Reactive Systems 1995: 131-149 |
| 3 | | Franz Korf,
Rainer Schlör:
Symbolic Timing Diagrams.
Formal Development of Reactive Systems 1995: 311-331 |
| 1994 |
|---|
| 2 | | Franz Korf,
Rainer Schlör:
Interface Controller Synthesis from Requirement Specifications.
EDAC-ETC-EUROASIC 1994: 385-394 |
| 1993 |
|---|
| 1 | | Johannes Helbig,
Rainer Schlör,
Werner Damm,
Gert Döhmen,
Peter Kelb:
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
Microprocessing and Microprogramming 38(1-5): 571-580 (1993) |
