Zoltán Porkoláb

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 30

Top Topics

Static Analysis

Top Venues

Publications

Kristóf Umann, Gábor Horváth, Zoltán Porkoláb
Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses. Acta Cybern. 26 (3) (2024)
Anett Fekete, Zoltán Porkoláb
Using Version Control Information to Visualize Developers' Knowledge. Acta Cybern. 26 (3) (2024)
Anett Fekete, Benedek Kovács, Zoltán Porkoláb
Automatic Dependency Tracking in Microservice-based Systems Using Static Analysis in Helm Charts. SoftCOM (2023)
Kristóf Umann, Zoltán Porkoláb
A Case Study on the Quality of Static Analysis Bug Reports. SQAMIA (2023)
Richárd Szalay, Zoltán Porkoláb
Flexible semi-automatic support for type migration of primitives for C/C++ programs. SANER (2022)
Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. SEAA (2022)
Richárd Szalay, Zoltán Porkoláb
Semi-Automatic Refactoring to C++20 Modules: A Semi-Success Story. SCAM (2022)
Kristóf Umann, Zoltán Porkoláb
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer. Acta Cybern. 25 (4) (2021)
Gergely Nagy, Gábor Oláh, Zoltán Porkoláb
Type Inference of Simple Recursive Functions in Scala. Acta Cybern. 25 (4) (2021)
Richárd Szalay, Ábel Sinkovics, Zoltán Porkoláb
Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++. J. Syst. Softw. 181 (2021)
Dániel Balázs Rátai, Zoltán Horváth, Zoltán Porkoláb, Melinda Tóth
Traquest Model: A Novel Model for ACID Concurrent Computations. Acta Cybern. 25 (2) (2021)
Bence Nagy, Tibor Brunner, Zoltán Porkoláb
Unambiguity of Python Language Elements for Static Analysis. SCAM (2021)
Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb
Improved Loop Execution Modeling in the Clang Static Analyzer. Acta Cybern. 25 (4) (2021)
Anett Fekete, Máté Cserép, Zoltán Porkoláb
Measuring Developers' Expertise Based on Version Control Data. MIPRO (2021)
Richárd Szalay, Ábel Sinkovics, Zoltán Porkoláb
The Role of Implicit Conversions in Erroneous Function Argument Swapping in C++. SCAM (2020)
Zoltán Porkoláb
Fuzzing C++ class interfaces for generating and running tests with libFuzzer. ISSRE Workshops (2020)
Hristina Gulabovska, Zoltán Porkoláb
Survey on Static Analysis Tools of Python Programs. SQAMIA (2019)
Réka Kovács, Gábor Horváth, Zoltán Porkoláb
Detecting C++ Lifetime Errors with Symbolic Execution. BCI (2019)
Tibor Brunner, Máté Cserép, Anett Fekete, Mónika Mészáros, Zoltán Porkoláb
Towards Better Tool Support for Code Comprehension. CEFP (2019)
Gergely Nagy, Zoltán Porkoláb
Read-Copy-Update as a Possible Locking Strategy in Scala. SQAMIA (2018)
Gábor Márton, Zoltán Porkoláb
Utilize Syntax Tree Transformations as a C/C++ Test Seam. SQAMIA (2018)
Zoltán Porkoláb, Tibor Brunner, Dániel Krupp, Márton Csordás
Codecompass: an open software comprehension framework for industrial usage. ICPC (2018)
Gábor Márton, Zoltán Porkoláb
Selective friends in C++. Softw. Pract. Exp. 48 (8) (2018)
Zoltán Porkoláb, Tibor Brunner
The codecompass comprehension framework. ICPC (2018)
Mário Santos, João Saraiva, Zoltán Porkoláb, Dániel Krupp
Energy Consumption Measurement of C/C++ Programs Using Clang Tooling. SQAMIA (2017)
Tibor Brunner, Zoltán Porkoláb
Two Dimensional Visualization of Software Metrics. SQAMIA (2017)
Richárd Szalay, Zoltán Porkoláb, Dániel Krupp
Measuring Mangled Name Ambiguity in Large C / C++ Projects. SQAMIA (2017)
Gábor Márton, Zoltán Porkoláb
Unit Testing in C++ with Compiler Instrumentation and Friends. Acta Cybern. 23 (2) (2017)
Richárd Szalay, Zoltán Porkoláb, Dániel Krupp
Towards Better Symbol Resolution for C/C++ Programs: A Cluster-Based Solution. SCAM (2017)
Áron Baráth, Zoltán Porkoláb
Welltype: Language elements for multiparadigm programming. FedCSIS (Position Papers) (2017)
Áron Baráth, Zoltán Porkoláb
Life without implicit casts: safe type system in C++. BCI (2015)
Gábor Oláh, Gergely Nagy, Zoltán Porkoláb
Analyzing Scale-Free Properties in Erlang and Scala. CEFP (2015)
Zoltán Porkoláb
Immutables in C++: Language Foundation for Functional Programming. CEFP (2015)
Áron Baráth, Zoltán Porkoláb
Compile-time Unit Testing. SQAMIA (2015)
Áron Baráth, Zoltán Porkoláb
Automatic Checking of the Usage of the C++11 Move Semantics. Acta Cybern. 22 (1) (2015)
Áron Baráth, Zoltán Porkoláb
Attribute-based Checking of C++ Move Semantics. SQAMIA (2014)
Zoltán Porkoláb, Ábel Sinkovics, István Siroki
DSL in C++ Template Metaprogram. CEFP (2013)
Ábel Sinkovics, Zoltán Porkoláb
Implementing monads for C++ template metaprograms. Sci. Comput. Program. 78 (9) (2013)
Tamás Cséri, Zalán Szügyi, Zoltán Porkoláb
Rule-based assignment of comments to AST nodes in C++ programs. BCI (2012)
József Mihalicza, Zoltán Porkoláb, Abel Gabor
Type-preserving heap profiler for C++. ICSM (2011)
Norbert Pataki, Zoltán Porkoláb
Extension of Iterator Traits in the C++ Standard Template Library. FedCSIS (2011)
Zoltán Porkoláb, Norbert Pataki
Preface. Electron. Notes Theor. Comput. Sci. 279 (3) (2011)
Zoltán Porkoláb, Norbert Pataki
Preface. Electron. Notes Theor. Comput. Sci. 264 (5) (2011)
Zoltan Borok-Nagy, Viktor Majer, József Mihalicza, Norbert Pataki, Zoltán Porkoláb
Visualization of C++ Template Metaprograms. SCAM (2010)
Károly Tilly, Zoltán Porkoláb
Semantic User Interfaces. Int. J. Enterp. Inf. Syst. 6 (1) (2010)
Zoltán Porkoláb, Ábel Sinkovics
Domain-specific language integration with compile-time parser generator library. GPCE (2010)
Zoltán Porkoláb, Norbert Pataki
Preface. Electron. Notes Theor. Comput. Sci. 238 (2) (2009)
Zalán Szügyi, Ádám Sipos, Zoltán Porkoláb
Towards the Modularization of C++ Concept Maps. Electron. Notes Theor. Comput. Sci. 238 (2) (2009)
Zalán Szügyi, Ábel Sinkovics, Norbert Pataki, Zoltán Porkoláb
C++ Metastring Library and Its Applications. GTTSE (2009)
Zoltán Porkoláb
Functional Programming with C++ Template Metaprograms. CEFP (2009)
Giovanni Falcone, Yann-Gaël Guéhéneuc, Christian F. J. Lange, Zoltán Porkoláb, Houari A. Sahraoui
Quantitative Approaches in Object-Oriented Software Engineering. ECOOP Workshops (2008)
Mihály Biczó, Krisztián Pócza, István Forgács, Zoltán Porkoláb
A New Concept of Effective Regression Test Generation in a C++ Specific Environment. Acta Cybern. 18 (3) (2008)
Péter Bauer, Zsolt Hernáth, Zoltán Horváth, Gyula Mayer, Zsolt Parragi, Zoltán Porkoláb, Zsolt Sztupák
HypereiDoc - An XML Based Framework Supporting Cooperative Text Editions. ADBIS (2008)
Marjan Hericko, Ales Zivkovic, Zoltán Porkoláb
A Method for Calculating Acknowledged Project Effort Using a Quality Index. Informatica (Slovenia) 31 (4) (2007)
Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb
Implementation of a Finite State Machine with Active Libraries in C++. GTTSE (2007)
Zoltán Porkoláb, József Mihalicza, Ádám Sipos
Debugging C++ template metaprograms. GPCE (2006)
András A. Benczúr, Zsolt Hernáth, Zoltán Porkoláb
LORD: Lay-Out Relationship and Domain Definition Language. ADBIS Research Communications (2006)
András A. Benczúr, Zsolt Hernáth, Zoltán Porkoláb
Autonomous Applications - Towards a Better Data Integration Model. ADBIS Research Communications (2005)
Zoltán Porkoláb, István Zólyomi
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming. GTTSE (2005)
István Zólyomi, Zoltán Porkoláb
Towards a General Template Introspection Library. GPCE (2004)
István Zólyomi, Zoltán Porkoláb, Tamás Kozsik
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming. GPCE (2003)