The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Monica Brockmeyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002