1.
Barcsa-Szabó, Áron ; Várady, Balázs ; Farkas, Rebeka ; Molnár, Vince ; Vörös, András
Towards Interactive Learning for Model-based Software Engineering
In: Renczes, Balázs (szerk.) Proceedings of the 28th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2021) 48 p. pp. 28-31. , 4 p.
Teljes dokumentum
Közlemény:32527201 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32527201] [Nyilvános]
2.
Oszkár, Semeráth ; Rebeka, Farkas ; Gábor, Bergmann ; Dániel, Varró
Diversity of Graph Models and Graph Generators in Mutation Testing
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22 pp. 57-78. , 22 p. (2020)
DOI WoS Scopus Teljes dokumentum
Közlemény:30748493 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 13 | Független: 8 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 11 | Scopus jelölt: 9 | WoS/Scopus jelölt: 11 | DOI jelölt: 13
Szakcikk (Folyóiratcikk) | Tudományos[30748493] [Egyeztetett]
Nyilvános idéző összesen: 13, Független: 8, Függő: 5, Nem jelölt: 0
3.
Farkas, Rebeka ; Tóth, Tamás ; Hajdu, Ákos ; Vörös, András
Backward reachability analysis for timed automata with data variables
ELECTRONIC COMMUNICATIONS OF THE EASST 76 pp. 1-20. , 20 p. (2019)
DOI Scopus Scopus Teljes dokumentum
Közlemény:30748705 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos[30748705] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 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
Linköping, Svédország : Linköping University Electronic Press (2019) pp. 503-512. , 10 p.
DOI Egyéb URL
Közlemény:30603470 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[30603470] [Nyilvános]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
5.
Rebeka, Farkas ; Gábor, Bergmann
Towards Reliable Benchmarks of Timed Automata
In: Pataki, Béla (szerk.) Proceedings of the 25th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2018) 69 p. pp. 20-23. , 4 p.
REAL
Közlemény:3362977 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[3362977] [Nyilvános]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
6.
Rebeka, Farkas ; Ákos, Hajdu
Activity-Based Abstraction Refinement for Timed Systems
In: Pataki, Béla (szerk.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2017) pp. 18-21. , 4 p.
DOI REAL
Közlemény:3203890 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3203890] [Nyilvános]
7.
Rebeka, Farkas ; András, Vörös
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata
In: [sn] (szerk.) Proceedings of the 23rd PhD Mini-Symposium
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2016) 55 p. pp. 10-13. , 4 p.
Közlemény:3234544 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3234544] [Admin láttamozott]
2024-04-23 12:29