The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Willem P. de Roever: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cornelis Huizing, Rob Gerth, Willem P. de Roever
    Modeling Statecharts Behaviour in a Fully Abstract Way. [Citation Graph (1, 0)][DBLP]
    CAAP, 1988, pp:271-294 [Conf]
  2. Ron Koymans, Willem P. de Roever
    Examples of a Real-Time Temporal Logic Specification. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:231-251 [Conf]
  3. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Compositional Operational Semantics for JavaMT. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:290-303 [Conf]
  4. Frank S. de Boer, Willem P. de Roever
    Compositional Proof Methods for Concurrency: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:632-646 [Conf]
  5. Willem P. de Roever
    The Need for Compositional Proof Systems: A Survey. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:1-22 [Conf]
  6. Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska
    Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    EDCC, 1994, pp:59-76 [Conf]
  7. Antonio Cau, Willem P. de Roever
    A Dense-Time Temporal Logic with Nice Compositionality Properties. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1997, pp:123-145 [Conf]
  8. Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
    Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:3-5 [Conf]
  9. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
    A Compositional Proof System for Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:515-532 [Conf]
  10. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
    Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1245-1265 [Conf]
  11. Antonio Cau, Willem P. de Roever
    Using Relative Refinement for Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:19-41 [Conf]
  12. Kai Engelhardt, Willem P. de Roever
    Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:294-313 [Conf]
  13. Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp
    Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:595-608 [Conf]
  14. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Tool-Supported Proof System for Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:1-32 [Conf]
  15. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Monitors in Java. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:155-169 [Conf]
  16. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Verification for Java's Reentrant Multithreading Concept. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:5-20 [Conf]
  17. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
    Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:267-283 [Conf]
  18. Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever
    Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:80-95 [Conf]
  19. Antonio Cau, Willem P. de Roever
    Specifying Fault Tolerance within Stark's Formalism. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:392-401 [Conf]
  20. Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst
    Compositionality in Real-Time Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:420-439 [Conf]
  21. Marly Roncken, Rob Gerth, Willem P. de Roever
    A Proof System for Brinch Hansen's Distributed Processes. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:88-95 [Conf]
  22. J. W. de Bakker, Willem P. de Roever
    A Calculus for Recursive Program Schemes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1972, pp:167-196 [Conf]
  23. Willem P. de Roever
    Recursion and Parameter Mechanisms: An Axiomatic Approach. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:34-65 [Conf]
  24. Willem P. de Roever
    On Backtracking and Greatest Fixpoints. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:412-429 [Conf]
  25. Job Zwiers, Willem P. de Roever, Peter van Emde Boas
    Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:509-519 [Conf]
  26. Frank A. Stomp, Willem P. de Roever
    A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). [Citation Graph (0, 0)][DBLP]
    ICDCS, 1987, pp:440-447 [Conf]
  27. Maty Sylla, Frank A. Stomp, Willem P. de Roever
    Verifying Parameterized Refinement. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:313-321 [Conf]
  28. Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever
    29 New Unclarities in the Semantics of UML 2.0 State Machines. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:52-65 [Conf]
  29. Willem P. de Roever
    Process Constructors and Interpretations - Response. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:515-518 [Conf]
  30. Willem P. de Roever
    A Formalism for Reasoning about Fair Termination. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:113-121 [Conf]
  31. Job Zwiers, Arie de Bruin, Willem P. de Roever
    A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:513-527 [Conf]
  32. Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
    Compositional Semantics for Real-time Distributed Computing. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:167-189 [Conf]
  33. Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
    The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:343-353 [Conf]
  34. Kai Engelhardt, Willem P. de Roever
    Simulation of Specification Statements in Hoare Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:324-335 [Conf]
  35. Nissim Francez, C. A. R. Hoare, Willem P. de Roever
    Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:191-200 [Conf]
  36. Willem P. de Roever
    Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. [Citation Graph (0, 0)][DBLP]
    MFCS, 1973, pp:293-298 [Conf]
  37. Willem P. de Roever
    Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:451-463 [Conf]
  38. Willem P. de Roever
    First-Order Reductions of Call-by-Name to Call-by-Value. [Citation Graph (0, 0)][DBLP]
    MFCS, 1975, pp:377-398 [Conf]
  39. Willem P. de Roever
    Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:472-481 [Conf]
  40. Ron Koymans, Jan Vytopil, Willem P. de Roever
    Real-Time Programming and Asynchronous Message Passing. [Citation Graph (0, 0)][DBLP]
    PODC, 1983, pp:187-197 [Conf]
  41. Job Zwiers, Willem P. de Roever
    Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:265-279 [Conf]
  42. Cornelis Huizing, Rob Gerth, Willem P. de Roever
    Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:223-237 [Conf]
  43. Stanley Lee, Willem P. de Roever, Susan L. Gerhart
    The Evolution of List-Copying Algorithms. [Citation Graph (0, 0)][DBLP]
    POPL, 1979, pp:53-67 [Conf]
  44. Rob Gerth, Willem P. de Roever, Marly Roncken
    Procedures and concurrency: A study in proof. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:132-163 [Conf]
  45. Willem P. de Roever, Jozef Hooman
    Design and verification in real-time distributed computing: an introduction to compositional methods. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:37-56 [Conf]
  46. Job Zwiers, Willem P. de Roever
    Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:351-374 [Conf]
  47. Frank A. Stomp, Willem P. de Roever
    Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    WDAG, 1989, pp:242-253 [Conf]
  48. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Exceptions in Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:281-297 [Journal]
  49. Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
    Compositional Operational Semantics of a UML-Kernel-Model Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:79-96 [Journal]
  50. Kai Engelhardt, Willem P. de Roever
    Towards a Practitioners' Approach to Abadi and Lamport's Method. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:550-575 [Journal]
  51. Frank A. Stomp, Willem P. de Roever
    A Principle for Sequential Reasoning about Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:716-737 [Journal]
  52. Qiwen Xu, Willem P. de Roever, Jifeng He
    The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:2, pp:149-174 [Journal]
  53. Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever
    A Proof Rule for Fair Termination of Guarded Commands [Citation Graph (0, 0)][DBLP]
    Information and Control, 1985, v:66, n:1/2, pp:83-102 [Journal]
  54. Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
    Compositional Semantics for Real-Time Distributed Computing [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:79, n:3, pp:210-256 [Journal]
  55. Frank A. Stomp, Willem P. de Roever, Rob Gerth
    The upsilon-Calculus as an Assertion-Language for Fairness Arguments [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:82, n:3, pp:278-322 [Journal]
  56. Cornelis Huizing, Willem P. de Roever
    Introduction to Design Choices in the Semantics of Statecharts. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:37, n:4, pp:205-213 [Journal]
  57. Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever
    Semantics of Nondeterminism, Concurrency, and Communication. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1979, v:19, n:3, pp:290-308 [Journal]
  58. Marcel Kyas, Frank S. de Boer, Willem P. de Roever
    A Compositional Trace Logic for Behavioural Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:2, pp:116-132 [Journal]
  59. N. W. P. van Diepen, Willem P. de Roever
    Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:6, n:3, pp:213-272 [Journal]
  60. Rob Gerth, Willem P. de Roever
    A Proof System for Concurrent ADA Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1984, v:4, n:2, pp:159-204 [Journal]
  61. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    An assertion-based proof system for multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:251-290 [Journal]
  62. Jozef Hooman, S. Ramesh, Willem P. de Roever
    A Compositional Axiomatization of Statecharts. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:101, n:2, pp:289-335 [Journal]
  63. Krzysztof R. Apt, Nissim Francez, Willem P. de Roever
    A Proof System for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:359-385 [Journal]

Search in 0.008secs, Finished in 0.012secs
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