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 (eds.) Proceedings of the 28th PhD Mini-Symposium
Bp, Hungary : BME MIT (2021) 48 p. pp. 28-31. , 4 p.
Teljes dokumentum
Publication:32527201 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[32527201] [Approved]
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
Publication:30748493 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 13 | Independent citation: 8 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 11 | Number of citations in Scopus: 9 | WoS/Scopus assigned: 11 | Number of citations with DOI: 13
Article (Journal Article) | Scientific[30748493] [Validated]
All citations+mentions: 13, External citations: 8, Self citations: 5, Unhandled citations: 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
Publication:30748705 Published Core Citing Journal Article (Conference paper in journal ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper in journal (Journal Article) | Scientific[30748705] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 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
Linkoping, Sweden : LiU E-Press (2019) pp. 503-512. , 10 p.
DOI Other URL
Publication:30603470 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[30603470] [Approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
5.
Rebeka, Farkas ; Gábor, Bergmann
Towards Reliable Benchmarks of Timed Automata
In: Pataki, Béla (eds.) Proceedings of the 25th PhD Mini-Symposium
Bp, Hungary : BME MIT (2018) 69 p. pp. 20-23. , 4 p.
REAL
Publication:3362977 Published Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 3 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[3362977] [Approved]
All citations+mentions: 4, External citations: 3, Self citations: 1, Unhandled citations: 0
6.
Rebeka, Farkas ; Ákos, Hajdu
Activity-Based Abstraction Refinement for Timed Systems
In: Pataki, Béla (eds.) Proceedings of the 24th PhD Mini-Symposium
Budapest, Hungary : BME MIT (2017) pp. 18-21. , 4 p.
DOI REAL
Publication:3203890 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3203890] [Approved]
7.
Rebeka, Farkas ; András, Vörös
Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata
In: [sn] (eds.) Proceedings of the 23rd PhD Mini-Symposium
Budapest, Hungary : BME MIT (2016) 55 p. pp. 10-13. , 4 p.
Publication:3234544 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3234544] [Admin approved]
2024-05-04 05:39