{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:53:30Z","timestamp":1780674810997,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T00:00:00Z","timestamp":1478476800000},"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":[[2016,11,7]]},"DOI":"10.1145\/2966986.2980093","type":"proceedings-article","created":{"date-parts":[[2016,10,18]],"date-time":"2016-10-18T12:23:59Z","timestamp":1476793439000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Multilevel design understanding"],"prefix":"10.1145","author":[{"given":"Sandip","family":"Ray","sequence":"first","affiliation":[{"name":"NXP Semiconductors"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian G.","family":"Harris","sequence":"additional","affiliation":[{"name":"University of California Irvine"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Goerschwin","family":"Fey","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"1850--2005 - IEEE Standard for Property Specification Language (PSL) 2005."},{"key":"e_1_3_2_1_2_1","volume-title":"Standard Structure for Packaging, Integrating, and Reusing IP within Tool Flows","author":"Standard IP-XACT","year":"2014","unstructured":"1685--2014 - IEEE Standard for IP-XACT, Standard Structure for Packaging, Integrating, and Reusing IP within Tool Flows, 2014."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264996"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/198174.198306"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183929"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384048"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2682923.2682943"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/37888.37950"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2971808.2972030"},{"key":"e_1_3_2_1_11_1","volume-title":"ITU-TS","author":"Recommendation Z.","year":"1995","unstructured":"ITU-TS Recommendation Z.120. Message Sequence Chart (MSC) - Annex B: Algebraic Semantics of Message Sequence Charts, ITU-TS, Geneva, 1995."},{"key":"e_1_3_2_1_12_1","first-page":"71","volume-title":"Proceedings of ICSE Workshop on Software Visualization","author":"Jones J. A.","year":"2001","unstructured":"Jones, J. A., Harrold, M. J., and Stasko, J. T. Visualization for fault localization. In Proceedings of ICSE Workshop on Software Visualization (2001), pp. 71--75."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.37"},{"key":"e_1_3_2_1_14_1","volume-title":"1st International Workshop on","author":"Keszocze O.","year":"2013","unstructured":"Keszocze, O., Soeken, M., Kuksa, E., and Drechsler, R. Lips: An ide for model driven engineering based on natural language processing. In Natural Language Analysis in Software Engineering, 1st International Workshop on (2013)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224325"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2014.14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228529"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485572"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2360462"},{"key":"e_1_3_2_1_20_1","first-page":"120","volume-title":"Forum on Specification and Design Languages","author":"Michael M.","year":"2012","unstructured":"Michael, M., Grosse, D., and Drechsler, R. Localizing features of ESL models for design understanding. In Forum on Specification and Design Languages (2012), pp. 120--125."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.887925"},{"key":"e_1_3_2_1_22_1","series-title":"IFIP Advances in Information and Communication Technology","volume-title":"Generation of executable testbenches from natural language requirement specifications for embedded real-time systems","author":"Mueller W.","year":"2010","unstructured":"Mueller, W., Bol, A., Krupp, A., and Lundkvist, O. Generation of executable testbenches from natural language requirement specifications for embedded real-time systems. In Distributed, Parallel and Biologically Inspired Systems, M. Hinchey, B. Kleinjohann, L. Kleinjohann, P. A. Lindsay, F. J. Rammig, J. Timmis, and M. Wolf, Eds., vol. 329 of IFIP Advances in Information and Communication Technology. Springer Berlin Heidelberg, 2010."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2754896"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341472"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593175"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2893529.2893556"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_19"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2893529.2893558"}],"event":{"name":"ICCAD '16: IEEE\/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN","location":"Austin Texas","acronym":"ICCAD '16","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CS","IEEE-EDS Electronic Devices Society"]},"container-title":["Proceedings of the 35th International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2966986.2980093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2966986.2980093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:12Z","timestamp":1750220592000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2966986.2980093"}},"subtitle":["from specification to logic invited paper"],"short-title":[],"issued":{"date-parts":[[2016,11,7]]},"references-count":28,"alternative-id":["10.1145\/2966986.2980093","10.1145\/2966986"],"URL":"https:\/\/doi.org\/10.1145\/2966986.2980093","relation":{},"subject":[],"published":{"date-parts":[[2016,11,7]]},"assertion":[{"value":"2016-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}