1.
Asztalos, Márk ; Lengyel, László ; Levendovszky, Tihamér
Formal specification and analysis of functional properties of graph rewriting-based model transformation
SOFTWARE TESTING VERIFICATION & RELIABILITY 23 : 5 pp. 405-435. , 31 p. (2013)
DOI WoS Scopus Egyéb URL Teljes dokumentum Google scholar Google scholar hash
Közlemény:2658440 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 4 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos[2658440] [Admin láttamozott]
Nyilvános idéző összesen: 6, Független: 4, Függő: 2, Nem jelölt: 0
2.
Tamás, Mészáros ; Péter, Fehér ; Márk, Asztalos ; Tihamér, Levendovszky
A challenge problem for the verification and validation of model transformations
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCES 3 : 5 Paper: 4 (2013)
Egyéb URL
Közlemény:2693378 Jóváhagyott Forrás Folyóiratcikk (Szakcikk )
Szakcikk (Folyóiratcikk) | Tudományos[2693378] [Nyilvános]
3.
Tamás, Vajk ✉ ; Gergely, Mezei ; Tihamér, Levendovszky
Incremental semantic analysis for OCL compilers
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING: A NASA JOURNAL 9 : 3 pp. 147-162. , 16 p. (2013)
DOI WoS Scopus Teljes dokumentum Google scholar Google scholar hash
Közlemény:2654137 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2654137] [Egyeztetett]
4.
Tamás, Mészáros ; Tihamér, Levendovszky
Verified Operational Patterns with Graph Transformation
In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)
(2012) pp. 954-961. Paper: 7 , 8 p.
DOI Scopus
Közlemény:2685943 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2685943] [Admin láttamozott]
5.
Vajk, Tamás ; Deák, László ; Mezei, Gergely ; Levendovszky, Tihamér
Performance Evaluation of Model-based Data Access Layers in NoSQL Databases
In: First Workshop on MDE for and in the Cloud CloudMDE 2012
(2012) p. 10 Paper: 6
Közlemény:2685949 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény )
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2685949] [Admin láttamozott]
6.
Ágnes, Bogárdi-Mészöly ; Tihamér, Levendovszky
A novel algorithm for performance prediction of web-based software systems
PERFORMANCE EVALUATION 68 : 1 pp. 45-57. , 13 p. (2011)
DOI WoS Scopus
Közlemény:2660267 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 7 | Független: 6 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 1 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos[2660267] [Admin láttamozott]
Nyilvános idéző összesen: 7, Független: 6, Függő: 1, Nem jelölt: 0
7.
Asztalos, Márk ; Ekler, Péter ; Lengyel, László ; Levendovszky, Tihamér ; Mezei, Gergely ; Mészáros, Tamás
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations
ELECTRONIC COMMUNICATIONS OF THE EASST 42 Paper: 16 , 14 p. (2011)
DOI Scopus Teljes dokumentum
Közlemény:2655972 Egyeztetett Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[2655972] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 0
8.
Vajk, Tamás ; Dávid, Zoltán ; Asztalos, Márk ; Mezei, Gergely ; Levendovszky, Tihamér
Runtime model validation with parallel object constraint language
In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Association for Computing Machinery (ACM) (2011) p. 8 Paper: 7
DOI Scopus Teljes dokumentum Google scholar
Közlemény:2675756 Admin láttamozott Forrás Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2675756] [Admin láttamozott]
9.
Amaral, V ; Hardebolle, C ; Karsai, G ; Lengyel, L ; Levendovszky, T
Recent Advances in Multi-paradigm Modeling
In: Ghosh, Sudipto (szerk.) Proceedings of the 2009 International Conference on Models in Software Engineering, MODELS 2009
Berlin, Németország : Springer-Verlag (2010) pp. 220-224. , 5 p.
DOI WoS Scopus
Központi kezelésű Közlemény:2665431 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 2 | WoS/Scopus jelölt: 5 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[2665431] [Admin láttamozott]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
10.
Asztalos, Márk ; Lengyel, László ; Levendovszky, Tihamér
Towards Automated, Formal Verification of Model Transformations
In: IEEE (szerk.) 3rd International Conference on Software Testing, Verification and Validation, ICST 2010
Los Alamitos (CA), Amerikai Egyesült Államok : IEEE Computer Society Press (2010) pp. 15-24. , 10 p.
DOI Scopus Egyéb URL Teljes dokumentum Google scholar Google scholar hash
Közlemény:2654234 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 37 | Független: 29 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 23 | WoS/Scopus jelölt: 24 | DOI jelölt: 19
Konferenciaközlemény (Könyvrészlet) | Tudományos[2654234] [Nyilvános]
Nyilvános idéző összesen: 37, Független: 29, Függő: 8, Nem jelölt: 0
2025-11-12 09:41