Frank A. Stomp

Publication Activity (10 Years)

Years Active: 1987-2006
Publications (10 Years): 0

Publications

Milos Besta, Frank A. Stomp
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. ICECCS (2006)
Milos Besta, Frank A. Stomp
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. Formal Methods Syst. Des. 27 (1-2) (2005)
Maty Sylla, Frank A. Stomp, Willem P. de Roever
Verifying Parameterized Refinement. ICECCS (2005)
Shlomi Dolev, Frank A. Stomp
Safety assurance via on-line monitoring. Distributed Comput. 16 (4) (2003)
Frank A. Stomp
Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm. Theor. Comput. Sci. 290 (1) (2003)
Milos Besta, Frank A. Stomp
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. ICECCS (2002)
Shlomi Dolev, Frank A. Stomp
Safety Assurance via On-Line Monitoring. ISADS (2001)
Frank A. Stomp, Gadi Taubenfeld
Constructing a Reliable Test&Set Bit. IEEE Trans. Parallel Distributed Syst. 10 (3) (1999)
Amy P. Felty, Frank A. Stomp
Cache Coherency in SCI: Specification and a Sketch of Correctness. Formal Aspects Comput. 11 (5) (1999)
Amy P. Felty, Douglas J. Howe, Frank A. Stomp
Protocol Verification in Nuprl. CAV (1998)
Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp
A proof theory of asynchronously communicating sequential processes. PROCOMET (1998)
Frank A. Stomp, Gadi Taubenfeld
Constructing a Reliable Test&Set Bit (Abstract). PODC (1996)
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. FME (1996)
Ramesh Bharadwaj, Amy P. Felty, Frank A. Stomp
Formalizing Inductive Proofs of Network Algorithms. ASIAN (1995)
Frank A. Stomp, Willem P. de Roever
A Principle for Sequential Reasoning about Distributed Algorithms. Formal Aspects Comput. 6 (6) (1994)
Michael Siegel, Frank A. Stomp
Extending the Limits of Sequentially Phased Reasoning. FSTTCS (1994)
Frank A. Stomp
Structured Design of Self-Stabilizing Programs. ISTCS (1993)
Frank A. Stomp
Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version). CONCUR (1992)
Frank A. Stomp
A derivation of a broadcasting protocol using sequentially phased reasoning. PSTV (1990)
Helmuth Partsch, Frank A. Stomp
A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. Formal Aspects Comput. 2 (2) (1990)
Frank A. Stomp, Willem P. de Roever, Rob Gerth
The upsilon-Calculus as an Assertion-Language for Fairness Arguments Inf. Comput. 82 (3) (1989)
Frank A. Stomp, Willem P. de Roever
Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). WDAG (1989)
Frank A. Stomp
A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning. REX Workshop (1989)
Frank A. Stomp, Willem P. de Roever
A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). ICDCS (1987)