1.
Lukács, Dánel ; Tóth, Gabriella ; Tejfel, Máté
P4Query: Static analyser framework for P4
ANNALES MATHEMATICAE ET INFORMATICAE 57 pp. 49-64. , 16 p. (2023)
DOI WoS Egyéb URL
Közlemény:34009519 Egyeztetett Forrás Idéző Duplumgyanú Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34009519] [Egyeztetett]
2.
Gabriella, Tóth ; Máté, Tejfel
Error detection and analysis of PSA structured P4 programs
In: Csuhaj-Varjú, Erzsébet; Sziklai, Péter (szerk.) Conference on Developments in Computer Science : Budapest, Hungary, June 17-19, 2021, Proceedings
Budapest, Magyarország : Eötvös Loránd University, Faculty of Informatics (2021) pp. 267-270. , 4 p.
Közlemény:32560412 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32560412] [Egyeztetett]
3.
Gabriella, Tóth ; Máté, Tejfel
Component-based Error Detection of P4 programs
ACTA CYBERNETICA 25 : 2 pp. 537-554. , 18 p. (2021)
DOI WoS
Közlemény:32353638 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32353638] [Admin láttamozott]
4.
Tóth, Gabriella ; Tejfel, Máté
Error detection and analysis of P4 programs
In: The 1st Conference on Information Technology and Data Science
(2020) p. 180
Közlemény:31658459 Admin láttamozott Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31658459] [Admin láttamozott]
5.
Tóth, Gabriella ; Dr. Tejfel, Máté
Component-based error detection of P4 programs
In: The 12th Conference of PhD Students in Computer Science : Volume of short papers
Szeged, Magyarország : Szegedi Tudományegyetem (SZTE) (2020) pp. 74-78. , 5 p.
Közlemény:31381319 Nyilvános Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[31381319] [Nyilvános]
6.
Tóth, Gabriella ; Tejfel, Máté
The first step forward to axiom-based property verification of P4 programs
In: Iványi, Péter (szerk.) Abstract book for the 15th Miklós Iványi International PhD & DLA Symposium : Architectural, Engineering and Information Sciences
Pécs, Magyarország : Pollack Press (2019) 197 p. p. 150
Közlemény:31148438 Nyilvános Forrás Könyvrészlet (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Könyvrészlet) | Tudományos[31148438] [Nyilvános]
7.
Tóth, Gabriella ; Tejfel, Máté
A formal method to detect possible P416 specific errors
ACSIS-ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS 19 pp. 49-56. , 8 p. (2019)
DOI
Közlemény:30883110 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[30883110] [Nyilvános]
8.
Gabriella, Tóth ; Máté, Tejfel
Axiom-based property verification for P4 programs
In: The 11th Conference of PhD Students in Computer Science : Volume of short papers CS2
Szeged, Magyarország (2018) 203 p. pp. 80-83. , 4 p.
Közlemény:30663472 Egyeztetett Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[30663472] [Egyeztetett]
9.
Tóth, Gabriella
A P4 nyelv programtulajdonságainak axióma alapú verifikációja: MSc-Diplomamunka (2018)
MSc-Diplomamunka,
Közlemény:30663190 Nyilvános Forrás Egyéb (Diplomamunka, szakdolgozat, TDK dolgozat ) Tudományos
Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb) | Tudományos[30663190] [Nyilvános]
10.
Tóth, Gabriella
A P4 nyelv programtulajdonságainak axióma alapú verifikációja: TDK-dolgozat (2018)
TDK-dolgozat,
Közlemény:30663078 Nyilvános Forrás Egyéb (Diplomamunka, szakdolgozat, TDK dolgozat ) Tudományos
Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb) | Tudományos[30663078] [Nyilvános]
2024-04-19 05:07