Performance aspects of dynamic re-allocation for partitioned data. - Paul A. Jensen; Monica Brockmeyer; Nandit Soparkar (CASCON, 1996)

A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. - Monica Brockmeyer; Farnam Jahanian; Elly Winner; Constance L. Heitmeyer; Bruce G. Labaw (HASE, 1997)

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. - Monica Brockmeyer; Farnam Jahanian; Constance L. Heitmeyer; Bruce G. Labaw (IEEE Real Time Technology and Applications Symposium, 1997)

Using Modechart Modules for Testing Formal Specifications. - Monica Brockmeyer (HASE, 1999)

Monitoring, testing, and abstractions of real -time specifications. - Monica Brockmeyer (1999)

Automatic abstractions of real-time specifications. - Monica Brockmeyer (HASE, 2000)

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. - Monica Brockmeyer; Farnam Jahanian; Constance L. Heitmeyer; Elly Winner (IEEE Trans. Computers, 2000)

Simulation-Verification: Biting at the State Explosion Problem. - Douglas A. Stuart; Monica Brockmeyer; Aloysius K. Mok; Farnam Jahanian (IEEE Trans. Software Eng., 2001)

Not in my backyard: a simulation of the effects of agent mobility on environmental poisoning. - Jon J. Brewster; Robert G. Reynolds; Monica Brockmeyer (IEEE Congress on Evolutionary Computation, 2002)

A Formal Model for Eventual Consistency Semantics. - Anne-Marie Bosneag; Monica Brockmeyer (IASTED PDCS, 2002)

Adaptive congestion control for hotspot management in structured peer-to-peer systems. - Anne-Marie Bosneag; Yong Xi; Xinjie Li 001; Monica Brockmeyer (CCGRID, 2004)

Efficient data aggregation middleware for wireless sensor networks. - Mukul Kumar; Loren Schwiebert; Monica Brockmeyer (MASS, 2004)

Consistency-based routing in overlay networks. - Anne-Marie Bosneag; Monica Brockmeyer (Parallel and Distributed Computing and Networks, 2004)

Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure. - Monica Brockmeyer; Chunbo Chu (PODC, 2004)

Towards Partially Synchronous Overlays: Issues and Challenges. - Jawwad Shamsi; Chunbo Chu; Monica Brockmeyer (AAA-IDEA, 2005)

Fast Online Predicate Detection Using Symbolic Model Checking. - Chunbo Chu; Monica Brockmeyer (CATA, 2005)

Server selection with arbitrary distribution. - Xinjie Li 001; Monica Brockmeyer (CollaborateCom, 2005)

A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. - Anne-Marie Bosneag; Monica Brockmeyer (ECBS, 2005)

TACON: tactical construction of overlay networks. - Jawwad Shamsi; Monica Brockmeyer; Liya Abebe (GLOBECOM, 2005)

Brief announcement: controlled quorum selection in arbitrary topologies. - Xinjie Li 001; Monica Brockmeyer (PODC, 2005)

GRACE: Enabling collaborations in wide-area distributed systems. - Anne-Marie Bosneag; Monica Brockmeyer (WETICE, 2005)

PaxonDHT: Achieving Consensus in Distributed Hash Tables. - Ben Temkow; Anne-Marie Bosneag; Xinjie Li 001; Monica Brockmeyer (SAINT, 2006)

Real-time predicate detection in timed asynchronous systems. - Chunbo Chu; Monica Brockmeyer (PDCS, 2007)

SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. - Jawwad Shamsi; Monica Brockmeyer (HASE, 2007)

Fast Failure Detection in a Process Group. - Xinjie Li 001; Monica Brockmeyer (IPDPS, 2007)

PSON: predictable service overlay networks. - Jawwad Shamsi; Monica Brockmeyer; Chunbo Chu (QSHINE, 2007)

PSON: predictable service overlay networks. - Jawwad Shamsi; Monica Brockmeyer (SIGMETRICS Perform. Evaluation Rev., 2007)

Predicate Detection Modality and Semantics in Three Partially Synchronous Models. - Chunbo Chu; Monica Brockmeyer (ACIS-ICIS, 2008)

Investigation on Academic Research Software Development. - Dapeng Liu; Shaochun Xu; Monica Brockmeyer (CSSE (2), 2008)

Efficient and dependable overlay networks. - Jawwad Shamsi; Monica Brockmeyer (IPDPS, 2008)

QoSMap: Achieving Quality and Resilience through Overlay Construction. - Jawwad Shamsi; Monica Brockmeyer (ICIW, 2009)

Evaluation of QoS-compliant overlays under denial of service attacks. - Jawwad Shamsi; Monica Brockmeyer (SpringSim, 2010)

Eventually perfect predicate detection in crash-affected finite average response time systems. - Chunbo Chu; Monica Brockmeyer (Int. J. Parallel Emergent Distributed Syst., 2010)

Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed Systems. - Chunbo Chu; Monica Brockmeyer (Agent and Multi-agent Technology for Internet and Enterprise Systems, 2010)

Experimental Analysis of Application Specific Energy Efficiency of Data Centers with Heterogeneous Servers. - Grace Metri; Soumyasudharsan Srinivasaraghavan; Weisong Shi; Monica Brockmeyer (IEEE CLOUD, 2012)

A simplistic way for power profiling of mobile devices. - Grace Metri; Abhishek Agrawal; Ramesh Peri; Monica Brockmeyer; Weisong Shi (ICEAC, 2012)

Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management. - Jawwad Shamsi; Monica Brockmeyer (J. Parallel Distributed Comput., 2012)

BatteryExtender: an adaptive user-guided tool for power management of mobile devices. - Grace Metri; Weisong Shi; Monica Brockmeyer; Abhishek Agrawal (UbiComp, 2014)

Energy-Efficiency Comparison of Mobile Platforms and Applications: A Quantitative Approach. - Grace Metri; Weisong Shi; Monica Brockmeyer (HotMobile, 2015)