{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:30Z","timestamp":1750306050971,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T00:00:00Z","timestamp":1497744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,18]]},"DOI":"10.1145\/3061639.3072949","type":"proceedings-article","created":{"date-parts":[[2017,6,13]],"date-time":"2017-06-13T12:18:42Z","timestamp":1497356322000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Dealing with Uncertainties in Analog\/Mixed-Signal Systems"],"prefix":"10.1145","author":[{"given":"Christoph","family":"Grimm","sequence":"first","affiliation":[{"name":"TU Kaiserslautern, Germany"}]},{"given":"Michael","family":"Rathmair","sequence":"additional","affiliation":[{"name":"TU Wien, Austria"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"volume-title":"Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization. In IEEE\/ACM International Conference on Computer Aided Design (ICCAD). 659--666","year":"2011","author":"Althoff Matthias","key":"e_1_3_2_1_1_1"},{"volume-title":"Proceedings of the 37th IEEE Conference on Decision and Control.","author":"Chutinan Alongkrit","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Thao Dang Alexandre Donz\u00e8 and Oded Maler. 2004. Formal Methods in Computer Aided Design. Vol. LNCS 3312. Springer Berlin Heidelberg Chapter Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques 21--36.  Thao Dang Alexandre Donz\u00e8 and Oded Maler. 2004. Formal Methods in Computer Aided Design. Vol. LNCS 3312. Springer Berlin Heidelberg Chapter Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques 21--36.","DOI":"10.1007\/978-3-540-30494-4_3"},{"volume-title":"Computer-Aided Design, 1996. ICCAD-96. Digest of Technical Papers., 1996 IEEE\/ACM International Conference on. 374--380","author":"Felt E.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049462.70970.b6"},{"volume-title":"Design, Automation and Test in Europe","author":"Grimm Christoph","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"Axel Jantsch. 2003. Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation. Morgan Kaufmann Publishers Inc. San Francisco CA USA.   Axel Jantsch. 2003. Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation. Morgan Kaufmann Publishers Inc. San Francisco CA USA."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.506138"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1356802.1356932"},{"volume-title":"Formal Verification of Mixed-Signal Designs Using Extended Affine Arithmetic. In 12th Conference on PhD Research in Microelectronics and Electronics.","year":"2016","author":"Radojicic Carna","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.247.1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Monica Rafaila Christian Decker Christoph Grimm Jerome Kirscher and Georg Pelz. 2010. Design of Experiments for Reliable Operation of Electronics in Automotive Applications. In Forum on Specification Verification and Design Languages.  Monica Rafaila Christian Decker Christoph Grimm Jerome Kirscher and Georg Pelz. 2010. Design of Experiments for Reliable Operation of Electronics in Automotive Applications. In Forum on Specification Verification and Design Languages.","DOI":"10.1049\/ic.2010.0156"},{"volume-title":"Towards Abstract Analysis Techniques for Range Based System Simulations. In Forum on Specification and Design Languages 2010 (FDL '10)","year":"2010","author":"Schupfer Florian","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","first-page":"8","article-title":"Worst case tolerance analysis of linear analog circuits using sensitivity bands. Circuits and Systems I: Fundamental Theory and Applications","volume":"47","author":"Tian M.W.","year":"2000","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1076\/iaij.4.1.5.16466"}],"event":{"name":"DAC '17: The 54th Annual Design Automation Conference 2017","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Austin TX USA","acronym":"DAC '17"},"container-title":["Proceedings of the 54th Annual Design Automation Conference 2017"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3061639.3072949","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3061639.3072949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:26Z","timestamp":1750215806000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3061639.3072949"}},"subtitle":["Invited"],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":16,"alternative-id":["10.1145\/3061639.3072949","10.1145\/3061639"],"URL":"https:\/\/doi.org\/10.1145\/3061639.3072949","relation":{},"subject":[],"published":{"date-parts":[[2017,6,18]]},"assertion":[{"value":"2017-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}