https://m2.mtmt.hu/ hun 2026-09-20 19:25 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 Molnár Vince (informatika) true 10049620 2024-10-24T18:04:14.605+0000 2023-11-11T08:33:20.077+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 Horváth, Benedek true true /api/journal/10011897 REVIEWED SYSTEMS ENGINEERING 1098-1241 1520-6858 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 Folyóiratcikk Journal Article 24 12 Könyvrészlet Chapter in Book 25 10 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 2023 0 3 3 3 3 2024 0 6 4 6 4 2025 0 8 6 8 6 2026 0 5 5 5 5 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 Angol English true 2 true PersonAuthorship 107664584 /api/authorship/107664584 Horváth, Benedek 1 0.11111111 true false false Horváth Benedek true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107664585 /api/authorship/107664585 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) 2 0.111 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 107664586 /api/authorship/107664586 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) 3 0.111 false 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 107664587 /api/authorship/107664587 Hajdu, Ákos [Hajdu, Ákos (formális módszerek), szerző] 4 0.111 false false false Author 10053159 /api/author/10053159 Hajdu Ákos (formális módszerek) Hajdu Ákos true 10053159 true Hajdu Ákos true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107664588 /api/authorship/107664588 Ráth, István [Ráth, István Zoltán (informatika), szerző] 5 0.111 false false false Author 10030433 /api/author/10030433 Ráth István Zoltán (informatika) Ráth István Zoltán true 10030433 true Ráth István true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107664589 /api/authorship/107664589 Horváth, Ákos [Horváth, Ákos (informatika), szerző] 6 0.111 false false false Author 10030432 /api/author/10030432 Horváth Ákos (informatika) Horváth Ákos true 10030432 true Horváth Ákos true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107664590 /api/authorship/107664590 Karban, Robert 7 0.11111111 false false false Karban Robert true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107664591 /api/authorship/107664591 Trancho, Gelys 8 0.11111111 false false false Trancho Gelys true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107664592 /api/authorship/107664592 Micskei, Zoltán [Micskei, Zoltán Imre (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 9 0.111 false true false Author 10041151 /api/author/10041151 Micskei Zoltán Imre (informatika) Micskei Zoltán Imre true 10041151 true Micskei Zoltán true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 23532801 /api/publicationidentifier/23532801 DOI: 10.1002/sys.21679 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.1002/sys.21679 https://doi.org/10.1002/sys.21679 false true PublicationIdentifier 23855143 /api/publicationidentifier/23855143 WoS: 000985028200001 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 000985028200001 https://www.webofscience.com/wos/woscc/full-record/000985028200001 false true PublicationIdentifier 23701721 /api/publicationidentifier/23701721 Scopus: 85158848029 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 85158848029 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85158848029 false true PublicationIdentifier 23532802 /api/publicationidentifier/23532802 Egyéb URL: https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679 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://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 sjr:Q2 (2023) Scopus - Computer Networks and Communications SYSTEMS ENGINEERING 1098-1241 1520-6858 176 0.49 journal RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 1705 /api/classificationexternal/1705 Scopus - Computer Networks and Communications true 1705 true Q2 DIRECT true true Reference 41238636 /api/reference/41238636 1. DOI: 10.1002/sys.21438 1 10.1002/sys.21438 false true Reference 41238637 /api/reference/41238637 2. DOI: 10.1002/sys.21619 2 10.1002/sys.21619 false true Reference 41238638 /api/reference/41238638 3. DOI: 10.1007/s10270-019-00735-y 3 10.1007/s10270-019-00735-y false true Reference 41238639 /api/reference/41238639 4. KarbanR RobertsonR QamarA LeeE.Preface to the OpenMBEE International Workshop. In:Companion Proceedings of the 23rd International Conference on Model Driven Engineering Languages and Systems.IEEE;2021:464‐464., DOI: 10.1109/MODELS-C53483.2021.00071 4 10.1109/MODELS-C53483.2021.00071 false true Reference 41238640 /api/reference/41238640 5. OMG.System Modeling Language (SysML).2022. ptc/2022‐08‐02.https://www.omg.org/spec/SysML/1.7/Beta1/PDF 5 false true Reference 41238641 /api/reference/41238641 6. DOI: 10.1002/sys.21634 6 10.1002/sys.21634 false true Reference 41238642 /api/reference/41238642 7. Karban R 2016: Modeling, Systems Engineering, and Project Management for Astronomy VII, p. 96 7 false true Reference 41238643 /api/reference/41238643 8. Karban R 2016: INCOSE International Symposium, p. 1 8 false true Reference 41238644 /api/reference/41238644 9. DOI: 10.1007/978-3-319-10575-8_1 9 10.1007/978-3-319-10575-8_1 false true Reference 41238645 /api/reference/41238645 10. Gibson C 2014: Formal Validation of Fault Management Design Solutions., ACM SIGSOFT Software Engineering Notes, 39, p. 1, DOI: 10.1145/2557833.2560583 10 10.1145/2557833.2560583 false true Reference 41238646 /api/reference/41238646 11. GibsonC BonniciM CastetJF.Model‐based Spacecraft Fault Management Design & Formal Validation.2015 IEEE Aerospace Conference.IEEE;2015:1‐12., DOI: 10.1109/AERO.2015.7119110 11 10.1109/AERO.2015.7119110 false true Reference 41238647 /api/reference/41238647 12. OMG.Semantics of a Foundational Subset for Executable UML Models (fUML).2021. formal/21‐03‐01. 12 false true Reference 41238648 /api/reference/41238648 13. OMG.Precise Semantics of UML State Machines (PSSM)2019. formal/19‐05‐01. 13 false true Reference 41238649 /api/reference/41238649 14. CorporationTO.Thirty Meter Telescope SysML model.2022. Last accessed on: 2023‐03‐15https://github.com/Open‐MBEE/TMT‐SysML‐Model 14 false true Reference 41238650 /api/reference/41238650 15. Jankevicius N 2016: Executable Modeling, p. 2 15 false true Reference 41238651 /api/reference/41238651 16. Karban R 2018: Modeling, Systems Engineering, and Project Management for Astronomy VIII, p. 10705 16 false true Reference 41238652 /api/reference/41238652 17. HegedüsA BergmannG DebreceniC et al.IncQuery Server for Teamwork Cloud: Scalable Query Evaluation over Collaborative Model Repositories. In:Proceeding of the 21st International Conference on Model Driven Engineering Languages and Systems.ACM;2018:27‐31., DOI: 10.1145/3270112.3270125 17 10.1145/3270112.3270125 false true Reference 41238653 /api/reference/41238653 18. MolnárV GraicsB VörösA MajzikI VarróD.The gamma statechart composition framework: Design verification and code generation for component‐based reactive systems. In:Proceeding of the 40th International Conference on Software Engineering.ACM;2018:113‐116., DOI: 10.1145/3183440.3183489 18 10.1145/3183440.3183489 false true Reference 41238654 /api/reference/41238654 19. Tóth T 2017: Formal Methods in Computer‐Aided Design, p. 176 19 false true Reference 41238655 /api/reference/41238655 20. BehrmannG DavidA LarsenKG et al.UPPAAL 4.0. In:Proceeding of the 3rd International Conference on the Quantitative Evaluation of Systems.IEEE;2006:125‐126. 20 false true Reference 41238656 /api/reference/41238656 21. HorváthB GraicsB HajduÁ et al. Model Checking as a Service: Towards Pragmatic Hidden Formal Methods. In:Companion Proceeding of the 23rd International Conference on Model Driven Engineering Languages and Systems.ACM;2020., DOI: 10.1145/3417990.3421407 21 10.1145/3417990.3421407 false true Reference 41238657 /api/reference/41238657 22. Gleirscher M 2020: Formal methods in dependable systems engineering: a survey of professionals from Europe and North America., Empir Softw Eng, 25, p. 447, DOI: 10.1007/s10664-020-09836-5 22 10.1007/s10664-020-09836-5 false true Reference 41238658 /api/reference/41238658 23. DOI: 10.1007/978-3-030-58298-2_1 23 10.1007/978-3-030-58298-2_1 false true Reference 41238659 /api/reference/41238659 24. JansmaPA JonesRM.Advancing the practice of systems engineering at JPL. In:IEEE Aerospace Conference.2006:19. 24 false true Reference 41238660 /api/reference/41238660 25. KarbanR PietteM BrowerE et al.2020. Last accessed on 2023‐03‐15.https://github.com/Open‐MBEE/_OpenMBEE‐Documentation/blob/master/The_JPL_Systems%20Environment_Aug‐2020.pdf 25 false true Reference 41238661 /api/reference/41238661 26. AndolfatoL ChiozziG MiglioriniN MoralesC.A platform independent framework for statecharts code generation. In:Proceeding of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems.2011. 26 false true Reference 41238662 /api/reference/41238662 27. DOI: 10.1007/s100090050043 27 10.1007/s100090050043 false true Reference 41238663 /api/reference/41238663 28. DOI: 10.1145/2560217.2560218 28 10.1145/2560217.2560218 false true Reference 41238664 /api/reference/41238664 29. FritzschJ SchmidT WagnerS.Experiences from Large‐Scale Model Checking: Verification of a vehicle control system with NuSMV. In:14th IEEE Conference on Software Testing Verification and Validation (ICST).2021;372‐382., DOI: 10.1109/ICST49551.2021.00049 29 10.1109/ICST49551.2021.00049 false true Reference 41238665 /api/reference/41238665 30. Kölbl M 2018: Lecture Notes in Computer ScienceProceeding of the 25th International Symposium on Model Checking Software, p. 255, DOI: 10.1007/978-3-319-94111-0_15 30 10.1007/978-3-319-94111-0_15 false true Reference 41238666 /api/reference/41238666 31. HegedüsÁ BergmannG RáthI VarróD.Back‐annotation of Simulation Traces with Change‐Driven Model Transformations. In:Proceeding of the 8th International Conference on Software Engineering and Formal MethodsIEEE Computer Society.2010:145‐155., DOI: 10.1109/SEFM.2010.28 31 10.1109/SEFM.2010.28 false true Reference 41238667 /api/reference/41238667 32. OMG.Unified Modeling Language (UML)2017. formal/17‐12‐05.https://www.omg.org/spec/UML/2.5.1/PDF 32 false true Reference 41238668 /api/reference/41238668 33. OMG.Precise Semantics of UML Composite Structures (PSCS)2019. formal/19‐02‐01.https://www.omg.org/spec/PSCS/1.2/PDF 33 false true Reference 41238669 /api/reference/41238669 34. André E 2023: Formalizing UML State Machines for Automated Verification—a Survey., ACM Computing Surveys, DOI: 10.1145/3579821 34 10.1145/3579821 false true Reference 41238670 /api/reference/41238670 35. Lima L 2013: Lecture Notes in Computer ScienceFormal Methods: Foundations and Applications, p. 179, DOI: 10.1007/978-3-642-41071-0_13 35 10.1007/978-3-642-41071-0_13 false true Reference 41238671 /api/reference/41238671 36. CraneML DingelJ.On the semantics of UML state machines: categorization and comparision. In:Technical Report 2005‐501 School of Computing Queen's.2005. 36 false true Reference 41238672 /api/reference/41238672 37. Liu S 2013: Lecture Notes in Computer ScienceProceeding of the 10th International Conference on Integrated Formal Methods, p. 331, DOI: 10.1007/978-3-642-38613-8_23 37 10.1007/978-3-642-38613-8_23 false true Reference 41238673 /api/reference/41238673 38. Hu Z 2006: Explicit modeling of semantics associated with composite states in UML statecharts., Autom Softw Eng, 13, p. 423, DOI: 10.1007/s10515-006-0272-6 38 10.1007/s10515-006-0272-6 false true Reference 41238674 /api/reference/41238674 39. DOI: 10.1007/s001659970003 39 10.1007/s001659970003 false true Reference 41238675 /api/reference/41238675 40. Latella D 1999: Formal Methods for Open Object‐Based Distributed Systems, p. 331, DOI: 10.1007/978-0-387-35562-7_25 40 10.1007/978-0-387-35562-7_25 false true Reference 41238676 /api/reference/41238676 41. BaduelR ChamiM BruelJM OberI.SysML models verification and validation in an industrial context: challenges and experimentation. In:Modelling Foundations and Applications.Springer International Publishing;2018:132‐146., DOI: 10.1007/978-3-319-92997-2_9 41 10.1007/978-3-319-92997-2_9 false true Reference 41238677 /api/reference/41238677 42. Grumbach JL 2022: Systems integration implications of component reuse., Syst Eng, DOI: 10.1002/sys.21636 42 10.1002/sys.21636 false true Reference 41238678 /api/reference/41238678 43. Eshuis R. 2009: Reconciling statechart semantics., Sci Comput Program, 74, p. 65, DOI: 10.1016/j.scico.2008.09.001 43 10.1016/j.scico.2008.09.001 false true Reference 41238679 /api/reference/41238679 44. Crane ML 2007: UML vs. classical vs. Rhapsody statecharts: not all models are created equal., Softw Syst Model, 6, p. 415, DOI: 10.1007/s10270-006-0042-8 44 10.1007/s10270-006-0042-8 false true Reference 41238680 /api/reference/41238680 45. Elekes M 2023: Assessing the specification of modelling language semantics: a study on UML PSSM., Softw Qual J, p. 1 45 false true Reference 41238681 /api/reference/41238681 46. Varró D 2016: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework., Softw Syst Model, 15, p. 609, DOI: 10.1007/s10270-016-0530-4 46 10.1007/s10270-016-0530-4 false true Reference 41238682 /api/reference/41238682 47. HorváthB MolnárV GraicsB et al.Supplementary material to the pragmatic verification and validation of industrial executable sysML models: description of the model transformation workflows tech. rep.Budapest University of Technology and Economics Department of Measurement and Information Systems2023. Last accessed on 2023‐03‐15.https://doi.org/10.5281/zenodo.7564295 47 false true Reference 41238683 /api/reference/41238683 48. GraicsB MolnárV MajzikI.tech. rep.Budapest University of Technology and Economics Department of Measurement and Information Systems2022. Last accessed on 2023‐03‐15.https://inf.mit.bme.hu/sites/default/files/publications/graicsb/graics_integration_test_generation_gamma.pdf 48 false true Reference 41238684 /api/reference/41238684 49. Sharifloo AM 2013: Software Engineering for Self‐Adaptive Systems III, p. 137 49 false true Reference 41238685 /api/reference/41238685 50. Brewer MB 2014: Handbook of Research Methods in Social and Personality Psychology, p. 11, DOI: 10.1017/CBO9780511996481.005 50 10.1017/CBO9780511996481.005 false true Reference 41238686 /api/reference/41238686 51. Micskei Z 2014: 1st Workshop on Open Source Software for Model Driven Engineering, p. 31 51 false true Reference 41238687 /api/reference/41238687 52. Ádám Zs 2022: Lecture Notes in Computer ScienceProceeding of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 52 false true Reference 41238688 /api/reference/41238688 53. TóthT.Abstraction refinement‐based verification of timed automata. PhD thesis.Budapest University of Technology and Economics;2021. 53 false true Reference 41238689 /api/reference/41238689 54. Bucchiarone A 2020: Grand challenges in model‐driven engineering: an analysis of the state of the research., Softw Syst Model, 19, p. 5, DOI: 10.1007/s10270-019-00773-6 54 10.1007/s10270-019-00773-6 false true Reference 41238690 /api/reference/41238690 55. DOI: 10.1016/j.sysarc.2018.09.007 55 10.1016/j.sysarc.2018.09.007 false true Reference 41238691 /api/reference/41238691 56. DOI: 10.1007/s10270-022-01020-1 56 10.1007/s10270-022-01020-1 false true Reference 41238692 /api/reference/41238692 57. DOI: 10.1016/j.scico.2013.03.017 57 10.1016/j.scico.2013.03.017 false true Reference 41238693 /api/reference/41238693 58. DOI: 10.1002/sys.21466 58 10.1002/sys.21466 false true Reference 41238694 /api/reference/41238694 59. GibsonC KarbanR AndolfatoL DayJC.Abstractions for executable and checkable fault management models in systems engineering research.Procedia Computer Science.28;2014:146‐154., DOI: 10.1016/j.procs.2014.03.019 59 10.1016/j.procs.2014.03.019 false true Reference 41238695 /api/reference/41238695 60. DOI: 10.1145/1592434.1592436 60 10.1145/1592434.1592436 false true Reference 41238696 /api/reference/41238696 61. VinarcikMJ.Treadstone: A process for improving modeling prowess using validation rules. In:2020 ASEE Virtual Annual Conference Content Access.2020. 61 false true Reference 41238697 /api/reference/41238697 62. Visser W 2012: The hidden models of model checking., Softw Syst Model, 11, p. 541 62 false true Reference 41238698 /api/reference/41238698 63. Ciccozzi F 2018: Execution of UML models: a systematic review of research and practice., Softw Syst Model, 18, p. 2313, DOI: 10.1007/s10270-018-0675-4 63 10.1007/s10270-018-0675-4 false true Reference 41238699 /api/reference/41238699 64. CalvinoAT ApvrilleL.Direct Model‐checking of SysML Models. In:Proceeding of the 9th International Conference on Model‐Driven Engineering and Software Development.SCITEPRESS;2021:216‐223. 64 false true Reference 41238700 /api/reference/41238700 65. de laCroixJP LimG Vander HookJ et al.Mission modeling planning and execution module for teams of unmanned vehicles. In:Unmanned Systems Technology XIX;10195:101950JInternational Society for Optics and Photonics.2017., DOI: 10.1117/12.2266881 65 10.1117/12.2266881 false true Reference 41238701 /api/reference/41238701 66. Holzmann G 2011: The SPIN Model Checker: Primer and Reference Manual 66 false true Reference 41238702 /api/reference/41238702 67. DOI: 10.1145/1646353.1646372 67 10.1145/1646353.1646372 false true Reference 41238703 /api/reference/41238703 68. Cicchetti A 2012: Automated Software Engineering, p. 362 68 false true Reference 41238704 /api/reference/41238704 69. DebiasiA IhirweF PieriniP MazziniS TonettaS.Model‐based analysis support for dependable complex systems in CHESS. In:Proceedings of the 9th International Conference on Model‐Driven Engineering and Software Development.SCITEPRESS;2021:262‐269., DOI: 10.5220/0010269702620269 69 10.5220/0010269702620269 false true Reference 41238705 /api/reference/41238705 70. DOI: 10.1002/inst.12186 70 10.1002/inst.12186 false true Reference 41238706 /api/reference/41238706 71. OMG.Systems modeling language (SysML) v2 RFP2017. ad/17‐12‐02.https://www.omg.org/cgi‐bin/doc?ad/17‐12‐02.pdf 71 false true /api/publication/33809830 Horváth Benedek et al. Pragmatic verification and validation of industrial executable SysML models. (2023) SYSTEMS ENGINEERING 1098-1241 1520-6858 26 6 693-714<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>