{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:08:14Z","timestamp":1730214494289,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,13]],"date-time":"2023-10-13T00:00:00Z","timestamp":1697155200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,13]],"date-time":"2023-10-13T00:00:00Z","timestamp":1697155200000},"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":[[2023,10,13]]},"DOI":"10.1109\/dessert61349.2023.10416525","type":"proceedings-article","created":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T13:48:38Z","timestamp":1707227318000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Some Method of Behavioral Energy Testing of Distributed Computer Systems"],"prefix":"10.1109","author":[{"given":"Oleksandr","family":"Martynyuk","sequence":"first","affiliation":[{"name":"National University &#x201C;Odesskaya Polytechnika&#x201D;,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Oleksandr","family":"Drozd","sequence":"additional","affiliation":[{"name":"National University &#x201C;Odesskaya Polytechnika&#x201D;,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Bui","family":"Van Thuong","sequence":"additional","affiliation":[{"name":"National University &#x201C;Odesskaya Polytechnika&#x201D;,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Hanna","family":"Stepova","sequence":"additional","affiliation":[{"name":"National University &#x201C;Odesskaya Polytechnika&#x201D;,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Lyudmila","family":"Sugak","sequence":"additional","affiliation":[{"name":"National University &#x201C;Odesskaya Polytechnika&#x201D;,Educational and Methodological Department,Odessa,Ukraine"}]},{"given":"Dmitry","family":"Martynyuk","sequence":"additional","affiliation":[{"name":"Joint Venture Nippon Auto,Odessa,Ukraine"}]}],"member":"263","reference":[{"key":"ref1","first-page":"947","volume-title":"An Introduction to Computer Networks. Release 2.0.5","author":"Dordal","year":"2021"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4236\/ijcns.2011.411088"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2023.2173509"},{"key":"ref4","first-page":"45","volume-title":"Navigating Network Complexity Nextgeneration Routing with SDN, Service Virtualization, and Service Chaining","author":"White","year":"2016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/icst46399.2020.00019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.3036421"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2020.03.056"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/dessert.2018.8409131"},{"journal-title":"Sample System Integration Test Plan XYZ Remote Office Payroll System Copyright","first-page":"15","year":"2019","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/waina.2017.54"},{"volume-title":"The Theory and Practice of Specification Based Software Testing (dissertation)","year":"1993","author":"Laycock","key":"ref12"},{"journal-title":"Handbook of Model Checking","author":"Clarke","key":"ref13"},{"key":"ref14","article-title":"Automata Learning for Automated Test Generation of Real Time Localization Systems","author":"Swantje","year":"2021","journal-title":"ArXiv abs\/2105.11911"},{"volume-title":"Computer-based and paper-and-pencil tests: A study in calculus for STEM majors","author":"Smolinsky","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/dsd.2019.00098"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DT.2013.6566310"},{"key":"ref18","first-page":"440","volume-title":"Low-Power CMOS Circuits","author":"Piguet","year":"2006"},{"key":"ref19","first-page":"400","volume-title":"Kaijian Shi Low Power Methodology Manual for System on Chip Design","author":"Keating","year":"2007"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.5573\/ieiespc.2016.5.5.349"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3309544"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/apsipa.2017.8282162"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.78"},{"key":"ref24","first-page":"910","article-title":"Integrated circuit and system design: power and timing modeling, optimization and simulation","volume-title":"Proceedings of 14th International Workshop","author":"Macii"},{"issue":"8","key":"ref25","first-page":"1487","article-title":"Thermal Modeling, Analysis, and Management in VLSI Circuits: Principles and Methods","volume-title":"Proceedings of the IEEE","volume":"94","author":"Pedram"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.32628\/ijsrset18413145"},{"key":"ref27","first-page":"55","article-title":"Dynamic Power Dissipation Analysis in CMOS","author":"Manish","year":"2020","journal-title":"VLSI Circuit Design with Scaling Down in Technology"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/SOFTCOM.2017.8115516"},{"key":"ref29","article-title":"Process, Systems and Tests: Three Layers in Concurrent Computation","author":"Aubert","year":"2020","journal-title":"Le Centre Pour La Communication Scientifique Directe - HAL - Inria"},{"key":"ref30","first-page":"481","article-title":"Models of Distributed Systems Testing Based on Energy Consumption in Behavior","volume-title":"IntelITSIS\u20192021: 2nd International Workshop on Intelligent Information Technologies and Systems of Information Security","author":"Martynyuk"},{"key":"ref31","first-page":"224","article-title":"Model of Multiagent Cooperation for Behavioral Testing","volume-title":"2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10 - 13","author":"Martynyuk"},{"key":"ref32","first-page":"175","article-title":"Model for Verification of Intelligence of Multiagent Systems","volume-title":"Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security","author":"Martynyuk"}],"event":{"name":"2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT)","start":{"date-parts":[[2023,10,13]]},"location":"Athens, Greece","end":{"date-parts":[[2023,10,15]]}},"container-title":["2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10416400\/10416430\/10416525.pdf?arnumber=10416525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T04:27:21Z","timestamp":1709440041000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10416525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,13]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/dessert61349.2023.10416525","relation":{},"subject":[],"published":{"date-parts":[[2023,10,13]]}}}