dblp.uni-trier.dewww.uni-trier.de

Frank A. Stomp

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
24EEMilos Besta, Frank A. Stomp: An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. ICECCS 2006: 199-208
2005
23EEMaty Sylla, Frank A. Stomp, Willem P. de Roever: Verifying Parameterized Refinement. ICECCS 2005: 313-321
22EEMilos 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
21EEShlomi 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
19EEMilos Besta, Frank A. Stomp: Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. ICECCS 2002: 68-77
2001
18EEShlomi Dolev, Frank A. Stomp: Safety Assurance via On-Line Monitoring. ISADS 2001: 101-
1999
17EEAmy P. Felty, Frank A. Stomp: Cache Coherency in SCI: Specification and a Sketch of Correctness. Formal Asp. Comput. 11(5): 475-497 (1999)
16EEFrank 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

Coauthor Index

1Milos Besta [19] [22] [24]
2Ramesh Bharadwaj [11]
3Frank S. de Boer [14]
4Shlomi Dolev [18] [21]
5Amy P. Felty [11] [15] [17]
6Nissim Francez [14]
7Rob Gerth [2]
8Ulrich Hannemann [13]
9Douglas J. Howe [15]
10M. van Hulst [14]
11Yassine Lakhnech [13]
12Helmuth Partsch [5]
13Willem P. de Roever [1] [2] [3] [9] [13] [23]
14Michael Siegel [10]
15Maty Sylla [23]
16Gadi Taubenfeld [12] [16]
17Job Zwiers [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)