Follow
Attila Klenik
Attila Klenik
Verified email at mit.bme.hu
Title
Cited by
Cited by
Year
Towards model-driven engineering of smart contracts for cyber-physical systems
P Garamvölgyi, I Kocsis, B Gehl, A Klenik
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
392018
Towards performance modeling of hyperledger fabric
I Kocsis, A Pataricza, M Telek, A Klenik, F Deé, D Cseh
International IBM Cloud Academy Conference (ICACON), 2017
152017
Industrial applications of the PetriDotNet modelling and analysis tool
A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ...
Science of Computer Programming 157, 17-40, 2018
112018
Industrial Applications of the PetriDotNet Modelling and Analysis Tool
A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, I Majzik
Science of Computer Programming, 1-30, 2017
112017
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
Á Hajdu, N Ivaki, I Kocsis, A Klenik, L Gönczy, N Laranjeiro, H Madeira, ...
IEEE Access 8, 190760-190783, 2020
92020
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
A Vörös, D Darvas, V Molnár, A Klenik, Á Hajdu, A Jámbor, T Bartha, ...
International Conference on Applications and Theory of Petri Nets and …, 2016
92016
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
K Marussy, A Klenik, V Molnár, A Vörös, I Majzik, M Telek
International Conference on Applications and Theory of Petri Nets and …, 2016
92016
Systematic performance evaluation using component-in-the-loop approach
I Kocsis, A Klenik, A Pataricza, M Telek, F Deé, D Cseh
International Journal of Cloud Computing 7 (3-4), 336-357, 2018
42018
Configurable numerical analysis for stochastic systems
K Marussy, A Klenik, V Molnár, A Voros, M Telek, I Majzik
2016 International Workshop on Symbolic and Numerical Methods for …, 2016
42016
Performance analysis of critical services
A Klenik, A Pataricza
2018 IEEE International Conference on Future IoT Technologies (Future IoT), 1-6, 2018
22018
Configurable Stochastic Analysis Framework for Asynchronous Systems
A Klenik, K Marussy, M Telek, V Molnár, A Vörös
Budapest University of Technology and Economics, 2015
12015
Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
V Molnár, K Marussy, A Klenik, A Vörös, I Majzik, M Telek
Application and Theory of Petri Nets and Concurrency 9698, 0
1
Adding semantics to measurements: Ontology-guided, systematic performance analysis
A Klenik, A Pataricza
arXiv preprint arXiv:2112.11270, 2021
2021
Porting a benchmark with a classic workload to blockchain: TPC-C on Hyperledger Fabric
A Klenik, I Kocsis
arXiv preprint arXiv:2112.11277, 2021
2021
Dependability Modeling
K Marussy, A Klenik, A Vörös
2019
A Blockchain-based Critical Event Data Recorder for Cyber-Physical Systems
A Pataricza, A Klenik, A Földvári
6th International IBM Cloud Academy Conference (ICACON 2018), 2018
2018
Preliminary Performance Assessment of Hyperledger Fabric
A Klenik, A Pataricza
25th Mini-Symposium, 44-48, 2018
2018
Efficient Stochastic Analysis of Asynchronous Systems
A Klenik, A Vörös, M Telek
Budapest University of Technology and Economics, 2016
2016
PetriDotNet 1.5
A Vörös, D Darvas, A Hajdu, A Jámbor, A Klenik, K Marussy, V Molnár, ...
PetriDotNet 1.5: Configurable Stochastic Analysis Framework
A Klenik, K Marussy, A Vörös, M Telek, I Majzik
The system can't perform the operation now. Try again later.
Articles 1–20