| Home | Publications | Curriculum Vitae | Education |
| Code: | vimia219 |
| Link: | Slides |
| 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 |
| 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 |
| Link: | Homepage (Hungarian) |
| 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 in the SHARPE tool and stochastic Petri nets in the TimeNET tool) |
| My role: | Preparing the materials and instructing the above laboratory activities. |
| Code: | vimm3245 |
| Link: | 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. |
Undergraduate students do individual research through three semesters to prepare for the Master project or work for one semester before the Bachelor thesis. I worked with the following students: