 | 2012 |
| 29 |  | Jawwad Shamsi,
Monica Brockmeyer:
Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management.
J. Parallel Distrib. Comput. 72(1): 70-82 (2012) |
| 2010 |
| 28 |  | Jawwad Shamsi,
Monica Brockmeyer:
Evaluation of QoS-compliant overlays under denial of service attacks.
SpringSim 2010: 102 |
| 27 |  | Chunbo Chu,
Monica Brockmeyer:
Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed Systems.
Agent and Multi-agent Technology for Internet and Enterprise Systems 2010: 257-274 |
| 26 |  | Chunbo Chu,
Monica Brockmeyer:
Eventually perfect predicate detection in crash-affected finite average response time systems.
IJPEDS 25(1): 37-50 (2010) |
| 2009 |
| 25 |  | Jawwad Shamsi,
Monica Brockmeyer:
QoSMap: Achieving Quality and Resilience through Overlay Construction.
ICIW 2009: 58-67 |
| 2008 |
| 24 |  | Chunbo Chu,
Monica Brockmeyer:
Predicate Detection Modality and Semantics in Three Partially Synchronous Models.
ACIS-ICIS 2008: 444-450 |
| 23 |  | Dapeng Liu,
Shaochun Xu,
Monica Brockmeyer:
Investigation on Academic Research Software Development.
CSSE (2) 2008: 626-630 |
| 22 |  | Jawwad Shamsi,
Monica Brockmeyer:
Efficient and dependable overlay networks.
IPDPS 2008: 1-8 |
| 2007 |
| 21 |  | Jawwad Shamsi,
Monica Brockmeyer:
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths.
HASE 2007: 187-196 |
| 20 |  | Xinjie Li,
Monica Brockmeyer:
Fast Failure Detection in a Process Group.
IPDPS 2007: 1-10 |
| 19 |  | Chunbo Chu,
Monica Brockmeyer:
Real-time predicate detection in timed asynchronous systems.
ISCA PDCS 2007: 193-199 |
| 18 |  | Jawwad Shamsi,
Monica Brockmeyer:
PSON: predictable service overlay networks.
SIGMETRICS Performance Evaluation Review 35(3): 72-74 (2007) |
| 2006 |
| 17 |  | Ben Temkow,
Anne-Marie Bosneag,
Xinjie Li,
Monica Brockmeyer:
PaxonDHT: Achieving Consensus in Distributed Hash Tables.
SAINT 2006: 236-244 |
| 2005 |
| 16 |  | Jawwad Shamsi,
Chunbo Chu,
Monica Brockmeyer:
Towards Partially Synchronous Overlays: Issues and Challenges.
AAA-IDEA 2005: 10-17 |
| 15 |  | Xinjie Li,
Monica Brockmeyer:
Server selection with arbitrary distribution.
CollaborateCom 2005 |
| 14 |  | Chunbo Chu,
Monica Brockmeyer:
Fast Online Predicate Detection Using Symbolic Model Checking.
Computers and Their Applications 2005: 470-477 |
| 13 |  | Anne-Marie Bosneag,
Monica Brockmeyer:
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.
ECBS 2005: 33-40 |
| 12 |  | Xinjie Li,
Monica Brockmeyer:
Brief announcement: controlled quorum selection in arbitrary topologies.
PODC 2005: 321 |
| 11 |  | Anne-Marie Bosneag,
Monica Brockmeyer:
GRACE: Enabling collaborations in wide-area distributed systems.
WETICE 2005: 72-77 |
| 2004 |
| 10 |  | Anne-Marie Bosneag,
Yong Xi,
Xinjie Li,
Monica Brockmeyer:
Adaptive congestion control for hotspot management in structured peer-to-peer systems.
CCGRID 2004: 82-89 |
| 9 |  | Monica Brockmeyer,
Chunbo Chu:
Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure.
PODC 2004: 389 |
| 8 |  | Anne-Marie Bosneag,
Monica Brockmeyer:
Consistency-based routing in overlay networks.
Parallel and Distributed Computing and Networks 2004: 607-612 |
| 2002 |
| 7 |  | Anne-Marie Bosneag,
Monica Brockmeyer:
A Formal Model for Eventual Consistency Semantics.
IASTED PDCS 2002: 204-209 |
| 2001 |
| 6 |  | Douglas A. Stuart,
Monica Brockmeyer,
Aloysius K. Mok,
Farnam Jahanian:
Simulation-Verification: Biting at the State Explosion Problem.
IEEE Trans. Software Eng. 27(7): 599-617 (2001) |
| 2000 |
| 5 |  | Monica Brockmeyer,
Farnam Jahanian,
Constance L. Heitmeyer,
Elly Winner:
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
IEEE Trans. Computers 49(11): 1184-1201 (2000) |
| 1999 |
| 4 |  | Monica Brockmeyer:
Using Modechart Modules for Testing Formal Specifications.
HASE 1999: 20-26 |
| 1997 |
| 3 |  | Monica Brockmeyer,
Farnam Jahanian,
Elly Winner,
Constance L. Heitmeyer,
Bruce G. Labaw:
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.
HASE 1997: 78-84 |
| 2 |  | Monica Brockmeyer,
Farnam Jahanian,
Constance L. Heitmeyer,
Bruce G. Labaw:
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
IEEE Real Time Technology and Applications Symposium 1997: 125-135 |
| 1996 |
| 1 |  | Paul A. Jensen,
Monica Brockmeyer,
Nandit Soparkar:
Performance aspects of dynamic re-allocation for partitioned data.
CASCON 1996: 15 |