Hans Rischel

According to our database, Hans Rischel authored at least 11 papers between 1988 and 1999.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

1999

Real-Time Constraints Through the ProCoS Layers.

Anders P. Ravn, Hans Rischel

Proceedings of the Correct System Design, 1999

1997

Design and prototyping of real-time systems using CSP and CML.

Hans Rischel, Hongyan Sun

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996

Engineering of Real-Time Systems with an Experiment in Hybrid Control.

Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

1995

Development of Safety-Critical Real-Time Systems.

Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

1994

Hybrid Control of a Robot - A Case Study.

Anders P. Ravn, Hans Rischel, Finn Conrad, Torben Ole Andersen

Proceedings of the Hybrid Systems II, 1994

Provably Correct Systems.

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

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Specifying and Verifying Requirements of Real-Time Systems.

Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen

IEEE Trans. Software Eng., 1993

1992

Introduction.

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Proceedings of the Hybrid Systems, 1992

Duration Specifications for Shared Processors.

Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Specification Of Embedded, Real-time Systems.

Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1988

A Design Method for Embedded Software Systems.

Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen

BIT, 1988