Browse theses

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

Results

55 results.Export to Excel

A UML Code Generator in Eclipse Platform

Dr. Vörös András (MIT)
Vékony Balázs (BSc degree, computer science and engineering programme, 2010-2011 Autumn)

Saturation based analysis of timed models

Dr. Vörös András (MIT)
Jámbor Attila (MSc degree, computer science and engineering programme, 2012-2013 Autumn)

Reliability analysis of IT infrastructures based on fault modeling

Dr. Vörös András (MIT)
Vass Viktor (5-grade degree, computer science and engineering programme (5-grade), 2011-2012 Spring)

Editing support for high level models in the PetriDotNet 2.0 framework

Dr. Vörös András (MIT)
Vincze Márton (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Development of graph layout algorithms for Petri net models

Dr. Vörös András (MIT)
Tasner Péter (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Developing a Ground Control Station with dependable communication for a UAV

Dr. Vörös András (MIT)
Böjti Paszkál Dávid (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Abstract interpretation based verification of linear transition systems

Dr. Vörös András (MIT)
Farkas Rebeka Krisztina (BSc degree, computer science and engineering programme, 2014-2015 Autumn)

Configurable numerical solutions of stochastic models

Dr. Vörös András (MIT)
Marussy Kristóf (BSc degree, computer science and engineering programme, 2015-2016 Autumn)

Complex event processing based on automata theory

Dr. Vörös András (MIT)
Balogh László Márk (BSc degree, computer science and engineering programme, 2015-2016 Autumn)

CEGAR-based analysis of timed systems

Dr. Vörös András (MIT)
Farkas Rebeka Krisztina (MSc degree, computer science and engineering programme, 2016-2017 Autumn)

Runtime verification based on sequence diagrams

Dr. Vörös András (MIT)
Antal János Benjamin (BSc degree, computer science and engineering programme, 2015-2016 Spring)

Survey on hybrid verification

Dr. Vörös András (MIT)
Palincza Richárd Péter (MSc degree, computer science and engineering programme, 2016-2017 Spring)

Model based development of IoT systems

Dr. Vörös András (MIT)
Nyiri András (MSc degree, computer science and engineering programme, 2016-2017 Autumn)

Monitoring time-sensitive distributed systems

Dr. Vörös András (MIT)
Mázló Zsolt (BSc degree, computer science and engineering programme, 2015-2016 Spring)

Configurable marker based object tracking framework

Dr. Vörös András (MIT)
Füzesi Máté (BSc degree, computer science and engineering programme, 2016-2017 Autumn)

Runtime verification based on graph queries

Dr. Vörös András (MIT)
Tóth Krisztián Dávid (BSc degree, computer science and engineering programme, 2016-2017 Autumn)

The analysis of complex event processing frameworks

Dr. Vörös András (MIT)
Ágocsi-Kiss Bence (BSc degree, computer science and engineering programme, 2016-2017 Autumn)

Monitoring of cyber-physical systems based on graph pattern matching

Dr. Vörös András (MIT)
Szilágyi Gábor (MSc degree, computer science and engineering programme, 2017-2018 Spring)

Intervallum-based abstract interpretation for verifying invariant properties

Dr. Vörös András (MIT)
Román Dávid (BSc degree, computer science and engineering programme, 2018-2019 Spring)

Pages: « »