{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T02:40:46Z","timestamp":1755830446671,"version":"3.44.0"},"reference-count":6,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1109\/ladc48089.2019.8995714","type":"proceedings-article","created":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T03:36:32Z","timestamp":1581651392000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["Addressing Verification and Validation Challenges in Future Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Nuno","family":"Laranjeiro","sequence":"first","affiliation":[{"name":"CISUC, Department of Informatics Engineering, University of Coimbra, Portugal"}]},{"given":"Camilo","family":"Gomez","sequence":"additional","affiliation":[{"name":"Centro para la Optimizacion y Probabilidad Aplicada (COPA), Departamento de Ingenieria Industrial, Universidad de los Andes, Bogota, Colombia"}]},{"given":"Enrico","family":"Schiavone","sequence":"additional","affiliation":[{"name":"ResilTech S.R.L, Italy"}]},{"given":"Leonardo","family":"Montecchi","sequence":"additional","affiliation":[{"name":"Institute of Computing, University of Campinas, Brazil"}]},{"given":"Manoel J. M.","family":"Carvalho","sequence":"additional","affiliation":[{"name":"Instituto Nacional de Pesquisas Espaciais - Centro Regional Nordeste (INPE-CRN)"}]},{"given":"Paolo","family":"Lollini","sequence":"additional","affiliation":[{"name":"University of Florence - Firenze, Italy; Consorzio Interuniversitario Nazionale per l'Informatica (CINI), University of Florence - Firenze, Italy"}]},{"given":"Zolt\u00e1n","family":"Micskei","sequence":"additional","affiliation":[{"name":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary"}]}],"member":"263","reference":[{"journal-title":"Technical Report NSF 19-553","year":"2019","key":"ref4"},{"journal-title":"Final Report prepared to the European Commission Directorate-General for Internal Market Industry Entrepreneurship and SMEs","article-title":"High-Tech Leadership Skills for Europe – Towards an Agenda for 2020 and beyond","year":"2017","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2496293"},{"journal-title":"OSADL Project SIL2LinuxMP","year":"2019","key":"ref5"},{"key":"ref2","article-title":"Scientific and Technological Satellites at INPE\/BRAZIL","author":"chamon","year":"2012","journal-title":"57th International Astronautical Congress"},{"journal-title":"ADVANCE Addressing Verification and Validation Challenges in Future Cyber-Physical Systems","year":"2019","key":"ref1"}],"event":{"name":"2019 9th Latin-American Symposium on Dependable Computing (LADC)","start":{"date-parts":[[2019,11,19]]},"location":"Natal, Brazil","end":{"date-parts":[[2019,11,21]]}},"container-title":["2019 9th Latin-American Symposium on Dependable Computing (LADC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8977288\/8995673\/08995714.pdf?arnumber=8995714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:26:26Z","timestamp":1755800786000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8995714\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/ladc48089.2019.8995714","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}