|
| |
This page contains some publications within our research group.
The most recent publications are listed first. Whenever possible a
link is provided.
 | Besta, M. and F. Stomp:
An Assertional Correctness Proof of a Self-Stabilizing ℓ-Exclusion Algorithm (Extended Abstract). In Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '06), pp. 199-208, Stanford, CA, August 2006.
|
| Besta, M. and F. Stomp:
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.
In Formal Methods in System Design 27(1-2), 5-27, 2005.
|
| Sylla, M., F. Stomp, and W-P de Roever:
Verifying
Parameterized Refinement (Extended Abstract). In Proceedings of the 10th IEEE International
Conference on Engineering of Complex Computer Systems (ICECCS '05), pp.
313-321, Shanghai, China, June 2005.
|
| Dolev, S. and F. Stomp:
Safety Assurance via On-Line Monitoring.
In
Distributed Computing 16(4), 269-277, 2003.
|
| Stomp, F.:
Correctness of Substring-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.
In
Theoretical Computer Science 290(1), 59-78, 2003.
|
| Besta, M. and F. Stomp:
Mechanization of a Proof of String-Preprocessing
in Boyer-Moore's Pattern Matching Algorithm. In Proceedings of the 8th IEEE International
Conference on Engineering of Complex Computer Systems (ICECCS '02), pp. 68-77, Greenbelt, MD, December 2002.
|
| Dolev, S. and F. Stomp: Safety
Assurance via On-Line Monitoring (Extended Abstract). In Proceedings of
the Fifth International Symposium on Autonomous Decentralized Systems (ISADS '01),
pp. 101-108, Dallas, TX, March 2001.
|
| Stomp, F. and G. Taubenfeld: Constructing
a Reliable Test & Set Bit. In IEEE Transactions on Parallel and
Distributed Systems 10(3), 252-265, 1999.
|
| Felty, A. and F. Stomp:
Cache Coherency in SCI: Specification and a Sketch of Correctness. In
Formal Aspects of Computing 11(5), 475-497, 1999. |
|
