 | 1999 |
|---|
| 11 |       | Anders P. Ravn,
Hans Rischel:
Real-Time Constraints Through the ProCoS Layers.
Correct System Design 1999: 61-78 |
| 1998 |
|---|
| 10 |  | Anders P. Ravn,
Hans Rischel:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Springer 1998 |
| 1996 |
|---|
| 9 | | Anders P. Ravn,
Thomas J. Eriksen,
Michael Holdgaard,
Hans Rischel:
Engineering of Real-Time Systems with an Experiment in Hybrid Control.
European Educational Forum: School on Embedded Systems 1996: 316-352 |
| 1995 |
|---|
| 8 | | 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 |
|---|
| 7 | | Jifeng He,
C. A. R. Hoare,
Martin Fränzle,
Markus Müller-Olm,
Ernst-Rüdiger Olderog,
Michael Schenke,
Michael R. Hansen,
Anders P. Ravn,
Hans Rischel:
Provably Correct Systems.
FTRTFT 1994: 288-335 |
| 6 | | Anders P. Ravn,
Hans Rischel,
Finn Conrad,
Torben O. Andersen:
Hybrid Control of a Robot - A Case Study.
Hybrid Systems 1994: 391-404 |
| 1993 |
|---|
| 5 | | Robert L. Grossman,
Anil Nerode,
Anders P. Ravn,
Hans Rischel:
Hybrid Systems
Springer 1993 |
| 4 | | Anders P. Ravn,
Hans Rischel,
Kirsten Mark Hansen:
Specifying and Verifying Requirements of Real-Time Systems.
IEEE Trans. Software Eng. 19(1): 41-55 (1993) |
| 1992 |
|---|
| 3 | | Zhou Chaochen,
Michael R. Hansen,
Anders P. Ravn,
Hans Rischel:
Duration Specifications for Shared Processors.
FTRTFT 1992: 21-32 |
| 2 | | Robert L. Grossman,
Anil Nerode,
Anders P. Ravn,
Hans Rischel:
Introduction.
Hybrid Systems 1992: 1-3 |
| 1988 |
|---|
| 1 | | Anders P. Ravn,
Hans Rischel,
Hans Henrik Løvengreen:
A Design Method for Embedded Software Systems.
BIT 28(3): 427-438 (1988) |
