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: 15 | Független: 12 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 10 | Scopus jelölt: 11 | WoS/Scopus jelölt: 12 | DOI jelölt: 15
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: 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

[33809830] [Egyeztetett]
Nyilvános idéző összesen: 15, Független: 12, Függő: 3, 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: three research lines
In: Esther, Guerra (szerk.) MODELS '20: 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) 713 p. pp. 1-10. Paper: 65 , 10 p.
DOI Scopus Egyéb URL
Közlemény:31647416 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: cited By 1; Conference of 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 ; Conference Date: 16 October 2020 Through 23 October 2020;  Conference Code:164397
IncQuery Labs Ltd., Budapest, Hungary            
            Johannes Kepler University Linz, Linz, Austria            
            Cited By :7            
            Export Date: 18 October 2024

[31647416] [Egyeztetett]
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 : Institute of Electrical and Electronics Engineers (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: 17 | Független: 10 | Függő: 7 | Nem jelölt: 0 | WoS jelölt: 10 | Scopus jelölt: 11 | WoS/Scopus jelölt: 13 | DOI jelölt: 11
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: IncQuery Labs Ltd., Budapest, Hungary            
            AITIA Inc., Budapest, Hungary            
            Evopro Innovation Kft., Budapest, Hungary            
            Budapest University of Technology and Economics, Hungary            
            Conference code: 160952            
            Cited By :1            
            Export Date: 7 December 2020            
            Funding text 1: ACKNOWLEDGMENT The research has received funding from the EU ECSEL JU under the H2020 Framework Programme, JU grant nr. 826452 (Arrowhead Tools project, https://www.arrowhead.eu) and from the partners’ national funding authorities.            
            Funding text 2: Project no. 2019-2.1.3-NEMZ ECSEL-2019-00003 has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-2.1.3-NEMZ ECSEL funding scheme.

[31347211] [Admin láttamozott]
Nyilvános idéző összesen: 17, Független: 10, Függő: 7, 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
Nyelv: Angol
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.
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
LECTURE NOTES IN COMPUTER SCIENCE 10800 pp. 285-312. , 28 p. (2018)
DOI REAL Scopus
Zárolt Közlemény:3327320 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 31 | Független: 14 | Függő: 17 | Nem jelölt: 0 | WoS jelölt: 30 | Scopus jelölt: 30 | WoS/Scopus jelölt: 31 | DOI jelölt: 31
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Correspondence Address: Semeráth, O.; Budapest University of Technology and EconomicsHungary; email: semerath@mit.bme.hu

[3327320] [Egyeztetett]
Nyilvános idéző összesen: 31, Független: 14, Függő: 17, Nem jelölt: 0
6.
Hegedüs, Ábel ; Bergmann, Gábor ; Debreceni, Csaba ; Horváth, Ákos ; Lunk, Péter ; Menyhért, Ákos ; Papp, István ; Varró, Dániel ; Vileiniskis, Tomas ; Ráth, István
Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories
In: Önder, Babur; Daniel, Strüber; Silvia, Abrahão; Loli, Burgueño; Martin, Gogolla; Joel, Greenyer; Sahar, Kokaly; Dimitris, Kolovos; Tanja, Mayerhofer; Mansooreh, Zahedi (szerk.) MODELS '18: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2018) pp. 27-31. , 5 p.
DOI WoS Scopus Egyéb URL
Zárolt Közlemény:30710636 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 7 | Független: 4 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 7 | WoS/Scopus jelölt: 7 | DOI jelölt: 7
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[30710636] [Egyeztetett]
Nyilvános idéző összesen: 7, Független: 4, Függő: 3, Nem jelölt: 0
7.
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
LECTURE NOTES IN COMPUTER SCIENCE 10811 pp. 460-467. , 7 p. (2018)
DOI REAL WoS Scopus
Zárolt Közlemény:3349043 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 9 | Független: 5 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 7 | WoS/Scopus jelölt: 7 | DOI jelölt: 9
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[3349043] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 5, Függő: 4, 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
Zárolt Közlemény:3018014 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 47 | Független: 25 | Függő: 22 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 33 | WoS/Scopus jelölt: 35 | DOI jelölt: 34
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[3018014] [Egyeztetett]
Nyilvános idéző összesen: 47, Független: 25, Függő: 22, Nem jelölt: 0
9.
Ábel, Hegedüs ✉ ; Ákos, Horváth ; István, Ráth ; Rodrigo, Rizzi Starr ; Dániel, Varró
Query-driven soft traceability links for models
SOFTWARE AND SYSTEMS MODELING 15 : 3 pp. 733-756. , 24 p. (2016)
DOI WoS Scopus Teljes dokumentum
Központi kezelésű Közlemény:2693671 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 14 | Független: 6 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 13 | Scopus jelölt: 13 | WoS/Scopus jelölt: 14 | DOI jelölt: 14
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Correspondence Address: Hegedüs, Á.; Department of Measurement and Information Systems, Magyar tudósok krt. 2., Hungary; email: hegedusa@mit.bme.hu

[2693671] [Egyeztetett]
Nyilvános idéző összesen: 14, Független: 6, Függő: 8, Nem jelölt: 0
10.
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
Zárolt Közlemény:3169820 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 17 | Független: 15 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 15 | WoS/Scopus jelölt: 15 | DOI jelölt: 12
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[3169820] [Egyeztetett]
Nyilvános idéző összesen: 17, Független: 15, Függő: 2, Nem jelölt: 0
2025-11-10 20:10