| Performance guarantees for P4 through cost analysis D Lukács, G Pongrácz, M Tejfel 2019 IEEE 15th International Scientific Conference on Informatics, 000305-000310, 2019 | 4 | 2019 |
| Control flow based cost analysis for P4 D Lukács, G Pongrácz, M Tejfel Open Computer Science 11 (1), 70-79, 2021 | 3 | 2021 |
| Are graph databases fast enough for static p4 code analysis? D Lukács, G Pongrácz, M Tejfel ICAI, 213-223, 2020 | 3 | 2020 |
| Keeping P4 switches fast and fault-free through automatic verification D Lukács, M Tejfel, G Pongrácz Acta Cybernetica 24 (1), 61-81, 2019 | 3 | 2019 |
| Transforming Erlang finite state machines D Lukács, M Tóth, I Bozó CEUR Workshop Proceedings 2046, 197-218, 2018 | 3 | 2018 |
| Erlang állapotgépek modell alapú transzformációja UML-re D Lukács | 3 | 2016 |
| Structuring Erlang BEAM control flow D Lukács, M Tóth Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 31-42, 2017 | 2 | 2017 |
| Recovering high-level control structures from Erlang source dependencies in BEAM bytecode D Lukács | 2 | 2017 |
| Erlang állapotgépek elemzése és transzformálása UML-re D Lukács | 2 | 2016 |
| P4Query: Static analyser framework for P4 D Lukács, G Tóth, M Tejfel Annales Mathematicae et Informaticae 57, 49-64, 2023 | 1 | 2023 |
| Model Checking-Based Performance Prediction for P4 D Lukács, G Pongrácz, M Tejfel Electronics 11 (14), 2117, 2022 | 1 | 2022 |
| Analysis of Erlang source dependencies in BEAM bytecode D Lukács, M Tóth Article submitted to 10th International Conference on Applied Informatics, 2017 | 1 | 2017 |
| Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin D Lukács, M Tejfel Acta Cybernetica, 2024 | | 2024 |
| INCREMENTAL DECOMPILATION OF LOOP-FREE BINARY CODE: ERLANG G MORSE, D LUKÁCS, T Melinda Studia Universitatis Babeș-Bolyai Informatica, 66-87, 2018 | | 2018 |
| TRANSLATING ERLANG STATE MACHINES TO UML USING TRIPLE GRAPH GRAMMARS D Lukács, T Melinda Studia Universitatis Babeș-Bolyai Informatica, 33-50, 2018 | | 2018 |
| Erlang BEAM bájtkód statikus elemzése D Lukács | | 2017 |
| P4 Specific Refactoring Steps M Tejfel, D Lukács, P Hegyi | | |
