Follow
Imre Kocsis
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
582018
3G base station positioning using simulated annealing
I Kocsis, L Farkas, L Nagy
The 13th IEEE International Symposium on Personal, Indoor and Mobile Radio …, 2002
232002
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
192017
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
162020
Empirical assessment of resilience
A Pataricza, I Kocsis, Á Salánki, L Gönczy
Software Engineering for Resilient Systems: 5th International Workshop …, 2013
132013
Porting a benchmark with a classic workload to blockchain: TPC-C on Hyperledger Fabric
A Klenik, I Kocsis
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 290-298, 2022
122022
CBDC bridging between Hyperledger Fabric and permissioned EVM-based blockchains
A Augusto, R Belchior, I Kocsis, L Gönczy, A Vasconcelos, M Correia
2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2023
112023
Application of extreme value analysis for characterizing the execution time of resilience supporting mechanisms in kubernetes
S Bozóki, J Szalontai, D Pethő, I Kocsis, A Pataricza, P Suskovics, ...
Dependable Computing-EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE …, 2020
102020
Analytics of resource transients in cloud-based applications
I Kocsis, A Pataricza, Z Micskei, A Kövi, Z Kocsis
International Journal of Cloud Computing 1 2 (2-3), 191-212, 2013
92013
Exploratory data analysis of fault injection campaigns
F Cerveira, I Kocsis, R Barbosa, H Madeira, A Pataricza
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
82018
Towards cyber-physical system technologies over Apache VCL
I Kocsis, Á Tóth, Z Szatmári, T Dabóczi, A Pataricza, G Guta
International Journal of Cloud Computing 5 (1-2), 91-111, 2016
82016
Sensor selection for it infrastructure monitoring
GJ Paljak, I Kocsis, Z Égel, D Tóth, A Pataricza
Autonomic Computing and Communications Systems: Third International ICST …, 2010
82010
Optimal deployment for critical applications in Infrastructure as a Service
I Kocsis, ZÁ Mann, D Zilahi
3rd International IBM Cloud Academy Conference (ICACON 2015), 2015
52015
Data analysis-based capacity planning of VCL clouds
Á Salánki, G Kincses, L Gönczy, I Kocsis
International Journal of Cloud Computing 6 (4), 370-383, 2017
42017
Measurement-based identification of infrastructures for trustworthy cyber-physical systems
I Kocsis, Á Salánki, A Pataricza
Trustworthy Cyber-Physical Systems Engineering, 395-420, 2016
42016
Combined error propagation analysis and runtime event detection in process-driven systems
G Urbanics, L Gönczy, B Urbán, J Hartwig, I Kocsis
Software Engineering for Resilient Systems: 6th International Workshop …, 2014
42014
Transaction Conflict Control in Hyperledger Fabric: a Taxonomy, Gaps, and Design for Conflict Prevention
M Debreczeni, A Klenik, I Kocsis
IEEE Access, 2024
32024
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
32018
Benchmarking the Ethernet-Federated Datacenter
M Gusat, C DeCusatis, C Minkenberg, L McKenna, K Bhardwaj, GJ Paljak, ...
First Workshop on Data Center-Converged and Virtual Ethernet Switching (DC …, 2009
32009
Dependability and security metrics in controlling infrastructure
I Kocsis, G Csertán, PL Pásztor, A Pataricza
2008 Second International Conference on Emerging Security Information …, 2008
32008
N-Version Programming as a Mitigation for Smart Contract Faults in Execute-Order-Validate Blockchain Systems
BZ Péter, I Kocsis
30th Minisymposium of the Department of Measurement and Information Systems …, 2023
22023
Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows
BÁ Toldi, I Kocsis
https://arxiv.org/abs/2303.10500, 2023
22023
ZKP-based audit for blockchain systems managing central bank digital currency
BZ Péter, I Kocsis
Proc. 29th Minisymp. Dept. Meas. Inf. Syst, 70-73, 2022
22022
Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper
A Földvári, G Biczók, I Kocsis, L Gönczy, A Pataricza
2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-4, 2021
22021
Qualitative models in resilience assurance
I Kocsis
PQDT-Global, 2019
22019
Design for Dependability Through Error Propagation Space Exploration
I Kocsis
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
22018
Composable Framework Support for Software-FMEA through Model Execution
V Bonfiglio, F Brancati, F Rossi, A Bondavalli, L Montecchi, A Pataricza, ...
Certifications of Critical Systems - The CECRIS Experience, 183-200, 2017
2*2017
Qualitative Characterization of Quality of Service Interference between Virtual Machines
Á Salánki, I Kocsis, A Pataricza, Z Kocsis
Gesellschaft für Informatik eV, 2012
22012
Privacy-Preserving Noninteractive Compliance Audits of Blockchain Ledgers with Zero-Knowledge Proofs
BZ Péter, I Kocsis
Acta Polytechnica Hungarica 21 (11), 2024
12024
The impact of rare container restarts on uninterrupted kubernetes operations
S Bozóki, I Kocsis, A Pataricza, P Suskovics, B Kovács
Dependable Computing-EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021 …, 2021
12021
Blokklánc alkalmazási lehetőségek a biztonság területén és bevezetés-tervezésük
I Kocsis
Scientia et Securitas 1 (1), 12-20, 2020
12020
Optimised deployment of critical applications in infrastructure-as-a-service clouds
I Kocsis, ZÁ Mann, D Zilahi
International Journal of Cloud Computing 6 (4), 342-362, 2017
12017
Qualitative performance control in supervised IT infrastructures
GJ Paljak, Z Égel, D Tóth, I Kocsis, T Kovácsházy, A Pataricza
2010 International Conference on Dependable Systems and Networks Workshops …, 2010
12010
Model-based control of IT infrastructures
GJ Paljak, I Szombath, I Kocsis, T Kovácsházy, A Pataricza
International Carpathian Control Conference, 2010
12010
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
G Pintér, Z Micskei, A Kövi, Z Égel, I Kocsis, G Huszerl, A Pataricza
Architecting Dependable Systems V, 150-174, 2008
12008
Lightweight Formal Analysis of Requirements
A Pataricza, I Kocsis, F Brancati, L Vinerbi, A Bondavalli
1*
Requirement-Driven Generation of Distributed Ledger Architectures
NMS Al-Gburi, A Földvári, K Marussy, O Semeráth, I Kocsis
Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024
2024
Practical runtime verification of cross-organizational smart contracts
DJ Kangogo, BZ Péter, A Klenik, I Kocsis
2024
Design of Hyperledger Fabric Private Data Collections with Formal Concept Analysis
DJ Kangogo, I Kocsis
THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 43, 2024
2024
Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies
Z Ádám, BZ Péter, Z Micskei, I Kocsis
THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 15, 2024
2024
Design Space Exploration of Verifiable Credential Schemas using Partial Graph Modeling
M Farkas, BZ Péter, I Kocsis
THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 24, 2024
2024
Semantics-Based, Automated Preparation of Exploratory Data Analysis for Complex Systems
N Al-Gburi, A Klenik, I Kocsis
2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023
2023
Underestimation-Aware Failure Statistical Model Creation for Large Scale Critical Systems
S Bozóki, I Kocsis, A Pataricza
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
2023
Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows
B Ádám Toldi, I Kocsis
arXiv e-prints, arXiv: 2303.10500, 2023
2023
Knowledge-driven Exploratory Performance Data Analysis for Execute-Order-Validate Blockchains
N al-Gburi, I Kocsis
30th Minisymposium of the Department of Measurement and Information Systems …, 2023
2023
Semantically Enabled Design for Edge Cyber Physical Systems
N Lengyel, I Kocsis
29th Minisymposium of the Department of Measurement and Information Systems …, 2022
2022
Research Report CBDC-based smart contract ecosystems
I Kocsis, L Gönczy, A Klenik, P Varga, A Frankó, B Oláh
2021
Robust CBDC applications
L Gönczy, P Varga, I Kocsis
2021
Mérésalapú teljesítménymenedzsment az okos szolgáltatásokban. OKOSVÁROS-TECHNOLÓGIÁK. A technológia fejlődésének irányai és hatása XXI. kötet
L Gönczy, L Jakab, A Klenik, I Kocsis
Nemzeti Közszolgálati Egyetem, 2020
2020
Kvalitatív módszerek használata hibaterjedési vizsgálatokban. OKOSVÁROS-TECHNOLÓGIÁK. A technológia fejlődésének irányai és hatása XX. kötet
L Gönczy, L Jakab, I Kocsis
Nemzeti Közszolgálati Egyetem, 2020
2020
Kvalitatív módszerek kritikus infrastruktúrák védelmében. OKOSVÁROS-TECHNOLÓGIÁK. A technológia fejlődésének irányai és hatása XIX. kötet
L Jakab, I Kocsis, L Gönczy
Nemzeti Közszolgálati Egyetem, 2020
2020
Semantic Data Management in IT Service Performance Assurance
I Kocsis, A Pataricza
Periodica Polytechnica Electrical Engineering and Computer Science 63 (4 …, 2019
2019
Hyperledger Blockchain Performance Metrics: White Paper
M Adulla, S Baset, V Barathan, G Graham, G Hochstetler, I Kocsis, T Little, ...
https://www.hyperledger.org/learn/publications/blockchain-performance-metrics, 2018
2018
Composable Framework Support for Software-FMEA Through Model Execution
I Kocsis, A Patricia, F Brancati, F Rossi
DASIA 2016-Data Systems In Aerospace 736, 11, 2016
2016
Final Research Roadmap
I Kocsis, A Kovi, H Madeira, I Majzik, L Montecchi, A van Moorsel, ...
2009
Dependability Modeling for Model Based System Management
I Kocsis, A Pataricza
16th PhD Mini-Symposium, 24-27, 2009
2009
MODEL DRIVEN DESIGN FOR STRUCTURAL RECONFIGURATION BASED DEPENDABILITY
I KOCSIS
15TH PHD MINI-SYMPOSIUM, 24, 2008
2008
Dependability Benchmarks and System Supervision
I Kocsis, Z Kocsis, I Malatinszki, A Pataricza
Workshop on Sharing Field Data and Experiment Measurements on Resilience of …, 2008
2008
Towards the Model Based Design of Supervisory Systems
I Kocsis, A Pataricza
14th PhD Minisymposium of the Department of Measurement and Information …, 2007
2007
Bridging model-based design for dependability and empirical observations
A Pataricza, PL Pásztor, I Kocsis
Reliability Analysis of System Failure Data, 2007
2007
Landmark Estimation for Qualitative Analysis over Distributed Traces
BZ Péter, I Kocsis
Impact Assessment of IT Security Breaches in Cyber-Physical Systems
A Földvári, G Biczók, I Kocsis, L Gönczy, A Pataricza
Qualitative Performance Control in Supervised IT Infrastructures
A Pataricza, GJ Paljak, T Kovácsházy, Z Égel, D Tóth, I Kocsis
Sensor Selection for IT Infrastructure Management
G Paljak, I Kocsis, Z Égel, D Tóth, A Pataricza
SUPPORTING ERROR PROPAGATION MODELING WITH JAVA PATHFINDER
I Kocsis
WCDMA Base Station Position Optimization using Simulated Annealing
L Farkas, I Kocsis, L Nagy
The system can't perform the operation now. Try again later.
Articles 1–66