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 | 57 | 2018 |
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 | 18 | 2017 |
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 | 16 | 2020 |
Porting a benchmark with a classic workload to blockchain: TPC-C on Hyperledger Fabric A Klenik, I Kocsis arXiv preprint arXiv:2112.11277, 2021 | 12 | 2021 |
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 | 11 | 2018 |
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 | 11 | 2017 |
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 | 10 | 2016 |
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 | 9 | 2016 |
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 | 4 | 2016 |
Adding semantics to measurements: Ontology-guided, systematic performance analysis A Klenik, A Pataricza arXiv preprint arXiv:2112.11270, 2021 | 3 | 2021 |
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 | 3 | 2018 |
Performance analysis of critical services A Klenik, A Pataricza 2018 IEEE International Conference on Future IoT Technologies (Future IoT), 1-6, 2018 | 2 | 2018 |
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 | 1 | 2015 |
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 | |
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 | | |