https://m2.mtmt.hu/ hun 2026-10-24 04:52 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 Graics Bence (informatika) 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 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/3029 REVIEWED LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 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 Folyóiratcikk Journal Article 24 3 Könyvrészlet Chapter in Book 25 3 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 2024 0 3 1 3 1 2025 0 2 1 2 1 2026 0 1 1 1 1 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 Angol English true 2 true PersonAuthorship 113879556 /api/authorship/113879556 Graics, Bence [Graics, Bence (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 1 0.25 true false false 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 113879557 /api/authorship/113879557 Mondok, Milán [Mondok, Milán (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 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 113879558 /api/authorship/113879558 Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 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 113879559 /api/authorship/113879559 Majzik, István [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 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 25293860 /api/publicationidentifier/25293860 DOI: 10.1007/978-3-031-52183-6_2 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI 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 WoS: 001207943300002 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 001207943300002 https://www.webofscience.com/wos/woscc/full-record/001207943300002 false true PublicationIdentifier 25599583 /api/publicationidentifier/25599583 Scopus: 85184128777 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 85184128777 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85184128777 false true PublicationIdentifier 25293861 /api/publicationidentifier/25293861 Egyéb URL: https://link.springer.com/10.1007/978-3-031-52183-6_2 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://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 X. Földtudományok Osztálya:A LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 RatingType 10031 /api/ratingtype/10031 X. Földtudományok Osztálya X. FTO Institute 70 /api/institute/70 X. Földtudományok Osztálya XFO 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 sjr:Q2 (2024) Scopus - Computer Science (miscellaneous) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 174 0.49 book series RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 1701 /api/classificationexternal/1701 Scopus - Computer Science (miscellaneous) true 1701 true Q2 DIRECT true true Reference 48839170 /api/reference/48839170 1. Ambrosi, G., Bartocci, S., Basara, L., et al.: 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, 165639 (2021). https://doi.org/10.1016/j.nima.2021.165639, DOI: 10.1016/j.nima.2021.165639 1 10.1016/j.nima.2021.165639 false true Reference 48839171 /api/reference/48839171 2. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Model Checking, pp. 305–343. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_11, DOI: 10.1007/978-3-319-10575-8_11 2 10.1007/978-3-319-10575-8_11 false true Reference 48839172 /api/reference/48839172 3. Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011). https://doi.org/10.1109/MS.2011.27, DOI: 10.1109/MS.2011.27 3 10.1109/MS.2011.27 false true Reference 48839173 /api/reference/48839173 4. Behrmann, G., et al.: UPPAAL 4.0. In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems, QEST 2006, pp. 125–126. IEEE Computer Society, USA (2006). https://doi.org/10.1109/QEST.2006.59, DOI: 10.1109/QEST.2006.59 4 10.1109/QEST.2006.59 false true Reference 48839174 /api/reference/48839174 5. Boulanger, J.L.: CENELEC 50128 and IEC 62279 Standards. Wiley, Hoboken (2015), DOI: 10.1002/9781119005056 5 10.1002/9781119005056 false true Reference 48839175 /api/reference/48839175 6. DeLine, R., Leino, K.R.M.: BoogiePL: a typed procedural language for checking object-oriented programs. Technical report. MSR-TR-2005-70, Microsoft Research (2005) 6 false true Reference 48839176 /api/reference/48839176 7. Emerson, E.A., Halpern, J.Y.: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. J. ACM 33(1), 151–178 (1986). https://doi.org/10.1145/4904.4999, DOI: 10.1145/4904.4999 7 10.1145/4904.4999 false true Reference 48839177 /api/reference/48839177 8. Enoiu, E.P., Čaušević, A., Ostrand, T.J., Weyuker, E.J., Sundmark, D., Pettersson, P.: Automated test generation using model checking: an industrial evaluation. Int. J. Softw. Tools Technol. Transfer 18(3), 335–353 (2016). https://doi.org/10.1007/s10009-014-0355-9, DOI: 10.1007/s10009-014-0355-9 8 10.1007/s10009-014-0355-9 false true Reference 48839178 /api/reference/48839178 9. Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M.H.: Systematic evaluation and usability analysis of formal methods tools for railway signaling system design. IEEE Trans. Software Eng. 48(11), 4675–4691 (2022). https://doi.org/10.1109/TSE.2021.3124677, DOI: 10.1109/TSE.2021.3124677 9 10.1109/TSE.2021.3124677 false true Reference 48839179 /api/reference/48839179 10. Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verification Reliab. 19(3), 215–261 (2009). https://doi.org/10.1002/stvr.402, DOI: 10.1002/stvr.402 10 10.1002/stvr.402 false true Reference 48839180 /api/reference/48839180 11. Golarits, Z., Sinka, D., Jávor, A.: Proris - a new interlocking system for regional and moderate-traffic lines. Signal+DRAHT-Signal. Datacommun. (114), 28–36 (2022) 11 false true Reference 48839181 /api/reference/48839181 12. Graics, B.: Documentation of the Gamma Statechart Composition Framework v0.9. Technical report, Budapest University of Technology and Economics, Department of Measurement and Information Systems (2016). https://tinyurl.com/yeywrkd6 12 false true Reference 48839182 /api/reference/48839182 13. Graics, B.: Mixed-semantic composition and verification of reactive components. Technical report, Budapest University of Technology and Economics, Department of Measurement and Information Systems (2023). https://tinyurl.com/2p9dae58 13 false true Reference 48839183 /api/reference/48839183 14. Graics, B., Majzik, I.: Integration test generation and formal verification for distributed controllers. In: Renczes, B. (ed.) Proceedings of the 30th Ph.D. Minisymposium. Budapest Univesity of Technology and Economics, Department of Measurement and Information Systems (2023). https://doi.org/10.3311/minisy2023-001, DOI: 10.3311/minisy2023-001 14 10.3311/minisy2023-001 false true Reference 48839184 /api/reference/48839184 15. Graics, B., Molnár, V.: Formal compositional semantics for Yakindu statecharts. In: Pataki, B. (ed.) Proceedings of the 24th PhD Mini-Symposium, pp. 22–25. Budapest University of Technology and Economics, Department of Measurement and Information Systems, Budapest, Hungary (2017) 15 false true Reference 48839185 /api/reference/48839185 16. Graics, B., Molnár, V., Majzik, I.: Integration test generation for state-based components in the Gamma framework. Preprint (2022). https://tinyurl.com/4dhubca4 16 false true Reference 48839186 /api/reference/48839186 17. Graics, B., Molnár, V., Vörös, A., Majzik, I., Varró, D.: Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19(6), 1483–1517 (2020). https://doi.org/10.1007/s10270-020-00806-5, DOI: 10.1007/s10270-020-00806-5 17 10.1007/s10270-020-00806-5 false true Reference 48839187 /api/reference/48839187 18. Hajdu, Á., Tóth, T., Vörös, A., Majzik, I.: A configurable CEGAR framework with interpolation-based refinements. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 158–174. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39570-8_11, DOI: 10.1007/978-3-319-39570-8_11 18 10.1007/978-3-319-39570-8_11 false true Reference 48839188 /api/reference/48839188 19. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987). https://doi.org/10.1016/0167-6423(87)90035-9, DOI: 10.1016/0167-6423(87)90035-9 19 10.1016/0167-6423(87)90035-9 false true Reference 48839189 /api/reference/48839189 20. Hartman, A., Nagin, K.: The AGEDIS tools for model based testing. ACM Sigsoft Softw. Eng. Notes 29 (2004). https://doi.org/10.1145/1007512.1007529, DOI: 10.1145/1007512.1007529 20 10.1145/1007512.1007529 false true Reference 48839190 /api/reference/48839190 21. Heineman, G.T., Councill, W.T.: Component-based software engineering. Putting the Pieces Together. Addison Wesley (2001). https://doi.org/10.5555/379381, DOI: 10.5555/379381 21 10.5555/379381 false true Reference 48839191 /api/reference/48839191 22. Henzinger, T.A., Majumdar, R.: A classification of symbolic transition systems. In: Reichel, H., Tison, S. (eds.) STACS 2000. LNCS, vol. 1770, pp. 13–34. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-46541-3_2, DOI: 10.1007/3-540-46541-3_2 22 10.1007/3-540-46541-3_2 false true Reference 48839192 /api/reference/48839192 23. Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual, 1st edn. Addison-Wesley Professional, Harlow (2011) 23 false true Reference 48839193 /api/reference/48839193 24. Holzmann, G.: The model checker SPIN. IEEE Trans. Software Eng. 23(5), 279–295 (1997). https://doi.org/10.1109/32.588521, DOI: 10.1109/32.588521 24 10.1109/32.588521 false true Reference 48839194 /api/reference/48839194 25. Huang, L.: The past, present and future of railway interlocking system. In: 2020 IEEE 5th International Conference on Intelligent Transportation Engineering (ICITE), pp. 170–174 (2020). https://doi.org/10.1109/ICITE50838.2020.9231438, DOI: 10.1109/ICITE50838.2020.9231438 25 10.1109/ICITE50838.2020.9231438 false true Reference 48839195 /api/reference/48839195 26. Jéron, T., Morel, P.: Test generation derived from model-checking. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 108–122. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48683-6_12, DOI: 10.1007/3-540-48683-6_12 26 10.1007/3-540-48683-6_12 false true Reference 48839196 /api/reference/48839196 27. Ke, X., Sierszecki, K., Angelov, C.: COMDES-II: a component-based framework for generative development of distributed real-time control systems. In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 199–208 (2007). https://doi.org/10.1109/RTCSA.2007.29, DOI: 10.1109/RTCSA.2007.29 27 10.1109/RTCSA.2007.29 false true Reference 48839197 /api/reference/48839197 28. Legeard, B., Bouzy, A.: Smartesting CertifyIt: model-based testing for enterprise IT. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp. 391–397 (2013). https://doi.org/10.1109/ICST.2013.55, DOI: 10.1109/ICST.2013.55 28 10.1109/ICST.2013.55 false true Reference 48839198 /api/reference/48839198 29. Li, J., Post, M., Wright, T., Lee, R.: Design of attitude control systems for CubeSat-class nanosatellite. J. Control Sci. Eng. 2013 (2013). https://doi.org/10.1155/2013/657182, DOI: 10.1155/2013/657182 29 10.1155/2013/657182 false true Reference 48839199 /api/reference/48839199 30. Li, W., Le Gall, F., Spaseski, N.: A survey on model-based testing tools for test case generation. In: Itsykson, V., Scedrov, A., Zakharov, V. (eds.) TMPA 2017. CCIS, vol. 779, pp. 77–89. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-71734-0_7, DOI: 10.1007/978-3-319-71734-0_7 30 10.1007/978-3-319-71734-0_7 false true Reference 48839200 /api/reference/48839200 31. Lukács, G., Bartha, T.: Formal modeling and verification of the functionality of electronic urban railway control systems through a case study. Urban Rail Transit. 8 (2022). https://doi.org/10.1007/s40864-022-00177-8, DOI: 10.1007/s40864-022-00177-8 31 10.1007/s40864-022-00177-8 false true Reference 48839201 /api/reference/48839201 32. Martinez, S., Pereira, D.I.D.A., Bon, P., Collart-Dutilleul, S., Perin, M.: Towards safe and secure computer based railway interlocking systems. Int. J. Transp. Dev. Integr. 4(3), 218–229 (2020), DOI: 10.2495/TDI-V4-N3-218-229 32 10.2495/TDI-V4-N3-218-229 false true Reference 48839202 /api/reference/48839202 33. Mohalik, S., Gadkari, A.A., Yeolekar, A., Shashidhar, K., Ramesh, S.: Automatic test case generation from Simulink/Stateflow models using model checking. Softw. Test. Verif. Reliab. 24, 155–180 (2014). https://doi.org/10.1002/stvr.1489, DOI: 10.1002/stvr.1489 33 10.1002/stvr.1489 false true Reference 48839203 /api/reference/48839203 34. Molnár, V., Graics, B., Vörös, A., Majzik, I., Varró, D.: The Gamma Statechart Composition Framework. In: 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden, pp. 113–116. ACM (2018). https://doi.org/10.1145/3183440.3183489, DOI: 10.1145/3183440.3183489 34 10.1145/3183440.3183489 false true Reference 48839204 /api/reference/48839204 35. Mondok, M.: Efficient abstraction-based model checking using domain-specific information. Technical report, Budapest University of Technology and Economics, Department of Measurement and Information Systems (2021). https://tinyurl.com/yh4b8w98 35 false true Reference 48839205 /api/reference/48839205 36. Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748–752. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55602-8_217, DOI: 10.1007/3-540-55602-8_217 36 10.1007/3-540-55602-8_217 false true Reference 48839206 /api/reference/48839206 37. Radnai, B.: Integration of SCXML state machines to the Gamma framework. Technical report, Budapest University of Technology and Economics, Department of Measurement and Information Systems (2022). https://tinyurl.com/4mmtsw7v 37 false true Reference 48839207 /api/reference/48839207 38. Jéron, T., Morel, P.: Test generation derived from model-checking. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 108–122. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48683-6_12, DOI: 10.1007/3-540-48683-6_12 38 10.1007/3-540-48683-6_12 false true Reference 48839208 /api/reference/48839208 39. Sztipanovits, J., Bapty, T., Neema, S., Howard, L., Jackson, E.: OpenMETA: a model- and component-based design tool chain for cyber-physical systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 235–248. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54848-2_16, DOI: 10.1007/978-3-642-54848-2_16 39 10.1007/978-3-642-54848-2_16 false true Reference 48839209 /api/reference/48839209 40. Tóth, T., Hajdu, A., Vörös, A., Micskei, Z., Majzik, I.: Theta: a framework for abstraction refinement-based model checking. In: Stewart, D., Weissenbacher, G. (eds.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, pp. 176–179 (2017). https://doi.org/10.23919/FMCAD.2017.8102257, DOI: 10.23919/FMCAD.2017.8102257 40 10.23919/FMCAD.2017.8102257 false true Reference 48839210 /api/reference/48839210 41. Zhou, J., Hu, Q., Friswell, M.I.: Decentralized finite time attitude synchronization control of satellite formation flying. J. Guid. Control. Dyn. 36(1), 185–195 (2013). https://doi.org/10.2514/1.56740, DOI: 10.2514/1.56740 41 10.2514/1.56740 false true /api/publication/34504488 Graics Bence et al. Model-Based Testing of Asynchronously Communicating Distributed Controllers. (2024) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 14485 23-44<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>