Publikációk
"Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems",
Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020.
Abstract
"Formal Compositional Semantics for Yakindu Statecharts",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
"Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework",
27th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2020.
Abstract
Model Driven Software Engineering,
: Springer, pp. 91–118, 2005.
Abstract
"Benchmarking the Ethernet-Federated Datacenter",
First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
Flow and Congestion Control for Datacenter Networks,
, no. RZ3742: IBM Zürich Research Laboratory, 2009.
"Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004.
Abstract
"Graph Transformation with Time",
Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003.
Abstract
Automatic Algorithm Generation for Visual Control Structures,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, December, 2000.
"Graph Transformation with Time: Causality and Logical Clocks",
Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002.
Abstract
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.
"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.
"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
"SMT-Friendly Formalization of the Solidity Memory Model",
European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
"Efficient Strategies for CEGAR-based Model Checking",
Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020.
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
"Formal Specification and Verification of Solidity Contracts with Events (short paper)",
2nd Workshop on Formal Methods for Blockchains, 2020.
Abstract
(In press)
"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
"Extensions to the CEGAR Approach on Petri Nets",
Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014.
Abstract
"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
"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
Making the TTreeReader interface more accessible,
, no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
"A Model-driven Framework for Guided Design Space Exploration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
Abstract
ACM Distinguished Paper Award, Acceptance rate: 15%
"A model-driven framework for guided design space exploration",
Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015.
Abstract