Nyomtatási kép Az adatok hitelességéről nyilatkozott: 2023. XII. 30. Közlemények |
2023
adattárból, 2023. XII. 30. |
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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 2 nyelv: angol URL |
2020
adattárból, 2023. XII. 30. |
Horváth Benedek, Graics Bence, Hajdu Ákos, Micskei Zoltán, Molnár Vince, Ráth István, Andolfato Luigi, Gomes Ivan, Karban Robert: Model checking as a service: Towards pragmatic hidden formal methods, In: Esther, Guerra; Ludovico, Iovino (szerk.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Association for Computing Machinery (ACM) (2020) 37 dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 5 nyelv: angol URL |
2019
adattárból, 2023. XII. 30. |
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró: Enforcing Fine-grained Access Control for Secure Collaborative Modelling using Bidirectional Transformations, SOFTWARE AND SYSTEMS MODELING 18: (3) pp. 1737-1769. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 4 nyelv: angol URL |
2019
adattárból, 2023. XII. 30. |
Debreceni Csaba, Bergmann Gabor, Rath Istvan, Varro Daniel: Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations (vol 18, pg 1737, 2019), SOFTWARE AND SYSTEMS MODELING 18: (3) pp. 1771-1771. dokumentum típusa: nyelv: angol URL |
2018
adattárból, 2023. XII. 30. |
Dávid I, Ráth I, Varró D: Foundations for Streaming Model Transformations by Complex Event Processing, SOFTWARE AND SYSTEMS MODELING 17: (1) pp. 135-162. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 14 nyelv: angol URL |
2018
adattárból, 2023. XII. 30. |
Szárnyas Gábor, Izsó Benedek, Ráth István, Varró Dániel: The Train Benchmark: cross-technology performance evaluation of continuous model queries, SOFTWARE AND SYSTEMS MODELING 17: (4) pp. 1365-1393. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 25 nyelv: angol URL |
2018
adattárból, 2023. XII. 30. |
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró: Secure Views for Collaborative Modeling, IEEE SOFTWARE 35: (6) pp. 32-38. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 5 nyelv: angol URL |
2016
adattárból, 2023. XII. 30. |
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, SOFTWARE AND SYSTEMS MODELING 15: (3) pp. 609-629. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 46 nyelv: angol URL |
2012
adattárból, 2023. XII. 30. |
G Bergmann, I Ráth, G Varró, D Varró: Change-driven Model Transformations, SOFTWARE AND SYSTEMS MODELING 11: (3) pp. 431-461. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 38 nyelv: angol URL |
2010
adattárból, 2023. XII. 30. |
Ráth István, Ökrös András, Varró Dániel: Synchronization of Abstract and Concrete Syntax in Domain-specific Modeling Languages, SOFTWARE AND SYSTEMS MODELING 9: (4) pp. 453-471. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 11 nyelv: angol URL |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 150 |
|
|