Oszkár Semeráth - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

personal data approved: 2023. X. 18.

Personal data

name	Oszkár Semeráth
name of institution	Budapest University of Technology and Economics
doctoral school	BME Doctoral School of Informatics (Supervisor Az oktató valamelyik doktori iskolában egy vagy több doktorandusz vagy doktorjelölt munkáját irányítja. )
the share of work in the different doctoral schools.	BME Doctoral School of Informatics 100%
accreditation statement submitted to:	Budapest University of Technology and Economics

Contact details
	own web page

Academic title
scientific degree, title	Ph.D.
year degree was obtained	2019
discipline to which degree belongs	computer sciences
institution granting the degree	Budapest University of Technology and Economics

Employment
2019 -	Budapest University of Technology and Economics other (not specified) (Tudományos munkatárs)

Thesis topic supervisor

number of doctoral students supervised until now

number of students who fulfilled course requirements

students who obtained their degrees:

present PhD students:

Attila Ficsor

(PhD)

(2026/08)

DSI-BME

Thesis topic proposals

Research
research area	My research focuses on modeling technologies, and the application and development of specialized logic solvers for model generation. Lead developer of the VIATRA Solver graph generator framework.
research field in which current research is conducted	computer sciences

Publications

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
type of document: Journal paper/Article
language: English
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.
type of document: Journal paper/Article
number of independent citations: 2
language: English
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.
type of document: Journal paper/Article
language: English
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.
type of document: Part of book/Proceedings Paper
language: English
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 3
language: English
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 20
language: English
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.
type of document: Journal paper/Article
number of independent citations: 22
language: English
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.
type of document: Journal paper/Konferenciaközlemény
number of independent citations: 12
language: English
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 20
language: English
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.
type of document: Part of book/Proceedings Paper
number of independent citations: 11
language: English
URL

Number of independent citations to these publications:

Scientometric data

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

number of independent citations to scientific publications and creative works:

205

Supervision
thesis supervisor	Dániel Varró
one supervisor or with co-supervisor	individual
degree	PhD
starting of doctoral studies	2014/02
date of final certificate (year,month)	2017/01
year in which degree was obtained	2019
diszertáció	Doi/handle link (thesis, statements)
data of the public discussion	defense