Browse theses

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

Results

1336 results.Export to Excel

Comparison of symbolic execution based test generation tools

Dr. Micskei Zoltán Imre (MIT)
Cseppentő Lajos (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Simulator design for testing location-based services

Dr. Szatmári Zoltán (MIT)
Mostoha Roland (BSc degree, computer science and engineering programme, 2012-2013 Autumn)

Software verification with interval abstraction

Hajdu Ákos (MIT)
Papp Albert (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Design of heart rate monitor

Dr. Benesóczky Zoltán (MIT)
Liptai András (BSc degree, electrical engineering programme, 2015-2016 Autumn)

Processing ADC response given to sinusoidal excitation

Dr. Kollár István (MIT)
Horváth András (BSc degree, electrical engineering programme, 2011-2012 Autumn)

Measuring software test coverage in embedded controllers

Dr. Majzik István (MIT)
Csurgó Tamás (MSc degree, computer science and engineering programme, 2013-2014 Autumn)

Supporting symbolic execution using graph metrics

Dr. Micskei Zoltán Imre (MIT)
Kövér Márton (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Software design for a safaety-critical signal transport system

Csordás Péter (MIT)
Pogonyi Ádám (BSc degree, electrical engineering programme, 2010-2011 Spring)

Simulation-aided software engineering for the smart home

Dr. Ráth István Zoltán (MIT)
Réthy Bálint (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Analysis of the effects of sampling jitter on sine estimation methods

Dr. Pálfi Vilmos (MIT)
Kosdi Dávid (MSc degree, electrical engineering programme, 2018-2019 Autumn)

Measurement based evaluation of Software Defined Networks

Bozóki Szilárd (MIT)
Tevesz Ágnes (BSc degree, computer science and engineering programme, 2014-2015 Spring)

Detection of heart-contour in chest X-ray images

Dr. Horváth Gábor (MIT)
Katus Kristóf (BSc degree, computer science and engineering programme, 2010-2011 Autumn)

Motor Controller for CNC machines

Dr. Dülk Ivor (MIT)
Váczi Viktor (BSc degree, electrical engineering programme, 2015-2016 Autumn)

Simulator environment for automotive steering system

Scherer Balázs Attila (MIT)
Dudás Márton (BSc degree, electrical engineering programme, 2015-2016 Autumn)

Simulation environment for intelligent game strategies

Eredics Péter (MIT)
Dienes Péter (BSc degree, computer science and engineering programme, 2014-2015 Autumn)