1.
Horváth, Benedek ; Molnár, Vince ; Graics, Bence ; Hajdu, Ákos ; Ráth, István ; Horváth, Ákos ; Karban, Robert ; Trancho, Gelys ; Micskei, Zoltán
Pragmatic verification and validation of industrial executable SysML models
SYSTEMS ENGINEERING 26 : 6 pp. 693-714. , 22 p. (2023)
DOI WoS Scopus Egyéb URL
Közlemény:33809830 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[33809830] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
2.
Horváth, Benedek ; Horváth, Ákos ; Wimmer, Manuel
Towards the next generation of reactive model transformations on low-code platforms
In: Esther, Guerra; Ludovico, Iovino (szerk.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2020) pp. 1-10. , 10 p.
DOI Egyéb URL
Közlemény:31647416 Nyilvános Forrás Idéző Duplumgyanú Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31647416] [Nyilvános]
3.
Kulcsar, Geza ; Koltai, Kadosa ; Tanyi, Szvetlin ; Peceli, Balint ; Horvath, Akos ; Micskei, Zoltan ; Varga, Pal
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain
In: IEEE (szerk.) NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2020) Paper: 9110310 , 6 p.
DOI WoS Scopus Egyéb URL
Közlemény:31347211 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 13 | Független: 7 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 10 | WoS/Scopus jelölt: 11 | DOI jelölt: 9
Konferenciaközlemény (Könyvrészlet) | Tudományos[31347211] [Admin láttamozott]
Nyilvános idéző összesen: 13, Független: 7, Függő: 6, Nem jelölt: 0
4.
Farkas, Rebeka ; Bergmann, Gábor ; Horváth, Ákos
Adaptive Step Size Control for Hybrid CT Simulation without Rollback
In: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019
Linköping, Svédország : Linköping University Electronic Press (2019) pp. 503-512. , 10 p.
DOI Egyéb URL
Közlemény:30603470 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[30603470] [Nyilvános]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
5.
Hegedüs, Ábel ; Ráth, István ; Bergmann, Gábor ; Debreceni, Csaba ; Horváth, Ákos ; Lunk, Péter ; Menyhért, Ákos ; Papp, István ; Varró, Dániel ; Vileiniskis, Tomas
Incquery server for teamwork cloud
In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18
(2018) pp. 27-31. , 5 p.
DOI WoS Egyéb URL
Közlemény:30710636 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 4 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 3 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[30710636] [Nyilvános]
Nyilvános idéző összesen: 5, Független: 4, Függő: 1, Nem jelölt: 0
6.
Vörös, András ✉ ; Búr, Márton ; Ráth, István ; Horváth, Ákos ; Micskei, Zoltán ; Balogh, László ; Hegyi, Bálint ; Horváth, Benedek ; Mázló, Zsolt ; Varró, Dániel
MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems
In: Aaron, Dutle; César, Muñoz; Anthony, Narkawicz (szerk.) NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Cham, Svájc : Springer-Verlag (2018) pp. 460-467. , 7 p.
DOI REAL WoS Scopus
Közlemény:3349043 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos[3349043] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
7.
Dániel, Varró ; Oszkár, Semeráth ✉ ; Gábor, Szárnyas ; Ákos, Horváth
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
In: Reiko, Heckel; Gabriele, Taentzer (szerk.) Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Berlin, Németország, Heidelberg, Németország : Springer-Verlag (2018) pp. 285-312. , 28 p.
DOI REAL Scopus
Közlemény:3327320 Egyeztetett Forrás Idéző Könyvrészlet (Szaktanulmány ) Tudományos
Nyilvános idéző összesen: 24 | Független: 9 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 21 | WoS/Scopus jelölt: 23 | DOI jelölt: 24
Szaktanulmány (Könyvrészlet) | Tudományos[3327320] [Egyeztetett]
Nyilvános idéző összesen: 24, Független: 9, Függő: 15, Nem jelölt: 0
8.
Oszkár, Semeráth ; Ágnes, Barta ; Ákos, Horváth ; Zoltán, Szatmári ; Dániel, Varró
Formal validation of domain-specific languages with derived features and well-formedness constraints
SOFTWARE AND SYSTEMS MODELING 16 : 2 pp. 357-392. , 36 p. (2017)
DOI REAL WoS Scopus
Közlemény:3018014 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 44 | Független: 24 | Függő: 20 | Nem jelölt: 0 | WoS jelölt: 24 | Scopus jelölt: 23 | WoS/Scopus jelölt: 28 | DOI jelölt: 28
Szakcikk (Folyóiratcikk) | Tudományos[3018014] [Egyeztetett]
Nyilvános idéző összesen: 44, Független: 24, Függő: 20, Nem jelölt: 0
9.
Oszkár, Semeráth ; Csaba, Debreceni ; Ákos, Horváth ; Dániel, Varró
Incremental Backward Change Propagation of View Models by Logic Solvers
In: Benoit, Baudry; Benoit, Combemale (szerk.) MODELS '16 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : ACM Press (2016) 414 p. pp. 306-316. , 11 p.
DOI REAL WoS Scopus
Közlemény:3169820 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 16 | Független: 14 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 10 | Scopus jelölt: 9 | WoS/Scopus jelölt: 11 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos[3169820] [Egyeztetett]
Nyilvános idéző összesen: 16, Független: 14, Függő: 2, Nem jelölt: 0
10.
Semeráth, Oszkár ; Debreceni, Csaba ; Horváth, Ákos ; Varró, Dániel
Change Propagation of View Models by Logic Synthesis using SAT solvers.
In: A, Anjorin; J, Gibbons (szerk.) Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016.
Aachen, Németország : CEUR Workshop Proceedings (2016) pp. 40-44. , 5 p.
REAL Scopus Teljes dokumentum Google scholar
Közlemény:3092093 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 3 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[3092093] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 3, Függő: 3, Nem jelölt: 0
2024-04-20 02:46