Publikációk
Szűrők: Az Utónév Első Betűje = H [Minden szűrő visszaállítása]
"BPEL Verification: The Back-annotation Problem",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 30–31, 02/2010.
"Replaying Execution Trace Models for Dynamic Modeling Languages",
Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012.
Abstract
"BPEL2.0 munkafolyamatok formális verifikációja",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009.
Abstract
In Hungarian
"A Model-driven Framework for Guided Design Space Exploration",
Proceedings of the 19th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2012.
"SMT-Friendly Formalization of the Solidity Memory Model",
European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
"A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework",
Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32–35, 2018.
Abstract
"Formal Specification and Verification of Solidity Contracts with Events (short paper)",
2nd Workshop on Formal Methods for Blockchains, 2020.
Abstract
(In press)
"Petri Net Based Trajectory Optimization",
ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014.
Abstract
"solc-verify: A Modular Verifier for Solidity Smart Contracts",
Verified Software. Theories, Tools, and Experiments, vol. 12301, New York City, USA, Springer, pp. 161--179, 2020.
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
Abstract
Making the TTreeReader interface more accessible,
, no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
"New Search Strategies for the Petri Net CEGAR Approach",
Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015.
Abstract
"Extensions to the CEGAR Approach on Petri Nets",
Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, Szeged, Hungary, University of Szeged, pp. 274–288, 08/2013.
Abstract
"Efficient Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
Abstract
"Exploratory Analysis of the Performance of a Configurable CEGAR Framework",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 34–37, 2017.
Abstract
"A Configurable CEGAR Framework with Interpolation-Based Refinements",
Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016.
Abstract
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.