my-publications-underReview.bib

@comment{{This file has been generated by bib2bib 1.92}}

@comment{{Command line: bib2bib -c '$type = "UNPUBLISHED"' -ob my-publications-underReview.bib my-publications.bib}}

@unpublished{BCG+11mrt,
  author = {Ingram Bondin and Christian Colombo and Andrew Gauci and Gordon J. Pace and Gerardo Schneider},
  title = {Monitoring Real-Time Properties with Overhead Guarantees},
  optmonth = {},
  optpublisher = {IEEE},
  optvolume = {},
  optnumber = {},
  optpages = {},
  year = {2011},
  optjournal = {Transactions on Software Engineering},
  note = {Submitted to IEEE Transactions on Software Engineering. Submitted Sep 2010; Revised Apr 2011},
  issn = {},
  isbn = {},
  abstract = {Although the use of runtime verification has recently increased as a lightweight formal verification approach, major challenges still exist in applying such technique to real-time systems due to the overhead induced on the system by monitoring.  In this paper, we focus on runtime monitoring of real-time properties and analysis to enable guarantees about the overheads induced through monitoring.  In particular, we provide two types of guarantees: given a system property, we present an analysis to decide whether the property satisfaction or violation is affected by system slowdown or speedup, and for more stringent conditions, we enable guaranteeing an upper-bound on overhead incurred in monitoring a particular property. The framework is embodied in the tool LARVA, which we have extended to reason about statistical properties, and which has been applied to a number of industrial systems.}
}

This file was generated by bibtex2html 1.92.