{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T06:13:20Z","timestamp":1758089600805,"version":"3.44.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T00:00:00Z","timestamp":1756166400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T00:00:00Z","timestamp":1756166400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,26]]},"DOI":"10.1109\/mmar65820.2025.11150819","type":"proceedings-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T17:35:52Z","timestamp":1757957752000},"page":"35-40","source":"Crossref","is-referenced-by-count":0,"title":["Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring"],"prefix":"10.1109","author":[{"given":"Friederike","family":"Bruns","sequence":"first","affiliation":[{"name":"Carl von Ossietzky Universität Oldenburg,Dept. of Computing Science,Germany"}]},{"given":"Francesco","family":"Tosoni","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering IM,Italy"}]},{"given":"Sven","family":"Mehlhop","sequence":"additional","affiliation":[{"name":"OFFIS e.V. Institut für Informatik,Oldenburg,Germany"}]},{"given":"Andreas","family":"Rauh","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universität Oldenburg,Dept. of Computing Science,Germany"}]},{"given":"Sara","family":"Vinco","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Dept. of Control and Computer Engineering,Italy"}]},{"given":"J\u00f6rg","family":"Walter","sequence":"additional","affiliation":[{"name":"OFFIS e.V. Institut für Informatik,Oldenburg,Germany"}]},{"given":"Frank","family":"Oppenheimer","sequence":"additional","affiliation":[{"name":"OFFIS e.V. Institut für Informatik,Oldenburg,Germany"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering IM,Italy"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-653-3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-35653-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2019.8780332"},{"journal-title":"IEEE-SA standards board P2427\/D0.13 draft standard for analog defect modeling and coverage","year":"2019","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2009.4839661"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2004-57338"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3384\/ecp19157451"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3384\/ecp18148161"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287629"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9060998"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2023.3345135"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DTIP.2015.7160987"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502654"},{"key":"ref14","article-title":"System architecture virtual integration: An industrial case study","author":"Feiler","year":"2009","journal-title":"Software Engineering Institute Technical Report, CMU\/SEI-2009-TR-017"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA52439.2022.9921452"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629349"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763167"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.011"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768807050039"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2011.5953662"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2020.106889"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3390\/pr8091123"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-020-09934-2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1049\/PBCE095E"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502448"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3226567"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref29","article-title":"MULTIC-Tooling","author":"B\u00f6de","year":"2019","journal-title":"FAT-Schriftenreihe 316"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1145\/3508352.3549446","article-title":"Quantitative verification and design space exploration under uncertainty with parametric stochastic contracts","volume-title":"Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design, ser. ICCAD \u201922","author":"Oh"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICPS48405.2020.9274713"},{"journal-title":"What is Eclipse 4diac","year":"2024","key":"ref32"}],"event":{"name":"2025 29th International Conference on Methods and Models in Automation and Robotics (MMAR)","start":{"date-parts":[[2025,8,26]]},"location":"Miedzyzdroje, Poland","end":{"date-parts":[[2025,8,29]]}},"container-title":["2025 29th International Conference on Methods and Models in Automation and Robotics (MMAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11150786\/11150782\/11150819.pdf?arnumber=11150819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T05:48:01Z","timestamp":1758001681000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11150819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,26]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/mmar65820.2025.11150819","relation":{},"subject":[],"published":{"date-parts":[[2025,8,26]]}}}