{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:08:31Z","timestamp":1776373711158,"version":"3.51.2"},"reference-count":178,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2024,4,30]],"date-time":"2024-04-30T00:00:00Z","timestamp":1714435200000},"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":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2024,4,30]]},"DOI":"10.1145\/3650210","type":"journal-article","created":{"date-parts":[[2024,3,8]],"date-time":"2024-03-08T09:18:56Z","timestamp":1709889536000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0503-6235","authenticated-orcid":false,"given":"Samarjit","family":"Chakraborty","sequence":"first","affiliation":[{"name":"The University of North Carolina at Chapel Hill, Chapel Hill, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5877-0436","authenticated-orcid":false,"given":"Somesh","family":"Jha","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9572-1091","authenticated-orcid":false,"given":"Soheil","family":"Samii","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Linkoping, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6132-3901","authenticated-orcid":false,"given":"Philipp","family":"Mundhenk","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,15]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"crossref","first-page":"89527","DOI":"10.1109\/ACCESS.2021.3090304","article-title":"Understanding the non-collision related battery safety risks in electric vehicles a case study in electric vehicle recalls and the LG chem battery","volume":"9","author":"Aalund Ryan","year":"2021","unstructured":"Ryan Aalund, Weiping Diao, Lingxi Kong, and Michael G. Pecht. 2021. Understanding the non-collision related battery safety risks in electric vehicles a case study in electric vehicle recalls and the LG chem battery. IEEE Access 9 (2021), 89527\u201389532.","journal-title":"IEEE Access"},{"key":"e_1_3_1_3_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201918)","author":"Adiththan Arun","year":"2018","unstructured":"Arun Adiththan, S. Ramesh, and Soheil Samii. 2018. Cloud-assisted control of ground vehicles using adaptive computation offloading techniques. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201918)."},{"key":"e_1_3_1_4_2","volume-title":"Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems (ITSC\u201916)","author":"Althoff Matthias","year":"2016","unstructured":"Matthias Althoff and Robert L\u00f6sch. 2016. Can automated road vehicles harmonize with traffic flow while guaranteeing a safe distance? In Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems (ITSC\u201916). IEEE."},{"key":"e_1_3_1_5_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)","author":"Amert Tanya","year":"2021","unstructured":"Tanya Amert, Michael Balszun, Martin Geier, F. Donelson Smith, James H. Anderson, and Samarjit Chakraborty. 2021. Timing-predictable vision processing for autonomous systems. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)."},{"key":"e_1_3_1_6_2","article-title":"Autonomous vehicles are driving blind","author":"Angwin Julia","year":"2023","unstructured":"Julia Angwin. 2023. Autonomous vehicles are driving blind. The New York Times. Retrieved March 14, 2024 from https:\/\/www.nytimes.com\/2023\/10\/11\/opinion\/driverless-cars-san-francisco.html","journal-title":"The New York Times"},{"key":"e_1_3_1_7_2","volume-title":"Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW\u201917)","author":"Ardila Julieth Patricia Castellanos","year":"2017","unstructured":"Julieth Patricia Castellanos Ardila and Barbara Gallina. 2017. Towards efficiently checking compliance against automotive security and safety standards. In Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW\u201917)."},{"key":"e_1_3_1_8_2","volume-title":"Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA\u201921)","author":"Askaripoor Hadi","year":"2021","unstructured":"Hadi Askaripoor, Morteza Hashemi Farzaneh, and Alois C. Knoll. 2021. A platform to configure and monitor safety-critical applications for automotive central computers. In Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA\u201921)."},{"issue":"2","key":"e_1_3_1_9_2","doi-asserted-by":"crossref","first-page":"2196","DOI":"10.1145\/3622875","article-title":"Perception contracts for safety of ML-enabled systems","volume":"7","author":"Astorga Angello","year":"2023","unstructured":"Angello Astorga, Chiao Hsieh, P. Madhusudan, and Sayan Mitra. 2023. Perception contracts for safety of ML-enabled systems. Proceedings of the ACM on Programming Languages 7, OOPSLA 2 (2023), 2196\u20132223.","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"e_1_3_1_10_2","volume-title":"Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing (ISORC\u201920)","author":"Balszun Michael","year":"2020","unstructured":"Michael Balszun, Martin Geier, and Samarjit Chakraborty. 2020. Predictable vision for autonomous systems. In Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing (ISORC\u201920)."},{"issue":"2","key":"e_1_3_1_11_2","doi-asserted-by":"crossref","first-page":"1230","DOI":"10.1109\/TVT.2021.3054934","article-title":"Making the case for centralized automotive E\/E architectures","volume":"70","author":"Bandur Victor","year":"2021","unstructured":"Victor Bandur, Gehan M. K. Selim, Vera Pantelic, and Mark Lawford. 2021. Making the case for centralized automotive E\/E architectures. IEEE Transactions on Vehicular Technology 70, 2 (2021), 1230\u20131245.","journal-title":"IEEE Transactions on Vehicular Technology"},{"key":"e_1_3_1_12_2","volume-title":"Proceedings of the IEEE International Conference on Mechatronics (ICM\u201919)","author":"Baumann Peter","year":"2019","unstructured":"Peter Baumann, Martin Krammer, Mario Driussi, Lars Mikelsons, Josef Zehetner, Werner Mair, and Dieter Schramm. 2019. Using the distributed co-simulation protocol for a mixed real-virtual prototype. In Proceedings of the IEEE International Conference on Mechatronics (ICM\u201919)."},{"key":"e_1_3_1_13_2","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1016\/j.trpro.2023.11.468","article-title":"Cybersecurity and data privacy certification gaps of connected and automated vehicles","volume":"72","author":"Benyahya Meriem","year":"2023","unstructured":"Meriem Benyahya, Anastasija Collen, and Niels Alexander Nijdam. 2023. Cybersecurity and data privacy certification gaps of connected and automated vehicles. Transportation Research Procedia 72 (2023), 783\u2013790.","journal-title":"Transportation Research Procedia"},{"issue":"2","key":"e_1_3_1_14_2","first-page":"Article 18, 27","article-title":"Control communication co-design for wide area cyber-physical systems","volume":"5","author":"Bhatia Laksh","year":"2021","unstructured":"Laksh Bhatia, Ivana Tomic, Anqi Fu, Michael Breza, and Julie A. McCann. 2021. Control communication co-design for wide area cyber-physical systems. ACM Transactions on Cyber-Physical Systems 5, 2 (2021), Article 18, 27 pages.","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"key":"e_1_3_1_15_2","volume-title":"Proceedings of the 28th Annual Network and Distributed System Security Symposium (NDSS\u201921)","author":"Bhatia Rohit","year":"2021","unstructured":"Rohit Bhatia, Vireshwar Kumar, Khaled Serag, Z. Berkay Celik, Mathias Payer, and Dongyan Xu. 2021. Evading voltage-based intrusion detection on automotive CAN. In Proceedings of the 28th Annual Network and Distributed System Security Symposium (NDSS\u201921). ."},{"key":"e_1_3_1_16_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201923)","author":"Bordoloi Unmesh D.","year":"2023","unstructured":"Unmesh D. Bordoloi, Samarjit Chakraborty, Markus Jochim, Prachi Joshi, Arvind Raghuraman, and S. Ramesh. 2023. Autonomy-driven emerging directions in software-defined vehicles. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201923)."},{"key":"e_1_3_1_17_2","article-title":"Tesla Autopilot and other driver-assist systems linked to hundreds of crashes","author":"Boudette Neal E.","year":"2022","unstructured":"Neal E. Boudette, Cade Metz, and Jack Ewing. 2022. Tesla Autopilot and other driver-assist systems linked to hundreds of crashes. The New York Times. Retrieved March 14, 2024 from https:\/\/www.nytimes.com\/2022\/06\/15\/business\/self-driving-car-nhtsa-crash-data.html","journal-title":"The New York Times"},{"key":"e_1_3_1_18_2","volume-title":"Proceedings of the 11th International Conference on Embedded Software (EMSOFT\u201911)","author":"Broy Manfred","year":"2011","unstructured":"Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, and Wolfgang Pree. 2011. Cross-layer analysis, testing and verification of automotive control software. In Proceedings of the 11th International Conference on Embedded Software (EMSOFT\u201911)."},{"issue":"5","key":"e_1_3_1_19_2","doi-asserted-by":"crossref","first-page":"2692","DOI":"10.1109\/LRA.2023.3258719","article-title":"Discovering closed-loop failures of vision-based controllers via reachability analysis","volume":"8","author":"Chakraborty Kaustav","year":"2023","unstructured":"Kaustav Chakraborty and Somil Bansal. 2023. Discovering closed-loop failures of vision-based controllers via reachability analysis. IEEE Robotics and Automation Letters 8, 5 (2023), 2692\u20132699.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"e_1_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Samarjit Chakraborty Thomas Erlebach and Lothar Thiele. 2001. On the complexity of scheduling conditional real-time code. In Algorithms and Data Structures. Lecture Notes in Computer Science Vol. 2125. Springer 38\u201349.","DOI":"10.1007\/3-540-44634-6_5"},{"issue":"4","key":"e_1_3_1_21_2","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1109\/MDAT.2016.2573598","article-title":"Automotive cyber-physical systems: A tutorial introduction","volume":"33","author":"Chakraborty Samarjit","year":"2016","unstructured":"Samarjit Chakraborty, Mohammad Abdullah Al Faruque, Wanli Chang, Dip Goswami, Marilyn Wolf, and Qi Zhu. 2016. Automotive cyber-physical systems: A tutorial introduction. IEEE Design & Test 33, 4 (2016), 92\u2013108.","journal-title":"IEEE Design & Test"},{"key":"e_1_3_1_22_2","volume-title":"Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS\u201906)","author":"Chakraborty Samarjit","year":"2006","unstructured":"Samarjit Chakraborty, Yanhong Liu, Nikolay Stoimenov, Lothar Thiele, and Ernesto Wandeler. 2006. Interface-based rate analysis of embedded systems. In Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS\u201906)."},{"key":"e_1_3_1_23_2","volume-title":"Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS\u201905)","author":"Chakraborty Samarjit","year":"2005","unstructured":"Samarjit Chakraborty, Linh T. X. Phan, and P. S. Thiagarajan. 2005. Event count automata: A state-based model for stream processing systems. In Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS\u201905)."},{"key":"e_1_3_1_24_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exposition (DATE\u201905)","author":"Chakraborty Samarjit","year":"2005","unstructured":"Samarjit Chakraborty and Lothar Thiele. 2005. A new task model for streaming applications and its schedulability analysis. In Proceedings of the Design, Automation, and Test in Europe Conference and Exposition (DATE\u201905)."},{"issue":"4","key":"e_1_3_1_25_2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1561\/1000000045","article-title":"Resource-aware automotive control systems design: A cyber-physical systems approach","volume":"10","author":"Chang Wanli","year":"2016","unstructured":"Wanli Chang and Samarjit Chakraborty. 2016. Resource-aware automotive control systems design: A cyber-physical systems approach. Foundations and Trends in Electronic Design Automation 10, 4 (2016), 249\u2013369.","journal-title":"Foundations and Trends in Electronic Design Automation"},{"issue":"4","key":"e_1_3_1_26_2","first-page":"Article 26, 22","article-title":"OS-aware automotive controller design using non-uniform sampling","volume":"2","author":"Chang Wanli","year":"2018","unstructured":"Wanli Chang, Dip Goswami, Samarjit Chakraborty, and Arne Hamann. 2018. OS-aware automotive controller design using non-uniform sampling. ACM Transactions on Cyber-Physical Systems 2, 4 (2018), Article 26, 22 pages.","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"issue":"4","key":"e_1_3_1_27_2","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1109\/TCAD.2016.2613933","article-title":"Memory-aware embedded control systems design","volume":"36","author":"Chang Wanli","year":"2017","unstructured":"Wanli Chang, Dip Goswami, Samarjit Chakraborty, Lei Ju, Chun Jason Xue, and Sidharta Andalam. 2017. Memory-aware embedded control systems design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 36, 4 (2017), 586\u2013599.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_1_28_2","volume-title":"Proceedings of the International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201913)","author":"Chang Wanli","year":"2013","unstructured":"Wanli Chang, Martin Lukasiewycz, Sebastian Steinhorst, and Samarjit Chakraborty. 2013. Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization. In Proceedings of the International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201913)."},{"key":"e_1_3_1_29_2","volume-title":"Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS\u201914)","author":"Chang Wanli","year":"2014","unstructured":"Wanli Chang, Alma Pr\u00f6bstl, Dip Goswami, Majid Zamani, and Samarjit Chakraborty. 2014. Battery- and aging-aware embedded control systems for electric vehicles. In Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS\u201914)."},{"key":"e_1_3_1_30_2","volume-title":"Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD\u201916)","author":"Chang Wanli","year":"2016","unstructured":"Wanli Chang, Debayan Roy, Licong Zhang, and Samarjit Chakraborty. 2016. Model-based design of resource-efficient automotive control software. In Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD\u201916)."},{"key":"e_1_3_1_31_2","volume-title":"Proceedings of the 20th USENIX Security Symposium","author":"Checkoway Stephen","year":"2011","unstructured":"Stephen Checkoway, Damon McCoy, Brian Kantor, Danny Anderson, Hovav Shacham, Stefan Savage, Karl Koscher, Alexei Czeskis, Franziska Roesner, and Tadayoshi Kohno. 2011. Comprehensive experimental analyses of automotive attack surfaces. In Proceedings of the 20th USENIX Security Symposium."},{"key":"e_1_3_1_32_2","article-title":"Are electric cars really better for the environment?","author":"Coren Michael J.","year":"2023","unstructured":"Michael J. Coren. 2023. Are electric cars really better for the environment? The Washington Post. Retrieved March 14, 2024 from https:\/\/www.washingtonpost.com\/climate-environment\/2023\/09\/19\/electric-cars-better-environment-fossil-fuels\/","journal-title":"The Washington Post"},{"issue":"11","key":"e_1_3_1_33_2","first-page":"14756","article-title":"Lightweight encryption and authentication for controller area network of autonomous vehicles","volume":"72","author":"Cui Jie","year":"2023","unstructured":"Jie Cui, Yaning Chen, Hong Zhong, Debiao He, Lu Wei, Irina Bolodurina, and Lu Liu. 2023. Lightweight encryption and authentication for controller area network of autonomous vehicles. IEEE Transactions on Vehicular Technology 72, 11 (2023), 14756\u201314770.","journal-title":"IEEE Transactions on Vehicular Technology"},{"key":"e_1_3_1_34_2","doi-asserted-by":"crossref","first-page":"174568","DOI":"10.1109\/ACCESS.2020.3023047","article-title":"Approximation-aware design of an image-based control system","volume":"8","author":"De Sayandip","year":"2020","unstructured":"Sayandip De, Sajid Mohamed, Dip Goswami, and Henk Corporaal. 2020. Approximation-aware design of an image-based control system. IEEE Access 8 (2020), 174568\u2013174586.","journal-title":"IEEE Access"},{"key":"e_1_3_1_35_2","first-page":"189","volume-title":"Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems","author":"Dey Soumyajit","year":"2023","unstructured":"Soumyajit Dey, Ipsita Koley, and Sunandan Adhikary. 2023. Resource aware synthesis of automotive security primitives. In Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems. Springer, 189\u2013224."},{"key":"e_1_3_1_36_2","article-title":"Automakers delay electric vehicle spending as demand slows","author":"Ewing Jack","year":"2023","unstructured":"Jack Ewing. 2023. Automakers delay electric vehicle spending as demand slows. The New York Times. Retrieved March 14, 2024 from https:\/\/www.nytimes.com\/2023\/11\/07\/business\/energy-environment\/electric-vehicles-sales.html","journal-title":"The New York Times"},{"key":"e_1_3_1_37_2","volume-title":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201923)","author":"Formica Federico","year":"2023","unstructured":"Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, and Claudio Menghi. 2023. Test case generation for drivability requirements of an automotive cruise controller: An experience with an industrial simulator. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201923)."},{"key":"e_1_3_1_38_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201923)","year":"2023","unstructured":"Enrico Fraccaroli, Parchi Joshi, Shengjie Xu, Khaja Shazzad, Markus Jochim, and Samarjit Chakraborty. 2023. Timing predictability for SOME\/IP-based service-oriented automotive in-vehicle networks. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201923)."},{"key":"e_1_3_1_39_2","volume-title":"Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS\u201918)","author":"Freitag Johannes","year":"2018","unstructured":"Johannes Freitag, Sascha Uhrig, and Theo Ungerer. 2018. Virtual timing isolation for mixed-criticality systems. In Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS\u201918)."},{"key":"e_1_3_1_40_2","doi-asserted-by":"crossref","first-page":"62837","DOI":"10.1109\/ACCESS.2021.3074813","article-title":"Automotive architecture topologies: Analysis for safety-critical autonomous vehicle applications","volume":"9","author":"Frigerio Alessandro","year":"2021","unstructured":"Alessandro Frigerio, Bart Vermeulen, and Kees G. W. Goossens. 2021. Automotive architecture topologies: Analysis for safety-critical autonomous vehicle applications. IEEE Access 9 (2021), 62837\u201362846.","journal-title":"IEEE Access"},{"key":"e_1_3_1_41_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ress.2018.11.013","article-title":"Status and future perspectives of reliability assessment for electric vehicles","volume":"183","author":"Gandoman Foad Haidari","year":"2019","unstructured":"Foad Haidari Gandoman, Abdollah Ahmadi, Peter Van den Bossche, Joeri Van Mierlo, Noshin Omar, Ali Esmaeel Nezhad, Hani Mavalizadeh, and Clement Mayet. 2019. Status and future perspectives of reliability assessment for electric vehicles. Reliability Engineering & System Safety 183 (2019), 1\u201316.","journal-title":"Reliability Engineering & System Safety"},{"key":"e_1_3_1_42_2","volume-title":"Proceedings of the 50th Annual Design Automation Conference (DAC\u201913)","author":"Georgakos Georg","year":"2013","unstructured":"Georg Georgakos, Ulf Schlichtmann, Reinhard Schneider, and Samarjit Chakraborty. 2013. Reliability challenges for electric vehicles: From devices to architecture and systems software. In Proceedings of the 50th Annual Design Automation Conference (DAC\u201913)."},{"key":"e_1_3_1_43_2","volume-title":"Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201922)","author":"Ghosh Bineet","year":"2022","unstructured":"Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, and Samarjit Chakraborty. 2022. Statistical hypothesis testing of controller implementations under timing uncertainties. In Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201922)."},{"key":"e_1_3_1_44_2","volume-title":"Proceedings of the 46th Design Automation Conference (DAC\u201909)","author":"Gla\u00df Michael","year":"2009","unstructured":"Michael Gla\u00df, Martin Lukasiewycz, J\u00fcrgen Teich, Unmesh D. Bordoloi, and Samarjit Chakraborty. 2009. Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis. In Proceedings of the 46th Design Automation Conference (DAC\u201909)."},{"issue":"3","key":"e_1_3_1_45_2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/2544350.2544353","article-title":"Virtual execution platforms for mixed-time-criticality systems: The CompSOC architecture and design flow","volume":"10","author":"Goossens Kees","year":"2013","unstructured":"Kees Goossens, Arnaldo Azevedo, Karthik Chandrasekar, Manil Dev Gomony, Sven Goossens, Martijn Koedam, Yonghui Li, Davit Mirzoyan, Anca Mariana Molnos, Ashkan Beyranvand Nejad, Andrew Nelson, and Shubhendu Sinha. 2013. Virtual execution platforms for mixed-time-criticality systems: The CompSOC architecture and design flow. ACM SIGBED Review 10, 3 (2013), 23\u201334.","journal-title":"ACM SIGBED Review"},{"key":"e_1_3_1_46_2","volume-title":"Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS\u201912)","year":"2012","unstructured":"Dip Goswami, Reinhard Schneider, Alejandro Masrur, Martin Lukasiewycz, Samarjit Chakraborty, Harald Voit, and Anuradha Annaswamy. 2012. Challenges in automotive cyber-physical systems design. In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS\u201912)."},{"key":"e_1_3_1_47_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201912)","year":"2012","unstructured":"Dip Goswami, Martin Lukasiewycz, Reinhard Schneider, and Samarjit Chakraborty. 2012. Time-triggered implementations of mixed-criticality automotive software. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201912)."},{"key":"e_1_3_1_48_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201913)","author":"Goswami Dip","year":"2013","unstructured":"Dip Goswami, Alejandro Masrur, Reinhard Schneider, Chun Jason Xue, and Samarjit Chakraborty. 2013. Multirate controller design for resource- and schedule-constrained automotive ECUs. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201913)."},{"key":"e_1_3_1_49_2","volume-title":"Proceedings of the 16th Asia South Pacific Design Automation Conference (ASP-DAC\u201911)","author":"Goswami Dip","year":"2011","unstructured":"Dip Goswami, Reinhard Schneider, and Samarjit Chakraborty. 2011. Co-design of cyber-physical systems via controllers with flexible delay constraints. In Proceedings of the 16th Asia South Pacific Design Automation Conference (ASP-DAC\u201911)."},{"key":"e_1_3_1_50_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201911)","author":"Goswami Dip","year":"2011","unstructured":"Dip Goswami, Reinhard Schneider, and Samarjit Chakraborty. 2011. Re-engineering cyber-physical control applications for hybrid communication protocols. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201911)."},{"issue":"6","key":"e_1_3_1_51_2","doi-asserted-by":"crossref","first-page":"2337","DOI":"10.1109\/TCST.2014.2301795","article-title":"Relaxing signal delay constraints in distributed embedded controllers","volume":"22","author":"Goswami Dip","year":"2014","unstructured":"Dip Goswami, Reinhard Schneider, and Samarjit Chakraborty. 2014. Relaxing signal delay constraints in distributed embedded controllers. IEEE Transactions on Control Systems Technology 22, 6 (2014), 2337\u20132345.","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"e_1_3_1_52_2","volume-title":"Proceedings of the 15th IEEE International Symposium on Autonomous Decentralized Systems (ISADS\u201923)","author":"Grimm Daniel","year":"2023","unstructured":"Daniel Grimm, Marc Schindewolf, and Eric Sax. 2023. Fleet in the loop: An open source approach for design and test of resilient vehicle architectures. In Proceedings of the 15th IEEE International Symposium on Autonomous Decentralized Systems (ISADS\u201923)."},{"key":"e_1_3_1_53_2","first-page":"41","volume-title":"Proceedings of the IEEE Vehicular Networking Conference (VNC\u201923)","author":"Grimm Daniel","year":"2023","unstructured":"Daniel Grimm, Moritz Zink, Marc Schindewolf, and Eric Sax. 2023. Adaptive cybersecurity monitoring for resilient vehicular architectures. In Proceedings of the IEEE Vehicular Networking Conference (VNC\u201923). IEEE, 41\u201348."},{"key":"e_1_3_1_54_2","volume-title":"Proceedings of the International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201914)","author":"Guo Liangpeng","year":"2014","unstructured":"Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, and Edward A. Lee. 2014. Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. In Proceedings of the International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201914)."},{"key":"e_1_3_1_55_2","doi-asserted-by":"crossref","first-page":"3450","DOI":"10.1109\/TCAD.2023.3240131","article-title":"Verification of camera-based autonomous systems","volume":"42","author":"Habeeb P.","year":"2023","unstructured":"P. Habeeb, Nabarun Deka, Deepak D\u2019Souza, Kamal Lodaya, and Pavithra Prabhakar. 2023. Verification of camera-based autonomous systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42, 10 (2023), 3450\u20133463.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_1_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3304762"},{"key":"e_1_3_1_57_2","doi-asserted-by":"crossref","unstructured":"Richard Hawkins and Philippa Ryan Conmy. 2023. Identifying run-time monitoring requirements for autonomous systems through the analysis of safety arguments. In Computer Safety Reliability and Security. Lecture Notes in Computer Science Vol. 14181. Springer 11\u201324.","DOI":"10.1007\/978-3-031-40923-3_2"},{"key":"e_1_3_1_58_2","volume-title":"Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems (ITSC\u201922)","author":"Henle Jacqueline","year":"2022","unstructured":"Jacqueline Henle, Martin Stoffel, Marc Schindewolf, Ann-Therese N\u00e4gele, and Eric Sax. 2022. Architecture platforms for future vehicles: A comparison of ROS2 and Adaptive AUTOSAR. In Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems (ITSC\u201922)."},{"key":"e_1_3_1_59_2","volume-title":"Proceedings of the 1st IEEE\/ACM International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS@ICSE\u201918)","author":"Henriksson Jens","year":"2018","unstructured":"Jens Henriksson, Markus Borg, and Cristofer Englund. 2018. Automotive safety and machine learning: Initial results from a study on how to adapt the ISO 26262 safety standard. In Proceedings of the 1st IEEE\/ACM International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS@ICSE\u201918)."},{"issue":"11","key":"e_1_3_1_60_2","doi-asserted-by":"crossref","first-page":"4016","DOI":"10.1109\/TCAD.2022.3198905","article-title":"Safety analysis of embedded controllers under implementation platform timing uncertainties","volume":"41","author":"Hobbs Clara","year":"2022","unstructured":"Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, and Samarjit Chakraborty. 2022. Safety analysis of embedded controllers under implementation platform timing uncertainties. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41, 11 (2022), 4016\u20134027.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_1_61_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)","author":"Hobbs Clara","year":"2021","unstructured":"Clara Hobbs, Debayan Roy, Parasara Sridhar Duggirala, F. Donelson Smith, Soheil Samii, James H. Anderson, and Samarjit Chakraborty. 2021. Perception computing-aware controller synthesis for autonomous systems. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)."},{"issue":"11","key":"e_1_3_1_62_2","doi-asserted-by":"crossref","first-page":"4205","DOI":"10.1109\/TCAD.2022.3197508","article-title":"Verifying controllers with vision-based perception using safe approximate abstractions","volume":"41","author":"Hsieh Chiao","year":"2022","unstructured":"Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, and Sayan Mitra. 2022. Verifying controllers with vision-based perception using safe approximate abstractions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41, 11 (2022), 4205\u20134216.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_1_63_2","doi-asserted-by":"crossref","unstructured":"Li Huang and Eun-Young Kang. 2019. In Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science Vol. 11424. Springer 210\u2013227. .","DOI":"10.1007\/978-3-030-16722-6_12"},{"key":"e_1_3_1_64_2","first-page":"12","volume-title":"Proceedings of the Learning for Dynamics and Control Conference","author":"Jafarpour Saber","year":"2023","unstructured":"Saber Jafarpour, Akash Harapanahalli, and Samuel Coogan. 2023. Interval reachability of nonlinear dynamical systems with neural network controllers. In Proceedings of the Learning for Dynamics and Control Conference. 12\u201325."},{"issue":"5","key":"e_1_3_1_65_2","doi-asserted-by":"crossref","first-page":"1713","DOI":"10.1007\/s10270-023-01113-5","article-title":"Repository mining for changes in Simulink and Stateflow models","volume":"22","author":"Jaskolka Monika","year":"2023","unstructured":"Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, and Mark Lawford. 2023. Repository mining for changes in Simulink and Stateflow models. Software and Systems Modeling 22, 5 (2023), 1713\u20131732.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_1_66_2","volume-title":"Proceedings of the International Conference on Information and Communication Technology Convergence (ICTC\u201919)","author":"Ju Hongil","year":"2019","unstructured":"Hongil Ju, Boosun Jeon, Daewon Kim, Boheung Jung, and Kyudong Jung. 2019. Security considerations for in-vehicle secure communication. In Proceedings of the International Conference on Information and Communication Technology Convergence (ICTC\u201919)."},{"key":"e_1_3_1_67_2","volume-title":"Proceedings of the 46th Design Automation Conference (DAC\u201909)","author":"Ju Lei","year":"2009","unstructured":"Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, and Abhik Roychoudhury. 2009. Context-sensitive timing analysis of Esterel programs. In Proceedings of the 46th Design Automation Conference (DAC\u201909)."},{"key":"e_1_3_1_68_2","volume-title":"Proceedings of the 6th International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201908)","author":"Ju Lei","year":"2008","unstructured":"Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, and Samarjit Chakraborty. 2008. Performance debugging of Esterel specifications. In Proceedings of the 6th International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201908)."},{"issue":"4","key":"e_1_3_1_69_2","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1109\/TIV.2022.3186897","article-title":"A survey on attack detection and resilience for connected and automated vehicles: From vehicle dynamics and control perspective","volume":"7","author":"Ju Zhiyang","year":"2022","unstructured":"Zhiyang Ju, Hui Zhang, Xiang Li, Xiaoguang Chen, Jinpeng Han, and Manzhi Yang. 2022. A survey on attack detection and resilience for connected and automated vehicles: From vehicle dynamics and control perspective. IEEE Transactions on Intelligent Vehicles 7, 4 (2022), 815\u2013837.","journal-title":"IEEE Transactions on Intelligent Vehicles"},{"key":"e_1_3_1_70_2","volume-title":"Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA\u201922)","author":"Jugade Chaitanya","year":"2022","unstructured":"Chaitanya Jugade, Daniel Hartgers, Phan D\u00fac Anh, Sajid Mohamed, Mojtaba Haghi, Dip Goswami, Andrew Nelson, Gijs van der Veen, and Kees Goossens. 2022. An evaluation framework for vision-in-the-loop motion control systems. In Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA\u201922)."},{"key":"e_1_3_1_71_2","volume-title":"Proceedings of the ACM Symposium on Computer Science in Cars","author":"Kalutarage Harsha Kumara","year":"2019","unstructured":"Harsha Kumara Kalutarage, M. Omar Al-Kadri, Madeline Cheah, and Garikayi Madzudzo. 2019. Context-aware anomaly detector for monitoring cyber attacks on automotive CAN bus. In Proceedings of the ACM Symposium on Computer Science in Cars. Article 7, 8 pages."},{"issue":"1","key":"e_1_3_1_72_2","first-page":"Article 7, 24 p","article-title":"Velocity optimization of pure electric vehicles with traffic dynamics and driving safety considerations","volume":"2","author":"Kang Liuwang","year":"2020","unstructured":"Liuwang Kang, Ankur Sarker, and Haiying Shen. 2020. Velocity optimization of pure electric vehicles with traffic dynamics and driving safety considerations. ACM Transactions on Internet of Things 2, 1 (2020), Article 7, 24 pages.","journal-title":"ACM Transactions on Internet of Things"},{"key":"e_1_3_1_73_2","volume-title":"Proceedings of the IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems (MASS\u201921)","author":"Kang Liuwang","year":"2021","unstructured":"Liuwang Kang and Haiying Shen. 2021. A control policy based driving safety system for autonomous vehicles. In Proceedings of the IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems (MASS\u201921)."},{"issue":"1","key":"e_1_3_1_74_2","first-page":"Article 9, 24 p","article-title":"Detection and mitigation of sensor and CAN bus attacks in vehicle anti-lock braking systems","volume":"6","author":"Kang Liuwang","year":"2022","unstructured":"Liuwang Kang and Haiying Shen. 2022. Detection and mitigation of sensor and CAN bus attacks in vehicle anti-lock braking systems. ACM Transactions on Cyber-Physical Systems 6, 1 (2022), Article 9, 24 pages.","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"issue":"16","key":"e_1_3_1_75_2","doi-asserted-by":"crossref","first-page":"14058","DOI":"10.1109\/JIOT.2023.3244756","article-title":"A data-driven control-policy-based driving safety analysis system for autonomous vehicles","volume":"10","author":"Kang Liuwang","year":"2023","unstructured":"Liuwang Kang, Haiying Shen, Yezhuo Li, and Shiwei Xu. 2023. A data-driven control-policy-based driving safety analysis system for autonomous vehicles. IEEE Internet of Things Journal 10, 16 (2023), 14058\u201314070.","journal-title":"IEEE Internet of Things Journal"},{"key":"e_1_3_1_76_2","doi-asserted-by":"crossref","unstructured":"Ryan Kapinski Vera Pantelic Victor Bandur Alan Wassyng and Mark Lawford. 2023. Assurance cases for timing properties of automotive TSN networks. In Computer Safety Reliability and Security: SAFECOMP 2023 Workshops. Lecture Notes in Computer Science Vol. 14182. Springer 26\u201331.","DOI":"10.1007\/978-3-031-40953-0_3"},{"key":"e_1_3_1_77_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201914)","author":"Kauer Matthias","year":"2014","unstructured":"Matthias Kauer, Damoon Soudbakhsh, Dip Goswami, Samarjit Chakraborty, and Anuradha M. Annaswamy. 2014. Fault-tolerant control synthesis and verification of distributed embedded systems. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201914)."},{"issue":"11","key":"e_1_3_1_78_2","doi-asserted-by":"crossref","first-page":"3931","DOI":"10.1109\/TCAD.2020.3012790","article-title":"Optrone: Maximizing performance and energy resources of drone batteries","volume":"39","author":"Kim Jiwon","year":"2020","unstructured":"Jiwon Kim, Yonghun Choi, Seunghyeok Jeon, Jaeyun Kang, and Hojung Cha. 2020. Optrone: Maximizing performance and energy resources of drone batteries. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39, 11 (2020), 3931\u20133943.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_1_79_2","first-page":"2352","volume-title":"Proceedings of the IEEE Intelligent Vehicles Symposium (IV\u201919)","author":"Klischat Moritz","year":"2019","unstructured":"Moritz Klischat and Matthias Althoff. 2019. Generating critical test scenarios for automated vehicles with evolutionary algorithms. In Proceedings of the IEEE Intelligent Vehicles Symposium (IV\u201919). IEEE, 2352\u20132358."},{"key":"e_1_3_1_80_2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-030-12157-0_8","volume-title":"Automotive Systems and Software Engineering: State of the Art and Future Trends","author":"Knoll Alois C.","year":"2019","unstructured":"Alois C. Knoll, Christian Buckl, Karl-Josef Kuhn, and Gernot Spiegelberg. 2019. The RACE project: An informatics-driven Greenfield approach to future E\/E architectures for cars. In Automotive Systems and Software Engineering: State of the Art and Future Trends, Yanja Dajsuren and Mark van den Brand (Eds.). Springer, 171\u2013195."},{"key":"e_1_3_1_81_2","volume-title":"Proceedings of the 31st IEEE Symposium on Security and Privacy (SP\u201910)","author":"Koscher Karl","year":"2010","unstructured":"Karl Koscher, Alexei Czeskis, Franziska Roesner, Shwetak N. Patel, Tadayoshi Kohno, Stephen Checkoway, Damon McCoy, Brian Kantor, Danny Anderson, Hovav Shacham, and Stefan Savage. 2010. Experimental security analysis of a modern automobile. In Proceedings of the 31st IEEE Symposium on Security and Privacy (SP\u201910)."},{"key":"e_1_3_1_82_2","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/978-3-658-37009-1_34","volume-title":"22. Internationales Stuttgarter Symposium","author":"Krauter Felix","year":"2022","unstructured":"Felix Krauter, Marc Schindewolf, and Eric Sax. 2022. Certificate-based safety concept for future dynamic automotive electric\/electronic architectures. In 22. Internationales Stuttgarter Symposium, Michael Bargende, Hans-Christian Reuss, and Andreas Wagner (Eds.). Springer Fachmedien Wiesbaden, 487\u2013500."},{"issue":"6","key":"e_1_3_1_83_2","doi-asserted-by":"crossref","first-page":"1945","DOI":"10.1007\/s10270-021-00896-9","article-title":"Model-based resource analysis and synthesis of service-oriented automotive software architectures","volume":"20","author":"Kugele Stefan","year":"2021","unstructured":"Stefan Kugele, Philipp Obergfell, and Eric Sax. 2021. Model-based resource analysis and synthesis of service-oriented automotive software architectures. Software and Systems Modeling 20, 6 (2021), 1945\u20131975.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_1_84_2","volume-title":"Proceedings of the 49th Annual Design Automation Conference (DAC\u201912)","author":"Kumar Pratyush","year":"2012","unstructured":"Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, and Lothar Thiele. 2012. A hybrid approach to cyber-physical systems verification. In Proceedings of the 49th Annual Design Automation Conference (DAC\u201912)."},{"key":"e_1_3_1_85_2","article-title":"Cloud resource allocation for cloud-based automotive applications","volume":"1701","author":"Li Zhaojian","year":"2017","unstructured":"Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky, Xiang Yin, and Xunyuan Yin. 2017. Cloud resource allocation for cloud-based automotive applications. CoRR abs\/1701.04537 (2017). http:\/\/arxiv.org\/abs\/1701.04537","journal-title":"CoRR"},{"key":"e_1_3_1_86_2","doi-asserted-by":"crossref","first-page":"103183","DOI":"10.1016\/j.micpro.2020.103183","article-title":"Resource-efficient cyber-physical systems design: A survey","volume":"77","author":"Li Zhao","year":"2020","unstructured":"Zhao Li, Chengcheng Huang, Xiaoxiao Dong, and Chongguang Ren. 2020. Resource-efficient cyber-physical systems design: A survey. Microprocessors and Microsystems 77 (2020), 103183.","journal-title":"Microprocessors and Microsystems"},{"key":"e_1_3_1_87_2","volume-title":"Proceedings of the 37th IEEE International Conference on Computer Design (ICCD\u201919)","author":"Liang Hengyi","year":"2019","unstructured":"Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, and Qi Zhu. 2019. Security-driven codesign with weakly-hard constraints for real-time embedded systems. In Proceedings of the 37th IEEE International Conference on Computer Design (ICCD\u201919)."},{"key":"e_1_3_1_88_2","article-title":"Millions of electric car batteries will retire in the next decade. What happens to them?","author":"Lim XiaoZhi","year":"2021","unstructured":"XiaoZhi Lim. 2021. Millions of electric car batteries will retire in the next decade. What happens to them? The Guardian. Retrieved March 14, 2024 from https:\/\/www.theguardian.com\/environment\/2021\/aug\/20\/electric-car-batteries-what-happens-to-them","journal-title":"The Guardian. Retrieved March 14, 2024 from https:\/\/www.theguardian.com\/environment\/2021\/aug\/20\/electric-car-batteries-what-happens-to-them"},{"key":"e_1_3_1_89_2","volume-title":"Proceedings of the IEEE International Conference on Connected Vehicles and Expo (ICCVE\u201919)","author":"Lu Kuen-Long","year":"2019","unstructured":"Kuen-Long Lu and Yung-Yuan Chen. 2019. ISO 26262 ASIL-oriented hardware design framework for safety-critical automotive systems. In Proceedings of the IEEE International Conference on Connected Vehicles and Expo (ICCVE\u201919)."},{"key":"e_1_3_1_90_2","article-title":"\u2018Lost time for no reason\u2019: How driverless taxis are stressing cities","author":"Lu Yiwen","year":"2023","unstructured":"Yiwen Lu. 2023. \u2018Lost time for no reason\u2019: How driverless taxis are stressing cities. The New York Times. Retrieved March 14, 2024 from https:\/\/www.nytimes.com\/2023\/11\/20\/technology\/driverless-taxis-cars-cities.html.","journal-title":"The New York Times"},{"key":"e_1_3_1_91_2","volume-title":"Proceedings of the 15th Euromicro Conference on Digital System Design (DSD\u201912)","author":"Lukasiewycz Martin","year":"2012","unstructured":"Martin Lukasiewycz, Sebastian Steinhorst, Florian Sagstetter, Wanli Chang, Peter Waszecki, Matthias Kauer, and Samarjit Chakraborty. 2012. Cyber-physical systems design for electric vehicles. In Proceedings of the 15th Euromicro Conference on Digital System Design (DSD\u201912)."},{"key":"e_1_3_1_92_2","volume-title":"Proceedings of the 50th Annual Design Automation Conference (DAC\u201913)","author":"Lukasiewycz Martin","year":"2013","unstructured":"Martin Lukasiewycz, Sebastian Steinhorst, Sidharta Andalam, Florian Sagstetter, Peter Waszecki, Wanli Chang, Matthias Kauer, Philipp Mundhenk, Shreejith Shanker, Suhaib A. Fahmy, and Samarjit Chakraborty. 2013. System architecture and software design for electric vehicles. In Proceedings of the 50th Annual Design Automation Conference (DAC\u201913)."},{"key":"e_1_3_1_93_2","volume-title":"Proceedings of the 17th Asia and South Pacific Design Automation Conference (ASP-DAC\u201912)","author":"Lukasiewycz Martin","year":"2012","unstructured":"Martin Lukasiewycz, Reinhard Schneider, Dip Goswami, and Samarjit Chakraborty. 2012. Modular scheduling of distributed heterogeneous time-triggered automotive systems. In Proceedings of the 17th Asia and South Pacific Design Automation Conference (ASP-DAC\u201912)."},{"issue":"23","key":"e_1_3_1_94_2","doi-asserted-by":"crossref","first-page":"9211","DOI":"10.3390\/s22239211","article-title":"Cybersecurity testing for automotive domain: A survey","volume":"22","author":"Luo Feng","year":"2022","unstructured":"Feng Luo, Xuan Zhang, Zhenyu Yang, Yifan Jiang, Jiajia Wang, Mingzhi Wu, and Wanqiang Feng. 2022. Cybersecurity testing for automotive domain: A survey. Sensors 22, 23 (2022), 9211.","journal-title":"Sensors"},{"key":"e_1_3_1_95_2","first-page":"Article 21, 24","volume-title":"32nd Euromicro Conference on Real-Time Systems (ECRTS\u201920).","volume":"165","author":"Maggio Martina","year":"2020","unstructured":"Martina Maggio, Arne Hamann, Eckart Mayer-John, and Dirk Ziegenbein. 2020. Control-system stability under consecutive deadline misses constraints. In 32nd Euromicro Conference on Real-Time Systems (ECRTS\u201920). Leibniz International Proceedings in Informatics, Vol. 165. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, Article 21, 24 pages."},{"issue":"5","key":"e_1_3_1_96_2","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MDAT.2020.2968281","article-title":"Breaking silos to guarantee control stability with communication over ethernet TSN","volume":"38","author":"Mahfouzi Rouhollah","year":"2021","unstructured":"Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, and Zebo Peng. 2021. Breaking silos to guarantee control stability with communication over ethernet TSN. IEEE Design & Test 38, 5 (2021), 48\u201356.","journal-title":"IEEE Design & Test"},{"key":"e_1_3_1_97_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.treng.2023.100195"},{"issue":"12","key":"e_1_3_1_98_2","doi-asserted-by":"crossref","first-page":"16006","DOI":"10.1109\/TITS.2023.3286611","article-title":"Deep learning-based anomaly detection for connected autonomous vehicles using spatiotemporal information","volume":"24","author":"Mansourian Pegah","year":"2023","unstructured":"Pegah Mansourian, Ning Zhang, Arunita Jaekel, and Marc Kneppers. 2023. Deep learning-based anomaly detection for connected autonomous vehicles using spatiotemporal information. IEEE Transactions on Intelligent Transportation Systems 24, 12 (2023), 16006\u201316017.","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"e_1_3_1_99_2","volume-title":"Proceedings of the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201912)","author":"Masrur Alejandro","year":"2012","unstructured":"Alejandro Masrur, Philipp Kindt, Martin Becker, Samarjit Chakraborty, Veit Kleeberger, Martin Barke, and Ulf Schlichtmann. 2012. Schedulability analysis for processors with aging-aware autonomic frequency scaling. In Proceedings of the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201912)."},{"key":"e_1_3_1_100_2","volume-title":"Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201910)","author":"Masrur Alejandro","year":"2010","unstructured":"Alejandro Masrur, Sebastian Dr\u00f6ssler, Thomas Pfeuffer, and Samarjit Chakraborty. 2010. VM-based real-time services for automotive control applications. In Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201910)."},{"key":"e_1_3_1_101_2","volume-title":"Proceedings of the 9th International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201911)","author":"Masrur Alejandro","year":"2011","unstructured":"Alejandro Masrur, Thomas Pfeuffer, Martin Geier, Sebastian Dr\u00f6ssler, and Samarjit Chakraborty. 2011. Designing VM schedulers for embedded real-time applications. In Proceedings of the 9th International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201911)."},{"key":"e_1_3_1_102_2","article-title":"How electric vehicles are losing momentum with U.S. buyers, in charts","author":"McLain Sean","year":"2023","unstructured":"Sean McLain and Nate Rattner. 2023. How electric vehicles are losing momentum with U.S. buyers, in charts. The Wall Street Journal. Retrieved March 14, 2024 from https:\/\/www.wsj.com\/business\/autos\/electric-vehicle-demand-charts-7d3089c7","journal-title":"The Wall Street Journal. Retrieved March 14, 2024 from https:\/\/www.wsj.com\/business\/autos\/electric-vehicle-demand-charts-7d3089c7"},{"issue":"7","key":"e_1_3_1_103_2","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1109\/TC.2020.3003083","article-title":"Control performance optimization for application integration on automotive architectures","volume":"70","author":"Minaeva Anna","year":"2021","unstructured":"Anna Minaeva, Debayan Roy, Benny Akesson, Zdenek Hanz\u00e1lek, and Samarjit Chakraborty. 2021. Control performance optimization for application integration on automotive architectures. IEEE Transactions on Computers 70, 7 (2021), 1059\u20131073.","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_1_104_2","doi-asserted-by":"crossref","first-page":"103037","DOI":"10.1016\/j.micpro.2020.103037","article-title":"A scenario- and platform-aware design flow for image-based control systems","volume":"75","author":"Mohamed Sajid","year":"2020","unstructured":"Sajid Mohamed, Dip Goswami, Vishak Nathan, Raghu Rajappa, and Twan Basten. 2020. A scenario- and platform-aware design flow for image-based control systems. Microprocessors and Microsystems 75 (2020), 103037.","journal-title":"Microprocessors and Microsystems"},{"issue":"7","key":"e_1_3_1_105_2","doi-asserted-by":"crossref","first-page":"7078","DOI":"10.1109\/TVT.2020.2989808","article-title":"Ensuring safety and security in CAN-based automotive embedded systems: A combination of design optimization and secure communication","volume":"69","author":"Mun Hyeran","year":"2020","unstructured":"Hyeran Mun, Kyusuk Han, and Dong Hoon Lee. 2020. Ensuring safety and security in CAN-based automotive embedded systems: A combination of design optimization and secure communication. IEEE Transactions on Vehicular Technology 69, 7 (2020), 7078\u20137091.","journal-title":"IEEE Transactions on Vehicular Technology"},{"issue":"2","key":"e_1_3_1_106_2","first-page":"Article 25, 27","article-title":"Security in automotive networks: Lightweight authentication and authorization","volume":"22","author":"Mundhenk Philipp","year":"2017","unstructured":"Philipp Mundhenk, Andrew Paverd, Artur Mrowca, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, and Samarjit Chakraborty. 2017. Security in automotive networks: Lightweight authentication and authorization. ACM Transactions on Design Automation of Electronic Systems 22, 2 (2017), Article 25, 27 pages.","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"e_1_3_1_107_2","volume-title":"Proceedings of the 52nd Annual Design Automation Conference (DAC\u201915)","author":"Mundhenk Philipp","year":"2015","unstructured":"Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, and Samarjit Chakraborty. 2015. Security analysis of automotive architectures using probabilistic model checking. In Proceedings of the 52nd Annual Design Automation Conference (DAC\u201915)."},{"key":"e_1_3_1_108_2","first-page":"Article 113, 6","volume-title":"Proceedings of the 51st Annual Design Automation Conference (DAC\u201914)","author":"Oetjens Jan-Hendrik","year":"2014","unstructured":"Jan-Hendrik Oetjens, N. Bannow, M. Becker, O. Bringmann, A. Burger, M. Chaari, S. Chakraborty, R. Dreschler, W. Ecker, K. Gruttner, Th. Kruse, C. Kuznik, H. M. Le, A. Mauderer, W. Muller, D. Muller-Gritschneder, F. Poppen, H. Post, S. Reiter, W. Rosenstiel, S. Roth, U. Schlichtmann, A. von Schwerin, B.-A. Tabacaru, and A. Viehl. 2014. Safety evaluation of automotive electronics using virtual prototypes: State of the art and research challenges. In Proceedings of the 51st Annual Design Automation Conference (DAC\u201914). ACM, Article 113, 6 pages."},{"key":"e_1_3_1_109_2","volume-title":"Proceedings of the 32nd IEEE International System-on-Chip Conference (SOCC\u201919)","author":"Oszwald Florian","year":"2019","unstructured":"Florian Oszwald, Philipp Obergfell, Matthias Traub, and J\u00fcrgen Becker. 2019. Reliable fail-operational automotive E\/E-architectures by dynamic redundancy and reconfiguration. In Proceedings of the 32nd IEEE International System-on-Chip Conference (SOCC\u201919)."},{"key":"e_1_3_1_110_2","volume-title":"Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD\u201916)","author":"Park Sangyoung","year":"2016","unstructured":"Sangyoung Park, Licong Zhang, and Samarjit Chakraborty. 2016. Design space exploration of drone infrastructure for large-scale delivery services. In Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD\u201916)."},{"key":"e_1_3_1_111_2","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Low Power Electronics and Design (ISLPED\u201917)","author":"Park Sangyoung","year":"2017","unstructured":"Sangyoung Park, Licong Zhang, and Samarjit Chakraborty. 2017. Battery assignment and scheduling for drone delivery businesses. In Proceedings of the IEEE\/ACM International Symposium on Low Power Electronics and Design (ISLPED\u201917)."},{"key":"e_1_3_1_112_2","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-031-37706-8_15","volume-title":"Proceedings of the International Conference on Computer Aided Verification (CAV\u201923)","author":"P\u0103s\u0103reanu Corina S","year":"2023","unstructured":"Corina S P\u0103s\u0103reanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, and Huafeng Yu. 2023. Closed-loop analysis of vision-based autonomous systems: A case study. In Proceedings of the International Conference on Computer Aided Verification (CAV\u201923). 289\u2013303."},{"key":"e_1_3_1_113_2","first-page":"1","volume-title":"Proceedings of the 74th IEEE Vehicular Technology Conference (VTC\u201911)","author":"Pedroza Gabriel","year":"2011","unstructured":"Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, and Yves Roudier. 2011. A formal methodology applied to secure over-the-air automotive applications. In Proceedings of the 74th IEEE Vehicular Technology Conference (VTC\u201911). IEEE, 1\u20135."},{"issue":"9","key":"e_1_3_1_114_2","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1038\/s42256-020-0225-y","article-title":"Using online verification to prevent autonomous vehicles from causing accidents","volume":"2","author":"Pek Christian","year":"2020","unstructured":"Christian Pek, Stefanie Manzinger, Markus Koschi, and Matthias Althoff. 2020. Using online verification to prevent autonomous vehicles from causing accidents. Nature Machine Intelligence 2, 9 (2020), 518\u2013528.","journal-title":"Nature Machine Intelligence"},{"issue":"5","key":"e_1_3_1_115_2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s10836-021-05973-x","article-title":"Analysis of security vulnerability levels of in-vehicle network topologies applying graph representations","volume":"37","author":"Petho Zsombor","year":"2021","unstructured":"Zsombor Petho, Intiyaz Khan, and \u00c1rp\u00e1d T\u00f6r\u00f6k. 2021. Analysis of security vulnerability levels of in-vehicle network topologies applying graph representations. Journal of Electronic Testing 37, 5 (2021), 613\u2013621.","journal-title":"Journal of Electronic Testing"},{"key":"e_1_3_1_116_2","volume-title":"Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS\u201907)","author":"Phan Linh T. X.","year":"2007","unstructured":"Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, and Lothar Thiele. 2007. Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS\u201907)."},{"issue":"3","key":"e_1_3_1_117_2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/MS.2017.78","article-title":"Secure automotive software: The next steps","volume":"34","author":"Pike Lee","year":"2017","unstructured":"Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, and James Bielman. 2017. Secure automotive software: The next steps. IEEE Software 34, 3 (2017), 49\u201355.","journal-title":"IEEE Software"},{"key":"e_1_3_1_118_2","first-page":"255","volume-title":"Proceedings of the 30th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP\u201922)","author":"Plappert Christian","year":"2022","unstructured":"Christian Plappert, Florian Fenzl, Roland Rieke, Ilaria Matteucci, Gianpiero Costantino, and Marco De Vincenzi. 2022. SECPAT: Security patterns for resilient automotive E\/E architectures. In Proceedings of the 30th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP\u201922). IEEE, 255\u2013264."},{"key":"e_1_3_1_119_2","volume-title":"Proceedings of the 2017 IEEE International Test Conference (ITC\u201917)","author":"Prasanth V.","year":"2017","unstructured":"V. Prasanth, David Foley, and Srivaths Ravi. 2017. Demystifying automotive safety and security for semiconductor developer. In Proceedings of the 2017 IEEE International Test Conference (ITC\u201917)."},{"issue":"11","key":"e_1_3_1_120_2","first-page":"Article 237, 40","article-title":"AI-based intrusion detection systems for in-vehicle networks: A survey","volume":"55","author":"Rajapaksha Sampath","year":"2023","unstructured":"Sampath Rajapaksha, Harsha K. Kalutarage, M. Omar Al-Kadri, Andrei Petrovski, Garikayi Madzudzo, and Madeline Cheah. 2023. AI-based intrusion detection systems for in-vehicle networks: A survey. ACM Computing Surveys 55, 11 (2023), Article 237, 40 pages.","journal-title":"ACM Computing Surveys"},{"issue":"12","key":"e_1_3_1_121_2","doi-asserted-by":"crossref","first-page":"7747","DOI":"10.1109\/TITS.2020.3008080","article-title":"In-vehicle object-level 3D reconstruction of traffic scenes","volume":"22","author":"Rao Qing","year":"2021","unstructured":"Qing Rao and Samarjit Chakraborty. 2021. In-vehicle object-level 3D reconstruction of traffic scenes. IEEE Transactions on Intelligent Transportation Systems 22, 12 (2021), 7747\u20137759.","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"e_1_3_1_122_2","volume-title":"Proceedings of the 51st Annual Design Automation Conference (DAC\u201914)","author":"Rao Qing","year":"2014","unstructured":"Qing Rao, Christian Gr\u00fcnler, Markus Hammori, and Samarjit Chakraborty. 2014. Design methods for augmented reality in-vehicle infotainment systems. In Proceedings of the 51st Annual Design Automation Conference (DAC\u201914)."},{"key":"e_1_3_1_123_2","volume-title":"Proceedings of the IEEE International Symposium on Mixed and Augmented Reality (ISMAR\u201914)","author":"Rao Qing","year":"2014","unstructured":"Qing Rao, Tobias Tropper, Christian Gr\u00fcnler, Markus Hammori, and Samarjit Chakraborty. 2014. \u2014Implementation of in-vehicle augmented reality. In Proceedings of the IEEE International Symposium on Mixed and Augmented Reality (ISMAR\u201914)."},{"issue":"6","key":"e_1_3_1_124_2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/MDAT.2019.2944085","article-title":"Guest editors\u2019 introduction: Secure automotive systems","volume":"36","author":"Ray Sandip","year":"2019","unstructured":"Sandip Ray, Ahmad-Reza Sadeghi, and Mohammad Abdullah Al Faruque. 2019. Guest editors\u2019 introduction: Secure automotive systems. IEEE Design & Test 36, 6 (2019), 5\u20136.","journal-title":"IEEE Design & Test"},{"key":"e_1_3_1_125_2","doi-asserted-by":"crossref","unstructured":"Albert Rizaldi Fabian Immler and Matthias Althoff. 2016. A formally verified checker of the safe distance traffic rules for autonomous vehicles. In NASA Formal Methods. Lecture Notes in Computer Science Vol. 9690. Springer 175\u2013190.","DOI":"10.1007\/978-3-319-40648-0_14"},{"key":"e_1_3_1_126_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)","author":"Roy Debayan","year":"2021","unstructured":"Debayan Roy, Clara Hobbs, James H. Anderson, Marco Caccamo, and Samarjit Chakraborty. 2021. Timing debugging for cyber-physical systems. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)."},{"key":"e_1_3_1_127_2","volume-title":"Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u201916)","author":"Roy Debayan","year":"2016","unstructured":"Debayan Roy, Licong Zhang, Wanli Chang, Dip Goswami, and Samarjit Chakraborty. 2016. Multi-objective co-optimization of FlexRay-based distributed control systems. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u201916)."},{"issue":"1","key":"e_1_3_1_128_2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1109\/JPROC.2017.2779456","article-title":"Semantics-preserving cosynthesis of cyber-physical systems","volume":"106","author":"Roy Debayan","year":"2018","unstructured":"Debayan Roy, Licong Zhang, Wanli Chang, Sanjoy K. Mitter, and Samarjit Chakraborty. 2018. Semantics-preserving cosynthesis of cyber-physical systems. Proceedings of the IEEE 106, 1 (2018), 171\u2013200.","journal-title":"Proceedings of the IEEE"},{"key":"e_1_3_1_129_2","doi-asserted-by":"crossref","first-page":"221852","DOI":"10.1109\/ACCESS.2020.3043070","article-title":"An overview of automotive service-oriented architectures and implications for security countermeasures","volume":"8","author":"Rumez Marcel","year":"2020","unstructured":"Marcel Rumez, Daniel Grimm, Reiner Kriesten, and Eric Sax. 2020. An overview of automotive service-oriented architectures and implications for security countermeasures. IEEE Access 8 (2020), 221852\u2013221870.","journal-title":"IEEE Access"},{"key":"e_1_3_1_130_2","doi-asserted-by":"crossref","unstructured":"Vladimir Rupanov Christian Buckl Ludger Fiege Michael Armbruster Alois C. Knoll and Gernot Spiegelberg. 2012. Early safety evaluation of design decisions in E\/E architecture according to ISO 26262. In Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems (ISARCS\u201912). ACM 1\u201310.","DOI":"10.1145\/2304656.2304658"},{"key":"e_1_3_1_131_2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.scico.2013.10.005","article-title":"Employing early model-based safety evaluation to iteratively derive E\/E architecture design","volume":"90","author":"Rupanov Vladimir","year":"2014","unstructured":"Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois C. Knoll, and Gernot Spiegelberg. 2014. Employing early model-based safety evaluation to iteratively derive E\/E architecture design. Science of Computer Programming 90 (2014), 161\u2013179.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_1_132_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201913)","author":"Sagstetter Florian","year":"2013","unstructured":"Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, and Marko Wolf. 2013. Security challenges in automotive hardware\/software architecture design. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201913)."},{"key":"e_1_3_1_133_2","volume-title":"Proceedings of the 51st Annual Design Automation Conference (DAC\u201914)","author":"Sagstetter Florian","year":"2014","unstructured":"Florian Sagstetter, Sidharta Andalam, Peter Waszecki, Martin Lukasiewycz, Hauke St\u00e4hle, Samarjit Chakraborty, and Alois C. Knoll. 2014. Schedule integration framework for time-triggered automotive architectures. In Proceedings of the 51st Annual Design Automation Conference (DAC\u201914)."},{"issue":"2","key":"e_1_3_1_134_2","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1109\/TCAD.2016.2570421","article-title":"Generalized asynchronous time-triggered scheduling for FlexRay","volume":"36","author":"Sagstetter Florian","year":"2017","unstructured":"Florian Sagstetter, Martin Lukasiewycz, and Samarjit Chakraborty. 2017. Generalized asynchronous time-triggered scheduling for FlexRay. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 36, 2 (2017), 214\u2013226.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"4","key":"e_1_3_1_135_2","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/TCAD.2015.2488480","article-title":"Multischedule synthesis for variant management in automotive time-triggered systems","volume":"35","author":"Sagstetter Florian","year":"2016","unstructured":"Florian Sagstetter, Peter Waszecki, Sebastian Steinhorst, Martin Lukasiewycz, and Samarjit Chakraborty. 2016. Multischedule synthesis for variant management in automotive time-triggered systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 35, 4 (2016), 637\u2013650.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"e_1_3_1_136_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)","author":"Samal Kruttidipta","year":"2021","unstructured":"Kruttidipta Samal, Marilyn Wolf, and Saibal Mukhopadhyay. 2021. Closed-loop approach to perception in autonomous system. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)."},{"key":"e_1_3_1_137_2","first-page":"95","volume-title":"Advances in Transport Policy and Planning","author":"Sanguino Tom\u00e1s de J. Mateo","year":"2020","unstructured":"Tom\u00e1s de J. Mateo Sanguino, Jos\u00e9 M. Lozano Dom\u00ednguez, and Patr\u00edcia de Carvalho Baptista. 2020. Cybersecurity certification and auditing of automotive industry. In Advances in Transport Policy and Planning. Vol. 5. Elsevier, 95\u2013124."},{"issue":"1","key":"e_1_3_1_138_2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TITS.2019.2892399","article-title":"A review of sensing and communication, human factors, and controller aspects for information-aware connected and automated vehicles","volume":"21","author":"Sarker Ankur","year":"2020","unstructured":"Ankur Sarker, Haiying Shen, Mizanur Rahman, Mashrur Chowdhury, Kakan C. Dey, Fangjian Li, Yue Wang, and Husnu S. Narman. 2020. A review of sensing and communication, human factors, and controller aspects for information-aware connected and automated vehicles. IEEE Transactions on Intelligent Transportation Systems 21, 1 (2020), 7\u201329.","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"issue":"4","key":"e_1_3_1_139_2","first-page":"Article 87, 28","article-title":"Robust image processing for an omnidirectional camera-based smart car door","volume":"11","author":"Scharfenberger Christian","year":"2012","unstructured":"Christian Scharfenberger, Samarjit Chakraborty, and Georg F\u00e4rber. 2012. Robust image processing for an omnidirectional camera-based smart car door. ACM Transactions on Embedded Computing Systems 11, 4 (2012), Article 87, 28 pages.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"e_1_3_1_140_2","volume-title":"Proceedings of the International Conference on Connected Vehicles and Expo (ICCVE\u201922)","author":"Schindewolf Marc","year":"2022","unstructured":"Marc Schindewolf, Hannes Stoll, Houssem Guissouma, Andreas Puder, Eric Sax, Andreas Vetter, Marcel Rumez, and Jacqueline Henle. 2022. A comparison of architecture paradigms for dynamic reconf\u0131gurable automotive networks. In Proceedings of the International Conference on Connected Vehicles and Expo (ICCVE\u201922). IEEE."},{"issue":"10","key":"e_1_3_1_141_2","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1016\/j.sysarc.2013.09.003","article-title":"Multi-layered scheduling of mixed-criticality cyber-physical systems","volume":"59","author":"Schneider Reinhard","year":"2013","unstructured":"Reinhard Schneider, Dip Goswami, Alejandro Masrur, Martin Becker, and Samarjit Chakraborty. 2013. Multi-layered scheduling of mixed-criticality cyber-physical systems. Journal of Systems Architecture 59, 10-D (2013), 1215\u20131230.","journal-title":"Journal of Systems Architecture"},{"key":"e_1_3_1_142_2","volume-title":"Proceedings of the 9th International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201911)","author":"Schneider Reinhard","year":"2011","unstructured":"Reinhard Schneider, Dip Goswami, Sohaib Zafar, Martin Lukasiewycz, and Samarjit Chakraborty. 2011. Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. In Proceedings of the 9th International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS\u201911)."},{"key":"e_1_3_1_143_2","first-page":"260","volume-title":"Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (ICSE\u201919)","author":"Segler Christoph","year":"2019","unstructured":"Christoph Segler, Stefan Kugele, Philipp Obergfell, Mohd Hafeez Osman, Sina Shafaei, Eric Sax, and Alois C. Knoll. 2019. Evaluation of feature selection for anomaly detection in automotive E\/E architectures. In Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (ICSE\u201919). IEEE, 260\u2013261."},{"key":"e_1_3_1_144_2","first-page":"6893","volume-title":"Proceedings of the 32nd USENIX Security Symposium","author":"Serag Khaled","year":"2023","unstructured":"Khaled Serag, Rohit Bhatia, Akram Faqih, Muslum Ozgur Ozmen, Vireshwar Kumar, Z. Berkay Celik, and Dongyan Xu. 2023. ZBCAN: A zero-byte CAN defense system. In Proceedings of the 32nd USENIX Security Symposium. 6893\u20136910."},{"issue":"9","key":"e_1_3_1_145_2","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1109\/TCAD.2016.2633961","article-title":"Design automation of cyber-physical systems: Challenges, advances, and opportunities","volume":"36","author":"Seshia Sanjit A.","year":"2017","unstructured":"Sanjit A. Seshia, Shiyan Hu, Wenchao Li, and Qi Zhu. 2017. Design automation of cyber-physical systems: Challenges, advances, and opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 36, 9 (2017), 1421\u20131434.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"24","key":"e_1_3_1_146_2","doi-asserted-by":"crossref","first-page":"22111","DOI":"10.1109\/JIOT.2023.3303271","article-title":"CANShield: Deep-learning-based intrusion detection framework for controller area networks at the signal level","volume":"10","author":"Shahriar Md. Hasan","year":"2023","unstructured":"Md. Hasan Shahriar, Yang Xiao, Pablo Moriano, Wenjing Lou, and Y. Thomas Hou. 2023. CANShield: Deep-learning-based intrusion detection framework for controller area networks at the signal level. IEEE Internet of Things Journal 10, 24 (2023), 22111\u201322127.","journal-title":"IEEE Internet of Things Journal"},{"issue":"10","key":"e_1_3_1_147_2","doi-asserted-by":"crossref","first-page":"1790","DOI":"10.1109\/TC.2017.2700277","article-title":"VEGa: A high performance vehicular Ethernet gateway on hybrid FPGA","volume":"66","author":"Mundhenk Philipp","year":"2017","unstructured":"Shanker Shreejith, Philipp Mundhenk, Andreas Ettner, Suhaib A. Fahmy, Sebastian Steinhorst, Martin Lukasiewycz, and Samarjit Chakraborty. 2017. VEGa: A high performance vehicular Ethernet gateway on hybrid FPGA. IEEE Transactions on Computers 66, 10 (2017), 1790\u20131803.","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_1_148_2","first-page":"Article 39, 6 p","volume-title":"Proceedings of the 52nd Annual Design Automation Conference (DAC\u201915)","author":"Shreejith Shanker","year":"2015","unstructured":"Shanker Shreejith and Suhaib A. Fahmy. 2015. Security aware network controllers for next generation automotive embedded systems. In Proceedings of the 52nd Annual Design Automation Conference (DAC\u201915). ACM, Article 39, 6 pages."},{"key":"e_1_3_1_149_2","volume-title":"Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering (ISSRE\u201923)","author":"Siavashi Faezeh","year":"2023","unstructured":"Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, and Alessandro Verde. 2023. Bridging the gap between system architecture and software design using model transformation. In Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering (ISSRE\u201923)."},{"issue":"4","key":"e_1_3_1_150_2","article-title":"A formal approach to rigorous development of critical systems","volume":"33","author":"Singh Neeraj Kumar","year":"2021","unstructured":"Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, and Alan Wassyng. 2021. A formal approach to rigorous development of critical systems. Journal of Software: Evolution and Process 33, 4 (2021), e2334.","journal-title":"Journal of Software: Evolution and Process"},{"key":"e_1_3_1_151_2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.future.2023.02.019","article-title":"A multidisciplinary detection system for cyber attacks on powertrain cyber physical systems","volume":"144","author":"Stabili Dario","year":"2023","unstructured":"Dario Stabili, Raffaele Romagnoli, Mirco Marchetti, Bruno Sinopoli, and Michele Colajanni. 2023. A multidisciplinary detection system for cyber attacks on powertrain cyber physical systems. Future Generation Computer Systems 144 (2023), 151\u2013164.","journal-title":"Future Generation Computer Systems"},{"key":"e_1_3_1_152_2","article-title":"The underbelly of electric vehicles: What goes into making EVs, where it comes from and at what human cost","author":"Steckelberg Aaron","year":"2023","unstructured":"Aaron Steckelberg, Hannah Dormido, Ruby Mellen, Steven Rich, and Cate Brown. 2023. The underbelly of electric vehicles: What goes into making EVs, where it comes from and at what human cost. The Washington Post. Retrieved March 14, 2024 from https:\/\/www.washingtonpost.com\/world\/interactive\/2023\/electric-car-batteries-geography\/","journal-title":"The Washington Post"},{"key":"e_1_3_1_153_2","volume-title":"Proceedings of the 21st Asia and South Pacific Design Automation Conference (ASP-DAC\u201916)","author":"Steinhorst Sebastian","year":"2016","unstructured":"Sebastian Steinhorst, Zili Shao, Samarjit Chakraborty, Matthias Kauer, Shuai Li, Martin Lukasiewycz, Swaminathan Narayanaswamy, Muhammad Usman Rafique, and Qixin Wang. 2016. Distributed reconfigurable battery system management architectures. In Proceedings of the 21st Asia and South Pacific Design Automation Conference (ASP-DAC\u201916)."},{"issue":"6","key":"e_1_3_1_154_2","doi-asserted-by":"crossref","first-page":"3538","DOI":"10.1002\/asjc.2749","article-title":"Self-discipline predictive control of autonomous vehicles against denial of service attacks","volume":"24","author":"Sun Hong-Tao","year":"2022","unstructured":"Hong-Tao Sun, Chen Peng, and Fei Ding. 2022. Self-discipline predictive control of autonomous vehicles against denial of service attacks. Asian Journal of Control 24, 6 (2022), 3538\u20133551.","journal-title":"Asian Journal of Control"},{"key":"e_1_3_1_155_2","volume-title":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201919)","author":"Sun Xiaowu","year":"2019","unstructured":"Xiaowu Sun, Haitham Khedr, and Yasser Shoukry. 2019. Formal verification of neural network controlled autonomous systems. In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC\u201919)."},{"key":"e_1_3_1_156_2","volume-title":"Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD\u201916)","author":"Tibba Ghizlane","year":"2016","unstructured":"Ghizlane Tibba, Christoph Malz, Christoph Stoermer, Natarajan Nagarajan, Licong Zhang, and Samarjit Chakraborty. 2016. Testing automotive embedded systems under X-in-the-loop setups. In Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD\u201916)."},{"key":"e_1_3_1_157_2","volume-title":"Proceedings of the IEEE International Systems Conference (SysCon\u201920)","author":"Sanden Bram van der","year":"2020","unstructured":"Bram van der Sanden and Alexandr Vasenev. 2020. Architectural guidance in automotive for privacy and security: Survey and classification. In Proceedings of the IEEE International Systems Conference (SysCon\u201920)."},{"key":"e_1_3_1_158_2","article-title":"Systematic assessment of cyber-physical security of lane keeping control system for autonomous vehicles","volume":"2","author":"Wang Yulei","year":"2023","unstructured":"Yulei Wang, An Huang, Fan Yang, Jiazhi Zhang, Ning Bian, and Lulu Guo. 2023. Systematic assessment of cyber-physical security of lane keeping control system for autonomous vehicles. Security and Safety 2 (2023), 1\u201319.","journal-title":"Security and Safety"},{"key":"e_1_3_1_159_2","volume-title":"Proceedings of the ACM\/IEEE Design Automation Conference (DAC\u201922)","author":"Wang Yixuan","year":"2022","unstructured":"Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, and Qi Zhu. 2022. Design-while-verify: Correct-by-construction control learning with verification in the loop. In Proceedings of the ACM\/IEEE Design Automation Conference (DAC\u201922)."},{"key":"e_1_3_1_160_2","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)","author":"Wang Zhilu","year":"2021","unstructured":"Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, and Qi Zhu. 2021. Bounding perception neural network uncertainty for safe control of autonomous systems. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE\u201921)."},{"issue":"5","key":"e_1_3_1_161_2","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MDAT.2020.3037561","article-title":"Cross-layer design of automotive systems","volume":"38","author":"Wang Zhilu","year":"2021","unstructured":"Zhilu Wang, Hengyi Liang, Chao Huang, and Qi Zhu. 2021. Cross-layer design of automotive systems. IEEE Design & Test 38, 5 (2021), 8\u201316.","journal-title":"IEEE Design & Test"},{"issue":"11","key":"e_1_3_1_162_2","doi-asserted-by":"crossref","first-page":"1790","DOI":"10.1109\/TCAD.2017.2666605","article-title":"Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring","volume":"36","author":"Waszecki Peter","year":"2017","unstructured":"Peter Waszecki, Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Ramesh Karri, and Samarjit Chakraborty. 2017. Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 36, 11 (2017), 1790\u20131803.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"12","key":"e_1_3_1_163_2","doi-asserted-by":"crossref","first-page":"4413","DOI":"10.1109\/TCAD.2020.2979457","article-title":"Security-aware obfuscated priority assignment for CAN FD messages in real-time parallel automotive applications","volume":"39","author":"Xie Guoqi","year":"2020","unstructured":"Guoqi Xie, Renfa Li, and Shiyan Hu. 2020. Security-aware obfuscated priority assignment for CAN FD messages in real-time parallel automotive applications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39, 12 (2020), 4413\u20134425.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"9","key":"e_1_3_1_164_2","doi-asserted-by":"crossref","first-page":"5629","DOI":"10.1109\/TII.2020.2978889","article-title":"Recent advances and future trends for automotive functional safety design methodologies","volume":"16","author":"Xie Guoqi","year":"2020","unstructured":"Guoqi Xie, Yanwen Li, Yunbo Han, Yong Xie, Gang Zeng, and Renfa Li. 2020. Recent advances and future trends for automotive functional safety design methodologies. IEEE Transactions on Industrial Informatics 16, 9 (2020), 5629\u20135642.","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"7","key":"e_1_3_1_165_2","doi-asserted-by":"crossref","first-page":"4467","DOI":"10.1109\/TITS.2021.3055351","article-title":"Threat analysis for automotive CAN networks: A GAN model-based intrusion detection technique","volume":"22","author":"Xie Guoqi","year":"2021","unstructured":"Guoqi Xie, Laurence T. Yang, Yuanda Yang, Haibo Luo, Renfa Li, and Mamoun Alazab. 2021. Threat analysis for automotive CAN networks: A GAN model-based intrusion detection technique. IEEE Transactions on Intelligent Transportation Systems 22, 7 (2021), 4467\u20134477.","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"issue":"5","key":"e_1_3_1_166_2","doi-asserted-by":"crossref","first-page":"4378","DOI":"10.1109\/TIE.2017.2762621","article-title":"Fast functional safety verification for distributed automotive applications during early design phase","volume":"65","author":"Xie Guoqi","year":"2018","unstructured":"Guoqi Xie, Gang Zeng, Yan Liu, Jia Zhou, Renfa Li, and Keqin Li. 2018. Fast functional safety verification for distributed automotive applications during early design phase. IEEE Transactions on Industrial Electronics 65, 5 (2018), 4378\u20134391.","journal-title":"IEEE Transactions on Industrial Electronics"},{"issue":"3","key":"e_1_3_1_167_2","doi-asserted-by":"crossref","first-page":"1186","DOI":"10.1109\/TVT.2015.2410694","article-title":"Fully electrified regenerative braking control for deep energy recovery and maintaining safety of electric vehicles","volume":"65","author":"Xu Guoqing","year":"2016","unstructured":"Guoqing Xu, Kun Xu, Chunhua Zheng, Xinye Zhang, and Taimoor Zahid. 2016. Fully electrified regenerative braking control for deep energy recovery and maintaining safety of electric vehicles. IEEE Transactions on Vehicular Technology 65, 3 (2016), 1186\u20131198.","journal-title":"IEEE Transactions on Vehicular Technology"},{"key":"e_1_3_1_168_2","volume-title":"Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC\u201923)","author":"Xu Shengjie","year":"2023","unstructured":"Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, and Samarjit Chakraborty. 2023. Safety-aware flexible schedule synthesis for cyber-physical systems using weakly-hard constraints. In Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC\u201923)."},{"key":"e_1_3_1_169_2","volume-title":"Proceedings of the 10th European Congress on Embedded Real Time Software and Systems (ERTS\u201920)","author":"Yasmine Assioua","year":"2020","unstructured":"Assioua Yasmine, Ameur-Boulifa Rabea, and Guitton-Ouhamou Patricia. 2020. Towards formal verification of autonomous driving supervisor functions. In Proceedings of the 10th European Congress on Embedded Real Time Software and Systems (ERTS\u201920)."},{"key":"e_1_3_1_170_2","doi-asserted-by":"crossref","unstructured":"Anand Yeolekar Ravindra Metta Clara Hobbs and Samarjit Chakraborty. 2022. Checking scheduling-induced violations of control safety properties. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science Vol. 13505. Springer 100\u2013116.","DOI":"10.1007\/978-3-031-19992-9_7"},{"key":"e_1_3_1_171_2","volume-title":"Proceedings of the IEEE Vehicular Networking Conference (VNC\u201923)","author":"Yoshizawa Takahito","year":"2023","unstructured":"Takahito Yoshizawa and Bart Preneel. 2023. A new approach to pseudonym certificate management in V2X communication. In Proceedings of the IEEE Vehicular Networking Conference (VNC\u201923)."},{"issue":"9","key":"e_1_3_1_172_2","first-page":"Article 185, 36","article-title":"A survey of security and privacy issues in V2X communication systems","volume":"55","author":"Yoshizawa Takahito","year":"2023","unstructured":"Takahito Yoshizawa, Dave Singel\u00e9e, Jan Tobias M\u00fchlberg, St\u00e9phane Delbruel, Amir Taherkordi, Danny Hughes, and Bart Preneel. 2023. A survey of security and privacy issues in V2X communication systems. ACM Computin Surveys 55, 9 (2023), Article 185, 36 pages.","journal-title":"ACM Computin Surveys"},{"key":"e_1_3_1_173_2","volume-title":"Proceedings of the European Control Conference (ECC\u201921)","author":"Zardini Gioele","year":"2021","unstructured":"Gioele Zardini, Andrea Censi, and Emilio Frazzoli. 2021. Co-design of autonomous systems: From hardware selection to control synthesis. In Proceedings of the European Control Conference (ECC\u201921)."},{"key":"e_1_3_1_174_2","first-page":"Article 8, 20 p","volume-title":"Proceedings of the 16th International Conference on Availability, Reliability, and Security (ARES\u201921)","author":"Zelle Daniel","year":"2021","unstructured":"Daniel Zelle, Timm Lauser, Dustin Kern, and Christoph Krau\u00df. 2021. Analyzing and securing SOME\/IP automotive services with formal and practical methods. In Proceedings of the 16th International Conference on Availability, Reliability, and Security (ARES\u201921). ACM, Article 8, 20 pages."},{"key":"e_1_3_1_175_2","doi-asserted-by":"crossref","first-page":"1566","DOI":"10.1109\/TIFS.2023.3240291","article-title":"Federated graph neural network for fast anomaly detection in controller area networks","volume":"18","author":"Zhang Hengrun","year":"2023","unstructured":"Hengrun Zhang, Kai Zeng, and Shuai Lin. 2023. Federated graph neural network for fast anomaly detection in controller area networks. IEEE Transactions on Information Forensics and Security 18 (2023), 1566\u20131579.","journal-title":"IEEE Transactions on Information Forensics and Security"},{"key":"e_1_3_1_176_2","volume-title":"Proceedings of the 19th Asia and South Pacific Design Automation Conference (ASP-DAC\u201914)","author":"Zhang Licong","year":"2014","unstructured":"Licong Zhang, Dip Goswami, Reinhard Schneider, and Samarjit Chakraborty. 2014. Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems. In Proceedings of the 19th Asia and South Pacific Design Automation Conference (ASP-DAC\u201914)."},{"key":"e_1_3_1_177_2","volume-title":"Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201916)","author":"Zhang Licong","year":"2016","unstructured":"Licong Zhang, Debayan Roy, Philipp Mundhenk, and Samarjit Chakraborty. 2016. Schedule management framework for cloud-based future automotive software systems. In Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA\u201916)."},{"issue":"4","key":"e_1_3_1_178_2","first-page":"Article 45, 30","article-title":"CAN bus intrusion detection based on auxiliary classifier GAN and out-of-distribution detection","volume":"21","author":"Zhao Qingling","year":"2022","unstructured":"Qingling Zhao, Mingqiang Chen, Zonghua Gu, Siyu Luan, Haibo Zeng, and Samarjit Chakraborty. 2022. CAN bus intrusion detection based on auxiliary classifier GAN and out-of-distribution detection. ACM Transactions on Embedded Computing Systems 21, 4 (2022), Article 45, 30 pages.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"issue":"9","key":"e_1_3_1_179_2","doi-asserted-by":"crossref","first-page":"1484","DOI":"10.1109\/JPROC.2018.2864271","article-title":"Codesign methodologies and tools for cyber-physical systems","volume":"106","author":"Zhu Qi","year":"2018","unstructured":"Qi Zhu and Alberto L. Sangiovanni-Vincentelli. 2018. Codesign methodologies and tools for cyber-physical systems. Proceedings of the IEEE 106, 9 (2018), 1484\u20131500.","journal-title":"Proceedings of the IEEE"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650210","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:06Z","timestamp":1750287006000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650210"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,30]]},"references-count":178,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,4,30]]}},"alternative-id":["10.1145\/3650210"],"URL":"https:\/\/doi.org\/10.1145\/3650210","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,30]]},"assertion":[{"value":"2024-02-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-02-28","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-05-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}