Browse theses

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

Results

1310 results.Export to Excel

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)

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)