- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| c6 |      | 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 | ||
| c5 | | 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 | ||
| c4 | | Rainer Schlör, Franz Korf: Verification of a production cell controller using symbolic timing diagrams. EURO-DAC 1995: 548-553 |
| c3 |  | Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör: Statecharts. Formal Development of Reactive Systems 1995: 131-149 |
| c2 | | Franz Korf, Rainer Schlör: Symbolic Timing Diagrams. Formal Development of Reactive Systems 1995: 311-331 |
| 1994 | ||
| c1 | | Franz Korf, Rainer Schlör: Interface Controller Synthesis from Requirement Specifications. EDAC-ETC-EUROASIC 1994: 385-394 |
| 1993 | ||
| j1 | | 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) |
| 1 | Jörn-Christian Braam | |
| 2 | Rainer Busch | |
| 3 | Werner Damm | |
| 4 | Gert Döhmen | |
| 5 | Rolf Ernst | |
| 6 | Johannes Helbig | |
| 7 | Hardi Hungar | |
| 8 | Bernhard Josko | |
| 9 | Peter Kelb | |
| 10 | Franz Korf | |
| 11 | Thomas Rambow | |
| 12 | Jan Staschulat | |
| 13 | Dieter Werth |
Colors in the list of coauthors
Last update Tue May 21 08:53:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page