Browse theses

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

Results

1350 results.Export to Excel

Model based development of a modular control and data acquisition system

Dr. Ráth István Zoltán (MIT)
Kárász István (MSc degree, computer science and engineering programme, 2015-2016 Autumn)

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)

Benchmarking Queries for Model Validation

Dr. Szárnyas Gábor (MIT)
Kővári Zsolt (BSc degree, computer science and engineering programme, 2014-2015 Spring)

Model-based security access over EMF models

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

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)

Modul test for automotive PowerPC ASM code

Scherer Balázs Attila (MIT)
Konkoly Balázs (MSc degree, electrical engineering programme, 2013-2014 Spring)

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)

Monitor synthesis for runtime checking of context-aware applications

Dr. Majzik István (MIT)
Horányi Gergő (MSc degree, computer science and engineering programme, 2013-2014 Spring)

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)

Analyzing genomic data using module networks

Dr. Antal Péter (MIT)
Goldschmidt Gergely (MSc degree, computer science and engineering programme, 2011-2012 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)

Model-driven cyber-physical cloud services

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

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)