Browse theses

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

Results

1310 results.Export to Excel

Developing a monitorong application for Android platform

Dr. Micskei Zoltán Imre (MIT)
Székely István (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Design of a modular verification system

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

Monitor synthesis based on message sequence specification

Dr. Majzik István (MIT)
Takács Róbert (BSc degree, computer science and engineering programme, 2015-2016 Autumn)

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)

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)

Monitor synthesis on the basis of temporal requirements for ROS environment

Dr. Majzik István (MIT)
Gazder Bence (BSc degree, computer science and engineering programme, 2015-2016 Spring)

Benchmarking Queries for Model Validation

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

Modul test for automotive PowerPC ASM code

Scherer Balázs Attila (MIT)
Konkoly Balázs (MSc degree, electrical engineering programme, 2013-2014 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)

Model-driven cyber-physical cloud services

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

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)

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)

Development of simple motion analysis device and software

Dr. Pataki Béla József (MIT)
Erdős Csanád Gergely (MSc degree, electrical engineering programme, 2011-2012 Autumn)

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)

Monitoring human motion in home environment

Erdős Csanád Gergely (MIT)
Havas Zoltán József (MSc degree, electrical engineering programme, 2014-2015 Autumn)

Thermal modeling of 3 phase MOSFET bridges

Dr. Dülk Ivor (MIT)
Tóth Attila (MSc degree, electrical engineering programme, 2016-2017 Spring)

Movement detection by wireless sensor network

Dr. Kovácsházy Tamás (MIT)
Fodor Gábor (MSc degree, electrical engineering programme, 2011-2012 Autumn)

Monitoring in real-time embedded environment

Dr. Vörös András (MIT)
Hegyi Bálint Bence (BSc degree, computer science and engineering programme, 2015-2016 Spring)