{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:41:37Z","timestamp":1725730897903},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,17]]},"DOI":"10.1145\/3627915.3628026","type":"proceedings-article","created":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T17:07:00Z","timestamp":1703178420000},"page":"1-7","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Generation of Formal BIP Models for C Programs"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0009-0003-1916-8946","authenticated-orcid":false,"given":"Qiming","family":"Li","sequence":"first","affiliation":[{"name":"School of Information and Software Engineering, University of Electronic Science and Technology of China, China"}]},{"ORCID":"http:\/\/orcid.org\/0000-0003-0213-3061","authenticated-orcid":false,"given":"Xia","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Information and Software Engineering, University of Electronic Science and Technology of China, China"}]},{"ORCID":"http:\/\/orcid.org\/0000-0001-7928-7654","authenticated-orcid":false,"given":"Haiyong","family":"Sun","sequence":"additional","affiliation":[{"name":"Chengdu Lianan Tech, China"}]},{"ORCID":"http:\/\/orcid.org\/0009-0003-5221-6110","authenticated-orcid":false,"given":"Zhe","family":"Yan","sequence":"additional","affiliation":[{"name":"School of Information and Software Engineering, University of Electronic Science and Technology of China, China"}]}],"member":"320","published-online":{"date-parts":[[2023,12,21]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1109\/SEFM.2006.27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.3390\/app6100275"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/MS.2011.27"},{"key":"e_1_3_2_1_4_1","first-page":"119","volume-title":"Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)","author":"Bensalem S.","unstructured":"Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T. H. and Peled, D. (2011,). Efficient deadlock detection for concurrent systems. In Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) (pp. 119-129). IEEE."},{"key":"e_1_3_2_1_5_1","volume-title":"Analysis of source code using UPPAAL. arXiv preprint arXiv:2108.02963","author":"Kulczynski M.","year":"2021","unstructured":"Kulczynski, M., Legay, A., Nowotka, D. and Poulsen, D. B. (2021). Analysis of source code using UPPAAL. arXiv preprint arXiv:2108.02963."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.23919\/ICACT48636.2020.9061281"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/503272.503279"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-030-61362-4_26"},{"key":"e_1_3_2_1_10_1","volume-title":"Principles of model checking","author":"Baier C.","year":"2008","unstructured":"Baier, C. and Katoen, J. P. (2008). Principles of model checking. MIT press."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.3390\/axioms9030100"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/978-3-319-10575-8_28"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/EMRTS.2004.1311009"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/3360573"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/PACT.2001.953283"},{"key":"e_1_3_2_1_16_1","first-page":"375","volume-title":"Progress on software verification: SV-COMP","author":"Beyer D.","year":"2022","unstructured":"Beyer, D. (2022). Progress on software verification: SV-COMP 2022. In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2\u20137, 2022, Proceedings, Part II (pp. 375-402). Cham: Springer International Publishing."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"In\u00a0The BSD conference\u00a0(Vol. 5","author":"Lattner C.","year":"2008","unstructured":"Lattner, C. (2008, May). LLVM and Clang: Next generation compiler technology. In\u00a0The BSD conference\u00a0(Vol. 5, pp. 1-20)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/3-540-60368-9_19"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_21_1","series-title":"Vol. 3","volume-title":"Temporal logic","author":"Rescher N.","year":"2012","unstructured":"Rescher, N. and Urquhart, A. (2012). Temporal logic (Vol. 3). Springer Science & Business Media."}],"event":{"acronym":"CSAE 2023","name":"CSAE 2023: The 7th International Conference on Computer Science and Application Engineering","location":"Virtual Event China"},"container-title":["Proceedings of the 7th International Conference on Computer Science and Application Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3627915.3628026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T22:01:27Z","timestamp":1709676087000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627915.3628026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,17]]},"references-count":20,"alternative-id":["10.1145\/3627915.3628026","10.1145\/3627915"],"URL":"https:\/\/doi.org\/10.1145\/3627915.3628026","relation":{},"subject":[],"published":{"date-parts":[[2023,10,17]]},"assertion":[{"value":"2023-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}