Browse theses

On this page you can browse the uploaded theses and filter them to any criteria.

Results

1336 results.Export to Excel

Model driven development of the interfaces of CPSs

Farkas Rebeka Krisztina (MIT)
Kalmár Dávid (BSc degree, computer science and engineering programme, 2016-2017 Spring)

Remote Control of Model Car using Internet Technologies

Dr. Kovácsházy Tamás (MIT)
Bognár András (MSc degree, electrical engineering programme, 2013-2014 Spring)

Model queries by example

Dr. Bergmann Gábor (MIT)
Gerencsér György (BSc degree, computer science and engineering programme, 2012-2013 Autumn)

Formal analysis of model transformations

Dr. Varró Dániel (MIT)
Dr. Semeráth Oszkár (BSc degree, computer science and engineering programme, 2010-2011 Spring)

Formal verification of model transformations by shape analysis

Dr. Varró Dániel (MIT)
Dr. Semeráth Oszkár (MSc degree, computer science and engineering programme, 2013-2014 Autumn)

Efficient model query evaluation

Dr. Bergmann Gábor (MIT)
Pál Balázs Sándor (MSc degree, computer science and engineering programme, 2013-2014 Spring)

Static Analysis of Model Queries

Dr. Bergmann Gábor (MIT)
Dudás Ádám (BSc degree, computer science and engineering programme, 2013-2014 Spring)

Model-based testing in embedded systems

Dr. Micskei Zoltán Imre (MIT)
Bajor Tamás (MSc degree, computer science and engineering programme, 2014-2015 Autumn)

Model based design for availability

Dr. Pataricza András (MIT)
Elekes Csaba (BSc degree, computer science and engineering programme, 2010-2011 Spring)

Model-driven debugging of embedded systems

Dr. Gönczy László (MIT)
Knoll Tímea (MSc degree, computer science and engineering programme, 2011-2012 Autumn)

Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules

Debreceni Csaba (MIT)
Balogh Tímea (BSc degree, computer science and engineering programme, 2017-2018 Autumn)

Visualizing models in Java applications

Dr. Ujhelyi Zoltán (MIT)
Ruzsics Dávid (BSc degree, computer science and engineering programme, 2014-2015 Autumn)

Synchronizing models to define graphical languages

Debreceni Csaba (MIT)
Lengyel Ádám (MSc degree, computer science and engineering programme, 2015-2016 Spring)

Model-based Test Generation for iOS

Dr. Ráth István Zoltán (MIT)
Szabó Csaba (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Solving model-based constraint satisfaction problems using SMT prover

Dr. Szatmári Zoltán (MIT)
Barta Ágnes (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Developing a Model-based Regression Testing Tool

Dr. Micskei Zoltán Imre (MIT)
Molnár Gábor (MSc degree, computer science and engineering programme, 2015-2016 Autumn)

Tool support for the development of model transformations

Dr. Ujhelyi Zoltán (MIT)
Lunk Péter (MSc degree, computer science and engineering programme, 2015-2016 Autumn)

RC Airplane data logger

Lazányi János Gyula (MIT)
Slezsák Tamás (BSc degree, electrical engineering programme, 2012-2013 Autumn)

Model based development of IoT systems

Dr. Vörös András (MIT)
Nyiri András (MSc degree, computer science and engineering programme, 2016-2017 Autumn)

Model-based security access over EMF models

Debreceni Csaba (MIT)
Szigethy Ádám (BSc degree, computer science and engineering programme, 2015-2016 Autumn)