{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T12:55:19Z","timestamp":1773924919177,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,12]],"date-time":"2012-10-12T00:00:00Z","timestamp":1350000000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0644436, 1139138"],"award-info":[{"award-number":["0644436, 1139138"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000879","name":"Alfred P. Sloan Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000879","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,12]]},"DOI":"10.1145\/2530544.2530546","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T13:13:17Z","timestamp":1380114797000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Automating exercise generation"],"prefix":"10.1145","author":[{"given":"Dorsa","family":"Sadigh","sequence":"first","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mona","family":"Gupta","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Coursera. http:\/\/www.coursera.org.  Coursera. http:\/\/www.coursera.org."},{"key":"e_1_3_2_1_2_1","unstructured":"edX. http:\/\/www.edx.org.  edX. http:\/\/www.edx.org."},{"key":"e_1_3_2_1_3_1","unstructured":"Udacity. http:\/\/www.udacity.com.  Udacity. http:\/\/www.udacity.com."},{"key":"e_1_3_2_1_4_1","volume-title":"Handbook of Satisfiability","volume":"4","author":"Barrett C.","year":"2009"},{"key":"e_1_3_2_1_5_1","volume-title":"Springer-Verlag","author":"Buttazzo G. C.","year":"2011"},{"key":"e_1_3_2_1_6_1","unstructured":"T. Chea. Elite colleges transform online higher education. http:\/\/finance.yahoo.com\/news\/elite-colleges-transform-online-higher-124855202.html August 2012. Associated Press.  T. Chea. Elite colleges transform online higher education. http:\/\/finance.yahoo.com\/news\/elite-colleges-transform-online-higher-124855202.html August 2012. Associated Press."},{"key":"e_1_3_2_1_7_1","volume-title":"MIT Press","author":"Clarke E. M.","year":"2000"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.030"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_53"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384128"},{"key":"e_1_3_2_1_12_1","unstructured":"E. Lee and S. Seshia. EECS 149: Introduction to Embedded Systems. http:\/\/chess.eecs.berkeley.edu\/eecs149.  E. Lee and S. Seshia. EECS 149: Introduction to Embedded Systems. http:\/\/chess.eecs.berkeley.edu\/eecs149."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1930277.1930278"},{"key":"e_1_3_2_1_14_1","unstructured":"E. A. Lee and S. A. Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach. http:\/\/leeseshia.org first edition 2011.  E. A. Lee and S. A. Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach . http:\/\/leeseshia.org first edition 2011."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2530544.2530545"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536637"},{"key":"e_1_3_2_1_18_1","volume-title":"Intl. Conf. of the Association for the Advancement of Artificial Intelligence (AAAI)","author":"Singh R.","year":"2012"}],"event":{"name":"ESWEEK'12: Eighth Embedded System Week","location":"Tampere Finland","acronym":"ESWEEK'12","sponsor":["EDAA European Design Automation Association","ARTIST Design ARTIST Design","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2530544.2530546","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2530544.2530546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:52Z","timestamp":1750234192000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2530544.2530546"}},"subtitle":["a step towards meeting the MOOC challenge for embedded systems"],"short-title":[],"issued":{"date-parts":[[2012,10,12]]},"references-count":18,"alternative-id":["10.1145\/2530544.2530546","10.1145\/2530544"],"URL":"https:\/\/doi.org\/10.1145\/2530544.2530546","relation":{},"subject":[],"published":{"date-parts":[[2012,10,12]]},"assertion":[{"value":"2012-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}