Browse theses

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

Results

51 results.Export to Excel

Parallel Model Checking of Asynchronous Systems

Dr. Vörös András (MIT)
Jámbor Attila (BSc degree, computer science and engineering programme, 2010-2011 Autumn)

Heuristic Support for Model Checking of Asynchronous Systems

Dr. Vörös András (MIT)
Szabó Tamás (BSc degree, computer science and engineering programme, 2010-2011 Autumn)

State based modelling of distributed systems

Dr. Vörös András (MIT)
Konnerth Raimund-Andreas (BSc degree, computer science and engineering programme, 2013-2014 Spring)

Development of a plug-in handler for a model checker framework

Dr. Vörös András (MIT)
Ágotai László (BSc degree, computer science and engineering programme, 2014-2015 Autumn)

Efficient stochastic analysis of asynchronous systems

Dr. Vörös András (MIT)
Klenik Attila (MSc degree, computer science and engineering programme, 2015-2016 Spring)

A survey on CEGAR-based model checking

Dr. Vörös András (MIT)
Hajdu Ákos (MSc degree, computer science and engineering programme, 2015-2016 Autumn)

User-friendly system modeling techniques

Dr. Vörös András (MIT)
Konnerth Raimund-Andreas (MSc degree, computer science and engineering programme, 2015-2016 Spring)

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)

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)

Statechart based monitor generation for C++ environments

Dr. Vörös András (MIT)
Deé Flórián (BSc degree, computer science and engineering programme, 2016-2017 Autumn)

The development of a CPS monitoring example systems

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

Verification techniques for the reconfiguration of cloud-based infrastructures

Dr. Vörös András (MIT)
Élő Dániel (MSc degree, computer science and engineering programme, 2017-2018 Autumn)

Complex event processing based on automata theory

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

On the validation of state-based design models

Dr. Vörös András (MIT)
Wildanger Martin (BSc degree, computer science and engineering programme, 2017-2018 Autumn)

Communication technologies for distributed cyber-physical systems

Dr. Vörös András (MIT)
Váradi Balázs Károly (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Distributed data processing in smart city environment

Dr. Vörös András (MIT)
Fejes Árpád (BSc degree, computer science and engineering programme, 2017-2018 Spring)

Simulating distributed statechart systems in the Gamma framework

Dr. Vörös András (MIT)
Juhász Stefánia (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Testing statechart transformations in the Gamma framework

Dr. Vörös András (MIT)
Kiss Zoltán (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Data collection and visualization in an Industry 4.0 demonstrator system

Dr. Vörös András (MIT)
Kovács Balázs (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Pages: »