The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans Rischel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anders P. Ravn, Hans Rischel
    Real-Time Constraints Through the ProCoS Layers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:61-78 [Conf]
  2. Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel
    Engineering of Real-Time Systems with an Experiment in Hybrid Control. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:316-352 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:288-335 [Conf]
  4. Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
    Duration Specifications for Shared Processors. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:21-32 [Conf]
  5. Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
    Introduction. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:1-3 [Conf]
  6. Anders P. Ravn, Hans Rischel, Finn Conrad, Torben O. Andersen
    Hybrid Control of a Robot - A Case Study. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:391-404 [Conf]
  7. Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
    Development of Safety-Critical Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:206-235 [Conf]
  8. Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen
    A Design Method for Embedded Software Systems. [Citation Graph (0, 0)][DBLP]
    BIT, 1988, v:28, n:3, pp:427-438 [Journal]
  9. Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen
    Specifying and Verifying Requirements of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:1, pp:41-55 [Journal]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002