Monica Brockmeyer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2015

Energy-Efficiency Comparison of Mobile Platforms and Applications: A Quantitative ApproachGrace Metri, Weisong Shi, Monica Brockmeyer. wmcsa 2015: 39-44 [doi]

2014

BatteryExtender: an adaptive user-guided tool for power management of mobile devicesGrace Metri, Weisong Shi, Monica Brockmeyer, Abhishek Agrawal. huc 2014: 33-43 [doi]

2012

2010

Eventually perfect predicate detection in crash-affected finite average response time systemsChunbo Chu, Monica Brockmeyer. paapp, 25(1):37-50, 2010. [doi]

Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed SystemsChunbo Chu, Monica Brockmeyer. In Anne Håkansson, Ronald L. Hartung, Ngoc Thanh Nguyen, editors, Agent and Multi-agent Technology for Internet and Enterprise Systems. Volume 289 of Studies in Computational Intelligence, pages 257-274, Springer, 2010. [doi]

Evaluation of QoS-compliant overlays under denial of service attacksJawwad Shamsi, Monica Brockmeyer. springsim 2010: 102 [doi]

2009

QoSMap: Achieving Quality and Resilience through Overlay ConstructionJawwad Shamsi, Monica Brockmeyer. iciw 2009: 58-67 [doi]

2008

Predicate Detection Modality and Semantics in Three Partially Synchronous ModelsChunbo Chu, Monica Brockmeyer. ACISicis 2008: 444-450 [doi]

Investigation on Academic Research Software DevelopmentDapeng Liu, Shaochun Xu, Monica Brockmeyer. csse 2008: 626-630 [doi]

Efficient and dependable overlay networksJawwad Shamsi, Monica Brockmeyer. ipps 2008: 1-8 [doi]

2007

2006

PaxonDHT: Achieving Consensus in Distributed Hash TablesBen Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer. saint 2006: 236-244 [doi]

2005

A Unified Formal Specification for a Multi-Consistency Replication System for DHTsAnne-Marie Bosneag, Monica Brockmeyer. ECBS 2005: 33-40 [doi]

GRACE: Enabling collaborations in wide-area distributed systemsAnne-Marie Bosneag, Monica Brockmeyer. wetice 2005: 72-77 [doi]

Fast Online Predicate Detection Using Symbolic Model CheckingChunbo Chu, Monica Brockmeyer. cata 2005: 470-477

Server selection with arbitrary distributionXinjie Li, Monica Brockmeyer. colcom 2005: [doi]

Brief announcement: controlled quorum selection in arbitrary topologiesXinjie Li, Monica Brockmeyer. podc 2005: 321 [doi]

Towards Partially Synchronous Overlays: Issues and ChallengesJawwad Shamsi, Chunbo Chu, Monica Brockmeyer. AAA-IDEA 2006: 10-17 [doi]

TACON: tactical construction of overlay networksJawwad Shamsi, Monica Brockmeyer, Liya Abebe. globecom 2005: 6 [doi]

2004

2002

A Formal Model for Eventual Consistency SemanticsAnne-Marie Bosneag, Monica Brockmeyer. pdcs 2002: 204-209

Not in my backyard: a simulation of the effects of agent mobility on environmental poisoningJon J. Brewster, Robert G. Reynolds, Monica Brockmeyer. cec 2002: 849-854 [doi]

2001

Simulation-Verification: Biting at the State Explosion ProblemDouglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian. TSE, 27(7):599-617, 2001. [doi]

2000

A Flexible, Extensible Simulation Environment for Testing Real-Time SpecificationsMonica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner. TC, 49(11):1184-1201, 2000. [doi]

Automatic abstractions of real-time specificationsMonica Brockmeyer. hase 2000: 147-158 [doi]

1999

Using Modechart Modules for Testing Formal SpecificationsMonica Brockmeyer. hase 1999: 20-26 [doi]

Monitoring, testing, and abstractions of real -time specificationsMonica Brockmeyer. PhD thesis, University of Michigan, USA, 1999. [doi]

1997

A. Software Environment for Custom Simulation and Monitoring of Real-Time SpecificationsMonica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw. hase 1997: 78-84 [doi]

A Flexible, Extensible Simulation Environment for Testing Real-Time SpecificationsMonica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw. rtas 1997: 125-135 [doi]

1996

Performance aspects of dynamic re-allocation for partitioned dataPaul A. Jensen, Monica Brockmeyer, Nandit Soparkar. cascon 1996: 15 [doi]

Sign in or sign up to see more results.

runs on WebDSL