Browse theses

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

Results

21 results.Export to Excel

Connection based communication in CAN networks

Dr. Majzik István (MIT)
Vandra Ákos (BSc degree, computer science and engineering programme, 2010-2011 Spring)

Testing of embedded software-hardware components

Dr. Majzik István (MIT)
Gerzsenyi Marcell (BSc degree, electrical engineering programme, 2010-2011 Spring)

Runtime verification in distributed embedded systems using requirement based monitoring

Dr. Majzik István (MIT)
Horányi Gergő (BSc degree, computer science and engineering programme, 2011-2012 Autumn)

Automated test case generation using Spec Explorer

Dr. Majzik István (MIT)
Hugyi Károly (BSc degree, computer science and engineering programme, 2011-2012 Spring)

Optimal processing of requests in microservice based systems

Dr. Majzik István (MIT)
Ableda Péter (MSc degree, computer science and engineering programme, 2013-2014 Autumn)

Integration testing in embedded systems on the basis of test coverage criteria

Dr. Majzik István (MIT)
Csicsely Attila (MSc degree, computer science and engineering programme, 2013-2014 Autumn)

Measuring software test coverage in embedded controllers

Dr. Majzik István (MIT)
Csurgó Tamás (MSc degree, computer science and engineering programme, 2013-2014 Autumn)

Monitor synthesis for runtime checking of context-aware applications

Dr. Majzik István (MIT)
Horányi Gergő (MSc degree, computer science and engineering programme, 2013-2014 Spring)

Requirements based monitor synthesis for Android platform

Dr. Majzik István (MIT)
Pallagi Péter (BSc degree, computer science and engineering programme, 2014-2015 Autumn)

Instrumentation of C programs for measuring test coverage

Dr. Majzik István (MIT)
Tóth Márton Balázs (BSc degree, computer science and engineering programme, 2014-2015 Autumn)

Monitor synthesis based on message sequence specification

Dr. Majzik István (MIT)
Takács Róbert (BSc degree, computer science and engineering programme, 2015-2016 Autumn)

Architecture based dependability modelling and analysis

Dr. Majzik István (MIT)
Ecsedi Gergő (BSc degree, computer science and engineering programme, 2015-2016 Spring)

Automated user interface testing on iOS platform

Dr. Majzik István (MIT)
Kaszás Dávid (BSc degree, computer science and engineering programme, 2015-2016 Spring)

Monitor synthesis on the basis of temporal requirements for ROS environment

Dr. Majzik István (MIT)
Gazder Bence (BSc degree, computer science and engineering programme, 2015-2016 Spring)

Detection of performance regression using continuous integration environment

Dr. Majzik István (MIT)
Garda Zsolt Barnabás (BSc degree, computer science and engineering programme, 2016-2017 Autumn)

Collaborative whiteboard web application using the Spring Framework

Dr. Majzik István (MIT)
Nagy Gergő Mihály (BSc degree, computer science and engineering programme, 2017-2018 Spring)

Tool development for pattern-based formalization of requirements

Dr. Majzik István (MIT)
Varga Bence (BSc degree, computer science and engineering programme, 2017-2018 Autumn)

GUI Development for Network Synchronization Visualization

Dr. Majzik István (MIT)
Baran Altuve Hansell Estefan (MSc degree, computer science and engineering programme, 2017-2018 Spring)

Testing of a safety-critical protocol based on a formal model

Dr. Majzik István (MIT)
Maizl Noémi (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Pages:
  • 1
  • 2
»