László Gönczy

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 5

Top Topics

Deblocking Filter

Security Breaches

Critical Infrastructure

Fault Injection

Top Venues

Int. J. Cloud Comput.

Secur. Commun. Networks

Publications

André Augusto, Rafael Belchior, Imre Kocsis, László Gönczy, André Vasconcelos, Miguel Correia
CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains. ICBC (2023)
András Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, András Pataricza
Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper. LADC (2021)
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. CoRR (2020)
Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. IEEE Access 8 (2020)
Ágnes Salánki, Gergo Kincses, László Gönczy, Imre Kocsis
Data analysis-based capacity planning of VCL clouds. Int. J. Cloud Comput. 6 (4) (2017)
Francesco Brancati, András Pataricza, Nuno Silva, Ábel Hegedüs, László Gönczy, Andrea Bondavalli, Rosaria Esposito
Cost Prediction for V&V and Certification Processes. DSN Workshops (2015)
Szilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz, László Gönczy
Optimization of Reconfiguration Mechanisms in Critical Infrastructures. SAFECOMP Workshops (2015)
Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems. SERENE (2014)
Hamza Ghani, Abdelmajid Khelil, Neeraj Suri, György Csertán, László Gönczy, Gábor Urbanics, James Clarke
Assessing the security of internet-connected critical infrastructures. Secur. Commun. Networks 7 (12) (2014)
Miklós Molnár, Gyula Simon, László Gönczy
Quasi-optimal scheduling algorithm for area coverage in multi-functional sensor networks. Int. J. Ad Hoc Ubiquitous Comput. 14 (2) (2013)
András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy
Empirical Assessment of Resilience. SERENE (2013)
András Pataricza, László Gönczy, András Kövi, Zoltán Szatmári
A Methodology for Standards-Driven Metamodel Fusion. MEDI (2011)
Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró
Non-functional properties in the model-driven development of service-oriented systems. Softw. Syst. Model. 10 (3) (2011)
András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró
Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering (2010)
Giorgia Lodi, Roberto Baldoni, Hisain Elshaafi, Barry P. Mulcahy, György Csertán, László Gönczy
Trust Management in Monitoring Financial Critical Information Infrastructures. MOBILIGHT (2010)
László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
Tool Support for Engineering Certifiable Software. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Máté Kovács, Dániel Varró, László Gönczy
Formal analysis of BPEL. workflows with compensation by model checking. Comput. Syst. Sci. Eng. 23 (5) (2008)
Miklós Molnár, Gyula Simon, László Gönczy
Robustness and performance analysis of a dynamic sensor network scheduling algorithm. QSHINE (2008)
Gyula Simon, Miklós Molnár, László Gönczy, Bernard Cousin
Robust k-Coverage Algorithms for Sensor Networks. IEEE Trans. Instrum. Meas. 57 (8) (2008)
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA (2008)
László Gönczy, Zsolt Déri, Dániel Varró
Model Driven Performability Analysis of Service Configurations with Reliable Messaging. MDWE@MoDELS (2008)
Máté Kovács, László Gönczy
Simulation and Formal Analysis of Workflow Models. Electron. Notes Theor. Comput. Sci. 211 (2008)
László Gönczy, Zsolt Déri, Dániel Varró
Model Transformations for Performability Analysis of Service Configurations. MoDELS (Workshops) (2008)
László Gönczy, Máté Kovács, Dániel Varró
Modeling and Verification of Reliable Messaging by Graph Transformation Systems. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Gyula Simon, Miklós Molnár, László Gönczy, Bernard Cousin
Dependable k-coverage algorithms for sensor networks CoRR (2007)
László Gönczy, Reiko Heckel, Dániel Varró
Model-Based Testing of Service Infrastructure Components. TestCom/FATES (2007)
Máté Kovács, Dániel Varró, László Gönczy
Formal modeling of BPEL workflows including fault and compensation handling. EFTS (2007)
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
Dependability Evaluation of Web Service-Based Processes. EPEW (2006)
Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. SAFECOMP (2006)