{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:53:58Z","timestamp":1725749638288},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_7","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"112-129","source":"Crossref","is-referenced-by-count":4,"title":["Synthesising Correct Concurrent Runtime Monitors"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Francalanza","sequence":"first","affiliation":[]},{"given":"Aldrin","family":"Seychell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-49019-1_4","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Aceto","year":"1999","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: Testing Hennessy-Milner Logic with Recursion. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 41\u201355. Springer, Heidelberg (1999)"},{"key":"7_CR2","unstructured":"Armstrong, J.: Programming Erlang. The Pragmatic Bookshelf (2007)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Runtime Verification","year":"2010","unstructured":"Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.): RV 2010. LNCS, vol.\u00a06418. Springer, Heidelberg (2010)"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A. Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for ltl and tltl. ACM Trans. Softw. Eng. Methodol.\u00a020, 14:1\u201314:64 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Cao, T.-D., Phan-Quang, T.-T., Felix, P., Castanet, R.: Automated runtime verification for web services. In: ICWS, pp. 76\u201382. IEEE (2010)","DOI":"10.1109\/ICWS.2010.19"},{"key":"7_CR6","unstructured":"Carlsson, R.: An introduction to core erlang. In: PLI 2001 (Erlang Workshop) (2001)"},{"key":"7_CR7","unstructured":"Cesarini, F., Thompson, S.: Erlang Programming. O\u2019Reilly (2009)"},{"key":"7_CR8","unstructured":"Clarke Jr., E., Grumberg, O., Peled, D.: Model checking. MIT Press (1999)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-29860-8_29","volume-title":"Runtime Verification","author":"C. Colombo","year":"2012","unstructured":"Colombo, C., Francalanza, A., Gatt, R.: Elarva: A monitoring tool for erlang. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 370\u2013374. Springer, Heidelberg (2012)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Colombo, C., Francalanza, A., Grima, I.: Simplifying contract-violating traces. In: FLACOS. EPTCS, vol.\u00a094, pp. 11\u201320 (2012)","DOI":"10.4204\/EPTCS.94.2"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-33826-7_15","volume-title":"Software Engineering and Formal Methods","author":"C. Colombo","year":"2012","unstructured":"Colombo, C., Francalanza, A., Mizzi, R., Pace, G.J.: polylarva: Runtime verification with configurable resource-aware monitoring boundaries. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol.\u00a07504, pp. 218\u2013232. Springer, Heidelberg (2012)"},{"key":"7_CR12","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: Runtime monitoring of synchronous systems. In: TIME. IEEE (2005)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y. Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Francalanza, A., Gauci, A., Pace, G.: Distributed system contract monitoring. JLAP (to appear, 2013)","DOI":"10.1016\/j.jlap.2013.04.001"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Francalanza, A., Seychell, A.: Synthesising correct concurrent runtime monitors in erlang. Technical Report CS2013-01, University of Malta (January 2013), http:\/\/www.cs.um.edu.mt\/svrg\/papers.html (accessible)","DOI":"10.1007\/978-3-642-40787-1_7"},{"key":"7_CR16","unstructured":"Fredlund, L.-\u00c5.: A Framework for Reasoning about Erlang Code. PhD thesis, Royal Institute of Technology, Stockholm, Sweden (2001)"},{"issue":"2","key":"7_CR17","first-page":"181","volume":"55","author":"M. Geilen","year":"2001","unstructured":"Geilen, M.: On the construction of monitors for temporal logic properties. ENTCS\u00a055(2), 181\u2013199 (2001)","journal-title":"ENTCS"},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"J. ACM"},{"key":"7_CR19","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235\u2013245. Morgan Kaufmann (1973)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. TCS\u00a027, 333\u2013354 (1983)","journal-title":"TCS"},{"key":"7_CR21","unstructured":"Manna, Z., Pnueli, A.: A hierarchy of temporal properties. In: PODC, pp. 377\u2013410. ACM (1990) (invited paper, 1989)"},{"issue":"3","key":"7_CR22","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"P.O. Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Rosu, G.: An overview of the MOP runtime verification framework. STTT\u00a014(3), 249\u2013289 (2012)","journal-title":"STTT"},{"key":"7_CR23","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science\u00a0114, 149\u2013171 (1993)","journal-title":"Theoretical Computer Science"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Nicola, R.D., Hennessy, M.C.B.: Testing equivalences for processes. TCS, 83\u2013133 (1984)","DOI":"10.1016\/0304-3975(84)90113-0"},{"issue":"2","key":"7_CR26","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.ic.2006.06.002","volume":"205","author":"A. Rensink","year":"2007","unstructured":"Rensink, A., Vogler, W.: Fair testing. Inf. Comput.\u00a0205(2), 125\u2013198 (2007)","journal-title":"Inf. Comput."},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-40965-6_17","volume-title":"Advances in Computing Science \u2013 ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation","author":"K. Sen","year":"2003","unstructured":"Sen, K., Ro\u015fu, G., Agha, G.: Generating optimal linear temporal logic monitors by coinduction. In: Saraswat, V.A. (ed.) ASIAN 2003. LNCS, vol.\u00a02896, pp. 260\u2013275. Springer, Heidelberg (2003)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Ro\u015fu, G.: Efficient decentralized monitoring of safety in distributed systems. In: ICSE, pp. 418\u2013427 (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"7_CR29","unstructured":"Seychell, A.: DetectEr, http:\/\/www.cs.um.edu.mt\/svrg\/Tools\/detectEr"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Svensson, H., Fredlund, L.-\u00c5., Benac Earle, C.: A unified semantics for future erlang. In: Erlang Workshop, pp. 23\u201332. ACM (2010)","DOI":"10.1145\/1863509.1863514"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T02:13:05Z","timestamp":1563934385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}