The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anders P. Ravn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn
    AsmL Specification of a Ptolemy II Scheduler. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:417- [Conf]
  2. 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]
  3. Anders P. Ravn, Jørgen Staunstrup
    Interface models. [Citation Graph (0, 0)][DBLP]
    CODES, 1994, pp:157-164 [Conf]
  4. Michael Schenke, Anders P. Ravn
    Refinement from a Control Problem to Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:403-427 [Conf]
  5. 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]
  6. Ernst-Rüdiger Olderog, Anders P. Ravn
    Completeness in formal specification language design for process-control systems. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:89-100 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:288-335 [Conf]
  8. 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]
  9. Zhou Chaochen, Wang Ji, Anders P. Ravn
    A Formal Description of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:511-530 [Conf]
  10. Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
    An Extended Duration Calculus for Hybrid Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:36-59 [Conf]
  11. Thomas Bak, Jan Bendtsen, Anders P. Ravn
    Hybrid Control Design for a Wheeled Mobile Robot. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:50-65 [Conf]
  12. Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen
    A Formal Approach to Computer Systems Requirements Documentation. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:452-474 [Conf]
  13. Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
    Introduction. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:1-3 [Conf]
  14. 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]
  15. Mauno Rönkkö, Anders P. Ravn
    Action Systems with Continuous Behaviour. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1997, pp:304-323 [Conf]
  16. Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
    Language-based support for service oriented architectures: Future directions. [Citation Graph (0, 0)][DBLP]
    ICSOFT (1), 2006, pp:339-344 [Conf]
  17. Anders P. Ravn
    Abstractions for Fault Tolerance in Distributed Systems - Response. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:735-738 [Conf]
  18. Zhiming Liu, Anders P. Ravn, Xiaoshan Li
    Verifying duration properties of timed transition systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:327-345 [Conf]
  19. 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]
  20. Ernst-Rüdiger Olderog, Anders P. Ravn
    Editorial: Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2007, v:43, n:7, pp:449-450 [Journal]
  21. 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]
  22. Zhiming Liu, Anders P. Ravn, Xiaoshan Li
    Unifying proof methodologies of duration calculus and timed linear temporal logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:140-154 [Journal]
  23. Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
    A Calculus of Durations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:40, n:5, pp:269-276 [Journal]
  24. Jørn Jensen, Søren Lauesen, Anders P. Ravn
    Synchronization under a Commercial Operating System. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1979, v:9, n:9, pp:729-740 [Journal]
  25. Anders P. Ravn
    Pointer Variables in Concurrent Pascal. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1982, v:12, n:3, pp:211-222 [Journal]
  26. Mauno Rönkkö, Anders P. Ravn, Kaisa Sere
    Hybrid action systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:937-973 [Journal]
  27. William F. Appelbe, Anders P. Ravn
    Encapsulation Constructs in Systems Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:2, pp:129-158 [Journal]
  28. Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou
    From Safety Analysis to Software Requirements. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:7, pp:573-584 [Journal]
  29. Anders P. Ravn
    Device Monitors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1980, v:6, n:1, pp:49-53 [Journal]
  30. 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]
  31. John Knudsen, Anders P. Ravn, Arne Skou
    Design Verification Patterns. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:399-413 [Conf]
  32. Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
    A Refinement Driven Component-Based Design. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:277-289 [Conf]
  33. Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch
    Automated distributed simulation in PTOLEMY II. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Networks, 2007, pp:138-143 [Conf]

  34. Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]


  35. Developing a TTCN-3 Test Harness for Legacy Software. [Citation Graph (, )][DBLP]


  36. Classification of SOA Contract Specification Languages. [Citation Graph (, )][DBLP]


  37. Harnessing Theories for Tool Support. [Citation Graph (, )][DBLP]


  38. A Profile for Safety Critical Java. [Citation Graph (, )][DBLP]


  39. Interrupt Handlers in Java. [Citation Graph (, )][DBLP]


  40. Hardware Objects for Java. [Citation Graph (, )][DBLP]


  41. Semantics for Communicating Actors with Interdependent Real-Time Deadlines. [Citation Graph (, )][DBLP]


  42. A predictable Java profile: rationale and implementations. [Citation Graph (, )][DBLP]


  43. Schedulability analysis for Java finalizers. [Citation Graph (, )][DBLP]


  44. Cyclic executive for safety-critical Java on chip-multiprocessors. [Citation Graph (, )][DBLP]


  45. On the Specification of Full Contracts. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.282secs
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