Hans Rischel - researchr alias

researchr

You are not signed in
Sign in
Sign up

1999

Real-Time Constraints Through the ProCoS LayersAnders P. Ravn, Hans Rischel. BIRTHDAY 1999: 61-78 [doi]

1998

Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, ProceedingsAnders P. Ravn, Hans Rischel, editors, Volume 1486 of Lecture Notes in Computer Science, Springer, 1998.

1996

Engineering of Real-Time Systems with an Experiment in Hybrid ControlAnders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel. eef 1998: 316-352

1995

Development of Safety-Critical Real-Time SystemsHans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber. sofsem 1995: 206-235

1994

Provably Correct SystemsJifeng 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. ftrtft 1994: 288-335

Hybrid Control of a Robot - A Case StudyAnders P. Ravn, Hans Rischel, Finn Conrad, Torben O. Andersen. hybrid 1995: 391-404

1993

Hybrid SystemsRobert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel, editors, Volume 736 of Lecture Notes in Computer Science, Springer, 1993.

Specifying and Verifying Requirements of Real-Time SystemsAnders P. Ravn, Hans Rischel, Kirsten Mark Hansen. TSE, 19(1):41-55, 1993. [doi]

1992

Duration Specifications for Shared ProcessorsZhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel. ftrtft 1991: 21-32

IntroductionRobert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel. hybrid 1993: 1-3

1988

A Design Method for Embedded Software SystemsAnders P. Ravn, Hans Rischel, Hans Henrik Løvengreen. bit, 28(3):427-438, 1988.