 Print previewpersonal data approved: 2023. XII. 30. | Publications |
2023
 from data base, 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.
type of document: Journal paper/Article
number of independent citations: 2
language: English
URL |
2020
from data base, 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
type of document: Part of book/Proceedings Paper
number of independent citations: 5
language: English
URL |
2019
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 4
language: English
URL |
2019
from data base, 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.
type of document:
language: English
URL |
2018
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 14
language: English
URL |
2018
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 25
language: English
URL |
2018
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 5
language: English
URL |
2016
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 46
language: English
URL |
2012
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 38
language: English
URL |
2010
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 11
language: English
URL |
| | Number of independent citations to these publications: | 150 |
|
|
Login
mit.bme.hu
