Hans Rischel

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

Publications

Anders P. Ravn, Hans Rischel
Real-Time Constraints Through the ProCoS Layers. Correct System Design (1999)
Hans Rischel, Hongyan Sun
Design and prototyping of real-time systems using CSP and CML. RTS (1997)
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)
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
Development of Safety-Critical Real-Time Systems. SOFSEM (1995)
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)
Anders P. Ravn, Hans Rischel, Finn Conrad, Torben Ole Andersen
Hybrid Control of a Robot - A Case Study. Hybrid Systems (1994)
Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen
Specifying and Verifying Requirements of Real-Time Systems. IEEE Trans. Software Eng. 19 (1) (1993)
Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou
Specification Of Embedded, Real-time Systems. RTS (1992)
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
Introduction. Hybrid Systems (1992)
Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Duration Specifications for Shared Processors. FTRTFT (1992)
Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel
Specifying and verifying requirements of real-time systems. SIGSOFT (1991)
Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen
A Design Method for Embedded Software Systems. BIT 28 (3) (1988)