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