Verifying the Concept of Union Slices on Java Programs. - Attila Szegedi; Tamás Gergely; Árpád Beszédes; Tibor Gyimóthy; Gabriella Tóth (CSMR, 2007)

Computation of Static Execute After Relation with Applications to Software Maintenance. - Árpád Beszédes; Tamás Gergely; Judit Jász; Gabriella Tóth; Tibor Gyimóthy; Václav Rajlich (ICSM, 2007)

CIASYS–Change Impact Analysis at System Level. - Gabriella Tóth; Csaba Nagy 001; Judit Jász; Árpád Beszédes; Lajos Jeno Fülöp (CSMR, 2010)

Complex event processing synergies with predictive analytics. - Gabriella Tóth; Lajos Jeno Fülöp; László Vidács; Árpád Beszédes; Hunor Demeter; Lóránt Farkas (DEBS, 2010)

Comparison of different impact analysis methods and programmer's opinion: an empirical study. - Gabriella Tóth; Péter Hegedüs; Árpád Beszédes; Tibor Gyimóthy; Judit Jász (PPPJ, 2010)

Adding Process Metrics to Enhance Modification Complexity Prediction. - Gabriella Tóth; Ádám Zoltán Végh; Árpád Beszédes; Tibor Gyimóthy (ICPC, 2011)

Predictive complex event processing: a conceptual framework for combining complex event processing and predictive analytics. - Lajos Jeno Fülöp; Árpád Beszédes; Gabriella Tóth; Hunor Demeter; László Vidács; Lóránt Farkas (BCI, 2012)

A formal method to detect possible P4 specific errors. - Gabriella Tóth; Máté Tejfel (FedCSIS (Position Papers), 2019)

Component-based Error Detection of P4 programs. - Gabriella Tóth; Máté Tejfel (Acta Cybern., 2021)