{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T11:36:29Z","timestamp":1770896189016,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,5,29]],"date-time":"2015-05-29T00:00:00Z","timestamp":1432857600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10703-015-0226-3","type":"journal-article","created":{"date-parts":[[2015,5,28]],"date-time":"2015-05-28T13:38:55Z","timestamp":1432820335000},"page":"317-348","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Runtime verification with minimal intrusion through parallelism"],"prefix":"10.1007","volume":"46","author":[{"given":"Shay","family":"Berkovich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,29]]},"reference":[{"key":"226_CR1","unstructured":"Barre B, Klein M, Soucy-Boivin M, Ollivier PA, Hall\u00e9 S (2012) MapReduce for parallel trace validation of LTL properties. In: Proceedings of the 3rd international conference on runtime verification (RV), pp 184\u2013198"},{"key":"226_CR2","doi-asserted-by":"crossref","unstructured":"Basin DA, Caronni G, Ereth S, Harvan M, Klaedtke F, Mantel H (2014) Scalable offline monitoring. In: Proceedings of the 14th international conference on runtime verification (RV), pp 31\u201347","DOI":"10.1007\/978-3-319-11164-3_4"},{"issue":"4","key":"226_CR3","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer A, Leucker M, Schallhart C (2011) Runtime verification for LTL and TLTL. ACM Trans Softw Eng Methodol (TOSEM) 20(4):14:1\u201314:64","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"226_CR4","unstructured":"Bodden E (2005) J-lo-a tool for runtime-checking temporal assertions. Master\u2019s thesis, RWTH Aachen university"},{"key":"226_CR5","doi-asserted-by":"crossref","unstructured":"Bodden E (2010) Efficient hybrid typestate analysis by determining continuation-equivalent states. In: International conference on software engineering (ICSE), pp 5\u201314","DOI":"10.1145\/1806799.1806805"},{"key":"226_CR6","doi-asserted-by":"crossref","unstructured":"Bodden E, Lam P, Laurie L (2010) Clara: a framework for partially evaluating finite-state runtime monitors ahead of time. In: Rosu G, Sokolsky O (eds) Runtime verification (RV), pp 183\u2013197","DOI":"10.1007\/978-3-642-16612-9_15"},{"key":"226_CR7","doi-asserted-by":"crossref","unstructured":"Bonakdarpour B, Smolka S (eds) (2014) Proceedings of the 14th international conference on runtime verification (RV)","DOI":"10.1007\/978-3-319-11164-3"},{"key":"226_CR8","doi-asserted-by":"crossref","unstructured":"Bonakdarpour B, Navabpour S, Fischmeister S (2011) Sampling-based runtime verification. In: Butler M, Schulte W (eds) Formal methods (FM), pp 88\u2013102","DOI":"10.1007\/978-3-642-21437-0_9"},{"issue":"1","key":"226_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s10703-012-0182-0","volume":"43","author":"B Bonakdarpour","year":"2013","unstructured":"Bonakdarpour B, Navabpour S, Fischmeister S (2013) Time-triggered runtime verification. Form Methods Syst Des (FMSD) 43(1):29\u201360","journal-title":"Form Methods Syst Des (FMSD)"},{"key":"226_CR10","doi-asserted-by":"crossref","unstructured":"Chen F, Ro\u015fu G (2005) Java-MOP: a monitoring oriented programming environment for java. In: Tools and Algorithms for the construction and analysis of systems (TACAS), pp 546\u2013550","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"226_CR11","doi-asserted-by":"crossref","unstructured":"Colin S, Mariani L (2005) Run-time verification. Springer, New York (LNCS 3472, chap 18)","DOI":"10.1007\/11498490_24"},{"key":"226_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specifications for finite-state verification. In: International conference on software engineering (ICSE), pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"226_CR13","unstructured":"Elmas T, Okur S, Tasiran S (2011) Rethinking runtime verification on hundreds of cores: challenges and opportunities. Tech. Rep. UCB\/EECS-2011-74. EECS Department, University of California, Berkeley"},{"key":"226_CR14","doi-asserted-by":"crossref","unstructured":"Geist J, Rozier KY, Schumann J (2014) Runtime observer pairs and bayesian network reasoners on-board fpgas: flight-certifiable system health management for embedded systems. In: Proceedings of the 14th international conference on runtime verification (RV), pp 215\u2013230","DOI":"10.1007\/978-3-319-11164-3_18"},{"key":"226_CR15","doi-asserted-by":"crossref","unstructured":"Giannakopoulou D, Havelund K (2001) Automata-based verification of temporal properties on running programs. In: Automated software engineering (ASE), pp 412\u2013416","DOI":"10.1109\/ASE.2001.989841"},{"key":"226_CR16","doi-asserted-by":"crossref","unstructured":"Ha J, Arnold M, Blackburn SM, McKinley KS (2009) A concurrent dynamic analysis framework for multicore hardware. In: Object-oriented programming, systems, languages, and applications (OOPSLA), pp 155\u2013174","DOI":"10.1145\/1640089.1640101"},{"key":"226_CR17","doi-asserted-by":"crossref","unstructured":"Holub J, Stekr S (2009) On parallel implementations of deterministic finite automata. In: Implementation and application of automata (CIAA), pp 54\u201364","DOI":"10.1007\/978-3-642-02979-0_9"},{"issue":"3","key":"226_CR18","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s10009-010-0184-4","volume":"14","author":"X Huang","year":"2012","unstructured":"Huang X, Seyster J, Callanan S, Dixit K, Grosu R, Smolka SA, Stoller SD, Zadok E (2012) Software monitoring with controllable overhead. Softw Tools Technol Transf (STTT) 14(3):327\u2013347","journal-title":"Softw Tools Technol Transf (STTT)"},{"key":"226_CR19","unstructured":"Jin D (2012) Making runtime monitoring of parametric properties practical. PhD thesis, University of Illinois"},{"key":"226_CR20","doi-asserted-by":"crossref","unstructured":"Kupferman O, Vardi MY (1999) Model checking of safety properties. In: Computer aided verification (CAV), pp 172\u2013183","DOI":"10.1007\/3-540-48683-6_17"},{"key":"226_CR21","doi-asserted-by":"crossref","unstructured":"Legay A, Bensalem S (eds) (2013) Proceedings of the fourth international conference on runtime verification (RV)","DOI":"10.1007\/978-3-642-40787-1"},{"key":"226_CR22","doi-asserted-by":"crossref","unstructured":"Luo Q, Zhang Y, Lee C, Jin D, Meredith PN, erb nu T, Ro u G (2014) Rv-monitor: efficient parametric runtime verification with simultaneous properties. In: Bonakdarpour B, Smolka S (eds) Runtime verification, Lecture notes in computer science, vol 8734, Springer International Publishing, pp 285\u2013300, doi: 10.1007\/978-3-319-11164-3_24","DOI":"10.1007\/978-3-319-11164-3_24"},{"issue":"2","key":"226_CR23","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s10515-010-0063-y","volume":"17","author":"P Meredith","year":"2010","unstructured":"Meredith P, Jin D, Chen F, Ro\u015fu G (2010) Efficient monitoring of parametric context-free patterns. J Autom Softw Eng 17(2):149\u2013180","journal-title":"J Autom Softw Eng"},{"key":"226_CR24","doi-asserted-by":"crossref","unstructured":"Navabpour S, Joshi Y, Wu CWW, Berkovich S, Medhat R, Bonakdarpour B, Fischmeister S (2013) RiTHM: a tool for enabling time-triggered runtime verification for c programs. In: ACM international conference on foundations of software engineering (FSE), pp 603\u2013606","DOI":"10.1145\/2491411.2494596"},{"key":"226_CR25","doi-asserted-by":"crossref","unstructured":"Pellizzoni R, Meredith P, Caccamo M, Rosu G (2008) Hardware runtime monitoring for dependable COTS-based real-time embedded systems. In: Real-time systems symposium, pp 481\u2013491","DOI":"10.1109\/RTSS.2008.43"},{"key":"226_CR26","doi-asserted-by":"crossref","unstructured":"Pnueli A, Zaks A (2006) PSL model checking and run-time verification via testers. In: Symposium on formal methods (FM), pp 573\u2013586","DOI":"10.1007\/11813040_38"},{"key":"226_CR27","unstructured":"RTCA DO-178B (1992) Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics (RTCA)"},{"key":"226_CR28","doi-asserted-by":"crossref","unstructured":"Seyster J, Dixit K, Huang X, Grosu R, Havelund K, Smolka SA, Stoller SD, Zadok E (2010) Aspect-oriented instrumentation with GCC. In: Rosu G, Sokolsky O (eds) Runtime verification (RV), pp 405\u2013420","DOI":"10.1007\/978-3-642-16612-9_31"},{"key":"226_CR29","doi-asserted-by":"crossref","unstructured":"Zhu H, Dwyer MB, Goddard S (2009) Predictable runtime monitoring. In: Euromicro conference on real-time systems (ECRTS), pp 173\u2013183","DOI":"10.1109\/ECRTS.2009.23"},{"key":"226_CR30","doi-asserted-by":"crossref","unstructured":"Zilles CB, Sohi GS (2001) A programmable co-processor for profiling. In: High performance computer architecture (HPCA), pp 241\u2013253","DOI":"10.1109\/HPCA.2001.903267"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-015-0226-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-015-0226-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-015-0226-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T14:42:06Z","timestamp":1566744126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-015-0226-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,29]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["226"],"URL":"https:\/\/doi.org\/10.1007\/s10703-015-0226-3","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,29]]}}}