Browse theses

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

Results

1310 results.Export to Excel

Picoblaze Debugger

Lazányi János Gyula (MIT)
Németh Csaba (5-grade degree, electrical engineering programme, 2012-2013 Autumn)

Efficient bounded model checking techniques for Petri net based formal models

Dr. Vörös András (MIT)
Dr. Darvas Dániel (BSc degree, computer science and engineering programme, 2011-2012 Autumn)

PINS.NET - A .NET-based common interface for formal models

Molnár Vince (MIT)
Hegedüs Levente (BSc degree, computer science and engineering programme, 2016-2017 Autumn)

CPU Performance Counter Usage in Cloud Environment

Bozóki Szilárd (MIT)
Gacsályi Márton (BSc degree, computer science and engineering programme, 2017-2018 Autumn)

Automated testing of PHP-based web applications

Dr. Micskei Zoltán Imre (MIT)
Bagladi Gábor (BSc degree, computer science and engineering programme, 2016-2017 Autumn)

Pipeline image processing with partially reconfigurable FPGA

Raikovich Tamás (MIT)
Mucsi Márton (MSc degree, electrical engineering programme, 2018-2019 Autumn)

Code generation based on Petri nets

Dr. Vörös András (MIT)
Meszes-Bábszki Áron (BSc degree, computer science and engineering programme, 2013-2014 Spring)

POI algorithm development for PET detector modules

Dr. Fehér Béla (MIT)
Kufcsák András (MSc degree, electrical engineering programme, 2014-2015 Autumn)

Partial order reduction based analysis of Petri net models

Dr. Vörös András (MIT)
Szebeni Szilveszter (BSc degree, computer science and engineering programme, 2011-2012 Autumn)

Pilot - box communication for Formula Student project

Scherer Balázs Attila (MIT)
Czikó Ádám (BSc degree, electrical engineering programme, 2013-2014 Autumn)

Processor simulators in practice

Lazányi János Gyula (MIT)
Wacha Gábor József (MSc degree, electrical engineering programme, 2012-2013 Autumn)

Program generation for evaluation of testing tools

Honfi Dávid (MIT)
Reischl Barnabás (BSc degree, computer science and engineering programme, 2017-2018 Spring)

Extensions to the CEGAR Approach on Petri Nets

Dr. Vörös András (MIT)
Hajdu Ákos (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

On the evaluation of Petri-net reachability algorithms

Dr. Vörös András (MIT)
Mártonka Zoltán (BSc degree, computer science and engineering programme, 2014-2015 Autumn)

CPU frequency scaling of softcore processors

Wacha Gábor József (MIT)
Kis Dávid (BSc degree, electrical engineering programme, 2015-2016 Autumn)

Guided Model Checking of Petri Nets

Molnár Vince (MIT)
Élő Dániel (BSc degree, computer science and engineering programme, 2015-2016 Autumn)