Browse theses

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

Results

1297 results.Export to Excel

Development of a PDDL based automated planner

Kovács Dániel László (MIT)
Ádám Anna Kinga (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)

Development of Peer-to-peer Infrastructure for Laboratory Seminaries

Semeráth Oszkár (MIT)
Vincze Balázs (BSc degree, computer science and engineering programme, 2015-2016 Autumn)

PC-based urine analyzer

Dr. Jobbágy Ákos Andor (MIT)
Szendrei Dóra (BSc degree, electrical engineering programme, 2014-2015 Autumn)

Parallel algorithms in design space exploration

Dr. Horváth Ákos (MIT)
Nagy András Szabolcs (MSc degree, computer science and engineering programme, 2014-2015 Autumn)

Design of passive artificial load using NI modules

Dr. Sujbert László (MIT)
Goda Sándor (BSc degree, electrical engineering programme, 2011-2012 Autumn)

UVM based PCI IP verification

Dr. Fehér Béla (MIT)
Vékony Gergő (BSc degree, electrical engineering programme, 2014-2015 Autumn)

Design of persistent e-business systems

Huszerl Gábor Tamás (MIT)
Csapó Tamás (BSc degree, computer science and engineering programme, 2012-2013 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)

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)

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)

Example-driven Development Environment for Model Queries

Dr. Bergmann Gábor (MIT)
Gerencsér György (MSc degree, computer science and engineering programme, 2015-2016 Autumn)

Pilot - box communication for Formula Student project

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

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)

Guided Model Checking of Petri Nets

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