The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frank A. Stomp: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp
    Formalizing Inductive Proofs of Network Algorithms. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:335-349 [Conf]
  2. Amy P. Felty, Douglas J. Howe, Frank A. Stomp
    Protocol Verification in Nuprl. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:428-439 [Conf]
  3. Frank A. Stomp
    Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:176-191 [Conf]
  4. 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]
  5. Michael Siegel, Frank A. Stomp
    Extending the Limits of Sequentially Phased Reasoning. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:402-413 [Conf]
  6. 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]
  7. Milos Besta, Frank A. Stomp
    Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2002, pp:68-77 [Conf]
  8. Maty Sylla, Frank A. Stomp, Willem P. de Roever
    Verifying Parameterized Refinement. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:313-321 [Conf]
  9. Shlomi Dolev, Frank A. Stomp
    Safety Assurance via On-Line Monitoring. [Citation Graph (0, 0)][DBLP]
    ISADS, 2001, pp:101-0 [Conf]
  10. Frank A. Stomp
    Structured Design of Self-Stabilizing Programs. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1993, pp:167-176 [Conf]
  11. Frank A. Stomp, Gadi Taubenfeld
    Constructing a Reliable Test&Set Bit (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:177- [Conf]
  12. Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp
    A proof theory of asynchronously communicating sequential processes. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:49-67 [Conf]
  13. Frank A. Stomp
    A derivation of a broadcasting protocol using sequentially phased reasoning. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:19-32 [Conf]
  14. Frank A. Stomp
    A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:696-730 [Conf]
  15. 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]
  16. Shlomi Dolev, Frank A. Stomp
    Safety assurance via on-line monitoring. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2003, v:16, n:4, pp:269-277 [Journal]
  17. Amy P. Felty, Frank A. Stomp
    Cache Coherency in SCI: Specification and a Sketch of Correctness. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:5, pp:475-497 [Journal]
  18. Helmuth Partsch, Frank A. Stomp
    A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:2, pp:109-122 [Journal]
  19. 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]
  20. Milos Besta, Frank A. Stomp
    A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:1-2, pp:5-17 [Journal]
  21. 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]
  22. Frank A. Stomp
    Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:59-78 [Journal]
  23. Frank A. Stomp, Gadi Taubenfeld
    Constructing a Reliable Test&Set Bit. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:3, pp:252-265 [Journal]
  24. Milos Besta, Frank A. Stomp
    An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:199-208 [Conf]

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