A.M. Bosneag and M. Brockmeyer, Replication: Formally Specifying Multiple Consistencies, submitted to Formal Aspects of Computing.

M. Brockmeyer and A.-M. Bosneag. Massive Scale Replication. International Workshop on Data Consistency in Collaborative Systems, December, 2005. (Invited Paper)

B. Temkow, A.-M. Bosneag, X. Li, and M. Brockmeyer, PaxonDHT: Achieving Consensus in Distributed Hash Tables, The International Symposium on Applications and the Internet, January 2006.

X Li and M. Brockmeyer, Server Selection in Arbitrary Overlay Networks, submitted to Workshop on Stochasticity in Distributed Systems, December 2005.

X. Li and M. Brockmeyer, Controlled Quorum Selection in Arbitrary Topologies, Proceedings of Principles of Distributed Computing, p. 321, Las Vegas, Nevada, July, 2004.

J. Shamsi, M. Brockmeyer, and L. Abebe, TACON: TActical Construction of Overlay Networks, Towards the Automic Internet Symposium. IEEE Globecomm. St. Louis, Missouri, Nov 2005.

J. Shamsi, C. Chu, and M. Brockmeyer, Towards Partially Synchronous Overlays: Issues and Challenges, International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications (AAA IDEA), Orlando, Florida, 2005.

A.-M. Bosneag and M. Brockmeyer, GRACE: Enabling Collaboration in Wide-area Distributed Systems, Proceedings of the 3rd IEEE International Workshop on Distributed and Mobile Collaboration, Linkoping, Sweden, 2005. (Received the best paper award.)

A.-M. Bosneag and M. Brockmeyer, A Unified Formal Specification For a Multi-consistency Replication System For DHTs, International Conference and Workshop on the Engineering of Computer Based Systems, pp. 33-40, Greenbelt, Maryland, April, 2005.

J. Shamsi and M. Brockmeyer, DSSimulator: Achieving Million Node Simulation of Distributed Systems, Applied Telecommunication Symposium - Spring Simulation Multiconference, San Diego, California, April, 2005.

C. Chu and Monica Brockmeyer, Fast Online Predicate Detection Using Symbolic Model Checking, International Conference on Computers and Their Applications, New Orleans, Louisiana, pp. 470-477, March, 2005.

M. Brockmeyer and C. Chu, The Design of An Internet-Scale Monitoring and Assertion Checking Infrastructure, Proceedings of the Parallel and Distributed Computing and Systems Symposium, Boston, Massachusetts, November, 2004.

M. Kumar, L. Schwiebert, and M. Brockmeyer, Efficient Data Aggregation Middleware for Wireless Sensor Networks, Proceedings of the First International Conference on Mobile, Ad-Hoc, and Sensor Systems, pp. 579-581, Ft. Lauderdale, Florida, October, 2004.

M. Brockmeyer and C. Chu, An Internet-Scale Monitoring and Assertion Checking Infrastructure, Proceedings of Principles of Distributed Computing, p.389, St. John’s, Newfoundland, Canada, July, 2004.

A.-M. Bosneag, Y. Xi, X. Li, and M. Brockmeyer, Adaptive Congestion Control for Hotspot Management in Structured Peer-to-Peer Systems, Proceedings of the 4th IEEE/ACM International Workshop on Global and Peer-to-Peer Computing (at CCGRID 2004), pp. 82-89, April 19-22 2004, Chicago, U.S.A.

A.-M. Bosneag, and M. Brockmeyer,Consistency-Based Routing in Overlay Networks, Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2004), February 17-19 2004, Innsbruck, Austria, pg. 607 - 612.

A-M. Bosneag, and M. Brockmeyer, A Formal Model for Eventual Consistency Semantics, Proceedings of the Parallel and Distributed Computing and Systems Symposium, November, 2002. (An extended version with full proofs can be found here.)

J. Brewster, R. G. Reynolds, and M. Brockmeyer, Not in my backyard: A Simulation of the Effects of Agent Mobility on Environmental Poisoning, Conference on Evolutionary Computation, pp. 849-854, Honolulu, IEEE Press, 2002.

D. Stuart, M. Brockmeyer, A. Mok, and F. Jahanian, Simulation-Verification: Biting at the State-Space Explosion Problem. IEEE Transactions on Software Engineering, Volume 27, Issue 7, pp. 599-617, July 2001.

M. Brockmeyer, Automatic Abstractions of Real-Time Specifications, Proceedings of the High Assurance Systems Engineering Symposium. (HASE). pp. 147-158, November 2000.

M. Brockmeyer, F. Jahanian, E. Winner, C. Heitmeyer and B. Labaw. Debugging and Testing Real- Time Specifications: A Flexible, Extensible Simulation Environment for the Modechart Toolset. IEEE Transactions on Computers, Volume 49, Issue 11, pp. 1184-1201, November, 2000.

M. Brockmeyer. Abstraction Relationships for Real-Time Specifications. Proceedings of the NASA Langley Formal Methods Workshop, pp. 13-22, June 2000.

M. Brockmeyer. Using Modechart Modules for Testing Formal Specifications. Proceedings of the High Assurance Systems Engineering Workshop. (HASE). pp. 24-26, November 1999.

M. Brockmeyer, F. Jahanian, E. Winner, C. Heitmeyer and B. Labaw, A software environment for custom simulation and monitoring of real-time specifications, Proceedings of the High-Assurance Systems Engineering Workshop, pp. 78-84, August, 1997.
Summary: The testing and validation of formal specifications of high assurance real time systems requires an extensible simulation environment with support for users to generate events, customize displays, and monitor event traces. The paper describes MTSim, .....

M. Brockmeyer, F. Jahanian, C. Heitmeyer and B. Labaw. Debugging and Testing Real-Time Specifications: A Flexible, Extensible Simulation Environment for the Modechart Toolset. Proceedings of The Real-Time Technology Applications Symposium (RTAS). pp. 125-135, June 1997.

M. Brockmeyer, F. Jahanian, C. Heitmeyer, and B. Labaw. An Approach to Monitoring and Assertion-Checking Proceedings of the Distributed Real-Time Systems. Workshop on Parallel and Distributed Real-Time Systems, pp. 236-243, April, 1996.

P Jensen, M Brockmeyer, N Soparkar, Performance aspects of dynamic re-allocation for partitioned data, Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, IBM Press, 1996.