László Gönczy

Cited by

	All	Since 2020
Citations	723	87
h-index	18	5
i10-index	24	1

200620072008200920102011201220132014201520162017201820192020202120222023202420256 26 51 27 72 70 69 51 60 53 28 19 53 29 14 16 17 15 21 3

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillVerified email at liu.se
András PatariczaBudapest University of Technology and EconomicsVerified email at vik.bme.hu
Dr. Philip MayerPostDoc at the Programming & Software Engineering Group, LMU MunichVerified email at pst.ifi.lmu.de
Nora KochUniversidad de Sevilla, LMUVerified email at iwt2.org
Molnar Miklosprofessor in Computer Science, University Montpellier 2, IUTVerified email at lirmm.fr
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Gyula SimonÓbuda UniversityVerified email at amk.uni-obuda.hu
Imre KocsisBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Bernard A. COUSINProfessor in Computer Science, University of Rennes 1, IRISAVerified email at irisa.fr
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Gabor UrbanicsSoftware EngineerVerified email at meltwater.com
Ákos HorváthCTO @IncQuery Labs, Honorary Associate Professor at the Fault Tolerant Research Group, BudapestVerified email at incquerylabs.com
András Baloghthyssenkrupp Presta Hungary Kft.Verified email at baboprint.hu
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Prof. Dr. Abdelmajid KhelilProfessor, CS Department, Landshut UniversityVerified email at haw-landshut.de
Hamza GhaniResearcher, computer science, TU DarmstadtVerified email at deeds.informatik.tu-darmstadt.de
Tamás BarthaSZTAKI, BME KJITVerified email at sztaki.hu

László Gönczy

Associate Professor, Dept. of Measurement and Information Systems, BME

Verified email at mit.bme.hu


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Non-functional properties in the model-driven development of service-oriented systems S Gilmore, L Gönczy, N Koch, P Mayer, M Tribastone, D Varró Software and Systems Modeling 10 (3), 287-311, 2011	65	2011
Simulation and formal analysis of workflow models M Kovács, L Gönczy Electronic Notes in Theoretical Computer Science 211, 221-230, 2008	43	2008
Dependability evaluation of web service-based processes L Gönczy, S Chiaradonna, F Di Giandomenico, A Pataricza, A Bondavalli, ... Formal Methods and Stochastic Models for Performance Evaluation, 166-180, 2006	42	2006
Dependable k-coverage algorithms for sensor networks G Simon, M Molnar, L Gonczy, B Cousin 2007 IEEE Instrumentation & Measurement Technology Conference IMTC 2007, 1-6, 2007	38	2007
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity M Wirsing, M Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ... Leveraging Applications of Formal Methods, Verification and Validation, 170-190, 2009	37	2009
Optimal period length for the CGS sensor network scheduling algorithm G Bergmann, M Molnár, L Gönczy, B Cousin Networking and Services (ICNS), 2010 Sixth International Conference on, 192-199, 2010	36	2010
UML extensions for service-oriented systems H Foster, L Gönczy, N Koch, P Mayer, C Montangero, D Varró Rigorous software engineering for service-oriented systems, 35-60, 2011	33*	2011
Workflow-driven tool integration using model transformations, Graph transformations and model-driven engineering: essays dedicated to Manfred Nagl on the occasion of his 65th … A Balogh, G Bergmann, G Csertán, L Gönczy, Á Horváth, I Majzik, ... Springer-Verlag, Berlin, Heidelberg, 2010	30*	2010
Workflow-driven tool integration using model transformations A Balogh, G Bergmann, G Csertán, L Gönczy, Á Horváth, I Majzik, ... Graph transformations and model-driven engineering, 224-248, 2010	30	2010
Formal analysis of BPEL workflows with compensation by model checking M Kovács, D Varró, L Gonczy Computer Systems Science and Engineering 23 (5), 349, 2008	27	2008
UML for service-oriented systems N Koch, P Mayer, R Heckel, L Gönczy, C Montangero Sensoria Deliverable 1, 2007	27*	2007
Modeling and verification of reliable messaging by graph transformation systems L Gönczy, M Kovács, D Varró Electronic Notes in Theoretical Computer Science 175 (4), 37-50, 2007	26	2007
Modeling of Reliable Messaging in Service Oriented Architectures 3 L Gönczy, D Varró International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 35, 2006	26	2006
Assessing the Security of Internet Connected Critical Infrastructures (The CoMiFin Project Approach) H Ghani, A Khelil, N Suri, G Csertán, L Gönczy, G Urbanics, J Clarke Proc. of the Workshop on Security of the Internet of Things, 2010	24*	2010
Validation and Certification of Safety-Critical Embedded Systems–The DECOS Test Bench E Schoitsch, E Althammer, H Eriksson, J Vinter, L Gönczy, A Pataricza, ... Computer Safety, Reliability, and Security, 372-385, 2006	24	2006
Model-Based Testing of Service Infrastructure Components L Gönczy, R Heckel, D Varró Testing of Software and Communicating Systems, 155-170, 2007	21	2007
Model transformations for performability analysis of service configurations L Gönczy, Z Déri, D Varró Models in Software Engineering, 153-166, 2009	19	2009
Robust-Coverage Algorithms for Sensor Networks G Simon, M Molnár, L Gönczy, B Cousin Instrumentation and Measurement, IEEE Transactions on 57 (8), 1741-1748, 2008	19	2008
Formal modeling of BPEL workflows including fault and compensation handling M Kovács, D Varró, L Gönczy Proceedings of the 2007 workshop on engineering fault tolerant systems, 1, 2007	19	2007
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors