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 Other URL
Publication:33809830 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[33809830] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 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 (eds.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York City, United States of America : ACM (2020) pp. 1-10. , 10 p.
DOI Egyéb URL
Publication:31647416 Published Core Citing Suspect Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[31647416] [Approved]
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 (eds.) NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence
Piscataway (NJ), United States of America : Institute of Electrical and Electronics Engineers (2020) Paper: 9110310 , 6 p.
DOI WoS Scopus Other URL
Publication:31347211 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 13 | Independent citation: 7 | Self citation: 6 | Unknown citation: 0 | Number of citations in WoS: 7 | Number of citations in Scopus: 10 | WoS/Scopus assigned: 11 | Number of citations with DOI: 9
Conference paper (Chapter in Book) | Scientific[31347211] [Admin approved]
All citations+mentions: 13, External citations: 7, Self citations: 6, Unhandled citations: 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
Linkoping, Sweden : LiU E-Press (2019) pp. 503-512. , 10 p.
DOI Other URL
Publication:30603470 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[30603470] [Approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 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 Other URL
Publication:30710636 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 4 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 5 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 5 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[30710636] [Approved]
All citations+mentions: 5, External citations: 4, Self citations: 1, Unhandled citations: 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 (eds.) NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Cham, Switzerland : Springer (2018) pp. 460-467. , 7 p.
DOI REAL WoS Scopus
Publication:3349043 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 5
Conference paper (Chapter in Book) | Scientific[3349043] [Validated]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 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 (eds.) Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Berlin, Germany, Heidelberg, Germany : Springer (2018) pp. 285-312. , 28 p.
DOI REAL Scopus
Publication:3327320 Validated Core Citing Chapter in Book (Study ) Scientific
Citing papers: 24 | Independent citation: 9 | Self citation: 15 | Unknown citation: 0 | Number of citations in WoS: 20 | Number of citations in Scopus: 21 | WoS/Scopus assigned: 23 | Number of citations with DOI: 24
Study (Chapter in Book) | Scientific[3327320] [Validated]
All citations+mentions: 24, External citations: 9, Self citations: 15, Unhandled citations: 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
Publication:3018014 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 44 | Independent citation: 24 | Self citation: 20 | Unknown citation: 0 | Number of citations in WoS: 24 | Number of citations in Scopus: 23 | WoS/Scopus assigned: 28 | Number of citations with DOI: 28
Article (Journal Article) | Scientific[3018014] [Validated]
All citations+mentions: 44, External citations: 24, Self citations: 20, Unhandled citations: 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 (eds.) MODELS '16 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
New York City, United States of America : ACM Press (2016) 414 p. pp. 306-316. , 11 p.
DOI REAL WoS Scopus
Publication:3169820 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 16 | Independent citation: 14 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 10 | Number of citations in Scopus: 9 | WoS/Scopus assigned: 11 | Number of citations with DOI: 10
Conference paper (Chapter in Book) | Scientific[3169820] [Validated]
All citations+mentions: 16, External citations: 14, Self citations: 2, Unhandled citations: 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 (eds.) 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, Germany : CEUR-WS (2016) pp. 40-44. , 5 p.
REAL Scopus Teljes dokumentum Google scholar
Publication:3092093 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 3 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[3092093] [Validated]
All citations+mentions: 6, External citations: 3, Self citations: 3, Unhandled citations: 0
2024-04-26 05:21