@inproceedings(arnold08qvm,
 author       = "Matthew Arnold and Martin Vechev and Eran Yahav",
 year         = "2008",
 title        = "{QVM}: An Efficient Runtime for Detecting Defects in Deployed Systems",
 booktitle    = "Proc.\ 23rd ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2008)",
 publisher    = "ACM",
 pages        = "143--162",
 doi          = "10.1145/1449955.1449776",
)
@inproceedings(Barringer2010a,
 author       = "H. Barringer and Y. Falcone and B. Finkbeiner and K. Havelund and I. Lee and G.J. Pace and G. Rosu and O. Sokolsky and N. Tillmann",
 year         = "2010",
 title        = "Preface",
 booktitle    = "Proc. of RV 2010, the First International Conference on Runtime Verification, St. Julians, Malta, November 1-4, 2010",
 series       = "Lecture Notes in Computer Science",
 volume       = "6418",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-16612-9",
)
@inproceedings(Bartocci2012,
 author       = "E. Bartocci and R. Grosu and A. Karmarkar and S. A. Smolka and S. D. Stoller and E. Zadok and J. Seyster",
 year         = "2012",
 title        = "Adaptive Runtime Verification",
 booktitle    = "Proc. of RV 2012, the third International Conference on Runtime Verification, September, 2012 Istanbul, Turkey",
 series       = "Lecture Notes in Computer Science",
 volume       = "7687",
 publisher    = "Springer",
 pages        = "168--182",
 doi          = "10.1007/978-3-642-35632-2\_18",
)
@inproceedings(Bonakdarpour2011,
 author       = "B. Bonakdarpour and S. Navabpour and S. Fischmeister",
 year         = "2011",
 title        = "Sampling-{B}ased {R}untime {V}erification",
 booktitle    = "Proc. FM 2011: Formal Methods, the 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011",
 series       = "Lecture Notes in Computer Science",
 volume       = "6664",
 publisher    = "Springer",
 pages        = "88--102",
 doi          = "10.1007/978-3-642-21437-0\_9",
)
@incollection(Clarke1982,
 author       = "E. M. Clarke and E. Emerson",
 year         = "1982",
 title        = "Design and {S}ynthesis of {S}ynchronization {S}keletons {U}sing {B}ranching {T}ime {T}emporal {L}ogic",
 editor       = "Dexter Kozen",
 booktitle    = "Logics of Programs",
 series       = "Lecture Notes in Computer Science",
 volume       = "131",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "52--71",
 doi          = "10.1007/BFb0025774",
)
@inproceedings(fei06artemis,
 author       = "L. Fei and S.P. Midkiff",
 year         = "2006",
 title        = "Artemis: {Practical} Runtime Monitoring of Applications for Execution Anomalies",
 booktitle    = "Proc.\ 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2006)",
 publisher    = "ACM",
 address      = "Ottawa, Canada",
 pages        = "84--95",
 doi          = "10.1145/1133981.1133992",
)
@inproceedings(Gordon1993,
 author       = "N.J. Gordon and D.J. Salmond and A.F.M. Smith",
 year         = "1993",
 title        = "Novel approach to nonlinear/non-{Gaussian} {Bayesian} state estimation",
 booktitle    = "IEEE Proceedings on Radar and Signal Processing",
 volume       = "140",
 publisher    = "IEEE",
 pages        = "107--127",
)
@inproceedings(hauswirth04leak,
 author       = "M. Hauswirth and T. M. Chilimbi",
 year         = "2004",
 title        = "Low-Overhead Memory Leak Detection using Adaptive Statistical Profiling",
 booktitle    = "Proc.\ 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004)",
 pages        = "156--164",
 doi          = "10.1145/1024393.1024412",
)
@article(Havelund2002a,
 author       = "K. Havelund and G. Rosu",
 year         = "2002",
 title        = "Runtime {V}erification, {RV} 2002: Preface",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "70",
 number       = "4",
 pages        = "201--202",
 doi          = "10.1016/S1571-0661(05)80585-7",
)
@article(Huang2012,
 author       = "X. Huang and J. Seyster and S. Callanan and K. Dixit and R. Grosu and S. A. Smolka and S. D. Stoller and E. Zadok",
 year         = "2012",
 title        = "Software Monitoring with Controllable Overhead",
 journal      = "STTT",
 volume       = "14",
 number       = "3",
 pages        = "327--347",
 doi          = "10.1007/s10009-010-0184-4",
)
@inproceedings(Kalajdzic2013,
 author       = "K. Kalajdzic and E. Bartocci and S. A. Smolka and Scott Stoller and G. Grosu",
 year         = "2013",
 title        = "Runtime {V}erification with {P}article {F}iltering",
 booktitle    = "Proc. of RV 2013, the fourth International Conference on Runtime Verification, INRIA Rennes, France, 24-27 September, 2013",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 pages        = "To Appear",
)
@incollection(Queille1982,
 author       = "J.P. Queille and J. Sifakis",
 year         = "1982",
 title        = "Specification and verification of concurrent systems in {CESAR}",
 booktitle    = "Proc. of the 5th Colloquium on International Symposium on Programming",
 publisher    = "Springer-Verlag",
 pages        = "337--351",
 doi          = "10.1007/3-540-11494-7\_22",
)
@article(rabiner89tutorial,
 author       = "Lawrence R. Rabiner",
 year         = "1989",
 title        = "A Tutorial on Hidden {Markov} Models and Selected Applications in Speech Recognition",
 journal      = "Proceedings of the IEEE",
 volume       = "77",
 number       = "2",
 pages        = "257--286",
 doi          = "10.1109/5.18626",
)
@book(russellnorvig,
 author       = "Stuart Russell and Peter Norvig",
 year         = "2010",
 title        = "Artificial Intelligence: {A} Modern Approach",
 edition      = "3rd",
 publisher    = "Prentice-Hall",
)
@inproceedings(Stoller2011,
 author       = "S. D. Stoller and E. Bartocci and J. Seyster and R. Grosu and K. Havelund and S. A. Smolka and E. Zadok",
 year         = "2011",
 title        = "Runtime {V}erification with {S}tate {E}stimation",
 booktitle    = "Proc. of RV 2011, the Second international conference on Runtime verification, San Francisco, CA, USA",
 series       = "Lecture Notes in Computer Science",
 volume       = "7186",
 publisher    = "Springer-Verlag",
 pages        = "193--207",
 doi          = "10.1007/978-3-642-29860-8\_15",
)