![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Monica Brockmeyer
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1999
- [b1]Monica Brockmeyer:
Monitoring, testing, and abstractions of real -time specifications. University of Michigan, USA, 1999
Journal Articles
- 2012
- [j5]Jawwad Shamsi, Monica Brockmeyer:
Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management. J. Parallel Distributed Comput. 72(1): 70-82 (2012) - 2010
- [j4]Chunbo Chu, Monica Brockmeyer:
Eventually perfect predicate detection in crash-affected finite average response time systems. Int. J. Parallel Emergent Distributed Syst. 25(1): 37-50 (2010) - 2007
- [j3]Jawwad Shamsi, Monica Brockmeyer:
PSON: predictable service overlay networks. SIGMETRICS Perform. Evaluation Rev. 35(3): 72-74 (2007) - 2001
- [j2]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
- [j1]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)
Conference and Workshop Papers
- 2015
- [c32]Grace Metri, Weisong Shi
, Monica Brockmeyer:
Energy-Efficiency Comparison of Mobile Platforms and Applications: A Quantitative Approach. HotMobile 2015: 39-44 - 2014
- [c31]Grace Metri, Weisong Shi, Monica Brockmeyer, Abhishek Agrawal:
BatteryExtender: an adaptive user-guided tool for power management of mobile devices. UbiComp 2014: 33-43 - 2012
- [c30]Grace Metri, Soumyasudharsan Srinivasaraghavan, Weisong Shi, Monica Brockmeyer:
Experimental Analysis of Application Specific Energy Efficiency of Data Centers with Heterogeneous Servers. IEEE CLOUD 2012: 786-793 - [c29]Grace Metri, Abhishek Agrawal, Ramesh Peri, Monica Brockmeyer, Weisong Shi:
A simplistic way for power profiling of mobile devices. ICEAC 2012: 1-6 - 2010
- [c28]Jawwad Shamsi, Monica Brockmeyer:
Evaluation of QoS-compliant overlays under denial of service attacks. SpringSim 2010: 102 - 2009
- [c27]Jawwad Shamsi, Monica Brockmeyer:
QoSMap: Achieving Quality and Resilience through Overlay Construction. ICIW 2009: 58-67 - 2008
- [c26]Chunbo Chu, Monica Brockmeyer:
Predicate Detection Modality and Semantics in Three Partially Synchronous Models. ACIS-ICIS 2008: 444-450 - [c25]Dapeng Liu, Shaochun Xu, Monica Brockmeyer:
Investigation on Academic Research Software Development. CSSE (2) 2008: 626-630 - [c24]Jawwad Shamsi, Monica Brockmeyer:
Efficient and dependable overlay networks. IPDPS 2008: 1-8 - 2007
- [c23]Chunbo Chu, Monica Brockmeyer:
Real-time predicate detection in timed asynchronous systems. PDCS 2007: 193-199 - [c22]Jawwad Shamsi, Monica Brockmeyer:
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. HASE 2007: 187-196 - [c21]Xinjie Li, Monica Brockmeyer:
Fast Failure Detection in a Process Group. IPDPS 2007: 1-10 - [c20]Jawwad Shamsi, Monica Brockmeyer, Chunbo Chu:
PSON: predictable service overlay networks. QSHINE 2007: 16 - 2006
- [c19]Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer:
PaxonDHT: Achieving Consensus in Distributed Hash Tables. SAINT 2006: 236-244 - 2005
- [c18]Jawwad Shamsi, Chunbo Chu, Monica Brockmeyer:
Towards Partially Synchronous Overlays: Issues and Challenges. AAA-IDEA 2005: 10-17 - [c17]Chunbo Chu, Monica Brockmeyer:
Fast Online Predicate Detection Using Symbolic Model Checking. CATA 2005: 470-477 - [c16]Xinjie Li, Monica Brockmeyer:
Server selection with arbitrary distribution. CollaborateCom 2005 - [c15]Anne-Marie Bosneag, Monica Brockmeyer:
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. ECBS 2005: 33-40 - [c14]Jawwad Shamsi, Monica Brockmeyer, Liya Abebe:
TACON: tactical construction of overlay networks. GLOBECOM 2005: 6 - [c13]Xinjie Li, Monica Brockmeyer:
Brief announcement: controlled quorum selection in arbitrary topologies. PODC 2005: 321 - [c12]Anne-Marie Bosneag, Monica Brockmeyer:
GRACE: Enabling collaborations in wide-area distributed systems. WETICE 2005: 72-77 - 2004
- [c11]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 - [c10]Mukul Kumar, Loren Schwiebert, Monica Brockmeyer:
Efficient data aggregation middleware for wireless sensor networks. MASS 2004: 579-581 - [c9]Anne-Marie Bosneag, Monica Brockmeyer:
Consistency-based routing in overlay networks. Parallel and Distributed Computing and Networks 2004: 607-612 - [c8]Monica Brockmeyer, Chunbo Chu:
Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure. PODC 2004: 389 - 2002
- [c7]Jon J. Brewster, Robert G. Reynolds, Monica Brockmeyer:
Not in my backyard: a simulation of the effects of agent mobility on environmental poisoning. IEEE Congress on Evolutionary Computation 2002: 849-854 - [c6]Anne-Marie Bosneag, Monica Brockmeyer:
A Formal Model for Eventual Consistency Semantics. IASTED PDCS 2002: 204-209 - 2000
- [c5]Monica Brockmeyer:
Automatic abstractions of real-time specifications. HASE 2000: 147-158 - 1999
- [c4]Monica Brockmeyer:
Using Modechart Modules for Testing Formal Specifications. HASE 1999: 20-26 - 1997
- [c3]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 - [c2]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
- [c1]Paul A. Jensen, Monica Brockmeyer, Nandit Soparkar:
Performance aspects of dynamic re-allocation for partitioned data. CASCON 1996: 15
Parts in Books or Collections
- 2010
- [p1]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
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint