@article{MTMT:34009519,
	title = {P4Query: Static analyser framework for P4},
	url = {https://m2.mtmt.hu/api/publication/34009519},
	author = {Lukács, Dániel and Tóth, Gabriella and Tejfel, Máté},
	doi = {10.33039/ami.2023.03.002},
	journal-iso = {ANN MATH INFORM},
	journal = {ANNALES MATHEMATICAE ET INFORMATICAE},
	volume = {57},
	unique-id = {34009519},
	issn = {1787-5021},
	abstract = {There are many important tasks in a conventional software development process which can be supported by different analysis techniques. P4 is a high level domain-specific language for describing the data plane layer of packet processing algorithms. It has several uncommon language elements and concepts that often make the analysis of P4 programs a laborious task. The paper presents P4Query, an analysis framework for the P4 language that enables the specification of different P4-related analysis methods in a generic and data-centric way. The framework uses an internal graph representation which contains the results of applied analysis methods too. In this way, the framework supports the rapid implementation of new analysis methods in a way where the results will be also easily reusable by other methods.},
	keywords = {Static analysis; P4 language; ANALYSIS FRAMEWORK},
	year = {2023},
	eissn = {1787-6117},
	pages = {49-64},
	orcid-numbers = {Lukács, Dániel/0000-0001-9738-1134; Tejfel, Máté/0000-0001-8982-1398}
}

@inproceedings{MTMT:32560412,
	title = {Error detection and analysis of PSA structured P4 programs},
	url = {https://m2.mtmt.hu/api/publication/32560412},
	author = {Tóth, Gabriella and Tejfel, Máté},
	booktitle = {Conference on Developments in Computer Science},
	unique-id = {32560412},
	year = {2021},
	pages = {267-270},
	orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398}
}

@article{MTMT:32353638,
	title = {Component-based Error Detection of P4 programs},
	url = {https://m2.mtmt.hu/api/publication/32353638},
	author = {Tóth, Gabriella and Tejfel, Máté},
	doi = {10.14232/actacyb.289731},
	journal-iso = {ACTA CYBERN-SZEGED},
	journal = {ACTA CYBERNETICA},
	volume = {25},
	unique-id = {32353638},
	issn = {0324-721X},
	year = {2021},
	eissn = {2676-993X},
	pages = {537-554},
	orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398}
}

@CONFERENCE{MTMT:31658459,
	title = {Error detection and analysis of P4 programs},
	url = {https://m2.mtmt.hu/api/publication/31658459},
	author = {Tóth, Gabriella and Tejfel, Máté},
	booktitle = {The 1st Conference on Information Technology and Data Science},
	unique-id = {31658459},
	year = {2020},
	pages = {180},
	orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398}
}

@CONFERENCE{MTMT:31381319,
	title = {Component-based error detection of P4 programs},
	url = {https://m2.mtmt.hu/api/publication/31381319},
	author = {Tóth, Gabriella and Tejfel, Máté},
	booktitle = {The 12th Conference of PhD Students in Computer Science},
	unique-id = {31381319},
	abstract = {P4 is a domain-specific language to develop the packet processing of network devices.
		These programs can easily hide errors, therefore we give a solution to analyze them and detect
		predefined errors in them. This paper shows the idea, which works with the P4 code as a set of
		components and processes them one by one, while calculating their pre- and post-conditions.
		This method does not only detect errors between the components and their connections, but
		it is capable to reveal errors, which are hidden in the middle of a component. The paper
		introduces the method and shows its calculation in an example.},
	year = {2020},
	pages = {74-78},
	orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398}
}

@{MTMT:31148438,
	title = {The first step forward to axiom-based property verification of P4 programs},
	url = {https://m2.mtmt.hu/api/publication/31148438},
	author = {Tóth, Gabriella and Tejfel, Máté},
	booktitle = {Abstract book for the 15th Miklós Iványi International PhD & DLA Symposium},
	unique-id = {31148438},
	year = {2019},
	pages = {150},
	orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398}
}

@article{MTMT:30883110,
	title = {A formal method to detect possible P416 specific errors},
	url = {https://m2.mtmt.hu/api/publication/30883110},
	author = {Tóth, Gabriella and Tejfel, Máté},
	doi = {10.15439/2019F355},
	journal-iso = {ACSIS ANNALS COMP SCI INFORMATION SYST},
	journal = {ACSIS-ANNALS OF COMPUTER SCIENCE AND INFORMATION SYSTEMS},
	volume = {19},
	unique-id = {30883110},
	issn = {2300-5963},
	year = {2019},
	pages = {49-56},
	orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398}
}

@CONFERENCE{MTMT:30663472,
	title = {Axiom-based property verification for P4 programs},
	url = {https://m2.mtmt.hu/api/publication/30663472},
	author = {Tóth, Gabriella and Tejfel, Máté},
	booktitle = {The 11th Conference of PhD Students in Computer Science},
	unique-id = {30663472},
	year = {2018},
	pages = {80-83},
	orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398}
}

@misc{MTMT:30663190,
	title = {A P4 nyelv programtulajdonságainak axióma alapú verifikációja. MSc-Diplomamunka},
	url = {https://m2.mtmt.hu/api/publication/30663190},
	author = {Tóth, Gabriella},
	unique-id = {30663190},
	year = {2018}
}

@misc{MTMT:30663078,
	title = {A P4 nyelv programtulajdonságainak axióma alapú verifikációja. TDK-dolgozat},
	url = {https://m2.mtmt.hu/api/publication/30663078},
	author = {Tóth, Gabriella},
	unique-id = {30663078},
	year = {2018}
}