1999 |
11 | EE | 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 | EE | 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) |