{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T15:41:45Z","timestamp":1756309305061,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,31]]},"DOI":"10.1145\/2591062.2591088","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"638-641","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Formal verification problems in a big data world: towards a mighty synergy"],"prefix":"10.1145","author":[{"given":"Matteo","family":"Camilli","sequence":"first","affiliation":[{"name":"University of Milan, Italy"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Amazon Web Services. Elastic MapReduce. http:\/\/ aws.amazon.com\/documentation\/elasticmapreduce\/ 2013. Last visited: June 2013.  Amazon Web Services. Elastic MapReduce. http:\/\/ aws.amazon.com\/documentation\/elasticmapreduce\/ 2013. Last visited: June 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240299"},{"key":"e_1_3_2_1_3_1","unstructured":"J. Barnat L. Brim and I. \u02d8 Cern\u00e1. Property driven distribution of nested dfs. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic pages 1\u201310 Pittsburgh PA USA 2002. Dept. of Electronics and Computer Science University of Southampton.  J. Barnat L. Brim and I. \u02d8 Cern\u00e1. Property driven distribution of nested dfs. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic pages 1\u201310 Pittsburgh PA USA 2002. Dept. of Electronics and Computer Science University of Southampton."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0129-2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.18"},{"key":"e_1_3_2_1_7_1","unstructured":"C. Bellettini M. Camilli L. Capra and M. Monga. Distributed CTL Model Checking in the Cloud. ArXiv e-prints Oct. 2013.  C. Bellettini M. Camilli L. Capra and M. Monga. Distributed CTL Model Checking in the Cloud. ArXiv e-prints Oct. 2013."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"C.\n       \n      Bellettini M.\n       \n      Camilli L.\n       \n      Capra and \n      \n      \n      M.\n       \n      Monga\n      \n  \n  . \n  Mardigras: Simplified building of reachability graphs on large clusters. In P. Abdulla and I. Potapov editors Reachability Problems volume \n  8169\n   of \n  LNCS pages 83\u2013\n  95\n  . Springer Berlin Heidelberg 2013.  C. Bellettini M. Camilli L. Capra and M. Monga. Mardigras: Simplified building of reachability graphs on large clusters. In P. Abdulla and I. Potapov editors Reachability Problems volume 8169 of LNCS pages 83\u201395. Springer Berlin Heidelberg 2013.","DOI":"10.1007\/978-3-642-41036-9_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2012.045076"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20050001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337508"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1997.1409"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.10.1.82"},{"volume-title":"MIT Press","year":"1999","author":"Clarke E. M.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645881.672229"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851476.1851593"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"396","volume-title":"T. Bultan and P.-A","author":"Evangelista S."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"e_1_3_2_1_20_1","unstructured":"F. Kordon et al. Web report on the model checking contest @ petri net 2013 available at http:\/\/mcc.lip6.fr June 2013.  F. Kordon et al. Web report on the model checking contest @ petri net 2013 available at http:\/\/mcc.lip6.fr June 2013."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/645879.672058"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1830252.1830263"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008771324652"},{"key":"e_1_3_2_1_24_1","first-page":"288","volume-title":"Neural Information Processing Systems","author":"Chu C. t.","year":"2006"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"e_1_3_2_1_26_1","unstructured":"The Apache Software Foundation. Hadoop MapReduce. http:\/\/hadoop.apache.org\/mapreduce\/ 2007. Last visited: June 2013.  The Apache Software Foundation. Hadoop MapReduce. http:\/\/hadoop.apache.org\/mapreduce\/ 2007. Last visited: June 2013."},{"key":"e_1_3_2_1_27_1","first-page":"528","volume-title":"Lectures on Petri Nets I","author":"Valmari A.","year":"1998"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Companion Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2591062.2591088","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2591062.2591088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:01:13Z","timestamp":1750276873000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2591062.2591088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":27,"alternative-id":["10.1145\/2591062.2591088","10.1145\/2591062"],"URL":"https:\/\/doi.org\/10.1145\/2591062.2591088","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}