Browse theses

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

Results

1350 results.Export to Excel

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)

Parameter identification in biological networks

Dr. Antal Péter (MIT)
Mérő László (MSc degree, biomedical engineering programme, 2018-2019 Spring)

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)

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)

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)

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)

Development of Peer-to-peer Infrastructure for Laboratory Seminaries

Dr. Semeráth Oszkár (MIT)
Vincze Balázs (BSc degree, computer science and engineering programme, 2015-2016 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)

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)