| Design timed FSM with VHDL Moore pattern MA M³roshnyk, AS Shkil, EN Kulak, DY Rakhlis, AM M³roshnyk, ... Radio Electronics, Computer Science, Control, 137-148, 2020 | 10 | 2020 |
| Ðàçðàáîòêà ìåòîäîâ îöåíêè ýôôåêòèâíîñòè ñèñòåì çàùèòû èíôîðìàöèè â ðàñïðåäåëåííûõ êîìïüþòåðíûõ ñèñòåìàõ ÂÀ Êðûëîâà, ÀÍ Ìèðîøíèê ²íôîðìàö³éíî-êåðóþ÷³ ñèñòåìè íà çàë³çíè÷íîìó òðàíñïîðò³, 43-51, 2015 | 7 | 2015 |
| Application of Six-Port for Distance Measurement N Miroshnyk, A., Zaichenko, O., Galkin, P., Miroshnyk, M., Zaichenko IEEE International Conference on Problems of Infocommunications Science and …, 2020 | 3 | 2020 |
| Multiprobe microwave multimeter signals iterative processing O Zaichenko, M Miroshnyk, N Zaichenko, A Miroshnyk 2020 XXX International Scientific Symposium'Metrology and Metrology …, 2020 | 3 | 2020 |
| Assertion Based Design of Timed Finite State Machine A Shkil, A Miroshnyk, G Kulak, K Pshenychnyi 2021 IEEE East-West Design & Test Symposium (EWDTS), 1-4, 2021 | 2 | 2021 |
| Verification of FPGA control systems by analyzing the correctness of state diagrams M Miroshnyk, A Shkil, E Kulak, D Rakhlis, I Filippenko, A Miroshnyk 2020 IEEE 11th International Conference on Dependable Systems, Services and …, 2020 | 2 | 2020 |
| Testable design of control digital automatic machines M Miroshnyk, O Shkil, D Rakhlis, I Filippenko, E Kulak, A Miroshnyk 2020 IEEE 15th International Conference on Advanced Trends in …, 2020 | 2 | 2020 |
| Synchronizing sequences for verification of finite state machines M Miroshnyk, O Shkil, E Kulak, D Rakhlis, Y Pahomov, A Miroshnyk 2019 International Conference on Information and Telecommunication …, 2019 | 2 | 2019 |
| Ñòðóêòóðíî-ïàðàìåòðè÷íà ³íäåêñíà ³äåíòèô³êàö³ÿ â àäàïòèâíèõ ñèñòåìàõ óïðàâë³ííÿ ðóõîìèìè îá'ºêòàìè ÁÒ Ñèòí³ê, ÀÌ Ì³ðîøíèê Óêðà¿íñüêèé äåðæàâíèé óí³âåðñèòåò çàë³çíè÷íîãî òðàíñïîðòó, 2023 | 1 | 2023 |
| Synthesis of Temporal Machines with Operational Transformation of State Codes M Miroshnyk, O Zaichenko, A Miroshnyk, N Zaichenko 2021 XXXI International Scientific Symposium Metrology and Metrology …, 2021 | 1 | 2021 |
| Óäîñêîíàëåííÿ ìîäåë³ òà ìåòîäó ñòðóêòóðíî¿ ³äåíòèô³êàö³¿ ïàðàìåòð³â ³íåðö³éíèõ îá'ºêò³â ÏÎ Êà÷àíîâ, ÁÒ Ñèòí³ê, ÀÌ Ì³ðîøíèê Óêðà¿íñüêèé äåðæàâíèé óí³âåðñèòåò çàë³çíè÷íîãî òðàíñïîðòó, 2024 | | 2024 |
| Overview of the modern SoC design technologies and open softprocessor architectures VK Miroshnik À.Ì. Miroshnik Ì.À., Shkil O.S., Inna Filippenko 13th International IEEE Conference Dependable Systems, Services and …, 2023 | | 2023 |
| TEMPORAL EVENTS PROCESSING MODELS IN FINITE STATE MACHINES SOS Miroshnik À.Ì., Pshenihni K. Miroshnik Ì.À. Ðàä³îåëåêòðîí³êà, ³íôîðìàòèêà, óïðàâë³ííÿ / Radio Electronics, Computer …, 2023 | | 2023 |
| Modeling Faults as Addresses V Hahanov, I Hahanov, A Miroshnyk, A Shkil, D Rakhlis, I Hahanova 2023 IEEE East-West Design & Test Symposium (EWDTS), 1-7, 2023 | | 2023 |
| Graphical Models for Defectoscopy of Dielectrics M Miroshnyk, O Zaichenko, A Miroshnyk, N Zaichenko 2023 XXXIII International Scientific Symposium Metrology and Metrology …, 2023 | | 2023 |
| ÀÂÒÎÌÀÒÈÇÎÂÀÍÀ ÑÈÑÒÅÌÀ ÐÅÃÓËÞÂÀÍÍß Ð²ÂÍß ÏÐÈÐÎÄÍÎÃÎ ÎѲÒËÅÍÍß Ó ÏÐÈ̲ÙÅÍͲ ÊѲ Ï.Î. Êà÷àíîâ, À.Í. ̳ðîøíèê, àñ. Äåìåíêîâà Ñ.Ä., àñï. Ñàëôåòíèêîâà Þ.Ì. ÏÈÌ-2023, 56-57, 2023 | | 2023 |
| ̲ÊÐÎÊÎÍÒÐÎËÅÐÍÈÉ ÄÅÒÅÊÒÎÐ ÍÀßÂÍÎÑÒ² ÏÈËÓ Ó ÏβÒв ÂÂÁ Ï.Î. Êà÷àíîâ, Â.À. Êðèëîâà, À.Í. ̳ðîøíèê ÏÈÌ-2023, 10-11, 2023 | | 2023 |
| A qubit deductive fault simulation for HDL-models with conditional statements MM Dariia Rakhlis, Anatolii M³roshnyk, Alexander Shkil IEEE East-West Design & Test Symposium (EWDTS) 2023 EWDTS-2023, 2023 | | 2023 |
| ÃÐÀÔ²×ÍÈÉ ²ÍÒÅÐÔÅÉÑ ÊÅÐÓÂÀÍÍß ÏÅÐÈÔÅвªÞ ÏËÀÒÈ ARDUINO ÐÂÀ Ï.Î. Êà÷àíîâ, À.Í. ̳ðîøíèê, äîö. Ïàõîìîâ Þ.Â. ÏÈÌ-2023, 58-59, 2023 | | 2023 |
| Graphical models for defectoscopy of dielectrics ZOB Miroshnik À.Ì., Zaihenko N.Y. Miroshnik Ì.À. MMA 2023, 2023 | | 2023 |
Ìèðîøíèê Ì.À., Ìiðîøíèê Ì.À., Miro...Õàðê³âñüêèé íàö³îíàëüíèé óí³âåðñèñòåò ³ìåí³ Â. Í. Êàðàç³íàϳäòâåðäæåíà åëåêòðîííà àäðåñà â karazin.ua
