Formális módszerek
IB026
2025. április 23. 14:00
Zsűritagok:
Alexin Zoltán (SZTE)
Csorba Kristóf (BME)
Kovács Lehel István (EMTE)
A tagozat előadásai élőben online is követhetők az OTDK Streaming platformján.
Pályamunkák
| # | Szerző(k) | Pályamunka címe | Affiliáció | Konzulens(ek) |
|---|---|---|---|---|
| 1 | Száraz Máté András | Efficient simulation of normal random fields on metric graphs | PPKE | Kovács Mihály, Vághy Mihály András |
| 2 | Kovács Dániel | Hatékony inkrementális verifikációs stratégiák tranzíciós rendszerekhez | BME | Mondok Milán |
| 3 | Süli Patrik Péter | Multithreading Atomicity: Static Analysis checkers for Java and Comparative Language Insights | ELTE | Porkoláb Zoltán, Knoll Judit |
| 4 | Mészáros Botond | Nemlineáris leképezések diagramjainak kiegészítése és alkalmazása | ELTE | Burcsi Péter |
| Szünet | ||||
| 5 | Sümegi Mihály | P-gráf alapú rendszer megbízhatóság számító algoritmus tervezése | PE | Dr. Orosz Ákos |
| 6 | Kovács Bertalan | Reguláris kifejezést ellenőrző fordítási időben generált algoritmusok összehasonlítása | PE | Dr. Bertók Botond |
| 7 | Mészáros Botond | Számítási feladatokhoz társítható leképezési diagramok elemzése és alkalmazása | ELTE | Burcsi Péter |
| 8 | Cziborová Dóra | Valós idejű szoftverintenzív rendszer modellek absztrakció alapú modellellenőrzése | BME | Dr. Marussy Kristóf, Dobos-Kovács Mihály |
| 9 | Telbisz Csanád Ferenc | Párhuzamos programok hatékony és tanúsítható verifikációja | BME | Bajczi Levente, Szekeres Dániel, Dr. Vörös András |