The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ernst-Rüdiger Olderog: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ernst-Rüdiger Olderog
    TCSP: Theory of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:441-465 [Conf]
  2. Ernst-Rüdiger Olderog, Krzysztof R. Apt
    Using Transformation to Verify Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:55-81 [Conf]
  3. Ernst-Rüdiger Olderog
    Operational Petri net semantics for CCSP. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1986, pp:196-223 [Conf]
  4. Ernst-Rüdiger Olderog
    Correct Real-Time Software for Programmable Logic Controllers. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:342-362 [Conf]
  5. David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç
    Specifying and analyzing security automata using CSP-OZ. [Citation Graph (0, 0)][DBLP]
    ASIACCS, 2007, pp:70-81 [Conf]
  6. Ernst-Rüdiger Olderog, Henning Dierks
    Decomposing Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:465-489 [Conf]
  7. Ernst-Rüdiger Olderog
    Towards a Design Calculus for Communicationg Programs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:61-77 [Conf]
  8. Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog
    Controlling Access to Documents: A Formal Access Control Model. [Citation Graph (0, 0)][DBLP]
    ETRICS, 2006, pp:352-367 [Conf]
  9. Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
    A CSP View on UML-RT Structure Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:91-108 [Conf]
  10. Ernst-Rüdiger Olderog
    Entwicklung korrekter zeitkritischer Systeme. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:7-16 [Conf]
  11. Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
    The UniForM Workbench, a Universal Development Environment for Formal Methods. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1186-1205 [Conf]
  12. Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
    On the Verification of Cooperating Traffic Agents. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:77-110 [Conf]
  13. Ernst-Rüdiger Olderog, Heike Wehrheim
    Specification and Inheritance in CSP-OZ. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:361-379 [Conf]
  14. 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]
  15. 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]
  16. Ernst-Rüdiger Olderog
    Hoare-Style Proof Systems and Formal Computations. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:65-71 [Conf]
  17. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
    Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:149-157 [Conf]
  18. Hans Langmaack, Ernst-Rüdiger Olderog
    Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:363-373 [Conf]
  19. Ernst-Rüdiger Olderog
    Interfaces between Languages for Communicating Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:641-655 [Conf]
  20. Ernst-Rüdiger Olderog, C. A. R. Hoare
    Specification-Oriented Semantics for Communicating Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:561-572 [Conf]
  21. Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
    Linking CSP-OZ with UML and Java: A Case Study. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:267-286 [Conf]
  22. Jochen Hoenicke, Ernst-Rüdiger Olderog
    Combining Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:245-266 [Conf]
  23. Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog
    Korso Reference Languages - Concepts and Application Domains. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:150-172 [Conf]
  24. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Proof Rules Dealing with Fairness. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:1-8 [Conf]
  25. Ernst-Rüdiger Olderog
    Hoare's Logic for Programs with Procedures - What Has Been Achieved?. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:383-395 [Conf]
  26. Ernst-Rüdiger Olderog
    Correctness of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:107-132 [Conf]
  27. Ernst-Rüdiger Olderog
    Strong bisimilarity on nets: a new concept for comparing net semantics. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:549-573 [Conf]
  28. Ernst-Rüdiger Olderog
    From Trace Specifications to Process Terms. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:592-621 [Conf]
  29. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Transformations Realizing Fairness Assumptions for Parallel Programs. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:26-42 [Conf]
  30. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
    Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:252-262 [Conf]
  31. Ernst-Rüdiger Olderog
    A Characterization of Hoare's Logic for Programs with Pascal-like Procedures [Citation Graph (0, 0)][DBLP]
    STOC, 1983, pp:320-329 [Conf]
  32. Ernst-Rüdiger Olderog, Stephan Rössig
    A Case Study in Transformational Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:90-104 [Conf]
  33. Ernst-Rüdiger Olderog
    Combining Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:192- [Conf]
  34. John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
    Hiding in Stream Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:5, pp:381-397 [Journal]
  35. Ernst-Rüdiger Olderog
    Sound and Complete Hoare-like Calculi Based on Copy Rules. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:16, n:, pp:161-197 [Journal]
  36. Ernst-Rüdiger Olderog, C. A. R. Hoare
    Specification-Oriented Semantics for Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:23, n:1, pp:9-66 [Journal]
  37. Michael Schenke, Ernst-Rüdiger Olderog
    Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:1, pp:1-65 [Journal]
  38. 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]
  39. Ernst-Rüdiger Olderog
    Translation and Optimization in the Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
  40. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
    Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1988, v:36, n:2, pp:158-224 [Journal]
  41. Ernst-Rüdiger Olderog, Henning Dierks
    Moby/RT: A Tool for Specification and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:2, pp:88-105 [Journal]
  42. Jochen Hoenicke, Ernst-Rüdiger Olderog
    CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:301-334 [Journal]
  43. Krzysztof R. Apt, Ernst-Rüdiger Olderog
    Proof Rules and Transformations Dealing with Fairness. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1983, v:3, n:1, pp:65-100 [Journal]
  44. Ernst-Rüdiger Olderog, Heike Wehrheim
    Specification and (property) inheritance in CSP-OZ. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:227-257 [Journal]
  45. Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog
    Readies and Failures in the Algebra of Communicating Processes. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1988, v:17, n:6, pp:1134-1177 [Journal]
  46. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
    Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:87-112 [Journal]
  47. Ernst-Rüdiger Olderog
    On the Notion of Expressiveness and the Rule of Adaption. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:24, n:, pp:337-347 [Journal]
  48. Ernst-Rüdiger Olderog
    Correctnes of Programs with Pascal-Like Procedures without Global Variables. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:30, n:, pp:49-90 [Journal]
  49. Ernst-Rüdiger Olderog
    Correctness of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:80, n:2, pp:263-288 [Journal]
  50. Ernst-Rüdiger Olderog, Krzysztof R. Apt
    Fairness in Parallel Programs: The Transformational Approach. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:3, pp:420-455 [Journal]
  51. Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz
    Automating Verification of Cooperation, Control, and Design in Traffic Applications. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:115-169 [Conf]
  52. Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
    SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). [Citation Graph (0, 0)][DBLP]
    it - Information Technology, 2007, v:49, n:2, pp:118-0 [Journal]

  53. Modular Verification of Recursive Programs. [Citation Graph (, )][DBLP]


  54. Explicit Fair Scheduling for Dynamic Control. [Citation Graph (, )][DBLP]


  55. Kleene, Rabin, and Scott Are Available. [Citation Graph (, )][DBLP]


  56. Formal methods in real-time systems. [Citation Graph (, )][DBLP]


  57. Fairness for Dynamic Control. [Citation Graph (, )][DBLP]


  58. Modular Verification of Recursive Programs [Citation Graph (, )][DBLP]


  59. Verification of Object-Oriented Programs: a Transformational Approach [Citation Graph (, )][DBLP]


  60. Automatic Verification of Combined Specifications: An Overview. [Citation Graph (, )][DBLP]


Search in 0.863secs, Finished in 0.867secs
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