Publications
Grid Brókerek evolúciója: Egységben az erő. Hiradástechnika.
.
2007. Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06). :21-30.
.
2006. Grammarinator: A Grammar-based Open Source Fuzzer. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).
.
2018. Graft: A model for evaluating actuator systems in terms of force production. Sensors (Switzerland). 20
.
2020. GMBS: A new middleware service for making grids interoperable. Future Generation Computer Systems. 26:542-553.
.
2010. Global Dynamic Slicing for the C Language. Acta Polytechnica Hungarica. 12:117-136.
.
2015. Gépi tanulás. Mesterséges intelligencia.
.
1999. Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.
1989. Generating large and optimized FSA for Morphological Analysis. Proceedings of the 2008 International NooJ Conference. :60-66.
.
2008. Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991. Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.
1992. General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the 9th Symposium on Programming Languages and Software Tools (SPLST 2005). :49–58.
.
2005. General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the Estonian Academy of Sciences – Engineering. 11:286–295.
.
2005. Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
.
2016. Fuzzinator: An Open-Source Modular Random Testing Framework. Proceedings of the 11th IEEE International Conference on Software Testing, Verification and Validation (ICST 2018). :416-421.
.
2018. From C++ Refactorings to Graph Transformations. Electronic Communications of the EASST and Proceedings of the 3rd Workshop on Software Evolution through Transformations (Setra 2006). :127-141.
.
2006. .
2004. .
2000. Formalizing Slicing – Results, Current Work and Challenges. Beyond Program Slicing – Abstracts Collection. 05451:10–11.
.
2005. Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
.
2004. A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
.
2006. Formal Aspects of Grid Brokering. PDMC. :18-31.
.
2009. A forgalomszabályozás egy optimalizálási modellje. XXVI. Operációkutatási Konferencia.
.
2004. .
2011. Flexible Representation of IoT Sensors for Cloud Simulators. Proceedings - 2017 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2017. :199-203.
.
2017.