László Gönczy

According to our database, László Gönczy authored at least 32 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains.

André Augusto, Rafael Belchior, Imre Kocsis, László Gönczy, André Vasconcelos, Miguel Correia

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2021

Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper.

András Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, András Pataricza

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.

Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza

IEEE Access, 2020

2019

Modeling for the Dependability of Complex Services

László Gönczy

PhD thesis, 2019

2017

Data analysis-based capacity planning of VCL clouds.

Ágnes Salánki, Gergo Kincses, László Gönczy, Imre Kocsis

Int. J. Cloud Comput., 2017

2015

Optimization of Reconfiguration Mechanisms in Critical Infrastructures.

Szilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz, László Gönczy

Proceedings of the Computer Safety, Reliability, and Security, 2015

Cost Prediction for V&V and Certification Processes.

Francesco Brancati, András Pataricza, Nuno Silva, Ábel Hegedüs, László Gönczy, Andrea Bondavalli, Rosaria Esposito

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2014

Assessing the security of internet-connected critical infrastructures.

Hamza Ghani, Abdelmajid Khelil, Neeraj Suri, György Csertán, László Gönczy, Gábor Urbanics, James Clarke

Secur. Commun. Networks, 2014

Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems.

Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

2013

Quasi-optimal scheduling algorithm for area coverage in multi-functional sensor networks.

Miklós Molnár, Gyula Simon, László Gönczy

Int. J. Ad Hoc Ubiquitous Comput., 2013

Empirical Assessment of Resilience.

András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

2012

Monitoring and Evaluation of Semantic Rooms.

Paulo Esteves Verssimo, László Gönczy, György Csertán, Gábor Urbanics, Hamza Ghani, Abdelmajid Khelil, Neeraj Suri

Proceedings of the Collaborative Financial Infrastructure Protection, 2012

2011

Non-functional properties in the model-driven development of service-oriented systems.

Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró

Softw. Syst. Model., 2011

A Methodology for Standards-Driven Metamodel Fusion.

András Pataricza, László Gönczy, András Kövi, Zoltán Szatmári

Proceedings of the Model and Data Engineering - First International Conference, 2011

Methodologies for Model-Driven Development and Deployment: An Overview.

László Gönczy, Ábel Hegedüs, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

UML Extensions for Service-Oriented Systems.

Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Trust Management in Monitoring Financial Critical Information Infrastructures.

Giorgia Lodi, Roberto Baldoni, Hisain Elshaafi, Barry P. Mulcahy, György Csertán, László Gönczy

Proceedings of the Mobile Lightweight Wireless Systems, 2010

Workflow-Driven Tool Integration Using Model Transformations.

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ó

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2008

Robust k-Coverage Algorithms for Sensor Networks.

Gyula Simon, Miklós Molnár, László Gönczy, Bernard Cousin

IEEE Trans. Instrum. Meas., 2008

Tool Support for Engineering Certifiable Software.

László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Formal analysis of BPEL. workflows with compensation by model checking.

Máté Kovács, Dániel Varró, László Gönczy

Comput. Syst. Sci. Eng., 2008

Robustness and performance analysis of a dynamic sensor network scheduling algorithm.

Miklós Molnár, Gyula Simon, László Gönczy

Proceedings of the 5th International ICST Conference on Heterogeneous Networking for Quality, 2008

Model Driven Performability Analysis of Service Configurations with Reliable Messaging.

László Gönczy, Zsolt Déri, Dániel Varró

Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

Model Transformations for Performability Analysis of Service Configurations.

László Gönczy, Zsolt Déri, Dániel Varró

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.

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ó

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Dependable k-coverage algorithms for sensor networks

Gyula Simon, Miklós Molnár, László Gönczy, Bernard Cousin

CoRR, 2007

Formal modeling of BPEL workflows including fault and compensation handling.

Máté Kovács, Dániel Varró, László Gönczy

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Model-Based Testing of Service Infrastructure Components.

László Gönczy, Reiko Heckel, Dániel Varró

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

Simulation and Formal Analysis of Workflow Models.

Máté Kovács, László Gönczy

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Modeling and Verification of Reliable Messaging by Graph Transformation Systems.

László Gönczy, Máté Kovács, Dániel Varró

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.

Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán

Proceedings of the Computer Safety, 2006

Dependability Evaluation of Web Service-Based Processes.

László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006