Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2023. X. 18.
Személyes adatok
Semeráth Oszkár
név Semeráth Oszkár
intézmény neve
doktori iskola
BME Informatikai Tudományok Doktori Iskola (témavezető)
doktori képzéssel kapcsolatos munkájának megoszlása BME Informatikai Tudományok Doktori Iskola 100%
adott-e már oktatóként valamely doktori iskolát működtető intézménynek akkreditációs nyilatkozatot? Budapesti Műszaki és Gazdaságtudományi Egyetem
Elérhetőségek
saját honlap
saját honlap (angol)
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2019
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve Budapesti Műszaki és Gazdaságtudományi Egyetem
Jelenlegi munkahelyek
2019 - Budapesti Műszaki és Gazdaságtudományi Egyetem
további (Tudományos munkatárs)
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 0
ezek közül abszolutóriumot szerzettek száma 0
témavezetettjei közül fokozatot szereztek:
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Ficsor Attila (PhD) (2026/08)  ITDI-BME
  Témakiírások
Kutatás
kutatási terület Fő kutatási területem a modellezési technológiákhoz és modellgenerálásra alkalmas speciális logikai következtetők fejlesztéséhez kapcsolódik. A Viatra Solver gráfgenerátor vezető fejlesztője vagyok.
jelenlegi kutatásainak tudományága informatikai tudományok
Közlemények
2021

 Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró: Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models, SOFTWARE AND SYSTEMS MODELING
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2020

 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.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 2
nyelv: angol
URL 
2020

 Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró: A specification language for consistent model generation based on partial models, JOURNAL OF OBJECT TECHNOLOGY 19: (3) pp. 1-22.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2020

 Semeráth Oszkár, Babikian Aren A., Li Anqi, Marussy Kristóf, Varró Daniel: Automated generation of consistent models with structural and attribute constraints, In: Syriani, E (szerk.) Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery (ACM) (2020) pp. 187-199.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
URL 
2019

 Oszkár Semeráth, Aren A Babikian, Sebastian Pilarski, Dániel Varró: Viatra Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models, In: Silvia, Abrahão (szerk.) 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), IEEE (2019) pp. 43-46.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 3
nyelv: angol
URL 
2018

 Oszkár Semeráth, András Szabolcs Nagy, Dániel Varró: A Graph Solver for the Automated Generation of Consistent Domain-Specific Models, In: Marsha, Chechik; Mark, Harman (szerk.) ICSE '18, ACM Press (2018) pp. 980-980.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 20
nyelv: angol
URL 
2017

 Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró: Formal validation of domain-specific languages with derived features and well-formedness constraints, SOFTWARE AND SYSTEMS MODELING 16: (2) pp. 357-392.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 22
nyelv: angol
URL 
2017

 Semeráth O, Varró D: Graph constraint evaluation over partial models by constraint rewriting, LECTURE NOTES IN COMPUTER SCIENCE 10374: pp. 138-154.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
független idéző közlemények száma: 12
nyelv: angol
URL 
2016

 Oszkár Semeráth, András Vörös, Dániel Varró: Iterative and incremental model generation by logic solvers, In: Perdita, Stevens; Andrzej, Wasowski (szerk.) Fundamental Approaches to Software Engineering, Springer (2016) pp. 87-103.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 20
nyelv: angol
URL 
2016

 Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró: Incremental Backward Change Propagation of View Models by Logic Solvers, In: Benoit, Baudry; Benoit, Combemale (szerk.) MODELS '16, ACM Press (2016) pp. 306-316.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 11
nyelv: angol
URL 
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:90 
Tudománymetriai adatok
Tudományos közlemény- és idézőlista mycite adattárban
a 10 válogatott közlemény közé kiválasztható közleményeinek száma:
31
összes tudományos és felsőoktatási közleményének száma:
31
kiválasztható monográfiák és szakkönyvek:
0
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
0 
összes tudományos közleményének és alkotásainak független idézettségi száma:
231
Témavezetés
témavezető Varró Dániel
vezetés módja egyéni
fokozat PhD
a képzés kezdete 2014/02
abszolutóriumot szerzett (év, hónap) 2017/01
a fokozatszerzés éve 2019
diszertáció Doi/handle elérés (értekezés, tézisek)
a védés adatai védés


2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )