{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:05Z","timestamp":1750221305961,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"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":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167142","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"120-127","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated analysis of industrial workflow-based models"],"prefix":"10.1145","author":[{"given":"Mario","family":"Cortes-Cornax","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, Grenoble France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajay","family":"Krishna","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Inria, Grenoble France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Mos","sequence":"additional","affiliation":[{"name":"Naver Labs Europe, Meylan, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of BPM'16 (LNCS)","volume":"9850","author":"Calvanese D.","unstructured":"D. Calvanese , M. Dumas , U. Laurson , F. Maria Maggi , M. Montali , and I. Teinemaa . 2016. Semantics and Analysis of DMN Decision Tables . In Proc. of BPM'16 (LNCS) , Vol. 9850 . Springer, 217--233. D. Calvanese, M. Dumas, U. Laurson, F. Maria Maggi, M. Montali, and I. Teinemaa. 2016. Semantics and Analysis of DMN Decision Tables. In Proc. of BPM'16 (LNCS), Vol. 9850. Springer, 217--233."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of TACAS'08 (LNCS)","volume":"4963","author":"De Moura L.","unstructured":"L. De Moura and N. Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In Proc. of TACAS'08 (LNCS) , Vol. 4963 . Springer, 337--340. L. De Moura and N. Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Proc. of TACAS'08 (LNCS), Vol. 4963. Springer, 337--340."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. of CAV'07 (LNCS)","volume":"4590","author":"de Moura L.","unstructured":"L. de Moura , B. Dutertre , and N. Shankar . 2007. A Tutorial on Satisfiability Modulo Theories . In Proc. of CAV'07 (LNCS) , Vol. 4590 . Springer, 20--36. L. de Moura, B. Dutertre, and N. Shankar. 2007. A Tutorial on Satisfiability Modulo Theories. In Proc. of CAV'07 (LNCS), Vol. 4590. Springer, 20--36."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.06.005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of COORDINATION'17 (LNCS)","volume":"10319","author":"Dur\u00e1n F.","unstructured":"F. Dur\u00e1n and G. Sala\u00fcn . 2017. Verifying Timed BPMN Processes Using Maude . In Proc. of COORDINATION'17 (LNCS) , Vol. 10319 . Springer, 219--236. F. Dur\u00e1n and G. Sala\u00fcn. 2017. Verifying Timed BPMN Processes Using Maude. In Proc. of COORDINATION'17 (LNCS), Vol. 10319. Springer, 219--236."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2630768.2630769"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0244-z"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_16"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2413401"},{"volume-title":"A Rigorous Semantics for BPMN 2.0 Process Diagrams","author":"Kossak F.","key":"e_1_3_2_1_13_1","unstructured":"F. Kossak , C. Illibauer , V. Geist , J. Kubovy , C. Natschl\u00e4ger , T. Ziebermayr , T. Kopetzky , B. Freudenthaler , and K.-D. Schewe . 2014. A Rigorous Semantics for BPMN 2.0 Process Diagrams . Springer . F. Kossak, C. Illibauer, V. Geist, J. Kubovy, C. Natschl\u00e4ger, T. Ziebermayr, T. Kopetzky, B. Freudenthaler, and K.-D. Schewe. 2014. A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer."},{"key":"e_1_3_2_1_14_1","volume-title":"VBPMN: Automated Verification of BPMN Processes. In Proc. of IFM'17 (LNCS)","author":"Krishna A.","year":"2017","unstructured":"A. Krishna , P. Poizat , and G. Sala\u00fcn . 2017 . VBPMN: Automated Verification of BPMN Processes. In Proc. of IFM'17 (LNCS) , Vol. 10510 . Springer , 323--331. A. Krishna, P. Poizat, and G. Sala\u00fcn. 2017. VBPMN: Automated Verification of BPMN Processes. In Proc. of IFM'17 (LNCS), Vol. 10510. Springer, 323--331."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025140"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2602458.2602473"},{"key":"e_1_3_2_1_18_1","volume-title":"Matter: A Model-Driven Approach for Domain Specific Process Design and Monitoring. In Proc. of BPM Forum'16 (LNBIP)","author":"Mos A.","year":"2016","unstructured":"A. Mos and M. Cortes-Cornax . 2016 . Business Matter Experts do Matter: A Model-Driven Approach for Domain Specific Process Design and Monitoring. In Proc. of BPM Forum'16 (LNBIP) , Vol. 260 . Springer , 210--226. A. Mos and M. Cortes-Cornax. 2016. Business Matter Experts do Matter: A Model-Driven Approach for Domain Specific Process Design and Monitoring. In Proc. of BPM Forum'16 (LNBIP), Vol. 260. Springer, 210--226."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34321-6_36"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232095"},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. of FACS'16 (LNCS)","volume":"10231","author":"Poizat P.","unstructured":"P. Poizat , G. Sala\u00fcn , and A. Krishna . 2016. Checking Business Process Evolution . In Proc. of FACS'16 (LNCS) , Vol. 10231 . Springer, 36--53. P. Poizat, G. Sala\u00fcn, and A. Krishna. 2016. Checking Business Process Evolution. In Proc. of FACS'16 (LNCS), Vol. 10231. Springer, 36--53."},{"volume-title":"Proc. of MSVVEIS'07","author":"Raedts I.","key":"e_1_3_2_1_22_1","unstructured":"I. Raedts , M. Petkovic , Y. S. Usenko , J. M. van der Werf, J. F. Groote, and L. Somers. 2007. Transformation of BPMN Models for Behaviour Analysis . In Proc. of MSVVEIS'07 . 126--137. I. Raedts, M. Petkovic, Y. S. Usenko, J. M. van der Werf, J. F. Groote, and L. Somers. 2007. Transformation of BPMN Models for Behaviour Analysis. In Proc. of MSVVEIS'07. 126--137."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"M. Reichert and B. Weber. 2012. Enabling Flexibility in Process-Aware Information Systems - Challenges Methods Technologies. Springer.   M. Reichert and B. Weber. 2012. Enabling Flexibility in Process-Aware Information Systems - Challenges Methods Technologies. Springer.","DOI":"10.1007\/978-3-642-30409-5"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxs014"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_22"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.6"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167142","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:28Z","timestamp":1750212808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":26,"alternative-id":["10.1145\/3167132.3167142","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167142","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}