https://m2.mtmt.hu/ hun 2026-10-23 15:09 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 Graics Bence (informatika) 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 Andódy Katalin (BME admin4) true 2025-03-13T18:45:34.159+0000 true 521 Szuper Admin /api/admin/521 Admin Szuper Admin (admin) true true false true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType Szakcikk (Folyóiratcikk) 101 true 10000059 true 1 /api/category/1 Category Tudományos true 1 Graics, Bence true true /api/journal/4022 REVIEWED SCIENCE OF COMPUTER PROGRAMMING 0167-6423 1872-7964 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 Folyóiratcikk Journal Article 24 4 Könyvrészlet Chapter in Book 25 4 Könyv Book 23 0 Egyéb konferenciaközlemény Conference paper 31 0 Egyéb konferenciakötet Conference proceedings 32 0 Oltalmi formák Protection forms 26 0 Disszertáció Thesis 28 0 Egyéb Miscellaneous 29 0 Alkotás Achievement 22 0 Kutatási adat Research data 33 0 Folyóiratcikk Journal Article 24 0 0 0 Könyvrészlet Chapter in Book 25 0 0 0 Könyv Book 23 0 0 0 Egyéb konferenciaközlemény Conference paper 31 0 0 0 Egyéb konferenciakötet Conference proceedings 32 0 0 0 Oltalmi formák Protection forms 26 0 0 0 Disszertáció Thesis 28 0 0 0 Egyéb Miscellaneous 29 0 0 0 Alkotás Achievement 22 0 0 0 Kutatási adat Research data 33 0 0 0 2025 0 5 4 5 4 2026 0 3 2 3 2 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 Angol English true 2 true PersonAuthorship 123071407 /api/authorship/123071407 Graics, Bence ✉ [Graics, Bence (informatika), szerző] Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 1 0.25 true false true Author 10068239 /api/author/10068239 Graics Bence (informatika) Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 123071408 /api/authorship/123071408 Mondok, Milán [Mondok, Milán (informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 2 0.25 false false false Author 10073063 /api/author/10073063 Mondok Milán (informatika) Mondok Milán true true Mondok Milán true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 123071409 /api/authorship/123071409 Molnár, Vince [Molnár, Vince (informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 0.25 false false false Author 10049620 /api/author/10049620 Molnár Vince (informatika) Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 123071410 /api/authorship/123071410 Majzik, István [Majzik, István (Műszaki informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 4 0.25 false true false Author 10001448 /api/author/10001448 Majzik István (Műszaki informatika) Majzik István true 10001448 true Majzik István true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 28326102 /api/publicationidentifier/28326102 DOI: 10.1016/j.scico.2025.103265 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI 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 WoS: 001409794900001 PlainSource 1 /api/publicationsource/1 WoS PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis 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 Scopus: 85215826632 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis 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 Egyéb URL: https://linkinghub.elsevier.com/retrieve/pii/S0167642325000048 PlainSource 40 /api/publicationsource/40 Egyéb URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link 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 Számítás- és információtudomány true true SjrRating 11567551 /api/sjrrating/11567551 sjr:Q3 (2025) Scopus - Computational Theory and Mathematics SCIENCE OF COMPUTER PROGRAMMING 0167-6423 1872-7964 95 0.74 journal RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 1703 /api/classificationexternal/1703 Scopus - Computational Theory and Mathematics true 1703 true Q3 DIRECT true true Reference 62808984 /api/reference/62808984 1. Huang 2020: The past, present and future of railway interlocking system.2020 IEEE 5th International Conference on Intelligent Transportation Engineering (ICITE), p. 170 1 false true Reference 62808985 /api/reference/62808985 2. Martinez 2020: Towards safe and secure computer based railway interlocking systems., Int. J. Transp. Dev. Integration, 4, p. 218, DOI: 10.2495/TDI-V4-N3-218-229 2 10.2495/TDI-V4-N3-218-229 false true Reference 62808986 /api/reference/62808986 3. Li 2013: Design of attitude control systems for CubeSat-class nanosatellite., J. Control Sci. Eng., 2013, DOI: 10.1155/2013/657182 3 10.1155/2013/657182 false true Reference 62808987 /api/reference/62808987 4. Zhou 2013: Decentralized finite time attitude synchronization control of satellite formation flying., J. Guid. Control Dyn., 36, p. 185, DOI: 10.2514/1.56740 4 10.2514/1.56740 false true Reference 62808988 /api/reference/62808988 5. Ambrosi 2021: The electronics of the high-energy particle detector on board the CSES-01 satellite., Nucl. Instrum. Methods Phys. Res., Sect. A, Accel. Spectrom. Detect. Assoc. Equip., 1013, DOI: 10.1016/j.nima.2021.165639 5 10.1016/j.nima.2021.165639 false true Reference 62808989 /api/reference/62808989 6. Heineman 2001: Component-Based Software Engineering, Putting the Pieces Together 6 false true Reference 62808990 /api/reference/62808990 7. Ke 2007: COMDES-II: a component-based framework for generative development of distributed real-time control systems.13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), p. 199 7 false true Reference 62808991 /api/reference/62808991 8. Basu 2011: Rigorous component-based system design using the BIP framework., IEEE Softw., 28, p. 41, DOI: 10.1109/MS.2011.27 8 10.1109/MS.2011.27 false true Reference 62808992 /api/reference/62808992 9. Sztipanovits 2014: OpenMETA: a model- and component-based design tool chain for cyber-physical systems.From Programs to Systems. The Systems Perspective in Computing, p. 235 9 false true Reference 62808993 /api/reference/62808993 10. Harel 1987: Statecharts: a visual formalism for complex systems., Sci. Comput. Program., 8, p. 231, DOI: 10.1016/0167-6423(87)90035-9 10 10.1016/0167-6423(87)90035-9 false true Reference 62808994 /api/reference/62808994 11. Li 2018: A survey on model-based testing tools for test case generation.Tools and Methods of Program Analysis, p. 77 11 false true Reference 62808995 /api/reference/62808995 12. Ferrari 2022: Systematic evaluation and usability analysis of formal methods tools for railway signaling system design., IEEE Trans. Softw. Eng., 48, p. 4675, DOI: 10.1109/TSE.2021.3124677 12 10.1109/TSE.2021.3124677 false true Reference 62808996 /api/reference/62808996 13. Lukács 2022: Formal modeling and verification of the functionality of electronic urban railway control systems through a case study., Urban Rail Transit, 8, DOI: 10.1007/s40864-022-00177-8 13 10.1007/s40864-022-00177-8 false true Reference 62808997 /api/reference/62808997 14. Molnár 2018: The Gamma Statechart Composition Framework.40th International Conference on Software Engineering (ICSE), p. 113 14 false true Reference 62808998 /api/reference/62808998 15. Graics 2023: Mixed-semantic composition and verification of reactive components 15 false true Reference 62808999 /api/reference/62808999 16. Graics 2020: Mixed-semantics composition of statecharts for the component-based design of reactive systems., Softw. Syst. Model., 19, p. 1483, DOI: 10.1007/s10270-020-00806-5 16 10.1007/s10270-020-00806-5 false true Reference 62809000 /api/reference/62809000 17. Behrmann 2006: Uppaal 4.0.Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, p. 125 17 false true Reference 62809001 /api/reference/62809001 18. Tóth 2017: Theta: a framework for abstraction refinement-based model checking.Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, p. 176 18 false true Reference 62809002 /api/reference/62809002 19. Graics 19 false true Reference 62809003 /api/reference/62809003 20. Fraser 2009: Testing with model checkers: a survey., Softw. Test. Verif. Reliab., 19, p. 215, DOI: 10.1002/stvr.402 20 10.1002/stvr.402 false true Reference 62809004 /api/reference/62809004 21. Graics 2024: Model-based testing of asynchronously communicating distributed controllers.Formal Aspects of Component Software, p. 23 21 false true Reference 62809005 /api/reference/62809005 22. Holzmann 2011: The SPIN Model Checker: Primer and Reference Manual 22 false true Reference 62809006 /api/reference/62809006 23. Holzmann 1997: The model checker SPIN., IEEE Trans. Softw. Eng., 23, p. 279, DOI: 10.1109/32.588521 23 10.1109/32.588521 false true Reference 62809007 /api/reference/62809007 24. Cavada 24 false true Reference 62809008 /api/reference/62809008 25. 2014: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedingsvol. 8559 25 false true Reference 62809009 /api/reference/62809009 26. Henzinger 2000: A classification of symbolic transition systems.STACS 2000, p. 13 26 false true Reference 62809010 /api/reference/62809010 27. Barrett 2018: Satisfiability modulo theories.Handbook of Model Checking, p. 305 27 false true Reference 62809011 /api/reference/62809011 28. McMillan 1993: The SMV Systemp. 61 28 false true Reference 62809012 /api/reference/62809012 29. Graics 2023: Integration test generation and formal verification for distributed controllers.Proceedings of the 30th PhD Minisymposium, p. 1 29 false true Reference 62809013 /api/reference/62809013 30. Emerson 1986: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic., J. ACM, 33, p. 151, DOI: 10.1145/4904.4999 30 10.1145/4904.4999 false true Reference 62809014 /api/reference/62809014 31. Graics 2017: Formal compositional semantics for Yakindu statecharts.Proceedings of the 24th PhD Mini-Symposium, p. 22 31 false true Reference 62809015 /api/reference/62809015 32. Radnai 2022: Integration of SCXML state machines to the Gamma framework 32 false true Reference 62809016 /api/reference/62809016 33. 2023: Systems Modeling Language Version 2 (SysML v2), Standard 33 false true Reference 62809017 /api/reference/62809017 34. Passmore 2020: The Imandra automated reasoning system (system description).Automated Reasoning, p. 464 34 false true Reference 62809018 /api/reference/62809018 35. Graics 2023: Configurable model-based test generation for distributed controllers using declarative model queries and model checkers.Formal Methods for Industrial Critical Systems, p. 76 35 false true Reference 62809019 /api/reference/62809019 36. Chen 2020: A survey of compiler testing., ACM Comput. Surv., 53, DOI: 10.1145/3363562 36 10.1145/3363562 false true Reference 62809020 /api/reference/62809020 37. Mondok 2021: Efficient abstraction-based model checking using domain-specific information 37 false true Reference 62809021 /api/reference/62809021 38. Cziborová 2024: Modeling of time-dependent behavior in fault-tolerant systems.Proceedings of the 31st PhD Minisymposium, p. 55 38 false true Reference 62809022 /api/reference/62809022 39. Biere 1999: Symbolic model checking without BDDs.Tools and Algorithms for the Construction and Analysis of Systems, p. 193 39 false true Reference 62809023 /api/reference/62809023 40. Cytron 1991: Efficiently computing static single assignment form and the control dependence graph., ACM Trans. Program. Lang. Syst., 13, p. 451, DOI: 10.1145/115372.115320 40 10.1145/115372.115320 false true Reference 62809024 /api/reference/62809024 41. Boulanger 2015: CENELEC 50128 and IEC 62279 Standards 41 false true Reference 62809025 /api/reference/62809025 42. Golarits 2022: Proris — a new interlocking system for regional and moderate-traffic lines., Signal+Draht, 114, p. 28 42 false true Reference 62809026 /api/reference/62809026 43. Ádám 2022: Abstraction-based trace generation to validate semantics of formal verifiers 43 false true Reference 62809027 /api/reference/62809027 44. Horváth 2020: Model checking as a service: towards pragmatic hidden formal methods.Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS, p. 1 44 false true Reference 62809028 /api/reference/62809028 45. Horváth 2023: Pragmatic verification and validation of industrial executable sysml models., Syst. Eng., 26, p. 693, DOI: 10.1002/sys.21679 45 10.1002/sys.21679 false true Reference 62809029 /api/reference/62809029 46. DeLine 2005: BoogiePL: a typed procedural language for checking object-oriented programs 46 false true Reference 62809030 /api/reference/62809030 47. Owre 1992: PVS: a prototype verification system.11th International Conference on Automated Deduction (CADE), vol. 607, p. 748 47 false true Reference 62809031 /api/reference/62809031 48. Shankar 2000: Symbolic analysis of transition systems?.Abstract State Machines - Theory and Applications, p. 287 48 false true Reference 62809032 /api/reference/62809032 49. Lamport 2002: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 49 false true Reference 62809033 /api/reference/62809033 50. Yu 1999: Model checking TLA+ specifications.Correct Hardware Design and Verification Methods, p. 54 50 false true Reference 62809034 /api/reference/62809034 51. Cousineau 2012: TLA+ proofs.FM 2012: Formal Methods, p. 147 51 false true Reference 62809035 /api/reference/62809035 52. Abrial 1996: The B-book: assigning meanings to programs 52 false true Reference 62809036 /api/reference/62809036 53. Hansen 2016: Translating B to TLA+ for validation with TLC., Sci. Comput. Program., 131, p. 109, DOI: 10.1016/j.scico.2016.04.014 53 10.1016/j.scico.2016.04.014 false true Reference 62809037 /api/reference/62809037 54. Lecomte 2014: Atelier Bp. 35 54 false true Reference 62809038 /api/reference/62809038 55. Leuschel 2008: ProB: an automated analysis toolset for the B method., Int. J. Softw. Tools Technol. Transf., 10, p. 185, DOI: 10.1007/s10009-007-0063-9 55 10.1007/s10009-007-0063-9 false true Reference 62809039 /api/reference/62809039 56. Enoiu 2016: Automated test generation using model checking: an industrial evaluation., Int. J. Softw. Tools Technol. Transf., 18, p. 335, DOI: 10.1007/s10009-014-0355-9 56 10.1007/s10009-014-0355-9 false true Reference 62809040 /api/reference/62809040 57. Mohalik 2014: Automatic test case generation from Simulink/Stateflow models using model checking., Softw. Test. Verif. Reliab., 24, p. 155, DOI: 10.1002/stvr.1489 57 10.1002/stvr.1489 false true Reference 62809041 /api/reference/62809041 58. Hartman 2004: The AGEDIS tools for model based testing., ACM SIGSOFT Softw. Eng. Notes, 29, DOI: 10.1145/1013886.1007529 58 10.1145/1013886.1007529 false true Reference 62809042 /api/reference/62809042 59. Jéron 1999: Test generation derived from model-checking.International Conference on Computer Aided Verification, p. 108 59 false true Reference 62809043 /api/reference/62809043 60. Legeard 2013: Smartesting CertifyIt: model-based testing for enterprise IT.2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, p. 391 60 false true Reference 62809044 /api/reference/62809044 61. Rayadurgam 2001: Coverage based test-case generation using model checkers.Proceedings. Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems-ECBS, p. 83 61 false true Reference 62809045 /api/reference/62809045 62. Varró 2003: Automated formal verification of model transformations 62 false true Reference 62809046 /api/reference/62809046 63. Ulitin 2019: Automated formal verification of model transformations using the invariants mechanism.Perspectives in Business Informatics Research, p. 59 63 false true Reference 62809047 /api/reference/62809047 64. Meghzili 2016: Transformation and validation of BPMN models to Petri nets models using GROOVE.2016 International Conference on Advanced Aspects of Software Engineering (ICAASE), p. 22 64 false true Reference 62809048 /api/reference/62809048 65. Meghzili 2019: Verification of model transformations using Isabelle/HOL and Scala., Inf. Syst. Front., 21, p. 45, DOI: 10.1007/s10796-018-9860-9 65 10.1007/s10796-018-9860-9 false true Reference 62809049 /api/reference/62809049 66. de Putter 2018: A formal verification technique for behavioural model-to-model transformations., Form. Asp. Comput., 30, p. 3, DOI: 10.1007/s00165-017-0437-z 66 10.1007/s00165-017-0437-z false true Reference 62809050 /api/reference/62809050 67. Mazzanti 2022: Formal modeling and initial analysis of the 4SECURail case study., Electron. Proc. Theor. Comput. Sci., 355, p. 118, DOI: 10.4204/EPTCS.355.6 67 10.4204/EPTCS.355.6 false true Reference 62809051 /api/reference/62809051 68. Basile 2023: Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect.Formal Methods for Industrial Critical Systems: 28th International Conference, p. 1 68 false true Reference 62809052 /api/reference/62809052 69. ter Beek 2011: A state/event-based model-checking approach for the analysis of abstract system properties., Sci. Comput. Program., 76, p. 119, DOI: 10.1016/j.scico.2010.07.002 69 10.1016/j.scico.2010.07.002 false true Reference 62809053 /api/reference/62809053 70. Garavel 2013: CADP 2011: a toolbox for the construction and analysis of distributed processes., Int. J. Softw. Tools Technol. Transf., 15, p. 89, DOI: 10.1007/s10009-012-0244-z 70 10.1007/s10009-012-0244-z false true Reference 62809054 /api/reference/62809054 71. Lengyel 2015: Test-driven verification/validation of model transformations., Front. Inf. Technol. Electron. Eng., 16, p. 85, DOI: 10.1631/FITEE.1400111 71 10.1631/FITEE.1400111 false true Reference 62809055 /api/reference/62809055 72. Küster 2007: Validation of model transformations – first experiences using a white box approach.Models in Software Engineering, p. 193 72 false true /api/publication/35730361 Graics Bence et al. Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations. (2025) SCIENCE OF COMPUTER PROGRAMMING 0167-6423 1872-7964 242<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>