2008 |
24 | EE | Chunbo Chu,
Monica Brockmeyer:
Predicate Detection Modality and Semantics in Three Partially Synchronous Models.
ACIS-ICIS 2008: 444-450 |
23 | EE | Dapeng Liu,
Shaochun Xu,
Monica Brockmeyer:
Investigation on Academic Research Software Development.
CSSE (2) 2008: 626-630 |
22 | EE | Jawwad Shamsi,
Monica Brockmeyer:
Efficient and dependable overlay networks.
IPDPS 2008: 1-8 |
2007 |
21 | EE | Jawwad Shamsi,
Monica Brockmeyer:
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths.
HASE 2007: 187-196 |
20 | EE | 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 | EE | Jawwad Shamsi,
Monica Brockmeyer:
PSON: predictable service overlay networks.
SIGMETRICS Performance Evaluation Review 35(3): 72-74 (2007) |
2006 |
17 | EE | Ben Temkow,
Anne-Marie Bosneag,
Xinjie Li,
Monica Brockmeyer:
PaxonDHT: Achieving Consensus in Distributed Hash Tables.
SAINT 2006: 236-244 |
2005 |
16 | EE | Jawwad Shamsi,
Chunbo Chu,
Monica Brockmeyer:
Towards Partially Synchronous Overlays: Issues and Challenges.
AAA-IDEA 2005: 10-17 |
15 | EE | 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 | EE | Anne-Marie Bosneag,
Monica Brockmeyer:
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.
ECBS 2005: 33-40 |
12 | EE | Xinjie Li,
Monica Brockmeyer:
Brief announcement: controlled quorum selection in arbitrary topologies.
PODC 2005: 321 |
11 | EE | Anne-Marie Bosneag,
Monica Brockmeyer:
GRACE: Enabling collaborations in wide-area distributed systems.
WETICE 2005: 72-77 |
2004 |
10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Monica Brockmeyer:
Using Modechart Modules for Testing Formal Specifications.
HASE 1999: 20-26 |
1997 |
3 | EE | 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 | EE | 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 | EE | Paul A. Jensen,
Monica Brockmeyer,
Nandit Soparkar:
Performance aspects of dynamic re-allocation for partitioned data.
CASCON 1996: 15 |