https://m2.mtmt.hu/ hun 2026-10-24 09:54 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-10-23T20:14:00.922+0000 2025-06-24T19:09:13.840+0000 2023-09-18T10:06:36.069+0000 true 10068239 Graics Bence /api/author/10068239 Author Graics Bence (informatika) 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 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 14290 76 95 Chapter 5 76, Chapter 5 20 2023 true true 2023 true true true false true false NONE 2026-10-23 false 3 0 3 0 3 3 3 3 3 3 3 0 0 0 3 0 3 0 3 0 0 5 5 Folyóiratcikk Journal Article 24 2 Könyvrészlet Chapter in Book 25 1 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 1 0 1 0 2025 0 1 0 1 0 2026 0 1 0 1 0 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 Angol English true 2 true PersonAuthorship 109932770 /api/authorship/109932770 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.334 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 109932771 /api/authorship/109932771 Molnár, Vince [Molnár, Vince (informatika), szerző] 2 0.33333334 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 109932772 /api/authorship/109932772 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) 3 0.33333334 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 24381925 /api/publicationidentifier/24381925 DOI: 10.1007/978-3-031-43681-9_5 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-43681-9_5 https://doi.org/10.1007/978-3-031-43681-9_5 false true PublicationIdentifier 25839177 /api/publicationidentifier/25839177 WoS: 001158872200005 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 001158872200005 https://www.webofscience.com/wos/woscc/full-record/001158872200005 false true PublicationIdentifier 24570644 /api/publicationidentifier/24570644 Scopus: 85174445650 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 85174445650 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85174445650 false true PublicationIdentifier 24381926 /api/publicationidentifier/24381926 Egyéb URL: https://link.springer.com/10.1007/978-3-031-43681-9_5 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-43681-9_5 https://link.springer.com/10.1007/978-3-031-43681-9_5 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 11366313 /api/sjrrating/11366313 sjr:Q2 (2023) Scopus - Computer Science (miscellaneous) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 98 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 45131849 /api/reference/45131849 1. Adam, S., Larsen, M., Jensen, K., Schultz, U.P.: Rule-based dynamic safety monitoring for mobile robots. J. Softw. Eng. Robot. 7(1), 120–141 (2016) 1 false true Reference 45131850 /api/reference/45131850 2. Amendola, A., et al.: A model-based approach to the design, verification and deployment of railway interlocking system. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 240–254. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-61467-6_16, DOI: 10.1007/978-3-030-61467-6_16 2 10.1007/978-3-030-61467-6_16 false true Reference 45131851 /api/reference/45131851 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 45131852 /api/reference/45131852 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 45131853 /api/reference/45131853 5. Bitsch, F.: Safety Patterns—the key to formal specification of safety requirements. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol. 2187, pp. 176–189. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45416-0_18, DOI: 10.1007/3-540-45416-0_18 5 10.1007/3-540-45416-0_18 false true Reference 45131854 /api/reference/45131854 6. Boulanger, J.L.: CENELEC 50128 and IEC 62279 Standards. Wiley, Hoboken (2015), DOI: 10.1002/9781119005056 6 10.1002/9781119005056 false true Reference 45131855 /api/reference/45131855 7. Bouwman, M., Luttik, B., van der Wal, D.: A formalisation of SysML state machines in mCRL2. In: Peters, K., Willemse, T.A.C. (eds.) FORTE 2021. LNCS, vol. 12719, pp. 42–59. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-78089-0_3, DOI: 10.1007/978-3-030-78089-0_3 7 10.1007/978-3-030-78089-0_3 false true Reference 45131856 /api/reference/45131856 8. Bouwman, M., Luttik, S., Rensink, A., Stoelinga, M., van der Wal, D.: Formal methods in railway signalling infrastructure standardisation processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. Lecture Notes in Computer Science, vol. 13036, pp. 500–501. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-89159-6, DOI: 10.1007/978-3-030-89159-6 8 10.1007/978-3-030-89159-6 false true Reference 45131857 /api/reference/45131857 9. Bozhinoski, D., Di Ruscio, D., Malavolta, I., Pelliccione, P., Tivoli, M.: FLYAQ: enabling non-expert users to specify and generate missions of autonomous multicopters. In: 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 801–806. IEEE (2015), DOI: 10.1109/ASE.2015.104 9 10.1109/ASE.2015.104 false true Reference 45131858 /api/reference/45131858 10. Bunte, O., et al.: The mCRL2 toolset for analysing concurrent systems. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11428, pp. 21–39. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-17465-1_2, DOI: 10.1007/978-3-030-17465-1_2 10 10.1007/978-3-030-17465-1_2 false true Reference 45131859 /api/reference/45131859 11. Castillos, K.C., Dadeau, F., Julliand, J., Kanso, B., Taha, S.: A compositional automata-based semantics for property patterns. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 316–330. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38613-8_22, DOI: 10.1007/978-3-642-38613-8_22 11 10.1007/978-3-642-38613-8_22 false true Reference 45131860 /api/reference/45131860 12. Chechik, M., Păun, D.O.: Events in property patterns. In: Dams, D., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol. 1680, pp. 154–167. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48234-2_13, DOI: 10.1007/3-540-48234-2_13 12 10.1007/3-540-48234-2_13 false true Reference 45131861 /api/reference/45131861 13. Childs, A., Greenwald, J., Jung, G., Hoosier, M., Hatcliff, J.: CALM and Cadena: metamodeling for component-based product-line development. IEEE Comput. 39(2), 42–50 (2006). https://doi.org/10.1109/MC.2006.51, DOI: 10.1109/MC.2006.51 13 10.1109/MC.2006.51 false true Reference 45131862 /api/reference/45131862 14. Ciccozzi, F., Di Ruscio, D., Malavolta, I., Pelliccione, P.: Adopting MDE for specifying and executing civilian missions of mobile multi-robot systems. IEEE Access 4, 6451–6466 (2016), DOI: 10.1109/ACCESS.2016.2613642 14 10.1109/ACCESS.2016.2613642 false true Reference 45131863 /api/reference/45131863 15. da Costa Cavalheiro, S.A., Foss, L., Ribeiro, L.: Specification patterns for properties over reachable states of graph grammars. In: Gheyi, R., Naumann, D. (eds.) SBMF 2012. LNCS, vol. 7498, pp. 83–98. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33296-8_8, DOI: 10.1007/978-3-642-33296-8_8 15 10.1007/978-3-642-33296-8_8 false true Reference 45131864 /api/reference/45131864 16. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, pp. 411–420 (1999), DOI: 10.1145/302405.302672 16 10.1145/302405.302672 false true Reference 45131865 /api/reference/45131865 17. 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 17 10.1145/4904.4999 false true Reference 45131866 /api/reference/45131866 18. 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. Transf. 18(3), 335–353 (2016). https://doi.org/10.1007/s10009-014-0355-9, DOI: 10.1007/s10009-014-0355-9 18 10.1007/s10009-014-0355-9 false true Reference 45131867 /api/reference/45131867 19. 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 19 10.1109/TSE.2021.3124677 false true Reference 45131868 /api/reference/45131868 20. Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verif. Reliab. 19(3), 215–261 (2009). https://doi.org/10.1002/stvr.402, DOI: 10.1002/stvr.402 20 10.1002/stvr.402 false true Reference 45131869 /api/reference/45131869 21. Garcia, L.A.: Automatic generation and verification of complex pattern-based software specifications. The University of Texas at El Paso (2007) 21 false true Reference 45131870 /api/reference/45131870 22. 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) 22 false true Reference 45131871 /api/reference/45131871 23. 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 23 false true Reference 45131872 /api/reference/45131872 24. Graics, B., Majzik, I.: Integration test generation and formal verification for distributed controllers. In: Renczes, B. (ed.) Proceedings of the 30th PhD Minisymposium. Budapest University of Technology and Economics, Department of Measurement and Information Systems (2023). https://doi.org/10.3311/minisy2023-001, DOI: 10.3311/minisy2023-001 24 10.3311/minisy2023-001 false true Reference 45131873 /api/reference/45131873 25. Graics, B., Molnár, V.: Formal compositional semantics for Yakindu statecharts. In: Pataki, B. (ed.) Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25 (2017) 25 false true Reference 45131874 /api/reference/45131874 26. Graics, B., Molnár, V., Majzik, I.: Integration test generation for state-based components in the Gamma framework. Preprint (2022). https://tinyurl.com/4dhubca4 26 false true Reference 45131875 /api/reference/45131875 27. 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 27 10.1007/s10270-020-00806-5 false true Reference 45131876 /api/reference/45131876 28. 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 28 10.1016/0167-6423(87)90035-9 false true Reference 45131877 /api/reference/45131877 29. Hartman, A., Nagin, K.: The AGEDIS tools for model based testing. ACM Sigsoft Softw. Eng. Notes 29, 129–132 (2004). https://doi.org/10.1145/1007512.1007529, DOI: 10.1145/1007512.1007529 29 10.1145/1007512.1007529 false true Reference 45131878 /api/reference/45131878 30. 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 30 10.5555/379381 false true Reference 45131879 /api/reference/45131879 31. Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2011) 31 false true Reference 45131880 /api/reference/45131880 32. 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 32 10.1109/ICITE50838.2020.9231438 false true Reference 45131881 /api/reference/45131881 33. 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 33 10.1007/3-540-48683-6_12 false true Reference 45131882 /api/reference/45131882 34. Kaliappan, P.S., Kaliappan, V.K.: Deriving the behavioral properties from UML designs as LTL for model checking. In: 2015 IEEE International Conference on Signal Processing, Informatics, Communication and Energy Systems (SPICES), pp. 1–5 (2015). https://doi.org/10.1109/SPICES.2015.7091419, DOI: 10.1109/SPICES.2015.7091419 34 10.1109/SPICES.2015.7091419 false true Reference 45131883 /api/reference/45131883 35. 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 35 10.1109/RTCSA.2007.29 false true Reference 45131884 /api/reference/45131884 36. Lee, I., Sokolsky, O.: A graphical property specification language. In: Proceedings 1997 High-Assurance Engineering Workshop, pp. 42–47. IEEE (1997) 36 false true Reference 45131885 /api/reference/45131885 37. 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 37 10.1109/ICST.2013.55 false true Reference 45131886 /api/reference/45131886 38. 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 38 10.1007/978-3-319-71734-0_7 false true Reference 45131887 /api/reference/45131887 39. 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, 217–245 (2022). https://doi.org/10.1007/s40864-022-00177-8, DOI: 10.1007/s40864-022-00177-8 39 10.1007/s40864-022-00177-8 false true Reference 45131888 /api/reference/45131888 40. 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 40 10.2495/TDI-V4-N3-218-229 false true Reference 45131889 /api/reference/45131889 41. Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., Berger, T.: Specification patterns for robotic missions. IEEE Trans. Softw. Eng. 47(10), 2208–2224 (2021). https://doi.org/10.1109/TSE.2019.2945329, DOI: 10.1109/TSE.2019.2945329 41 10.1109/TSE.2019.2945329 false true Reference 45131890 /api/reference/45131890 42. 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 42 10.1002/stvr.1489 false true Reference 45131891 /api/reference/45131891 43. 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), pp. 113–116. ACM, Gothenburg (2018). https://doi.org/10.1145/3183440.3183489, DOI: 10.1145/3183440.3183489 43 10.1145/3183440.3183489 false true Reference 45131892 /api/reference/45131892 44. Mondragon, O.A., Gates, A.Q.: Supporting elicitation and specification of software properties through patterns and composite propositions. Int. J. Softw. Eng. Knowl. Eng. 14(01), 21–41 (2004), DOI: 10.1142/S0218194004001567 44 10.1142/S0218194004001567 false true Reference 45131893 /api/reference/45131893 45. Paun, D.O., Chechik, M.: Events in linear-time properties. In: Proceedings IEEE International Symposium on Requirements Engineering (Cat. No. PR00188), pp. 123–132. IEEE (1999) 45 false true Reference 45131894 /api/reference/45131894 46. 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 46 false true Reference 45131895 /api/reference/45131895 47. Remenska, D., Willemse, T.A.C., Templon, J., Verstoep, K., Bal, H.: Property specification made easy: harnessing the power of model checking in UML designs. In: Ábrahám, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 17–32. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43613-4_2, DOI: 10.1007/978-3-662-43613-4_2 47 10.1007/978-3-662-43613-4_2 false true Reference 45131896 /api/reference/45131896 48. Ruscio, D.D., Malavolta, I., Pelliccione, P., Tivoli, M.: Automatic generation of detailed flight plans from high-level mission descriptions. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 45–55 (2016), DOI: 10.1145/2976767.2976794 48 10.1145/2976767.2976794 false true Reference 45131897 /api/reference/45131897 49. Salamah, S., Gates, A.Q., Kreinovich, V., Roach, S.: Verification of automatically generated pattern-based LTL specifications. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE 2007), pp. 341–348 (2007). https://doi.org/10.1109/HASE.2007.37, DOI: 10.1109/HASE.2007.37 49 10.1109/HASE.2007.37 false true Reference 45131898 /api/reference/45131898 50. Smith, M.H., Holzmann, G.J., Etessami, K.: Events and constraints: a graphical editor for capturing logic requirements of programs. In: Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp. 14–22. IEEE (2001) 50 false true Reference 45131899 /api/reference/45131899 51. Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: an approach supporting property elucidation. In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, pp. 11–21. Association for Computing Machinery, New York (2002). https://doi.org/10.1145/581339.581345, DOI: 10.1145/581339.581345 51 10.1145/581339.581345 false true Reference 45131900 /api/reference/45131900 52. Spanoudakis, G., Kloukinas, C., Androutsopoulos, K.: Towards security monitoring patterns. In: Proceedings of the 2007 ACM Symposium on Applied Computing, pp. 1518–1525 (2007), DOI: 10.1145/1244002.1244327 52 10.1145/1244002.1244327 false true Reference 45131901 /api/reference/45131901 53. Srinivas, S., Kermani, R., Kim, K., Kobayashi, Y., Fainekos, G.: A graphical language for LTL motion and mission planning. In: 2013 IEEE International Conference on Robotics and Biomimetics (ROBIO), pp. 704–709. IEEE (2013), DOI: 10.1109/ROBIO.2013.6739543 53 10.1109/ROBIO.2013.6739543 false true Reference 45131902 /api/reference/45131902 54. Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008) 54 false true Reference 45131903 /api/reference/45131903 55. 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 55 10.1007/978-3-642-54848-2_16 false true Reference 45131904 /api/reference/45131904 56. 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 56 10.23919/FMCAD.2017.8102257 false true Reference 45131905 /api/reference/45131905 57. Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1–38. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78917-8_1, DOI: 10.1007/978-3-540-78917-8_1 57 10.1007/978-3-540-78917-8_1 false true Reference 45131906 /api/reference/45131906 58. Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297–312 (2012). https://doi.org/10.1002/stvr.456, DOI: 10.1002/stvr.456 58 10.1002/stvr.456 false true Reference 45131907 /api/reference/45131907 59. Varró, D., Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3), 609–629 (2016). https://doi.org/10.1007/s10270-016-0530-4, DOI: 10.1007/s10270-016-0530-4 59 10.1007/s10270-016-0530-4 false true /api/publication/34144059 Graics Bence et al. Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. (2023) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 14290 76-95<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: 3</span> | Független: 0 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt:&nbsp;3 | WoS/Scopus jelölt:&nbsp;3 | DOI jelölt:&nbsp;3 </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>