https://m2.mtmt.hu/ hun 2026-10-11 19:38 true true 1 9 9 20 10 1 9 DESC publishedYear false ASC firstAuthor true JournalArticle 36855049 VALIDATED true Financial support was received from the following grants: Project no. 2019-1.3.1-KK-2019-00004 has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-1.3.1-KK funding scheme. The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, under a grant agreement with the National Research, Development and Innovation Office. This research was partially funded by the 2024-2.1.1-EKÖP-2024-00003 University Research Scholarship Programme under project number EKÖP-24-3-BME-159 with the support provided by the Ministry of Culture and Innovation of Hungary from the NRDI Fund. 0 false 2026-05-24T15:20:27.774+0000 2026-05-17T23:07:49.606+0000 2026-01-09T13:12:33.117+0000 true 10078570 Szekeres Dániel /api/author/10078570 Author true 2026-05-24T15:19:18.283+0000 2026-01-16T14:23:59.161+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin true 2026-05-17T23:07:49.571+0000 true 521 Szuper Admin /api/admin/521 Admin true true false true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType 101 true 10000059 true 1 /api/category/1 Category true 1 Szabó, Richárd Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios true true /api/journal/10003117 REVIEWED true false 10003117 false 10003117 true 1382-3256 1573-7616 Journal FOREIGN 31 3 58 58 52 2026 Fault-tolerant behavior is prevalent in many fields of critical software systems. The complexity of such systems necessitates rigorous techniques for ensuring correct and reliable operation. Performing design reviews by experts is the conventional method in the industry, but it is hard to substantiate the completeness of the result. We performed a multi-year study with an automotive supplier on supporting standard-mandated safety evaluations with model checking in the context of a critical steer-by-wire function. However, existing formal verification methods returned too many redundant violations that the engineers deemed unrealistic or acceptable. Based on these findings, we propose a new process focusing on systematic, iterative exploration of distinct requirement violation scenarios with model checkers to aid the design and verification of fault-tolerant safety-critical software systems. The main challenge lies in the need to find all essentially distinct problems of subsystems without enumerating the potentially infinitely many problematic execution paths. The novelty of our approach is using abstract scenario descriptions constraining the model checker to unknown violations while allowing some violations to be categorized as acceptable by subject experts. Our approach has multifold benefits: It turns implicit assumptions into formalized environmental models and scenario descriptions, sheds light on hard-to-find requirement violations, and can be integrated into existing development processes. We present the applicability of our approach in the automotive study, where it revealed previously unknown problems in the system design and gave formal proofs to help the engineers negotiate with the client regarding required modifications. Funding 2061525 /api/funding/2061525 false true Funding 2061526 /api/funding/2061526 false true true true NATIONAL 2026 true true true false true false NONE 2026-05-24 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 Q1 false 10041151 false false false 2026-01-15T14:23:58.986+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 6 11 2 7 0 true Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 132649886 /api/authorship/132649886 1 0.143 true false true Author 10068607 /api/author/10068607 Szabó Richárd true true Szabó Richárd true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 132649887 /api/authorship/132649887 2 0.143 true false false Author 10078570 /api/author/10078570 Szekeres Dániel true true Szekeres Dániel true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 132649888 /api/authorship/132649888 3 0.143 false false false Author 10073486 /api/author/10073486 Nagy Simon József true true Nagy Simon József true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 132649889 /api/authorship/132649889 4 0.14285715 false false false Thimár Zoltán true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 132649890 /api/authorship/132649890 5 0.143 false false false Author 10001448 /api/author/10001448 Majzik István true 10001448 true Majzik István true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 132649891 /api/authorship/132649891 6 0.143 false false false Author 10041151 /api/author/10041151 Micskei Zoltán Imre true 10041151 true Micskei Zoltán true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 132649892 /api/authorship/132649892 7 0.143 false true false Author 10042280 /api/author/10042280 Vörös András true 10042280 true Vörös András true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 31151326 /api/publicationidentifier/31151326 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.1007/s10664-025-10786-z https://doi.org/10.1007/s10664-025-10786-z false true PublicationIdentifier 31199476 /api/publicationidentifier/31199476 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001656668900001 https://www.webofscience.com/wos/woscc/full-record/001656668900001 false true PublicationIdentifier 31264111 /api/publicationidentifier/31264111 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true 105027146455 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105027146455 false true PublicationIdentifier 31151327 /api/publicationidentifier/31151327 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true IDENTICAL https://link.springer.com/10.1007/s10664-025-10786-z https://link.springer.com/10.1007/s10664-025-10786-z false true SjrRating 11680360 /api/sjrrating/11680360 95 0.24 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1712 /api/classificationexternal/1712 true 1712 true Q1 FROM_LAST_YEAR true true /api/publication/36855049 <div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabó Richárd ✉ (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10078570"><a href="/gui2/?type=authors&mode=browse&sel=10078570" target="_blank">Szekeres Dániel<sup>*</sup> (<span class="authorship-author-name">Szekeres Dániel</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10073486"><a href="/gui2/?type=authors&mode=browse&sel=10073486" target="_blank">Nagy Simon József (<span class="authorship-author-name">Nagy Simon József</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Thimár Zoltán </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10001448"><a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">Majzik István (<span class="authorship-author-name">Majzik István</span> <span class="authorAux-mtmt"> Műszaki informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltán (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Vörös András (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;36855049" target="_blank">Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios</a></div> <div> <span class="journal-title">EMPIRICAL SOFTWARE ENGINEERING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1382-3256">1382-3256</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1573-7616">1573-7616</a>)</span>: <span class="journal-volume">31</span> <span class="journal-issue">3</span> <span class="page"> Paper 58. 52 p. </span> <span class="year">(2026)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.1007/s10664-025-10786-z" target="_blank" href="https://doi.org/10.1007/s10664-025-10786-z"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001656668900001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001656668900001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="105027146455" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105027146455"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="https://link.springer.com/10.1007/s10664-025-10786-z" target="_blank" href="https://link.springer.com/10.1007/s10664-025-10786-z"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Software&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q1</div> </div></OnlyViewableByAuthor> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;36855049&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 4 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36855049</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">DOI XML</span> </div> <div class="funder"> DKÖP(DKÖP), (2024-2.1.1-EKÖP) </div> <div class="lastModified">Utolsó módosítás: 2026.05.18. 01:07 Szuper Admin (admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Financial support was received from the following grants: Project no. 2019-1.3.1-KK-2019-00004 has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-1.3.1-KK funding scheme. The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innova...</pre> </div></div> JournalArticle 37018585 APPROVED true Funding Agency and Grant Number: Doctoral Excellence Fellowship Programme (DCEP) - National Research Development and Innovation Fund of the Ministry of Culture and Innovation; Budapest University of Technology and Economics; National Research, Development and Innovation Office; [GINOP-2.1.2-8-1-4-16-2018-00405] Funding text: This work has been partially supported by the GINOP-2.1.2-8-1-4-16-2018-00405 project. The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, under a grant agreement with the National Research, Development and Innovation Office. The authors express their gratitude to the colleagues who helped them in the writing of this publication: Dr. Andras V8r8s and Dr. Oszkar Semerath from BME. The authors would also like to thank all former colleagues at BME, Quanopt, and Component Ltd. who helped with the implementation of the methods described. 0 false 2026-05-27T09:55:34.571+0000 2026-05-27T09:54:24.832+0000 2026-03-18T20:12:25.289+0000 true 10000087 Mikó Balázs /api/author/10000087 Author true 10000087 2026-06-11T14:47:15.121+0000 2026-06-11T14:47:15.121+0000 true false true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType 101 true 10000059 true 1 /api/category/1 Category true 1 Szabó, Richárd Data-driven Decision Support in Custom Manufacturing Planning true true /api/journal/1028708 REVIEWED true true 1028708 false 1028708 true 0324-6051 1587-379X Journal FOREIGN 70 1 1 16 1 16 2026 In the design for manufacturing, the choice of the best processing activities and production scheduling plays an important role. The aim of the research is to create an automated process estimation system based on the processing plan of previously manufactured artifacts, which supports the scheduling software in the case of a custom manufacturing environment. We present a method and corresponding similarity metrics and evaluate the performance of our method on a set of real-life manufacturing plans and design data. Funding 2065754 /api/funding/2065754 false true true NATIONAL 2026 false true true false true false GOLD 2026-05-27 true https://doi.org/10.3311/PPme.38356 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 Q3 false false false false 2026-03-31T12:41:09.726+0000 Gépészeti és Technológiai Intézet (ÓE / BGK); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 15 2 4 0 true Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 135047758 /api/authorship/135047758 1 0.25 true false true Author 10068607 /api/author/10068607 Szabó Richárd true true Szabó Richárd true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 135047759 /api/authorship/135047759 2 0.25 false false false Author 10041117 /api/author/10041117 Gönczy László true 10041117 true Gönczy László true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 135047760 /api/authorship/135047760 3 0.25 false false false Author 10000087 /api/author/10000087 Mikó Balázs true 10000087 true Mikó Balázs true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 135047761 /api/authorship/135047761 4 0.25 false true false Nagy Dániel true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 31670732 /api/publicationidentifier/31670732 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true IDENTICAL 10.3311/PPme.38356 https://doi.org/10.3311/PPme.38356 false true PublicationIdentifier 31762305 /api/publicationidentifier/31762305 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001718853900001 https://www.webofscience.com/wos/woscc/full-record/001718853900001 false true PublicationIdentifier 31805695 /api/publicationidentifier/31805695 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 105033144908 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105033144908 false true PublicationIdentifier 31804184 /api/publicationidentifier/31804184 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true IDENTICAL https://pp.bme.hu/me/article/view/38356 https://pp.bme.hu/me/article/view/38356 false true Classification 10986 /api/classification/10986 true true SjrRating 11690374 /api/sjrrating/11690374 471 0.74 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 2210 /api/classificationexternal/2210 true 2210 true Q3 FROM_LAST_YEAR true true /api/publication/37018585 <div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabó Richárd ✉ (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10041117"><a href="/gui2/?type=authors&mode=browse&sel=10041117" target="_blank">Gönczy László (<span class="authorship-author-name">Gönczy László</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10000087"><a href="/gui2/?type=authors&mode=browse&sel=10000087" target="_blank">Mikó Balázs (<span class="authorship-author-name">Mikó Balázs</span> <span class="authorAux-mtmt"> Gépgyártástechnológiai folyamatok tervezése</span>) </a> </span> <span class="author-affil"><span title="Óbudai Egyetem">ÓE</span>/<span title="Bánki Donát Gépész és Biztonságtechnikai Mérnöki Kar">BGK</span>/Gépészeti és Technológiai Intézet</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Nagy Dániel </span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;37018585" target="_blank">Data-driven Decision Support in Custom Manufacturing Planning</a></div> <div> <span class="journal-title">PERIODICA POLYTECHNICA-MECHANICAL ENGINEERING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0324-6051">0324-6051</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1587-379X">1587-379X</a>)</span>: <span class="journal-volume">70</span> <span class="journal-issue">1</span> <span class="page"> pp 1-16 </span> <span class="year">(2026)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.3311/PPme.38356" target="_blank" href="https://doi.org/10.3311/PPme.38356"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001718853900001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001718853900001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="105033144908" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105033144908"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="https://pp.bme.hu/me/article/view/38356" target="_blank" href="https://pp.bme.hu/me/article/view/38356"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Mechanical Engineering&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> </div></OnlyViewableByAuthor> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;37018585&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 1 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 37018585</span> | <span class="status-data status-APPROVED"> Nyilvános </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">WOS TAGGED</span> </div> <div class="funder"> (GINOP-2.1.2-8-1-4-16-2018-00405) </div> <div class="lastModified">Utolsó módosítás: 2026.05.27. 11:54 Pastyik Endre (ÓE 5 admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Funding Agency and Grant Number: Doctoral Excellence Fellowship Programme (DCEP) - National Research Development and Innovation Fund of the Ministry of Culture and Innovation; Budapest University of Technology and Economics; National Research, Development and Innovation Office; [GINOP-2.1.2-8-1-4-16-2018-00405] Funding text: This work has been partially supported by the GINOP-2.1.2...</pre> </div></div> BookChapter 36196264 ADMIN_APPROVED true 0 false 2026-07-09T11:59:08.073+0000 2026-07-09T11:53:02.276+0000 2025-06-17T14:14:38.030+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2026-07-09T11:52:54.870+0000 2026-07-09T11:52:54.870+0000 2026-07-09T11:53:02.433+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin true true false true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType 228 true 10000312 true 1 /api/category/1 Category true 1 Szabó, Richárd Towards Configurable Coordination for Distributed Reactive Systems 45 50 45 6 2025 Modern cyber-physical systems (CPS) present unique challenges as they are distributed real-time systems used in many critical application domains, such as automotive or railway systems. However, modeling and verifying the distributed and timed aspects of the system are challenging tasks. We need a precise description of the possible orderings of the components' execution, and a formal representation to be able to run formal verification. In this paper, we investigate the possible extension of a modeling and verification framework to support the flexible, configurable description of the coordination of distributed critical systems. We present an extension of the timed automata formalism, the coordination automata formalism, and show the applicability of the extension on a motivating example. true true NATIONAL 2025 false true true true true false GOLD 2026-07-09 true https://doi.org/10.3311/MINISY2025-009 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 false false false false 2025-09-15T14:14:48.960+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 8 2 3 0 true true 10002 English /api/language/10002 Angol Language true 2 false true 10003 true 10001 /api/country/10001 Country true 1 /api/city/10003 City true 10005024 true 29416589 /api/publicationidentifier/29416589 https://www.worldcat.org/search?q=isbn%3A9789634219897 9789634219897 PublicationIdentifier true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource true true 10002 /api/publicationsourcetype/10002 PublicationSourceType true false 122 true false /api/publication/36159792 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Proceedings of the 32nd Minisymposium false true 36159792 true false true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 false Book 2025 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 126936153 /api/authorship/126936153 1 0.333 true false false Author 10068607 /api/author/10068607 Szabó Richárd true true Szabó Richárd true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 126936154 /api/authorship/126936154 2 0.333 false false false Author 10094011 /api/author/10094011 Cziborová Dóra true true Cziborová Dóra true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 126936155 /api/authorship/126936155 3 0.333 false true false Author 10042280 /api/author/10042280 Vörös András true 10042280 true Vörös András true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 29493986 /api/publicationidentifier/29493986 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true IDENTICAL 10.3311/MINISY2025-009 https://doi.org/10.3311/MINISY2025-009 false true PublicationIdentifier 29493987 /api/publicationidentifier/29493987 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true http://hdl.handle.net/10890/60582 http://hdl.handle.net/10890/60582 false true /api/publication/36196264 <div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabó Richárd (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10094011"><a href="/gui2/?type=authors&mode=browse&sel=10094011" target="_blank">Cziborová Dóra (<span class="authorship-author-name">Cziborová Dóra</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Vörös András (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;36196264" target="_blank">Towards Configurable Coordination for Distributed Reactive Systems</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" mtid="10042893"><a href="/gui2/?type=authors&mode=browse&sel=10042893" target="_blank">Renczes Balázs (<span class="authorship-author-name">Renczes Balázs</span> <span class="authorAux-mtmt"> jelfeldolgozás</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;36159792" target="_blank">Proceedings of the 32nd Minisymposium </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Buda, Magyarország <span class="conference-date">2025.02.03. - 2025.02.04.</span> (<span class="conference-organizer">Department of Artificial Intelligence and Systems Engineering) </div> <span class="publishedAt">Budapest: <span class="publishers">Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering</span>, <span class="page"> pp 45-50 </span> <span class="year">(2025)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.3311/MINISY2025-009" target="_blank" href="https://doi.org/10.3311/MINISY2025-009"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://hdl.handle.net/10890/60582" target="_blank" href="http://hdl.handle.net/10890/60582"> Egyéb URL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9789634219897" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634219897"> 9789634219897 </a> </span> </span> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;36196264&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 3 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36196264</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="long-book-mtid">Befoglaló: 36159792</span> Forrás Idéző | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2026.07.09. 13:53 Andódy Katalin (BME admin4) </div> </div> </div> BookChapter 36408410 ADMIN_APPROVED true 0 false 2025-11-22T19:12:29.658+0000 2025-11-22T19:09:33.280+0000 2025-10-30T12:52:12.639+0000 true 10099601 Cseresnyés Dorottya /api/admin/10099601 Admin true 2025-11-13T13:45:34.851+0000 2025-11-13T13:45:34.851+0000 2025-11-11T13:50:24.817+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin true true false true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType 228 true 10000312 true 1 /api/category/1 Category true 1 Szabó, Richárd Automata-based representation of coordination for distributed reactive systems 201 213 201 13 2025 Modern cyber-physical systems (CPS) are distributed reactive real-time systems used in many critical application domains, such as automotive or railway systems, so ensuring their correctness is essential. Formal verification can exhaustively explore the behavior of the formal representation of CPS to ensure its reliability. Engineering modeling tools provide separate modeling constructs for the different aspects of the systems, e.g., behavior, architecture, and scheduling, but lack formal composition, making system-level verification difficult. Formal modeling tools, e.g., Lingua Franca or the Gamma Statechart Composition Framework, are efficient in describing component behavior, and they provide formal composition semantics of the subsystems. However, the provided composition patterns in these languages are not general, so incorporating the precise coordination, scheduling, and interaction aspects requires the modification of the component models by encoding the coordination into the components. In this paper, we present a configurable formal description approach for the coordination of distributed critical systems. We extend the well-known timed automata formalism to coordinate the execution of the components by directly reusing the formal models of the components, making the coordination of the system components a first-class citizen. true NATIONAL 2025 false true true true true false GOLD 2025-11-22 true https://doi.org/10.17048/fmfai.2025.201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 false false false false 2025-11-10T13:50:24.502+0000 Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 2 7 1 2 0 true 248 true 10002 English /api/language/10002 Angol Language true 2 false true 10558 true 10001 /api/country/10001 Country true 1 /api/city/10558 City true 1082005 true 30124645 GREEN IDENTICAL /api/publicationidentifier/30124645 http://publikacio.uni-eszterhazy.hu/8797 8797 PublicationIdentifier true 157 http://publikacio.uni-eszterhazy.hu/@@@ /api/publicationsource/157 EKE IPR SwordSource true true 10007 /api/publicationsourcetype/10007 PublicationSourceType true true 157 true false true true 30082455 IDENTICAL /api/publicationidentifier/30082455 https://www.worldcat.org/search?q=isbn%3A9789634963035 9789634963035 PublicationIdentifier true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource true true 10002 /api/publicationsourcetype/10002 PublicationSourceType true false 122 true false true 30124646 GREEN IDENTICAL /api/publicationidentifier/30124646 http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf PublicationIdentifier true 39 Full text @@@ /api/publicationsource/39 Teljes dokumentum PlainSource true true 10006 /api/publicationsourcetype/10006 PublicationSourceType true true 39 true false true /api/publication/36408029 http://publikacio.uni-eszterhazy.hu/8797 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence false 36408029 true false true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 false Book 2025 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 128326026 /api/authorship/128326026 1 0.5 true false false Author 10068607 /api/author/10068607 Szabó Richárd true true Szabó Richárd true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 128326027 /api/authorship/128326027 2 0.5 false true false Author 10094011 /api/author/10094011 Cziborová Dóra true true Cziborová Dóra true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 30083549 /api/publicationidentifier/30083549 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true 10.17048/fmfai.2025.201 https://doi.org/10.17048/fmfai.2025.201 false true PublicationIdentifier 30084731 /api/publicationidentifier/30084731 SwordSource 36 /api/publicationsource/36 PublicationSourceType 10007 /api/publicationsourcetype/10007 true true true REAL REAL http://real.mtak.hu/@@@ true true 36 true GREEN true 227758 http://real.mtak.hu/227758 true true /api/publication/36408410 <div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabó Richárd (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10094011"><a href="/gui2/?type=authors&mode=browse&sel=10094011" target="_blank">Cziborová Dóra (<span class="authorship-author-name">Cziborová Dóra</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;36408410" target="_blank">Automata-based representation of coordination for distributed reactive systems</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" mtid="10031526"><a href="/gui2/?type=authors&mode=browse&sel=10031526" target="_blank">Tómács Tibor (<span class="authorship-author-name">Tómács Tibor</span> <span class="authorAux-mtmt"> valószínűségszámítás</span>) </a> </span> <span class="author-affil"><span title="Eszterházy Károly Katolikus Egyetem">EKKE</span>/<span title="Informatikai Kar">IK</span>/<span title="Matematikai és Informatikai Intézet">MII</span>/Alkalmazott Matematika Tanszék</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;36408029" target="_blank">Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Eger, Magyarország <span class="conference-date">2025.06.05. - 2025.06.07.</span> </div> <span class="publishedAt">Eger: <span class="publishers">Eszterházy Károly Katolikus Egyetem Líceum Kiadó</span>, <span class="page"> pp 201-213 </span> <span class="year">(2025)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:black" title="10.17048/fmfai.2025.201" target="_blank" href="https://doi.org/10.17048/fmfai.2025.201"> DOI </a> </span> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:black" title="227758" target="_blank" href="http://real.mtak.hu/227758"> REAL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:blue" title="8797" target="_blank" href="http://publikacio.uni-eszterhazy.hu/8797"> EKE IPR </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:blue" title="9789634963035" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634963035"> 9789634963035 </a> </span> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:blue" title="http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf" target="_blank" href="http://publikacio.uni-eszterhazy.hu/8797/1/Proceedings_FMFAI2025.pdf"> Teljes dokumentum </a> </span> </span> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;36408410&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 2 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36408410</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="long-book-mtid">Befoglaló: 36408029</span> Forrás Idéző | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData"></span> </div> <div class="lastModified">Utolsó módosítás: 2025.11.22. 20:09 Cseresnyés Dorottya (KIADÓK admin 3) </div> </div> </div> BookChapter 34872818 ADMIN_APPROVED true 0 false 2025-09-09T15:28:07.223+0000 2025-09-09T15:23:14.412+0000 2024-05-23T17:41:29.269+0000 true 10068607 Szabó Richárd /api/author/10068607 Author true 2025-09-09T15:23:09.026+0000 2025-09-09T15:23:09.026+0000 2025-09-09T15:23:14.416+0000 true 10096252 Kósa Ilona /api/admin/10096252 Admin true true false true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType 228 true 10000312 true 1 /api/category/1 Category true 1 Cziborová, Dóra Modeling of Time-Dependent Behavior in Fault-Tolerant Systems 55 60 55 6 2024 true NATIONAL 2024 false true true true true false NONE 2025-09-09 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2024-08-21T17:41:29.825+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 7 2 2 0 true true 10002 English /api/language/10002 Angol Language true 2 false true 10003 true 10001 /api/country/10001 Country true 1 /api/city/10003 City true 10005024 true 26169102 /api/publicationidentifier/26169102 https://www.worldcat.org/search?q=isbn%3A9789634219514 9789634219514 PublicationIdentifier true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource true true 10002 /api/publicationsourcetype/10002 PublicationSourceType true false 122 true false /api/publication/34849522 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Proceedings of the 31th Minisymposium false 34849522 false false true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 false Book 2024 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 116748578 /api/authorship/116748578 1 0.5 true false false Author 10094011 /api/author/10094011 Cziborová Dóra true true Cziborová Dóra true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 116748579 /api/authorship/116748579 2 0.5 false true false Author 10068607 /api/author/10068607 Szabó Richárd true true Szabó Richárd true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 26231680 /api/publicationidentifier/26231680 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.3311/MINISY2024-011 https://doi.org/10.3311/MINISY2024-011 false true PublicationIdentifier 26231681 /api/publicationidentifier/26231681 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true http://hdl.handle.net/10890/55183 http://hdl.handle.net/10890/55183 false true /api/publication/34872818 <div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10094011"><a href="/gui2/?type=authors&mode=browse&sel=10094011" target="_blank">Cziborová Dóra (<span class="authorship-author-name">Cziborová Dóra</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabó Richárd (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;34872818" target="_blank">Modeling of Time-Dependent Behavior in Fault-Tolerant Systems</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;34849522" target="_blank">Proceedings of the 31th Minisymposium </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Budapest, Magyarország <span class="conference-date">2024.02.05. - 2024.02.06.</span> </div> <span class="publishedAt">Budapest: <span class="publishers">Budapest University of Technology and Economics</span>, <span class="page"> pp 55-60 </span> <span class="year">(2024)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.3311/MINISY2024-011" target="_blank" href="https://doi.org/10.3311/MINISY2024-011"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://hdl.handle.net/10890/55183" target="_blank" href="http://hdl.handle.net/10890/55183"> Egyéb URL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9789634219514" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634219514"> 9789634219514 </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 34872818</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="long-book-mtid">Befoglaló: 34849522</span> Forrás | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2025.09.09. 17:23 Kósa Ilona (MTMT központi Admin, admin) </div> </div> </div> BookChapter 32679018 APPROVED true 0 false 2025-07-07T13:15:23.882+0000 2022-02-16T12:48:18.063+0000 2022-02-16T12:48:01.317+0000 true 10068607 Szabó Richárd /api/author/10068607 Author true 2022-02-16T12:48:18.101+0000 2022-02-16T12:48:18.101+0000 true false true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType 228 true 10000312 true 1 /api/category/1 Category true 1 Richárd, Szabó Dependability Modeling of Cyber-Physical Systems in the Gamma Framework 20 23 20 4 2022 2022 false true true true false NONE 2025-07-07 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2022-05-17T11:48:17.882+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 8 2 2 0 true true 10002 English /api/language/10002 Angol Language true 2 false true 10003 true 10001 /api/country/10001 Country true 1 /api/city/10003 City true 10005024 true 20618501 /api/publicationidentifier/20618501 https://www.worldcat.org/search?q=isbn%3A9789634218722 9789634218722 PublicationIdentifier true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource true true 10002 /api/publicationsourcetype/10002 PublicationSourceType true false 122 true false true 21104895 /api/publicationidentifier/21104895 http://link.oszk.hu/libriurl.php?LN=hu&DB=OSZK&SRY=an&SRE=3859582 3859582 PublicationIdentifier true 29 http://link.oszk.hu/libriurl.php?LN=hu&DB=OSZK&SRY=an&SRE=@@@ /api/publicationsource/29 OSZK PlainSource true true 10005 /api/publicationsourcetype/10005 PublicationSourceType true false 29 true false /api/publication/32678927 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics false true 32678927 true false true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 false Book 2022 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 100654199 /api/authorship/100654199 1 0.5 true false Author 10068607 /api/author/10068607 Szabó Richárd true true Richárd Szabó true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 100654200 /api/authorship/100654200 2 0.5 false true Author 10042280 /api/author/10042280 Vörös András true 10042280 true András Vörös true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true /api/publication/32679018 <div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Richárd Szabó (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">András Vörös (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;32679018" target="_blank">Dependability Modeling of Cyber-Physical Systems in the Gamma Framework</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" mtid="10042893"><a href="/gui2/?type=authors&mode=browse&sel=10042893" target="_blank">Renczes Balázs (<span class="authorship-author-name">Renczes Balázs</span> <span class="authorAux-mtmt"> jelfeldolgozás</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;32678927" target="_blank">Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Budapest, Magyarország <span class="conference-date">2022.02.07. - 2022.02.08.</span> </div> <span class="publishedAt">Budapest: <span class="publishers">BME Méréstechnika és Információs Rendszerek Tanszék</span>, <span class="page"> pp 20-23 </span> <span class="year">(2022)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9789634218722" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634218722"> 9789634218722 </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="3859582" target="_blank" href="http://link.oszk.hu/libriurl.php?LN=hu&DB=OSZK&SRY=an&SRE=3859582"> OSZK </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 32679018</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 32678927</span> Forrás | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2022.02.16. 13:48 Szabó Richárd (informatika) </div> </div> </div> BookChapter 32678847 APPROVED true 0 false 2025-07-07T13:10:35.387+0000 2022-05-02T10:42:16.962+0000 2022-02-16T12:00:09.337+0000 true 10068607 Szabó Richárd /api/author/10068607 Author true 2022-05-02T10:42:18.513+0000 2022-05-02T10:42:18.513+0000 true false true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType 228 true 10000312 true 1 /api/category/1 Category true 1 Nagy, Simon Jozsef Demonstrator for dependable edge-based cyber-physical systems 1 8 1 8 2021 true 2022 true true true true false NONE 2025-07-07 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2022-05-17T11:01:22.597+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 3 10 2 4 0 true true 10002 English /api/language/10002 Angol Language true 2 false true 10939 true 10017 /api/country/10017 Country true 13 /api/city/10939 City true 2054246 true 20433330 /api/publicationidentifier/20433330 https://www.worldcat.org/search?q=isbn%3A9781665478311 9781665478311 PublicationIdentifier true 122 ISBN https://www.worldcat.org/search?q=isbn%3A@@@ /api/publicationsource/122 ISBN PlainSource true true 10002 /api/publicationsourcetype/10002 PublicationSourceType true false 122 true false /api/publication/32605463 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book 2021 10th Latin-American Symposium on Dependable Computing (LADC) false 32605463 false true true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 false Book 2021 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 100653520 /api/authorship/100653520 1 0.25 true false false Author 10073486 /api/author/10073486 Nagy Simon József true true Nagy Simon Jozsef true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 100653521 /api/authorship/100653521 2 0.25 false false false Author 10068607 /api/author/10068607 Szabó Richárd true true Szabo Richard true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 100653522 /api/authorship/100653522 3 0.25 false false false Vajda Mate Levente true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 100653523 /api/authorship/100653523 4 0.25 false true false Author 10042280 /api/author/10042280 Vörös András true 10042280 true Voros Andras true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 20618265 /api/publicationidentifier/20618265 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/LADC53747.2021.9672569 https://doi.org/10.1109/LADC53747.2021.9672569 false true PublicationIdentifier 20923444 /api/publicationidentifier/20923444 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 85125298833 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85125298833 false true PublicationIdentifier 20618266 /api/publicationidentifier/20618266 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://ieeexplore.ieee.org/document/9672569/ https://ieeexplore.ieee.org/document/9672569/ false true /api/publication/32678847 <div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10073486"><a href="/gui2/?type=authors&mode=browse&sel=10073486" target="_blank">Nagy Simon Jozsef (<span class="authorship-author-name">Nagy Simon József</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabo Richard (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Vajda Mate Levente </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Voros Andras (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;32678847" target="_blank">Demonstrator for dependable edge-based cyber-physical systems</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" >Andrey Brito </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Fernando Pedone </span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;32605463" target="_blank">2021 10th Latin-American Symposium on Dependable Computing (LADC) </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Florianopolis, Brazília <span class="conference-date">2021.11.22. - 2021.11.26.</span> </div> <span class="publishedAt">Piscataway (NJ): <span class="publishers">Institute of Electrical and Electronics Engineers (IEEE)</span>, <span class="page"> pp 1-8 </span> <span class="year">(2021)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1109/LADC53747.2021.9672569" target="_blank" href="https://doi.org/10.1109/LADC53747.2021.9672569"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85125298833" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85125298833"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://ieeexplore.ieee.org/document/9672569/" target="_blank" href="https://ieeexplore.ieee.org/document/9672569/"> Egyéb URL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9781665478311" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9781665478311"> 9781665478311 </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 32678847</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 32605463</span> Forrás | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2022.05.02. 12:42 Boczkó-Balla Enikő (BME admin4) </div> </div> </div> BookChapter 32678929 APPROVED true 0 false 2025-07-07T13:10:38.757+0000 2022-02-16T12:28:36.850+0000 2022-02-16T12:28:03.326+0000 true 10068607 Szabó Richárd /api/author/10068607 Author true 2022-02-16T12:28:36.876+0000 2022-02-16T12:28:36.876+0000 true false true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter true 10000312 Conference paper true 25 25 /api/publicationtype/25 PublicationType 2 true 25 BookChapter /api/subtype/10000312 Konferenciaközlemény SubType 228 true 10000312 true 1 /api/category/1 Category true 1 Richárd, Szabó Towards formally analyzed Cyber-Physical Systems 1 4 1 4 2021 2022 true true true true false NONE 2025-07-07 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2022-05-17T11:28:36.661+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 8 2 2 0 true true 10002 English /api/language/10002 Angol Language true 2 false true 10582 true 10011 /api/country/10011 Country true 5 /api/city/10582 City true 1134806 /api/publication/32678914 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Student Forum Proceedings- EDCC 2021 false 32678914 false true true true true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 false Book 2021 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 100653836 /api/authorship/100653836 1 0.5 true false Author 10068607 /api/author/10068607 Szabó Richárd true true Richárd Szabó true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 100653837 /api/authorship/100653837 2 0.5 false true Author 10042280 /api/author/10042280 Vörös András true 10042280 true András Vörös true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 20618505 /api/publicationidentifier/20618505 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://arxiv.org/abs/2108.12773 https://arxiv.org/abs/2108.12773 false true /api/publication/32678929 <div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Richárd Szabó (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">András Vörös (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;32678929" target="_blank">Towards formally analyzed Cyber-Physical Systems</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype0"> <span class="author-name" >Marcello Cinque </span> </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;32678914" target="_blank">Student Forum Proceedings- EDCC 2021 </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">München, Németország <span class="conference-date">2021.09.14. - 2021.09.16.</span> </div> <span class="publishedAt">München: <span class="publishers">arXiv.org</span>, <span class="page"> pp 1-4 </span> <span class="year">(2021)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://arxiv.org/abs/2108.12773" target="_blank" href="https://arxiv.org/abs/2108.12773"> Egyéb URL </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 32678929</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 32678914</span> Forrás | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2022.02.16. 13:28 Szabó Richárd (informatika) </div> </div> </div> BookChapter 30704172 APPROVED true 0 false 2025-07-07T13:07:08.101+0000 2021-06-15T10:52:01.899+0000 2019-06-03T09:11:13.846+0000 true 10042938 Koroknai Istvánné /api/admin/10042938 Admin true 10042938 2021-06-15T10:52:01.915+0000 2021-06-15T10:52:01.915+0000 true false true 31 31 /api/publicationtype/31 PublicationType 4 true 31 BookChapter true 10000175 Abstract true 31 31 /api/publicationtype/31 PublicationType 4 true 31 BookChapter /api/subtype/10000175 Absztrakt / Kivonat SubType 453 true 10000175 true 1 /api/category/1 Category true 1 Szabó, Richárd Design and Implementation of a Dependable, Smart CPS Demonstrator 1 1 2019 Funding 1976571 /api/funding/1976571 false true true 2019 false true false true true false NONE 2025-07-07 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2019-09-01T09:11:42.355+0000 3in-BME Balatonfüredi Hallgatói Kutatócsoport (BME / VIK / EIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 4 14 2 4 0 true true 10002 English /api/language/10002 Angol Language true 2 false /api/publication/30696407 true true 32 32 /api/publicationtype/32 PublicationType 6 true 32 Book Conference on Software Technology and Cyber Security false 30696407 false false true true false Book 2019 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 87334617 /api/authorship/87334617 1 0.25 true false Author 10068607 /api/author/10068607 Szabó Richárd true true Szabó Richárd true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 87334618 /api/authorship/87334618 2 0.25 false false Author 10068533 /api/author/10068533 Mázló Zsolt true true Mázló Zsolt true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 87334619 /api/authorship/87334619 3 0.25 false false Author 10042280 /api/author/10042280 Vörös András true 10042280 true Vörös András true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 87334620 /api/authorship/87334620 4 0.25 false true Author 10004524 /api/author/10004524 Pataricza András true 10004524 true Pataricza András true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true /api/publication/30704172 <div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068607"><a href="/gui2/?type=authors&mode=browse&sel=10068607" target="_blank">Szabó Richárd (<span class="authorship-author-name">Szabó Richárd</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Egyesült Innovációs és Tudásközpont">EIT</span>/3in-BME Balatonfüredi Hallgatói Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10068533"><a href="/gui2/?type=authors&mode=browse&sel=10068533" target="_blank">Mázló Zsolt (<span class="authorship-author-name">Mázló Zsolt</span> <span class="authorAux-mtmt"> Infokommunikáció</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Egyesült Innovációs és Tudásközpont">EIT</span>/3in-BME Balatonfüredi Hallgatói Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Vörös András (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10004524"><a href="/gui2/?type=authors&mode=browse&sel=10004524" target="_blank">Pataricza András (<span class="authorship-author-name">Pataricza András</span> <span class="authorAux-mtmt"> Számítástechnika, informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;30704172" target="_blank">Design and Implementation of a Dependable, Smart CPS Demonstrator</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;30696407" target="_blank">Conference on Software Technology and Cyber Security : STCS 2019 </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Szombathely, Magyarország <span class="conference-date">2019.02.21. - 2019.02.23.</span> </div> : <span class="page"> p. 1. </span> <span class="year">(2019)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol </span> <span class="identifiers"> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 30704172</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 30696407</span> Forrás | <span class="type-subtype">Egyéb konferenciaközlemény ( Absztrakt / Kivonat ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> Innovatív Informatikai és Infokommunikációs megoldásokat megalapozó tematikus kutatási együttműkö...(EFOP-3.6.2-16-2017-00013) Támogató: EFOP </div> <div class="lastModified">Utolsó módosítás: 2021.06.15. 12:52 Koroknai Istvánné (BME VIK admin5) </div> </div> </div>