{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:06Z","timestamp":1750220706971,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T00:00:00Z","timestamp":1554768000000},"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":[[2019,4,9]]},"DOI":"10.1145\/3328833.3328866","type":"proceedings-article","created":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T15:39:51Z","timestamp":1560353991000},"page":"51-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Case Study"],"prefix":"10.1145","author":[{"given":"Bojan","family":"Nokovic","sequence":"first","affiliation":[{"name":"Technology & Operations, Royal Bank of Canada, Toronto, Ontario and Computing and Software Department, McMaster University, Canada"}]},{"given":"Salah","family":"Sharieh","sequence":"additional","affiliation":[{"name":"Technology & Operations, Royal Bank of Canada, Toronto, Ontario"}]}],"member":"320","published-online":{"date-parts":[[2019,4,9]]},"reference":[{"volume-title":"January","year":"2019","key":"e_1_3_2_1_1_1","unstructured":"Elastic. Elasticsearch. https:\/\/www.elastic.co\/ , January 2019 . Elastic. Elasticsearch. https:\/\/www.elastic.co\/, January 2019."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_3_1","volume-title":"Specification and Design Languages (FDL), 2012","author":"Hartmanns A.","year":"2012","unstructured":"A. Hartmanns . Modest - a unified language for quantitative models . In Specification and Design Languages (FDL), 2012 Forum on, pages 44- -51, Sept 2012 . A. Hartmanns. Modest - a unified language for quantitative models. In Specification and Design Languages (FDL), 2012 Forum on, pages 44--51, Sept 2012."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2009.11"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"Kwiatkowska M.","year":"2011","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . Prism 4.0: Verification of probabilistic real-time systems . In G. Gopalakrishnan and S. Qadeer, editors, Computer Aided Verification , volume 6806 of Lecture Notes in Computer Science , pages 585 -- 591 . Springer Berlin Heidelberg , 2011 . M. Kwiatkowska, G. Norman, and D. Parker. Prism 4.0: Verification of probabilistic real-time systems. In G. Gopalakrishnan and S. Qadeer, editors, Computer Aided Verification, volume 6806 of Lecture Notes in Computer Science, pages 585--591. Springer Berlin Heidelberg, 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/229542.229547"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MECO.2013.6601339"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the International C* Conference on Computer Science and Software Engineering, C3S2E '14","author":"Nokovic B.","year":"2014","unstructured":"B. Nokovic and E. Sekerinski . Verification and code generation for timed transitions in pcharts . In Proceedings of the International C* Conference on Computer Science and Software Engineering, C3S2E '14 , New York, NY, USA , 2014 . ACM. B. Nokovic and E. Sekerinski. Verification and code generation for timed transitions in pcharts. In Proceedings of the International C* Conference on Computer Science and Software Engineering, C3S2E '14, New York, NY, USA, 2014. ACM."},{"key":"e_1_3_2_1_10_1","first-page":"7","volume-title":"13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS '08","author":"Sekerinski E.","year":"2008","unstructured":"E. Sekerinski . Verifying statecharts with state invariants. In K. Breitman, J. Woodcock, R. Sterritt, and M. Hinchey, editors , 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS '08 , pages 7 -- 14 , Belfast, Northern Ireland , March 2008 . IEEE Computer Society. E. Sekerinski. Verifying statecharts with state invariants. In K. Breitman, J. Woodcock, R. Sterritt, and M. Hinchey, editors, 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS '08, pages 7--14, Belfast, Northern Ireland, March 2008. IEEE Computer Society."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"E.\n      Sekerinski\n     and \n      R.\n      Zurob\n  . \n  iState: A statechart translator\n  . In M. Gogolla and C. Kobryn editors UML \n  2001\n   -- The Unified Modeling Language 4th International Conference volume \n  2185\n   of \n  Lecture Notes in Computer Science pages \n  376\n  --\n  390 Toronto Canada 2001. \n  Springer-Verlag\n  .   E. Sekerinski and R. Zurob. iState: A statechart translator. In M. Gogolla and C. Kobryn editors UML 2001 -- The Unified Modeling Language 4th International Conference volume 2185 of Lecture Notes in Computer Science pages 376--390 Toronto Canada 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45441-1_28"}],"event":{"name":"ICSIE '19: 2019 8th International Conference on Software and Information Engineering","acronym":"ICSIE '19","location":"Cairo Egypt"},"container-title":["Proceedings of the 2019 8th International Conference on Software and Information Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328833.3328866","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3328833.3328866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:04Z","timestamp":1750199584000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3328833.3328866"}},"subtitle":["Qualitative and Quantitative Verification of File Ingestion Process"],"short-title":[],"issued":{"date-parts":[[2019,4,9]]},"references-count":10,"alternative-id":["10.1145\/3328833.3328866","10.1145\/3328833"],"URL":"https:\/\/doi.org\/10.1145\/3328833.3328866","relation":{},"subject":[],"published":{"date-parts":[[2019,4,9]]},"assertion":[{"value":"2019-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}