{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T07:16:15Z","timestamp":1778742975734,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,5]],"date-time":"2017-11-05T00:00:00Z","timestamp":1509840000000},"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":[[2017,11,5]]},"DOI":"10.1145\/3137003.3137007","type":"proceedings-article","created":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T14:22:01Z","timestamp":1514557321000},"page":"57-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Towards a Thing-In-the-Loop approach for the Verification and Validation of IoT systems"],"prefix":"10.1145","author":[{"given":"Domenico","family":"Amalfitano","sequence":"first","affiliation":[{"name":"University of Naples Federico II, Naples, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Amatucci","sequence":"additional","affiliation":[{"name":"University of Naples Federico II, Naples, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"De Simone","sequence":"additional","affiliation":[{"name":"University of Naples Federico II, Naples, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Riccio","sequence":"additional","affiliation":[{"name":"University of Naples Federico II, Naples, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fasolino Anna","family":"Rita","sequence":"additional","affiliation":[{"name":"University of Naples Federico II, Naples, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,5]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47075-7_43"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2015.7389098"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_55"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2015.18"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"},{"key":"e_1_3_2_1_7_1","unstructured":"P. T. Barry. 1992. Abstract syntax notation-one (ASN.1). In IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications. 2\/1--2\/3.  P. T. Barry. 1992. Abstract syntax notation-one (ASN.1). In IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications. 2\/1--2\/3."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.253"},{"key":"e_1_3_2_1_9_1","unstructured":"Juan de Lara Peter J. Clarke and Mehrdad Sabetzadeh (Eds.). 2016. Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016) Saint-Malo France October 2-7 2016. CEUR Workshop Proceedings Vol. 1725. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1725  Juan de Lara Peter J. Clarke and Mehrdad Sabetzadeh (Eds.). 2016. Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016) Saint-Malo France October 2-7 2016. CEUR Workshop Proceedings Vol. 1725. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1725"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006304503090314"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAW.2017.63"},{"key":"e_1_3_2_1_12_1","volume-title":"Model-driven Development of Complex Software: A Research Roadmap. In 2007 Future of Software Engineering (FOSE '07)","author":"France Robert","year":"2007","unstructured":"Robert France and Bernhard Rumpe . 2007. Model-driven Development of Complex Software: A Research Roadmap. In 2007 Future of Software Engineering (FOSE '07) . IEEE Computer Society , Washington, DC, USA , 37--54. https:\/\/doi.org\/10.1109\/FOSE. 2007 .14 10.1109\/FOSE.2007.14 Robert France and Bernhard Rumpe. 2007. Model-driven Development of Complex Software: A Research Roadmap. In 2007 Future of Software Engineering (FOSE '07). IEEE Computer Society, Washington, DC, USA, 37--54. https:\/\/doi.org\/10.1109\/FOSE.2007.14"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.01.010"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESTS.2007.372075"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2015.7389085"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.bjp.2013.12.020"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47075-7_9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICACTE.2010.5579543"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.32"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980076"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIInfS.2013.6731950"}],"event":{"name":"SenSys '17: The 15th ACM Conference on Embedded Network Sensor Systems","location":"Delft Netherlands","acronym":"SenSys '17","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 1st ACM Workshop on the Internet of Safe Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137003.3137007","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3137003.3137007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:17Z","timestamp":1750212677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137003.3137007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,5]]},"references-count":20,"alternative-id":["10.1145\/3137003.3137007","10.1145\/3137003"],"URL":"https:\/\/doi.org\/10.1145\/3137003.3137007","relation":{},"subject":[],"published":{"date-parts":[[2017,11,5]]},"assertion":[{"value":"2017-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}