Frank A. Stomp

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