| Home | Publications | CV | Education |
| Code: | vimima01 |
| Link: | Materials |
| Description: | The objective of the course is to present the different verification techniques that can be used throughout the full software and systems development lifecycle. |
| My role: | Main instructor for the course. |
I was the supervisor of the following students. For students after 2010 see the faculty's thesis portal.
| Name | Title | Type | Year | |
| Medgyesi Zoltán | Analyzing high available clusters | MSc thesis | 2007 | (Hungarian) |
| Várhegyi Viktor | Integrating an application into Sun Cluster | MSc thesis | 2007 | (Hungarian) |
| Barabás Zoltán | Implementing fault-tolerant application using SA Forum AIS specifications | MSc thesis | 2008 | (Hungarian) |
| Gárdonyi László | Developing an Efficient Application for the Distribution of Large Files | BSc thesis | 2008 | |
| Kapui Ákos | Scalability and performance testing of web applications | BSc thesis | 2008 | (Hungarian) |
| Ujlaki Levente | Supporting application development in mobile setting | MSc thesis | 2009 | (Hungarian) |
| Hamvas Áron | Using UML Sequence Diagrams for the Requirement Analysis of Mobile Distributed Systems | MSc thesis | 2010 | |
| Laposa László | On the standard-based management of virtualization platforms | MSc thesis | 2010 | (Hungarian) |
| Code: | vimia370 |
| Link: | Materials |
| Description: | The course introduces the basics of IT system management, and the connection between software development and IT management. The course details typical management tasks and related technologies (e.g., configuration management, monitoring). |
| My role: | Instructor for the course. |
| Code: | vimia219 |
| Link: | Materials |
| Description: | Introduction the functionalities of an operating system and the basics of distributed systems. Principles demonstrated on the Unix and Windows operating systems. |
| My role: | Lectures about the Windows operating systems and the details of the kernel. |
| Code: | vimia315 |
| Semester: | 2008-2013 |
| Link: | Guide and exercises |
| Description: | Laboratory exercises for computer networks and operating systems. |
| My role: | Resposible for the exercies about the management and monitoring features of the Windows operating system. |
| Code: | vimm4325 |
| Semester: | 2005-2009 |
| Description: | During three classes the students analyze an infrastructure serving a
web shop for possible dependability issues, apply different fault tolerant technologies, and finally model the dependability characteristics of the system.1. Load balance clustering technologies (Round Robin DNS and Microsoft NLB) 2. Fail-over clusters (using Windows Server Failover Clustering) 3. Model-based dependability analysis (using fault trees and stochastic Petri nets) |
| My role: | Preparing the materials and instructing the above laboratory activities. |
| Code: | vimm3245 |
| Semester: | 2005/2006 II. semester |
| Description: | Introduction to the formal methods, e.g. Petri Nets, model checking, data flow networks, etc. |
| My role: | Giving lectures in the English language course. |
(see the Hungarian version of the page for details)