https://m2.mtmt.hu/ hun 2026-10-17 23:19 false true 2 19 19 20 10 1 10 DESC publishedYear false ASC firstAuthor true JournalArticle 37445853 VALIDATED true This work was partially supported by the ÚNKP-20-3 New National Excellence Program of the Ministry for Innovation and Technology. Open access funding provided by Budapest University of Technology and Economics. 0 false 2026-10-17T19:28:16.209+0000 2026-10-17T19:27:00.243+0000 2026-08-16T13:58:33.184+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2026-10-17T19:26:59.965+0000 2026-08-31T15:38:38.672+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin true 2026-10-17T19:27:00.225+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 Graics, Bence Integration test generation for state-based components in the Gamma framework true true /api/journal/10030307 REVIEWED true false 10030307 false 10030307 true 1614-5046 1614-5054 Journal FOREIGN 22 2 25 25 34 2026 Nowadays, the design of complex reactive systems, e.g., control systems in the railway and aerospace industries, is generally based on the integration of components. Components (subsystems) may come from various parties and operate according to different execution and interaction semantics. Analyzing the joint behavior of such integrated components is a tedious task. This paper introduces a model-based approach in our Gamma Statechart Composition Framework for integration test generation on the basis of collaborating state-based models. Test generation is supported by test coverage criteria and the automatic transformation of composite models into different model checker back-ends. The diagnostic traces returned by the model checkers are automatically mapped into test cases. As novelty, our tool is based on precise composition semantics (synchronous and asynchronous) and relies on model queries to support the modular and flexible specification of element coverage according to various model-based criteria: dataflow, component interactions and static model elements. The tool utilizes model reduction and slicing techniques during the transformations to ease test generation complexity using query-dependent model processing. We demonstrate the applicability of our tool on three industrial subsystems, including an aerospace (NASA) and two railway applications. true true NATIONAL 2026 true true true false true false GOLD 2026-10-17 true https://doi.org/10.1007/s11334-026-00643-7 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-08-30T15:38:38.474+0000 Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 9 1 3 0 true Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 141180810 /api/authorship/141180810 1 0.333 true false true Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 141180811 /api/authorship/141180811 2 0.333 false true false Author 10049620 /api/author/10049620 Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 141180812 /api/authorship/141180812 3 0.333 false true 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 PublicationIdentifier 32803624 /api/publicationidentifier/32803624 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.1007/s11334-026-00643-7 https://doi.org/10.1007/s11334-026-00643-7 false true PublicationIdentifier 32909046 /api/publicationidentifier/32909046 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 001850147900001 https://www.webofscience.com/wos/woscc/full-record/001850147900001 false true PublicationIdentifier 32914957 /api/publicationidentifier/32914957 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 105047535380 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105047535380 false true PublicationIdentifier 32803625 /api/publicationidentifier/32803625 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://link.springer.com/10.1007/s11334-026-00643-7 https://link.springer.com/10.1007/s11334-026-00643-7 false true SjrRating 11680542 /api/sjrrating/11680542 229 0.74 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1712 /api/classificationexternal/1712 true 1712 true Q3 FROM_LAST_YEAR true true /api/publication/37445853 <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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence ✉ (<span class="authorship-author-name">Graics Bence</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="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince<sup>**</sup> (<span class="authorship-author-name">Molnár Vince</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="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> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;37445853" target="_blank">Integration test generation for state-based components in the Gamma framework</a></div> <div> <span class="journal-title">INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING: A NASA JOURNAL</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1614-5046">1614-5046</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1614-5054">1614-5054</a>)</span>: <span class="journal-volume">22</span> <span class="journal-issue">2</span> <span class="page"> Paper 25. 34 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_GOLD" title=" Gold "> <a style="color:blue" title="10.1007/s11334-026-00643-7" target="_blank" href="https://doi.org/10.1007/s11334-026-00643-7"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001850147900001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001850147900001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="105047535380" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105047535380"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/s11334-026-00643-7" target="_blank" href="https://link.springer.com/10.1007/s11334-026-00643-7"> 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;Q3</div> </div></OnlyViewableByAuthor> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;37445853&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: 37445853</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">WOS TAGGED</span> </div> <div class="lastModified">Utolsó módosítás: 2026.10.17. 21:27 Szuper Admin (admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: This work was partially supported by the ÚNKP-20-3 New National Excellence Program of the Ministry for Innovation and Technology. Open access funding provided by Budapest University of Technology and Economics.</pre> </div></div> JournalArticle 35730361 VALIDATED true Export Date: 3 February 2025 CODEN: SCPGD Correspondence Address: Graics, B.; Budapest University of Technology and Economics, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu 0 false 2026-10-06T15:03:27.235+0000 2025-02-03T10:24:03.063+0000 2025-01-31T19:56:04.583+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2026-09-10T10:24:42.140+0000 2026-09-10T10:24:42.140+0000 2025-02-03T10:24:03.068+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin true 2025-03-13T18:45:34.159+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 Graics, Bence Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations true true /api/journal/4022 REVIEWED true false 4022 false 4022 true 0167-6423 1872-7964 Journal FOREIGN 242 103265 103265 40 2025 true 2025 true true true false true false GOLD 2026-10-06 true https://doi.org/10.1016/j.scico.2025.103265 8 0 8 6 4 6 8 3 3 3 3 1 1 6 2 0 8 6 8 6 0 7 7 Q3 false false false false 2025-02-02T10:24:02.901+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 4 11 2 4 0 true Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 123071407 /api/authorship/123071407 1 0.25 true false true Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 123071408 /api/authorship/123071408 2 0.25 false false false Author 10073063 /api/author/10073063 Mondok Milán true true Mondok Milán true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 123071409 /api/authorship/123071409 3 0.25 false false false Author 10049620 /api/author/10049620 Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 123071410 /api/authorship/123071410 4 0.25 false true 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 PublicationIdentifier 28326102 /api/publicationidentifier/28326102 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.1016/j.scico.2025.103265 https://doi.org/10.1016/j.scico.2025.103265 false true PublicationIdentifier 28439276 /api/publicationidentifier/28439276 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 001409794900001 https://www.webofscience.com/wos/woscc/full-record/001409794900001 false true PublicationIdentifier 28330277 /api/publicationidentifier/28330277 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 85215826632 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85215826632 false true PublicationIdentifier 28326103 /api/publicationidentifier/28326103 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://linkinghub.elsevier.com/retrieve/pii/S0167642325000048 https://linkinghub.elsevier.com/retrieve/pii/S0167642325000048 false true Classification 10034 /api/classification/10034 true true SjrRating 11567551 /api/sjrrating/11567551 95 0.74 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1703 /api/classificationexternal/1703 true 1703 true Q3 DIRECT true true /api/publication/35730361 <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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence ✉ (<span class="authorship-author-name">Graics Bence</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="10073063"><a href="/gui2/?type=authors&mode=browse&sel=10073063" target="_blank">Mondok Milán (<span class="authorship-author-name">Mondok Milán</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="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</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="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> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;35730361" target="_blank">Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations</a></div> <div> <span class="journal-title">SCIENCE OF COMPUTER PROGRAMMING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0167-6423">0167-6423</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1872-7964">1872-7964</a>)</span>: <span class="journal-volume">242</span> <span class="page"> Paper 103265. 40 p. </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.1016/j.scico.2025.103265" target="_blank" href="https://doi.org/10.1016/j.scico.2025.103265"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001409794900001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001409794900001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85215826632" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85215826632"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://linkinghub.elsevier.com/retrieve/pii/S0167642325000048" target="_blank" href="https://linkinghub.elsevier.com/retrieve/pii/S0167642325000048"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computational Theory and Mathematics&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Information Systems&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Modeling and Simulation&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Software&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 8</span> | Független: 6 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt:&nbsp;3 | WoS/Scopus jelölt:&nbsp;3 | DOI jelölt:&nbsp;8 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;35730361&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 7 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 35730361</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">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2025.02.03. 11:24 Andódy Katalin (BME admin4) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Export Date: 3 February 2025 CODEN: SCPGD Correspondence Address: Graics, B.; Budapest University of Technology and Economics, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu</pre> </div></div> JournalArticle 34504488 VALIDATED true Conference code: 306759 Export Date: 19 February 2024 Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu 0 false 2026-07-09T11:54:07.173+0000 2025-06-24T15:45:01.880+0000 2024-01-15T15:22:24.802+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2025-06-24T15:45:02.050+0000 2025-06-24T15:45:02.050+0000 2024-06-08T21:52:09.073+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 Graics, Bence Model-Based Testing of Asynchronously Communicating Distributed Controllers true true /api/journal/3029 REVIEWED true false 3029 false 3029 true 0302-9743 1611-3349 Journal FOREIGN 14485 23 44 Chapter 2 23, Chapter 2 22 2024 true true 2024 true true true false true false NONE 2026-07-09 false 6 0 6 3 3 5 6 4 4 4 4 1 1 3 3 0 6 3 6 3 0 5 5 Q2 A false false false false 2024-04-14T14:34:03.684+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 4 11 2 4 0 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 113879556 /api/authorship/113879556 1 0.25 true false false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 113879557 /api/authorship/113879557 2 0.25 false false false Author 10073063 /api/author/10073063 Mondok Milán true true Mondok Milán true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 113879558 /api/authorship/113879558 3 0.25 false false false Author 10049620 /api/author/10049620 Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 113879559 /api/authorship/113879559 4 0.25 false true 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 PublicationIdentifier 25293860 /api/publicationidentifier/25293860 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/978-3-031-52183-6_2 https://doi.org/10.1007/978-3-031-52183-6_2 false true PublicationIdentifier 26451767 /api/publicationidentifier/26451767 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 001207943300002 https://www.webofscience.com/wos/woscc/full-record/001207943300002 false true PublicationIdentifier 25599583 /api/publicationidentifier/25599583 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 85184128777 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85184128777 false true PublicationIdentifier 25293861 /api/publicationidentifier/25293861 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://link.springer.com/10.1007/978-3-031-52183-6_2 https://link.springer.com/10.1007/978-3-031-52183-6_2 false true MtaRating 11435124 /api/mtarating/11435124 RatingType 10031 /api/ratingtype/10031 X. FTO Institute 70 /api/institute/70 0 false false false X. Földtudományok Osztálya HAS Section of Earth Sciences (X.) true 70 true true true A true true SjrRating 11451949 /api/sjrrating/11451949 174 0.49 book series RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1701 /api/classificationexternal/1701 true 1701 true Q2 DIRECT true true /api/publication/34504488 <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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</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="10073063"><a href="/gui2/?type=authors&mode=browse&sel=10073063" target="_blank">Mondok Milán (<span class="authorship-author-name">Mondok Milán</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="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</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="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>/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;34504488" target="_blank">Model-Based Testing of Asynchronously Communicating Distributed Controllers</a></div> <div> <span class="journal-title">LECTURE NOTES IN COMPUTER SCIENCE</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0302-9743">0302-9743</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1611-3349">1611-3349</a>)</span>: <span class="journal-volume">14485</span> <span class="page"> pp 23-44 Paper Chapter 2. </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.1007/978-3-031-52183-6_2" target="_blank" href="https://doi.org/10.1007/978-3-031-52183-6_2"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001207943300002" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001207943300002"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85184128777" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85184128777"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/978-3-031-52183-6_2" target="_blank" href="https://link.springer.com/10.1007/978-3-031-52183-6_2"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Science (miscellaneous)&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Theoretical Computer Science&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> <div class="journal-subject">X. Földtudományok Osztálya XFO&nbsp;&nbsp;&nbsp;A</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 6</span> | Független: 3 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt:&nbsp;4 | WoS/Scopus jelölt:&nbsp;4 | DOI jelölt:&nbsp;6 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;34504488&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 5 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 34504488</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">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2025.06.24. 17:45 Vasvari Lilian (MTMT Központ, admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Conference code: 306759 Export Date: 19 February 2024 Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu</pre> </div></div> BookChapter 35500643 VALIDATED true Funding Agency and Grant Number: German BMBF [2022-1.2.4-EUREKA-2023-00013, 2022-1.2.4-EUREKA] Funding text: We would like to thank every member of the Formal Methods Working Group who helped us write this paper with their insights and comments. We are also grateful to Ed Seidewitz and Conrad Bock, who never get tired of answering our questions. SysMD received support (GENIAL, KI4BoardNet) from the German BMBF. Gamma received support project no. 2022-1.2.4-EUREKA-2023-00013 under the 2022-1.2.4-EUREKA funding scheme. 0 false 2026-10-11T16:13:05.673+0000 2024-11-20T15:40:01.905+0000 2024-11-05T13:29:09.726+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2025-03-21T01:58:19.718+0000 2025-03-13T18:45:41.042+0000 true 521 Szuper Admin /api/admin/521 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 Molnár, Vince Towards the Formal Verification of SysML v2 Models 1086 1095 1086 10 2024 true true 2024 true true true true true false NONE 2026-10-11 false 18 2 18 17 0 17 18 9 2 9 9 8 8 17 1 0 18 17 18 17 0 7 7 false false false false 2025-02-03T13:29:10.342+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 8 2 12 0 true true 10002 English /api/language/10002 Angol Language true 2 false true 10367 true 10017 /api/country/10017 Country true 13 /api/city/10367 City true 870 true 27759775 /api/publicationidentifier/27759775 https://doi.org/10.1145/3652620 10.1145/3652620 PublicationIdentifier true 6 DOI https://doi.org/@@@ /api/publicationsource/6 DOI PlainSource true true 10001 /api/publicationsourcetype/10001 PublicationSourceType true true 6 true false true 27759776 /api/publicationidentifier/27759776 https://www.worldcat.org/search?q=isbn%3A9798400706226 9798400706226 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/35500644 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems false 35500644 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 2024 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 121167089 /api/authorship/121167089 1 0.083 true false false Author 10049620 /api/author/10049620 Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167090 /api/authorship/121167090 2 0.083 false false false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167091 /api/authorship/121167091 3 0.083 false 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 121167092 /api/authorship/121167092 4 0.083333336 false false false Tonetta Stefano true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167093 /api/authorship/121167093 5 0.083333336 false false false Cristoforetti Luca true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167094 /api/authorship/121167094 6 0.083333336 false false false Kimberly Greg true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167095 /api/authorship/121167095 7 0.083333336 false false false Dyer Pamela true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167096 /api/authorship/121167096 8 0.083333336 false false false Giammarco Kristin true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167097 /api/authorship/121167097 9 0.083333336 false false false Koethe Manfred true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167098 /api/authorship/121167098 10 0.083333336 false false false Hester John true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167099 /api/authorship/121167099 11 0.083333336 false false false Smith Jamie true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 121167100 /api/authorship/121167100 12 0.083333336 false true false Grimm Christoph true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 27759777 /api/publicationidentifier/27759777 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.1145/3652620.3687820 https://doi.org/10.1145/3652620.3687820 false true PublicationIdentifier 28116192 /api/publicationidentifier/28116192 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 001351589800145 https://www.webofscience.com/wos/woscc/full-record/001351589800145 false true PublicationIdentifier 28158213 /api/publicationidentifier/28158213 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 85212206268 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85212206268 false true PublicationIdentifier 27759778 /api/publicationidentifier/27759778 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://dl.acm.org/doi/10.1145/3652620.3687820 https://dl.acm.org/doi/10.1145/3652620.3687820 false true /api/publication/35500643 <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="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</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="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>/<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" >Tonetta Stefano </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Cristoforetti Luca </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Kimberly Greg </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Dyer Pamela </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Giammarco Kristin </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Koethe Manfred </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Hester John </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Smith Jamie </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Grimm Christoph </span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;35500643" target="_blank">Towards the Formal Verification of SysML v2 Models</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-affil">ACM</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;35500644" target="_blank">MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Linz, Ausztria <span class="conference-date">2024.09.22. - 2024.09.27.</span> </div> <span class="publishedAt">New York: <span class="publishers">Association for Computing Machinery (ACM)</span>, <span class="page"> pp 1086-1095 </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.1145/3652620.3687820" target="_blank" href="https://doi.org/10.1145/3652620.3687820"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001351589800145" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001351589800145"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85212206268" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85212206268"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://dl.acm.org/doi/10.1145/3652620.3687820" target="_blank" href="https://dl.acm.org/doi/10.1145/3652620.3687820"> 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"> <a style="color:black" title="10.1145/3652620" target="_blank" href="https://doi.org/10.1145/3652620"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9798400706226" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9798400706226"> 9798400706226 </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 18</span> | Független: 17 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt:&nbsp;2 | WoS/Scopus jelölt:&nbsp;9 | DOI jelölt:&nbsp;18 (Nem nyilvános:&nbsp;2) </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;35500643&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 7 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 35500643</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> <span class="long-book-mtid">Befoglaló: 35500644</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: 2024.11.20. 16:40 Graics Bence (informatika) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Funding Agency and Grant Number: German BMBF [2022-1.2.4-EUREKA-2023-00013, 2022-1.2.4-EUREKA] Funding text: We would like to thank every member of the Formal Methods Working Group who helped us write this paper with their insights and comments. We are also grateful to Ed Seidewitz and Conrad Bock, who never get tired of answering our questions. SysMD received support (GENIAL, KI4Bo...</pre> </div> </div> BookChapter 33689503 APPROVED true 0 false 2026-07-09T11:56:26.121+0000 2023-09-13T06:18:12.283+0000 2023-03-08T21:09:58.855+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2023-09-13T06:18:12.294+0000 2023-09-13T06:18:12.294+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 Graics, Bence Integration Test Generation and Formal Verification for Distributed Controllers 1 4 1 4 2023 true false 2023 false true true true true false NONE 2026-07-09 false 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 false false false false 2023-06-06T20:17:30.880+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 9 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 23434374 /api/publicationidentifier/23434374 https://www.worldcat.org/search?q=isbn%3A9789634219040 9789634219040 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 30157110 /api/publicationidentifier/30157110 https://www.mit.bme.hu/data/minisy/minisy_2023_proceedings.pdf https://www.mit.bme.hu/data/minisy/minisy_2023_proceedings.pdf PublicationIdentifier true 39 Full text @@@ /api/publicationsource/39 Teljes dokumentum PlainSource true true 10006 /api/publicationsourcetype/10006 PublicationSourceType true true 39 true false /api/publication/33774353 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book 30th Minisymposium of the Department of Measurement and Information Systems false 33774353 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 2023 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 106955774 /api/authorship/106955774 1 1.0 true false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 106955775 /api/authorship/106955775 2 0.0 false true Author 10001448 /api/author/10001448 Majzik István true 10001448 true Majzik Istvan true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true /api/publication/33689503 <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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</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="10001448"><a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">Majzik Istvan (<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>/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;33689503" target="_blank">Integration Test Generation and Formal Verification for Distributed Controllers</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-affil">Budapest University of Technology and Economics</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse&params=publication;33774353" target="_blank">30th Minisymposium of the Department of Measurement and Information Systems </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Budapest, Magyarország <span class="conference-date">2023.02.06. - 2023.02.07.</span> </div> <span class="publishedAt">Budapest: <span class="publishers">Budapest University of Technology and Economics</span>, <span class="page"> pp 1-4 </span> <span class="year">(2023)</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="9789634219040" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634219040"> 9789634219040 </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://www.mit.bme.hu/data/minisy/minisy_2023_proceedings.pdf" target="_blank" href="https://www.mit.bme.hu/data/minisy/minisy_2023_proceedings.pdf"> Teljes dokumentum </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 1</span> | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt:&nbsp;1 </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 33689503</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 33774353</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">Bibtex</span> </div> <div class="lastModified">Utolsó módosítás: 2023.09.13. 08:18 Szatmári Erika (BME admin4) </div> </div> </div> JournalArticle 33739468 VALIDATED true Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223] Funding text: National Research, Development and Innovation Fund of Hungary, Grant/Award Numbers: 2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02; New National Excellence Program of the Ministry for Innovation and Technology, Grant/Award Numbers: UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223 0 false 2026-05-22T21:03:27.953+0000 2023-09-13T06:20:11.248+0000 2023-04-06T14:07:37.001+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2025-03-21T01:58:21.317+0000 2025-03-21T01:58:21.494+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 Graics, Bence Component‐based specification, design and verification of adaptive systems true true /api/journal/10011897 REVIEWED true false 10011897 false 10011897 true 1098-1241 1520-6858 Journal 26 5 567 589 567 23 2023 true 2023 true true true false true false NONE 2026-05-22 false 4 0 4 3 1 3 4 4 1 4 4 3 3 3 1 0 4 3 4 3 0 5 5 Q2 false 10001448 false false false 2023-05-31T14:31:46.797+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 3 9 2 3 0 true Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 107279933 /api/authorship/107279933 1 0.334 true false false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107279934 /api/authorship/107279934 2 0.333 false false false Author 10049620 /api/author/10049620 Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107279935 /api/authorship/107279935 3 0.333 false true 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 PublicationIdentifier 23341939 /api/publicationidentifier/23341939 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.1002/sys.21675 https://doi.org/10.1002/sys.21675 false true PublicationIdentifier 23531117 /api/publicationidentifier/23531117 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 000963762000001 https://www.webofscience.com/wos/woscc/full-record/000963762000001 false true PublicationIdentifier 23867354 /api/publicationidentifier/23867354 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 85152027960 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85152027960 false true PublicationIdentifier 23341940 /api/publicationidentifier/23341940 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675 https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675 false true SjrRating 11365177 /api/sjrrating/11365177 176 0.49 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1705 /api/classificationexternal/1705 true 1705 true Q2 DIRECT true true /api/publication/33739468 <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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</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="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</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="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>/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;33739468" target="_blank">Component‐based specification, design and verification of adaptive systems</a></div> <div> <span class="journal-title">SYSTEMS ENGINEERING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1098-1241">1098-1241</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1520-6858">1520-6858</a>)</span>: <span class="journal-volume">26</span> <span class="journal-issue">5</span> <span class="page"> pp 567-589 </span> <span class="year">(2023)</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.1002/sys.21675" target="_blank" href="https://doi.org/10.1002/sys.21675"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000963762000001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000963762000001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85152027960" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85152027960"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675" target="_blank" href="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Networks and Communications&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Hardware and Architecture&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 4</span> | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt:&nbsp;1 | WoS/Scopus jelölt:&nbsp;4 | DOI jelölt:&nbsp;4 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;33739468&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 5 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 33739468</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">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2023.09.13. 08:20 Szatmári Erika (BME admin4) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223] ...</pre> </div></div> JournalArticle 34144059 VALIDATED true Export Date: 26 October 2023 Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu 0 false 2026-05-23T05:32:09.793+0000 2025-06-24T19:09:13.840+0000 2023-09-18T10:06:36.069+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2025-06-24T19:09:14.066+0000 2025-06-24T19:09:14.066+0000 2024-06-08T23:26:08.340+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 Graics, Bence Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers true true /api/journal/3029 REVIEWED true false 3029 false 3029 true 0302-9743 1611-3349 Journal FOREIGN 14290 76 95 Chapter 5 76, Chapter 5 20 2023 true true 2023 true true true false true false NONE 2026-05-23 false 2 0 2 0 2 2 2 2 2 2 2 0 0 0 2 0 2 0 2 0 0 5 5 Q2 A false 10001448 false false false 2023-12-17T11:06:37.518+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 3 9 2 3 0 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 109932770 /api/authorship/109932770 1 0.334 true false false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 109932771 /api/authorship/109932771 2 0.33333334 false false false Author 10049620 /api/author/10049620 Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 109932772 /api/authorship/109932772 3 0.33333334 false true 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 PublicationIdentifier 24381925 /api/publicationidentifier/24381925 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/978-3-031-43681-9_5 https://doi.org/10.1007/978-3-031-43681-9_5 false true PublicationIdentifier 25839177 /api/publicationidentifier/25839177 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 001158872200005 https://www.webofscience.com/wos/woscc/full-record/001158872200005 false true PublicationIdentifier 24570644 /api/publicationidentifier/24570644 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 85174445650 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85174445650 false true PublicationIdentifier 24381926 /api/publicationidentifier/24381926 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://link.springer.com/10.1007/978-3-031-43681-9_5 https://link.springer.com/10.1007/978-3-031-43681-9_5 false true MtaRating 11435124 /api/mtarating/11435124 RatingType 10031 /api/ratingtype/10031 X. FTO Institute 70 /api/institute/70 0 false false false X. Földtudományok Osztálya HAS Section of Earth Sciences (X.) true 70 true true true A true true SjrRating 11366313 /api/sjrrating/11366313 98 0.49 book series RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1701 /api/classificationexternal/1701 true 1701 true Q2 DIRECT true true /api/publication/34144059 <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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</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="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</span> <span class="authorAux-mtmt"> informatika</span>) </a> </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>/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;34144059" target="_blank">Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers</a></div> <div> <span class="journal-title">LECTURE NOTES IN COMPUTER SCIENCE</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0302-9743">0302-9743</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1611-3349">1611-3349</a>)</span>: <span class="journal-volume">14290</span> <span class="page"> pp 76-95 Paper Chapter 5. </span> <span class="year">(2023)</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/978-3-031-43681-9_5" target="_blank" href="https://doi.org/10.1007/978-3-031-43681-9_5"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001158872200005" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001158872200005"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85174445650" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85174445650"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/978-3-031-43681-9_5" target="_blank" href="https://link.springer.com/10.1007/978-3-031-43681-9_5"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Science (miscellaneous)&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Theoretical Computer Science&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">X. Földtudományok Osztálya XFO&nbsp;&nbsp;&nbsp;A</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 2</span> | Független: 0 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt:&nbsp;2 | WoS/Scopus jelölt:&nbsp;2 | DOI jelölt:&nbsp;2 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;34144059&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 5 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 34144059</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">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2025.06.24. 21:09 Vasvari Lilian (MTMT Központ, admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Export Date: 26 October 2023 Correspondence Address: Graics, B.; Department of Measurement and Information Systems, Műegyetem rkp. 3., Hungary; email: graics@mit.bme.hu</pre> </div></div> Thesis 35433228 APPROVED true 0 false 2024-10-03T10:55:27.646+0000 2024-10-03T10:43:02.263+0000 2024-10-03T10:42:53.689+0000 Admin 10088017 /api/admin/10088017 Szatmári Erika true true 2025-05-15T19:59:18.123+0000 2025-05-15T19:59:18.123+0000 true PublicationType 28 /api/publicationtype/28 28 Thesis 8 true 28 true SubType 9 /api/subtype/9 PhD PhD PublicationType 28 /api/publicationtype/28 28 Thesis 8 true 28 true 867 true 9 true Category 1 /api/category/1 true 1 true Graics, Bence Formal modeling, verification and test generation for component-based reactive systems Formális modellezés, verifikáció és tesztgenerálás komponensalapú reaktív rendszerekhez 195 2023 true 2024 false true false false true false NONE 2024-10-03 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 2025-01-01T11:43:02.168+0000 1 8 0 1 0 Author 10001448 /api/author/10001448 Majzik István true 10001448 true Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola MabDiscipline 8 /api/mabdiscipline/8 true 8 true 2024 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 120751162 /api/authorship/120751162 1 1.0 true false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 27579136 /api/publicationidentifier/27579136 SwordSource 10011 /api/publicationsource/10011 true 10007 /api/publicationsourcetype/10007 PublicationSourceType true true Műegyetem Digitális Archívum Műegyetem Digitális Archívum https://repozitorium.omikk.bme.hu/handle/10890/@@@ true true true 55153 https://repozitorium.omikk.bme.hu/handle/10890/55153 false true PublicationIdentifier 27579137 /api/publicationidentifier/27579137 PlainSource 154 /api/publicationsource/154 true 10006 /api/publicationsourcetype/10006 PublicationSourceType true true ODT védés http://www.doktori.hu/index.php?menuid=193&vid=@@@ true true 154 true 28327 http://www.doktori.hu/index.php?menuid=193&vid=28327 false true Publisher 14830 /api/publisher/14830 Budapesti Műszaki és Gazdaságtudományi Egyetem true 1403144 true /api/publication/35433228 <div class="Thesis 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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;35433228" target="_blank">Formal modeling, verification and test generation for component-based reactive systems</a></div> <div> <span class="publisher">Budapesti Műszaki és Gazdaságtudományi Egyetem,</span> <span class="school">Budapesti Műszaki és Gazdaságtudományi Egyetem, Informatikai Tudományok Doktori Iskola,</span> <span class="mabDiscipline">műszaki tudományok / informatikai tudományok.</span> <span class="pageLength">195 p.</span> </div> <div class="thesis-cons"> Témavezető(k): <span class="consultantAuthor"><b>Majzik István</b> <span class="authorAux-mtmt">Műszaki informatika</span> </span> </div> <div class="applicationYear"> , <span class="acceptanceYear">Védés éve: 2024 </span> </div> <div class="publishedYear">Megjelenés/Fokozatszerzés éve: 2023 </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="55153" target="_blank" href="https://repozitorium.omikk.bme.hu/handle/10890/55153"> Műegyetem Digitális Archívum </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="28327" target="_blank" href="http://www.doktori.hu/index.php?menuid=193&vid=28327"> ODT védés </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 35433228</span> | <span class="status-data status-APPROVED"> Nyilvános </span> Forrás | <span class="type-subtype">Disszertáció ( PhD ) </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: 2024.10.03. 12:43 Szatmári Erika (BME admin4) </div> </div></div> JournalArticle 33809830 VALIDATED true IncQuery Labs cPlc., Budapest, Hungary Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States TMT International Observatory LLC, Pasadena, CA, United States Export Date: 26 May 2023 Correspondence Address: Horváth, B.; IncQuery Labs cPlcHungary; email: benedek.horvath@incquerylabs.com 0 false 2026-09-11T09:06:54.877+0000 2023-11-07T13:05:21.957+0000 2023-05-11T08:52:03.094+0000 true 10049620 Molnár Vince /api/author/10049620 Author true 10049620 2024-10-24T18:04:14.605+0000 2023-11-11T08:33:20.077+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 Horváth, Benedek Pragmatic verification and validation of industrial executable SysML models true true /api/journal/10011897 REVIEWED true false 10011897 false 10011897 true 1098-1241 1520-6858 Journal 26 6 693 714 693 22 2023 true 2023 true true true false true false NONE 2026-09-11 false 22 0 22 18 2 22 22 14 13 16 16 12 12 18 4 0 22 18 22 18 0 7 7 Q2 false 10030433,10049620,10041151 false false false 2023-08-09T08:52:04.362+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 6 8 2 9 0 true Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 107664584 /api/authorship/107664584 1 0.11111111 true false false Horváth Benedek true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664585 /api/authorship/107664585 2 0.111 false false false Author 10049620 /api/author/10049620 Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664586 /api/authorship/107664586 3 0.111 false false false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664587 /api/authorship/107664587 4 0.111 false false false Author 10053159 /api/author/10053159 Hajdu Ákos true 10053159 true Hajdu Ákos true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664588 /api/authorship/107664588 5 0.111 false false false Author 10030433 /api/author/10030433 Ráth István Zoltán true 10030433 true Ráth István true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664589 /api/authorship/107664589 6 0.111 false false false Author 10030432 /api/author/10030432 Horváth Ákos true 10030432 true Horváth Ákos true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664590 /api/authorship/107664590 7 0.11111111 false false false Karban Robert true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664591 /api/authorship/107664591 8 0.11111111 false false false Trancho Gelys true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 107664592 /api/authorship/107664592 9 0.111 false true 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 PublicationIdentifier 23532801 /api/publicationidentifier/23532801 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.1002/sys.21679 https://doi.org/10.1002/sys.21679 false true PublicationIdentifier 23855143 /api/publicationidentifier/23855143 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 000985028200001 https://www.webofscience.com/wos/woscc/full-record/000985028200001 false true PublicationIdentifier 23701721 /api/publicationidentifier/23701721 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 85158848029 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85158848029 false true PublicationIdentifier 23532802 /api/publicationidentifier/23532802 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679 https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679 false true SjrRating 11365177 /api/sjrrating/11365177 176 0.49 journal RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1705 /api/classificationexternal/1705 true 1705 true Q2 DIRECT true true /api/publication/33809830 <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" >Horváth Benedek </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</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="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</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="10053159"><a href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu Ákos (<span class="authorship-author-name">Hajdu Ákos</span> <span class="authorAux-mtmt"> formális módszerek</span>) </a> </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10030433"><a href="/gui2/?type=authors&mode=browse&sel=10030433" target="_blank">Ráth István (<span class="authorship-author-name">Ráth István Zoltán</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10030432"><a href="/gui2/?type=authors&mode=browse&sel=10030432" target="_blank">Horváth Ákos (<span class="authorship-author-name">Horváth Ákos</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Karban Robert </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Trancho Gelys </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>/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;33809830" target="_blank">Pragmatic verification and validation of industrial executable SysML models</a></div> <div> <span class="journal-title">SYSTEMS ENGINEERING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1098-1241">1098-1241</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1520-6858">1520-6858</a>)</span>: <span class="journal-volume">26</span> <span class="journal-issue">6</span> <span class="page"> pp 693-714 </span> <span class="year">(2023)</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.1002/sys.21679" target="_blank" href="https://doi.org/10.1002/sys.21679"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000985028200001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000985028200001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85158848029" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85158848029"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679" target="_blank" href="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Networks and Communications&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Hardware and Architecture&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 22</span> | Független: 18 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 14 | Scopus jelölt:&nbsp;13 | WoS/Scopus jelölt:&nbsp;16 | DOI jelölt:&nbsp;22 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;33809830&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 7 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 33809830</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">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2023.11.07. 14:05 Heincz Orsolya (BME admin 5) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: IncQuery Labs cPlc., Budapest, Hungary Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary Jet Propulsion Laboratory, California Institute of Technology,...</pre> </div></div> BookChapter 31868691 APPROVED true 0 false 2025-03-07T16:21:43.910+0000 2021-02-12T14:56:36.865+0000 2021-02-12T14:34:38.970+0000 true 10068239 Graics Bence /api/author/10068239 Author true 2021-02-12T15:14:01.638+0000 2021-02-12T15:14:01.638+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 Csuvarszki, János Csanád Model-Driven Development of Heterogeneous Cyber-Physical Systems 24 27 24 4 2021 Cyber-physical systems (CPS) are becoming more prevalent for the reliable execution of critical tasks, e.g., in the aerospace and medical fields. The development of such systems is challenging, due to the heterogeneity of the components ranging from sensors and embedded controllers to cloud solutions. Model-driven approaches can provide a high-level abstraction to combat the challenges. This paper proposes a model-driven development approach supporting the precise modeling of CPS and the automatic derivation of implementation from the resulting models. The approach introduces a composition semantics tailored to heterogeneous architectures for the precise description of component interactions. Automated code generators allow the execution of standalone software components on real-time controllers and support the synthesis of standalone hardware components, enabling both the derivation of embedded software and the description of logical circuit behavior. Component interactions are supported by multiple communication solutions generally used in critical, real-time embedded systems. The approach is implemented in the Gamma framework and its applicability is demonstrated in two case studies. Funding 1994229 /api/funding/1994229 false true Funding 1994230 /api/funding/1994230 false true true false INTERNATIONAL 2021 false true true true true false NONE 2025-03-07 false 2 0 2 2 0 2 2 2 2 2 2 2 2 2 0 0 2 2 2 2 0 0 0 false false false false 2021-05-13T13:42:30.925+0000 Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 2 8 1 3 0 true 48 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 18424152 /api/publicationidentifier/18424152 https://www.worldcat.org/search?q=isbn%3A9789634218456 9789634218456 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/31868692 true true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book Proceedings of the 28th PhD Mini-Symposium false true 31868692 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 2021 true 1 /api/category/1 Category true 1 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 95470335 /api/authorship/95470335 1 0.34 true false false Csuvarszki János Csanád true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 95470336 /api/authorship/95470336 2 0.33 false false false Author 10068239 /api/author/10068239 Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 95470337 /api/authorship/95470337 3 0.33 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 /api/publication/31868691 <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" >Csuvarszki János Csanád </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</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="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> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;31868691" target="_blank">Model-Driven Development of Heterogeneous 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" 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;31868692" target="_blank">Proceedings of the 28th PhD Mini-Symposium </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Budapest, Magyarország <span class="conference-date">2021.02.01. - 2021.02.02.</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 24-27 </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> <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="9789634218456" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9789634218456"> 9789634218456 </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 2</span> | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt:&nbsp;2 | WoS/Scopus jelölt:&nbsp;2 | DOI jelölt:&nbsp;2 </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 31868691</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 31868692</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">Bibtex</span> </div> <div class="funder"> (ÚNKP-20-3), (ÚNKP-20-4-II) </div> <div class="lastModified">Utolsó módosítás: 2021.02.12. 15:56 Graics Bence (informatika) </div> </div> </div>