Browse theses

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

Results

1297 results.Export to Excel

Design of a modular verification system

Szántó Péter (MIT)
Berki Szabolcs (MSc degree, electrical engineering programme, 2014-2015 Autumn)

Developing a model-driven traceability management framework

Dr. Hegedüs Ábel (MIT)
Dóczi Róbert László (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Model-based security access over EMF models

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

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)

Synchronizing models to define graphical languages

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

Model-driven test data generation for autonomous systems

Dr. Szatmári Zoltán (MIT)
Barta Ágnes (MSc degree, computer science and engineering programme, 2015-2016 Spring)

Formal analysis of model transformations

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

Model-driven cyber-physical cloud services

Kocsis Imre (MIT)
Kiss Gábor Attila (MSc degree, computer science and engineering programme, 2016-2017 Spring)

Formal verification of model transformations by shape analysis

Dr. Varró Dániel (MIT)
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-driven Automaton Learning

Tóth Tamás (MIT)
Elekes Márton Farkas (BSc degree, computer science and engineering programme, 2017-2018 Autumn)

GPU-based parallel implementation of modular CMAC neural networks

Dr. Horváth Gábor (MIT)
Spenik Vince (MSc degree, computer science and engineering programme, 2014-2015 Spring)

Module development for G4Sense wireless safety protection system

Dr. Fehér Béla (MIT)
Fuli Balázs (MSc degree, electrical 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)

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)

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)