@inproceedings(rvIndustry2, author = "Howard Barringer and Allen Goldberg and Klaus Havelund and Koushik Sen", year = "2004", title = "Rule-Based Runtime Verification", booktitle = "Verification, Model Checking, and Abstract Interpretation (VMCAI)", series = "Lecture Notes in Computer Science", volume = "2937", pages = "44--57", doi = "10.1007/978-3-540-24622-0\_5", ) @inproceedings(conf/sefm/ColomboFMP12, author = "Christian Colombo and Adrian Francalanza and Ruth Mizzi and Gordon J. Pace", year = "2012", title = "polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.", booktitle = "Software Engineering and Formal Methods (SEFM)", series = "Lecture Notes in Computer Science", volume = "7504", publisher = "Springer", pages = "218--232", doi = "10.1007/978-3-642-33826-7\_15", ) @article(rvIndustry, author = "Christian Colombo and Gordon J. Pace and Patrick Abela", year = "2012", title = "Safer asynchronous runtime monitoring using compensations", journal = "Formal Methods in System Design", volume = "41", number = "3", pages = "269--294", doi = "10.1007/s10703-012-0142-8", ) @inproceedings(Colombo:2009:DER:1614485.1614501, author = "Christian Colombo and Gordon J. Pace and Gerardo Schneider", year = "2009", title = "Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties", booktitle = "Formal Methods for Industrial Critical Systems (FMICS)", publisher = "Springer", pages = "135--149", doi = "10.1007/978-3-642-03240-0\_13", ) @inproceedings(d'Amorim:2005:ERV:1083246.1083249, author = "Marcelo d'Amorim and Klaus Havelund", year = "2005", title = "Event-based Runtime Verification of Java Programs", booktitle = "Workshop on Dynamic Analysis (WODA)", publisher = "ACM", pages = "1--7", ) @inproceedings(FJN+11bip, author = "Yli{\`e}s Falcone and Mohamad Jaber and Thanh-Hung Nguyen and Marius Bozga and Saddek Bensalem", year = "2011", title = "Runtime Verification of Component-Based Systems", booktitle = "Software Engineering and Formal Methods (SEFM)", series = "Lecture Notes in Computer Science", volume = "7041", publisher = "Springer", pages = "204--220", doi = "10.1007/978-3-642-24690-6\_15", ) @inproceedings(choreo0, author = "Adrian Francalanza and Andrew Gauci and Gordon J. Pace", year = "2011", title = "Distributed System Contract Monitoring", booktitle = "Formal Languages and Analysis of Contract-Oriented Software (FLACOS)", series = "Electronic Proceedings in Theoretical Computer Science (EPTCS)", volume = "68", pages = "23--37", ) @inproceedings(Gan:2007:RMW:1321211.1321217, author = "Yuan Gan and Marsha Chechik and Shiva Nejati and Jon Bennett and Bill O'Farrell and Julie Waterhouse", year = "2007", title = "Runtime Monitoring of Web Service Conversations", booktitle = "Conference of the Center for Advanced Studies on Collaborative Research (CASCON)", publisher = "IBM Corp.", pages = "42--57", ) @techreport(Giannakopoulou:2001:RAL:891184, author = "Dimitra Giannakopoulou and Klaus Havelund", year = "2001", title = "Runtime Analysis of Linear Temporal Logic Specifications", type = "Technical Report", institution = "Research Institute for Advanced Computer Science (RIACS)", note = "No. 01.21", ) @article(Kim:2004:JRA:972560.972567, author = "Moonzoo Kim and Mahesh Viswanathan and Sampath Kannan and Insup Lee and Oleg Sokolsky", year = "2004", title = "Java-MaC: A Run-Time Assurance Approach for Java Programs", journal = "Formal Methods in System Design", volume = "24", number = "2", pages = "129--155", doi = "10.1023/B:FORM.0000017719.43755.7c", ) @incollection(springerlink:10.1007/978-3-540-77395-56, author = "Ingolf Kr\'{u}ger and Michael Meisinger and Massimiliano Menarini", year = "2007", title = "Runtime Verification of Interactions: From MSCs to Aspects", booktitle = "Runtime Verification (RV)", series = "Lecture Notes in Computer Science", volume = "4839", publisher = "Springer", pages = "63--74", doi = "10.1007/978-3-540-77395-5\_6", ) @article(rv, author = "Martin Leucker and Christian Schallhart", year = "2009", title = "A Brief Account of Runtime Verification", journal = "Journal of Logic and Algebraic Programming", volume = "78", number = "5", pages = "293--303", doi = "10.1016/j.jlap.2008.08.004", ) @inproceedings(1615040, author = "Z. Li and Y. Jin and J. Han", year = "2006", title = "A Runtime Monitoring and Validation Framework for Web Service Interactions", booktitle = "Australian Software Engineering Conference (ASWEC)", publisher = "IEEE Computer Society", pages = "10--79", doi = "10.1109/ASWEC.2006.6", ) @article(Meredith:2012:OMR:2215862.2215866, author = "Patrick O'Neil Meredith and Dongyun Jin and Dennis Griffith and Feng Chen and Grigore Rosu", year = "2012", title = "An Overview of the MOP Runtime Verification Framework", journal = "International Journal on Software Tools for Technology Transfer", volume = "14", number = "3", pages = "249--289", doi = "10.1007/s10009-011-0198-6", ) @inproceedings(choreo3, author = "Thomas S.Cook and Doron Drusinksy and Man-Tak Shing", year = "2007", title = "Specification, Validation and Run-time Moniroting of {SOA} Based System-of Systems Temporal Behaviors", booktitle = "System of Systems Engineering (SoSE)", publisher = "IEEE Computer Society", pages = "1--6", ) @inproceedings(choreo1, author = "Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Ro\c {s}u", year = "2004", title = "Efficient Decentralized Monitoring of Safety in Distributed Systems", booktitle = "International Conference on Software Engineering", publisher = "IEEE Computer Society", pages = "418--427", ) @inproceedings(choreo2, author = "Wenchao Zhou and Oleg Sokolsky and Boon Thau Loo and Insup Lee", year = "2009", title = "DMaC: Distributed Monitoring and Checking.", booktitle = "Runtime Verification (RV)", series = "Lecture Notes in Computer Science", volume = "5779", publisher = "Springer", pages = "184--201", doi = "10.1007/978-3-642-04694-0\_13", )