Publications

Members
Research
Meetings
Publications
Contact Info

This page contains some publications within our research group. The most recent publications are listed first. Whenever possible a link is provided.

bulletBesta, 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.
 
bulletBesta, 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.
 
bulletSylla, 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.
 
bulletDolev, S. and F. Stomp: Safety Assurance via On-Line Monitoring. In Distributed Computing 16(4), 269-277, 2003.
 
bulletStomp, F.: Correctness of Substring-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. In Theoretical Computer Science 290(1), 59-78, 2003.
 
bulletBesta, 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.
 
bulletDolev, 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.
 
bulletStomp, F. and G. Taubenfeld: Constructing a Reliable Test & Set Bit. In IEEE Transactions on Parallel and Distributed Systems 10(3), 252-265, 1999.
 
bulletFelty, A. and F. Stomp: Cache Coherency in SCI: Specification and a Sketch of Correctness. In Formal Aspects of Computing 11(5), 475-497, 1999.

Home | Members | Research | Meetings | Publications | Contact Info

For problems or questions regarding this web contact besta@cs.wayne.edu.
Last updated: 09/20/06.