{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T00:03:27Z","timestamp":1768781007986,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T00:00:00Z","timestamp":1554336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,4]]},"DOI":"10.1145\/3299902.3311070","type":"proceedings-article","created":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T19:07:28Z","timestamp":1554923248000},"page":"117-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["From Electronic Design Automation to Cyber-Physical System Design Automation"],"prefix":"10.1145","author":[{"given":"Pierluigi","family":"Nuzzo","sequence":"first","affiliation":[{"name":"University of Southern California, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Principles of cyber-physical systems","author":"Alur Rajeev","unstructured":"Rajeev Alur . 2015. Principles of cyber-physical systems . MIT Press . Rajeev Alur. 2015. Principles of cyber-physical systems .MIT Press."},{"key":"e_1_3_2_1_2_1","volume-title":"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems (LNCS)","author":"Alur R.","year":"1993","unstructured":"R. Alur , C. Courcoubetis , T. A. Henzinger , and P. H. Ho . 1993 . Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems (LNCS) , Vol. 736 . Springer , 209--229. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho. 1993. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems (LNCS), Vol. 736. Springer, 209--229."},{"key":"e_1_3_2_1_3_1","volume-title":"Concrete problems in AI safety. arXiv preprint arXiv:1606.06565","author":"Amodei Dario","year":"2016","unstructured":"Dario Amodei , Chris Olah , Jacob Steinhardt , Paul Christiano , John Schulman , and Dan Man\u00e9 . 2016. Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 ( 2016 ). Dario Amodei, Chris Olah, Jacob Steinhardt, Paul Christiano, John Schulman, and Dan Man\u00e9. 2016. Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 (2016)."},{"key":"e_1_3_2_1_4_1","volume-title":"Handbook of Model Checking","author":"Barrett Clark","unstructured":"Clark Barrett and Cesare Tinelli . 2018. Satisfiability modulo theories . In Handbook of Model Checking . Springer , 305--343. Clark Barrett and Cesare Tinelli. 2018. Satisfiability modulo theories. In Handbook of Model Checking. Springer, 305--343."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2858016"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33512-9_8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"S.P. Boyd and L. Vandenberghe. 2004. Convex Optimization .Cambridge University Press. 03063284   S.P. Boyd and L. Vandenberghe. 2004. Convex Optimization .Cambridge University Press. 03063284","DOI":"10.1017\/CBO9780511804441"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.011"},{"key":"e_1_3_2_1_12_1","volume-title":"Handbook of model checking","author":"Clarke Edmund M","unstructured":"Edmund M Clarke , Thomas A Henzinger , Helmut Veith , and Roderick P Bloem . 2018. Handbook of model checking . Springer . Edmund M Clarke, Thomas A Henzinger, Helmut Veith, and Roderick P Bloem. 2018. Handbook of model checking .Springer."},{"key":"e_1_3_2_1_13_1","volume-title":"First International Workshop on Embedded Software (EMSOFT)","volume":"2211","author":"deAlfaro Luca","unstructured":"Luca deAlfaro and Thomas A. Henzinger . 2001. Interface theories for component-based design . In First International Workshop on Embedded Software (EMSOFT) , Vol. LNCS 2211 . Springer-Verlag, Lake Tahoe, CA, 148--165. Luca deAlfaro and Thomas A. Henzinger. 2001. Interface theories for component-based design. In First International Workshop on Embedded Software (EMSOFT), Vol. LNCS 2211. Springer-Verlag, Lake Tahoe, CA, 148--165."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874738"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1565799.1565806"},{"key":"e_1_3_2_1_16_1","volume-title":"Ann. INCOSE Int. Symp. INCOSE.","author":"Yishai","unstructured":"Yishai A. Feldman and Henry Broodney. 2016. A Cognitive Journey for Requirements Engineering . In Ann. INCOSE Int. Symp. INCOSE. Yishai A. Feldman and Henry Broodney. 2016. A Cognitive Journey for Requirements Engineering. In Ann. INCOSE Int. Symp. INCOSE."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2834926"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. IEEE\/ACM Int. Conf. Comput.-Aided Design .","author":"Finn J.","unstructured":"J. Finn , P. Nuzzo , and A. Sangiovanni-Vincentelli . 2015. A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration . In Proc. IEEE\/ACM Int. Conf. Comput.-Aided Design . J. Finn, P. Nuzzo, and A. Sangiovanni-Vincentelli. 2015. A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. In Proc. IEEE\/ACM Int. Conf. Comput.-Aided Design ."},{"key":"e_1_3_2_1_19_1","volume-title":"A logic for reasoning about time and reliability. Formal aspects of computing","author":"Hansson Hans","year":"1994","unstructured":"Hans Hansson and Bengt Jonsson . 1994. A logic for reasoning about time and reliability. Formal aspects of computing , Vol. 6 , 5 ( 1994 ), 512--535. Hans Hansson and Bengt Jonsson. 1994. A logic for reasoning about time and reliability. Formal aspects of computing, Vol. 6, 5 (1994), 512--535."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. Design, Automation and Test in Europe .","author":"Iannopollo Antonio","year":"2014","unstructured":"Antonio Iannopollo , Pierluigi Nuzzo , Stavros Tripakis , and Alberto Sangiovanni-Vincentelli . 2014 . Library-Based Scalable Refinement Checking for Contract-Based Design . In Proc. Design, Automation and Test in Europe . Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, and Alberto Sangiovanni-Vincentelli. 2014. Library-Based Scalable Refinement Checking for Contract-Based Design. In Proc. Design, Automation and Test in Europe ."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2856932"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062204"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"M. Kloetzer and C. Belta. 2008. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. Vol. 53 1 (Feb. 2008) 287--297.  M. Kloetzer and C. Belta. 2008. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. Vol. 53 1 (Feb. 2008) 287--297.","DOI":"10.1109\/TAC.2007.914952"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_3_2_1_26_1","volume-title":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","author":"Kwiatkowska Marta","unstructured":"Marta Kwiatkowska , Gethin Norman , and David Parker . 2007. Stochastic model checking . In International School on Formal Methods for the Design of Computer, Communication and Software Systems . Springer , 220--270. Marta Kwiatkowska, Gethin Norman, and David Parker. 2007. Stochastic model checking. In International School on Formal Methods for the Design of Computer, Communication and Software Systems. Springer, 220--270."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_28_1","volume-title":"Seshia","author":"Lee Edward A.","year":"2017","unstructured":"Edward A. Lee and Sanjit A . Seshia . 2017 . Introduction to Embedded Systems, A Cyber-Physical Systems Approach Second ed.). MIT Press . Edward A. Lee and Sanjit A. Seshia. 2017. Introduction to Embedded Systems, A Cyber-Physical Systems Approach Second ed.). MIT Press."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127045"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2691365.2691371"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536637"},{"key":"e_1_3_2_1_32_1","first-page":"10","article-title":"Building `Systems That You Can Bet Your Life On' Again and Again: Challenges and Opportunities for Cyber-Physical System Design Automation. `What is' Column","volume":"48","author":"Nuzzo Pierluigi","year":"2018","unstructured":"Pierluigi Nuzzo . 2018 . Building `Systems That You Can Bet Your Life On' Again and Again: Challenges and Opportunities for Cyber-Physical System Design Automation. `What is' Column , ACM SIGDA (Association for Computing Machinery Special Interest Group on Design Automation) E-Newsletter , Vol. 48 , 10 (Oct. 2018). Pierluigi Nuzzo. 2018. Building `Systems That You Can Bet Your Life On' Again and Again: Challenges and Opportunities for Cyber-Physical System Design Automation. `What is' Column, ACM SIGDA (Association for Computing Machinery Special Interest Group on Design Automation) E-Newsletter , Vol. 48, 10 (Oct. 2018).","journal-title":"ACM SIGDA (Association for Computing Machinery Special Interest Group on Design Automation) E-Newsletter"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243216"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. Design, Automation and Test in Europe","author":"Nuzzo Pierluigi","unstructured":"Pierluigi Nuzzo , Michele Lora , Yishai Feldman , and A. Sangiovanni-Vincentelli . 2018. CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design . In Proc. Design, Automation and Test in Europe . Dresden, Germany, 839--844. Pierluigi Nuzzo, Michele Lora, Yishai Feldman, and A. Sangiovanni-Vincentelli. 2018. CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design. In Proc. Design, Automation and Test in Europe. Dresden, Germany, 839--844."},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. Formal Methods in Computer-Aided Design. 71--79","author":"Nuzzo P.","unstructured":"P. Nuzzo , A Puggelli , S. Seshia , and A. Sangiovanni-Vincentelli . 2010. CalCS: SMT solving for non-linear convex constraints . In Proc. Formal Methods in Computer-Aided Design. 71--79 . P. Nuzzo, A Puggelli, S. Seshia, and A. Sangiovanni-Vincentelli. 2010. CalCS: SMT solving for non-linear convex constraints. In Proc. Formal Methods in Computer-Aided Design. 71--79."},{"key":"e_1_3_2_1_36_1","series-title":"Lecture Notes in Computer Science","volume-title":"From Programs to Systems. The Systems perspective in Computing, Saddek Bensalem, Yassine Lakhneck, and Axel Legay (Eds.)","author":"Nuzzo Pierluigi","unstructured":"Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli . 2014. Let's Get Physical: Computer Science Meets Systems . In From Programs to Systems. The Systems perspective in Computing, Saddek Bensalem, Yassine Lakhneck, and Axel Legay (Eds.) . Lecture Notes in Computer Science , Vol. 8415 . Springer Berlin Heidelberg , 193--208. Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli. 2014. Let's Get Physical: Computer Science Meets Systems. In From Programs to Systems. The Systems perspective in Computing, Saddek Bensalem, Yassine Lakhneck, and Axel Legay (Eds.). Lecture Notes in Computer Science, Vol. 8415. Springer Berlin Heidelberg, 193--208."},{"key":"e_1_3_2_1_37_1","first-page":"363","article-title":"System Design in the Cyber-Physical Era. In Nanoelectronics: Materials, Devices","volume":"2","author":"Nuzzo Pierluigi","year":"2017","unstructured":"Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli . 2017 . System Design in the Cyber-Physical Era. In Nanoelectronics: Materials, Devices , Applications , Vol. 2. 363 -- 396 . Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli. 2017. System Design in the Cyber-Physical Era. In Nanoelectronics: Materials, Devices, Applications, Vol. 2. 363--396.","journal-title":"Applications"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2012.2211098"},{"key":"e_1_3_2_1_40_1","volume-title":"Principles of Modeling.","author":"Nuzzo Pierluigi","unstructured":"Pierluigi Nuzzo and Alberto L Sangiovanni-Vincentelli . 2018. Hierarchical System Design with Vertical Contracts . In Principles of Modeling. Vol. 10760 . 360--382. Pierluigi Nuzzo and Alberto L Sangiovanni-Vincentelli. 2018. Hierarchical System Design with Vertical Contracts. In Principles of Modeling. Vol. 10760. 360--382."},{"key":"e_1_3_2_1_41_1","volume-title":"Proc. INCOSE Int. Symp.","author":"Nuzzo P.","unstructured":"P. Nuzzo , A. L. Sangiovanni-Vincentelli , and R. M. Murray . 2015a. Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach . In Proc. INCOSE Int. Symp. P. Nuzzo, A. L. Sangiovanni-Vincentelli, and R. M. Murray. 2015a. Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach. In Proc. INCOSE Int. Symp."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"e_1_3_2_1_43_1","volume-title":"Strategic Vision and Business Drivers for 21st Century Cyber-Physical Systems","author":"National Institute of Standards and Technology (NIST). 2013.","unstructured":"National Institute of Standards and Technology (NIST). 2013. Strategic Vision and Business Drivers for 21st Century Cyber-Physical Systems . National Institute of Standards and Technology (NIST). 2013. Strategic Vision and Business Drivers for 21st Century Cyber-Physical Systems."},{"key":"e_1_3_2_1_44_1","volume-title":"d.}. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics","author":"Platzer Andr\u00e9","unstructured":"Andr\u00e9 Platzer . {n. d.}. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics . Springer , Heidelberg . Andr\u00e9 Platzer. {n. d.}. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics .Springer, Heidelberg."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032266.2032300"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSSC.2010.937693"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"e_1_3_2_1_52_1","first-page":"9","article-title":"SMC","volume":"106","author":"Shoukry Y.","year":"2018","unstructured":"Y. Shoukry , P. Nuzzo , A. L. Sangiovanni-Vincentelli , S. A. Seshia , G. J. Pappas , and P. Tabuada . 2018 . SMC : Satisfiability Modulo Convex Programming. Proc. IEEE , Vol. 106 , 9 (Sep. 2018), 1655--1679. Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, and P. Tabuada. 2018. SMC: Satisfiability Modulo Convex Programming. Proc. IEEE, Vol. 106, 9 (Sep. 2018), 1655--1679.","journal-title":"Satisfiability Modulo Convex Programming. Proc. IEEE"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2484060"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2838530"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"e_1_3_2_1_56_1","volume-title":"Computing Research News","volume":"20","author":"Wing J.","year":"2008","unstructured":"J. Wing . 2008 . Cyber-Physical Systems . In Computing Research News , Vol. 20 . J. Wing. 2008. Cyber-Physical Systems. In Computing Research News, Vol. 20."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.26"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2864271"}],"event":{"name":"ISPD '19: International Symposium on Physical Design","location":"San Francisco CA USA","acronym":"ISPD '19","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 2019 International Symposium on Physical Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299902.3311070","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3299902.3311070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:39Z","timestamp":1750204419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299902.3311070"}},"subtitle":["A Tale of Platforms and Contracts"],"short-title":[],"issued":{"date-parts":[[2019,4,4]]},"references-count":59,"alternative-id":["10.1145\/3299902.3311070","10.1145\/3299902"],"URL":"https:\/\/doi.org\/10.1145\/3299902.3311070","relation":{},"subject":[],"published":{"date-parts":[[2019,4,4]]},"assertion":[{"value":"2019-04-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}