Brockmeyer, Monica - Department of Computer Science, Wayne State University

Advanced Search

Brockmeyer, Monica - Department of Computer Science, Wayne State University

GRACE: Enabling collaborations in wide-area distributed systems Anne-Marie Bosneag, Monica Brockmeyer
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
Brief Announcement: Controlled Quorum Selection in Arbitrary Topologies
Abstract--This paper describes a data aggregation and consensus algorithm for object location and tracking applications
Brief Announcement: The Design of an Internet-Scale Monitoring and Assertion-Checking Infrastructure
Simulation-Verification: Biting at the State Explosion Problem
TACON: TActical Construction of Overlay Networks Jawwad Shamsi, Liya Abebe, Monica Brockmeyer
PaxonDHT: Achieving Consensus in Distributed Hash Tables
Partially Synchronous Overlays: Issues and Challenges Jawwad Shamsi, Chunbo Chu and Monica Brockmeyer
A Unified Formal Specification For a Multi-consistency Replication System For DHTs
The Design of an Internet-Scale Monitoring and Assertion-Checking Infrastructure
CONSISTENCY-BASED ROUTING IN OVERLAY NETWORKS Anne-Marie Bosneag
A FORMAL MODEL FOR EVENTUAL CONSISTENCY SEMANTICS Anne-Marie Bosneag
Automatic Abstractions of Real-Time Specifications Monica Brockmeyer
Performance Aspects of Dynamic Re-allocation for Partitioned Data
A Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
DSSimulator: Achieving Million Node Simulation of Distributed Systems Jawwad Shamsi, Monica Brockmeyer
Using Modechart Modules for Testing Formal Speci cations Monica Brockmeyer
!#"$%"&#'#() 010234"5687@9A#2BDC!"&#' EGFH2BIP7RQS"&TU2 V!W23X"$Y`Xa1"b!#0