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 ; 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 (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. Paper: 37 , 5 p.
DOI Scopus Egyéb URL
Közlemény:31647412 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 12 | Független: 11 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 9 | WoS/Scopus jelölt: 12 | DOI jelölt: 12
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos 
Megjegyzés: IncQuery Labs Ltd., Budapest, Hungary            
            Johannes Kepler University Linz, Linz, Austria            
            Budapest University of Technology and Economics, Budapest, Hungary            
            European Southern Observatory, München, Germany            
            Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States            
            Cited By :8            
            Export Date: 15 October 2024

[31647412] [Admin láttamozott]
Nyilvános idéző összesen: 12, Független: 11, Függő: 1, Nem jelölt: 0
3.
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. , 33 p. (2019)
DOI REAL WoS Scopus
Zárolt Közlemény:3330414 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 14 | Független: 8 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 14 | Scopus jelölt: 14 | WoS/Scopus jelölt: 14 | DOI jelölt: 14
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[3330414] [Egyeztetett]
Nyilvános idéző összesen: 14, Független: 8, Függő: 6, Nem jelölt: 0
4.
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. , 1 p. (2019)
DOI WoS Scopus
Zárolt Közlemény:31093251 Egyeztetett Forrás Idéző Folyóiratcikk (Hozzászólás, helyreigazítás ) Tudományos
Nyelv: Angol
Hozzászólás, helyreigazítás (Folyóiratcikk) | Tudományos[31093251] [Egyeztetett]
5.
Csaba, Debreceni ; Gábor, Bergmann ; István, Ráth ; Dániel, Varró
Secure Views for Collaborative Modeling
IEEE SOFTWARE 35 : 6 pp. 32-38. , 6 p. (2018)
DOI WoS Scopus
Zárolt Közlemény:3394459 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[3394459] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 6, Függő: 0, Nem jelölt: 0
6.
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. , 28 p. (2018)
DOI WoS Scopus PubMed
Zárolt Közlemény:3092076 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 36 | Független: 30 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 22 | Scopus jelölt: 32 | WoS/Scopus jelölt: 32 | DOI jelölt: 32
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Funding text: This work was partially supported by the MBSE4Mechatronics project (Grant No. 130013) of the agency for Innovation by Science and Technology in Flanders (IWT-Vlaanderen), and the MONDO (EU ICT-611125) project and the MTA-BME Lendulet 2015 Research Group on Cyber-Physical Systems.

[3092076] [Egyeztetett]
Nyilvános idéző összesen: 36, Független: 30, Függő: 6, Nem jelölt: 0
7.
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
8.
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. , 29 p. (2018)
DOI REAL WoS Scopus PubMed Egyéb URL
Központi kezelésű Közlemény:3172039 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 56 | Független: 38 | Függő: 18 | Nem jelölt: 0 | WoS jelölt: 36 | Scopus jelölt: 49 | WoS/Scopus jelölt: 52 | DOI jelölt: 47
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Correspondence Address: Szárnyas, G.; Department of Measurement and Information Systems, Magyar tudósok krt. 2, Hungary; email: szarnyas@mit.bme.hu

[3172039] [Egyeztetett]
Nyilvános idéző összesen: 56, Független: 38, Függő: 18, Nem jelölt: 0
9.
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
10.
Csaba, Debreceni ; Gábor, Bergmann ; István, Ráth ; Dániel, Varró
Property-based Locking in Collaborative Modeling
In: Don, Batory; Jeff, Gray; Vinay, Kulkarni; Taylor, Riché 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)
Los Alamitos (CA), Amerikai Egyesült Államok : IEEE Computer Society (2017) 346 p. pp. 199-209. , 11 p.
DOI REAL WoS Scopus
Zárolt Közlemény:3330401 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 13 | Független: 10 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 11 | WoS/Scopus jelölt: 11 | DOI jelölt: 10
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[3330401] [Egyeztetett]
Nyilvános idéző összesen: 13, Független: 10, Függő: 3, Nem jelölt: 0
2025-11-17 11:24