Search the dblp DataBase

Publications of Author

1. Paul A. Jensen, Monica Brockmeyer, Nandit Soparkar
   Performance aspects of dynamic re-allocation for partitioned data. [Citation Graph (0, 0)][DBLP]
   CASCON, 1996, pp:15- [Conf]
   
2. Chunbo Chu, Monica Brockmeyer
   Fast Online Predicate Detection Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
   Computers and Their Applications, 2005, pp:470-477 [Conf]
   
3. Anne-Marie Bosneag, Yong Xi, Xinjie Li, Monica Brockmeyer
   Adaptive congestion control for hotspot management in structured peer-to-peer systems. [Citation Graph (0, 0)][DBLP]
   CCGRID, 2004, pp:82-89 [Conf]
   
4. Anne-Marie Bosneag, Monica Brockmeyer
   A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. [Citation Graph (0, 0)][DBLP]
   ECBS, 2005, pp:33-40 [Conf]
   
5. Monica Brockmeyer
   Using Modechart Modules for Testing Formal Specifications. [Citation Graph (0, 0)][DBLP]
   HASE, 1999, pp:20-26 [Conf]
   
6. Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw
   A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
   HASE, 1997, pp:78-84 [Conf]
   
7. Anne-Marie Bosneag, Monica Brockmeyer
   Consistency-based routing in overlay networks. [Citation Graph (0, 0)][DBLP]
   Parallel and Distributed Computing and Networks, 2004, pp:607-612 [Conf]
   
8. Anne-Marie Bosneag, Monica Brockmeyer
   A Formal Model for Eventual Consistency Semantics. [Citation Graph (0, 0)][DBLP]
   IASTED PDCS, 2002, pp:204-209 [Conf]
   
9. Xinjie Li, Monica Brockmeyer
   Brief announcement: controlled quorum selection in arbitrary topologies. [Citation Graph (0, 0)][DBLP]
   PODC, 2005, pp:321- [Conf]
   
10. Monica Brockmeyer, Chunbo Chu
    Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:389- [Conf]
    
11. Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw
    A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1997, pp:125-135 [Conf]
    
12. Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer
    PaxonDHT: Achieving Consensus in Distributed Hash Tables. [Citation Graph (0, 0)][DBLP]
    SAINT, 2006, pp:236-244 [Conf]
    
13. Anne-Marie Bosneag, Monica Brockmeyer
    GRACE: Enabling collaborations in wide-area distributed systems. [Citation Graph (0, 0)][DBLP]
    WETICE, 2005, pp:72-77 [Conf]
    
14. Jawwad Shamsi, Chunbo Chu, Monica Brockmeyer
    Towards Partially Synchronous Overlays: Issues and Challenges. [Citation Graph (0, 0)][DBLP]
    AAA-IDEA, 2005, pp:10-17 [Conf]
    
15. Xinjie Li, Monica Brockmeyer
    Server selection with arbitrary distribution. [Citation Graph (0, 0)][DBLP]
    CollaborateCom, 2005, pp:- [Conf]
    
16. Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner
    A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2000, v:49, n:11, pp:1184-1201 [Journal]
    
17. Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
    Simulation-Verification: Biting at the State Explosion Problem. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:7, pp:599-617 [Journal]
    
18. Chunbo Chu, Monica Brockmeyer
    Real-time predicate detection in timed asynchronous systems. [Citation Graph (0, 0)][DBLP]
    ISCA PDCS, 2007, pp:193-199 [Conf]
    
19. Xinjie Li, Monica Brockmeyer
    Fast Failure Detection in a Process Group. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-10 [Conf]
    
20. 
    Predicate Detection Modality and Semantics in Three Partially Synchronous Models. [Citation Graph (, )][DBLP]
    
    
21. 
    SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. [Citation Graph (, )][DBLP]
    
    
22. 
    Efficient and dependable overlay networks. [Citation Graph (, )][DBLP]
    
    
23. 
    QoSMap: Achieving Quality and Resilience through Overlay Construction. [Citation Graph (, )][DBLP]
    
    
24. 
    Investigation on Academic Research Software Development. [Citation Graph (, )][DBLP]