default search action
László Gönczy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c20]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: 1-9 - 2021
- [c19]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: 1-4 - 2020
- [j7]Á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: 190760-190783 (2020) - [i2]Á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 abs/2006.11597 (2020)
2010 – 2019
- 2019
- [b1]László Gönczy:
Modeling for the Dependability of Complex Services. Budapest University of Technology and Economics, Hungary, 2019 - 2017
- [j6]Á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): 370-383 (2017) - 2015
- [c18]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: 57-62 - [c17]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: 324-334 - 2014
- [j5]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): 2713-2725 (2014) - [c16]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: 169-183 - 2013
- [j4]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): 109-122 (2013) - [c15]András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy:
Empirical Assessment of Resilience. SERENE 2013: 1-16 - 2012
- [p3]Paulo Esteves Verssimo, László Gönczy, György Csertán, Gábor Urbanics, Hamza Ghani, Abdelmajid Khelil, Neeraj Suri:
Monitoring and Evaluation of Semantic Rooms. Collaborative Financial Infrastructure Protection 2012: 99-116 - 2011
- [j3]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): 287-311 (2011) - [c14]András Pataricza, László Gönczy, András Kövi, Zoltán Szatmári:
A Methodology for Standards-Driven Metamodel Fusion. MEDI 2011: 270-277 - [p2]Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró:
UML Extensions for Service-Oriented Systems. Results of the SENSORIA Project 2011: 35-60 - [p1]László Gönczy, Ábel Hegedüs, Dániel Varró:
Methodologies for Model-Driven Development and Deployment: An Overview. Results of the SENSORIA Project 2011: 541-560 - 2010
- [c13]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: 224-248 - [c12]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: 427-439
2000 – 2009
- 2008
- [j2]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) - [j1]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): 1741-1748 (2008) - [c11]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: 170-190 - [c10]László Gönczy, Zsolt Déri, Dániel Varró:
Model Transformations for Performability Analysis of Service Configurations. MoDELS (Workshops) 2008: 153-166 - [c9]László Gönczy, Zsolt Déri, Dániel Varró:
Model Driven Performability Analysis of Service Configurations with Reliable Messaging. MDWE@MoDELS 2008 - [c8]Miklós Molnár, Gyula Simon, László Gönczy:
Robustness and performance analysis of a dynamic sensor network scheduling algorithm. QSHINE 2008: 52 - [c7]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. SafeCert@ETAPS 2008: 79-85 - 2007
- [c6]László Gönczy, Reiko Heckel, Dániel Varró:
Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170 - [c5]Máté Kovács, Dániel Varró, László Gönczy:
Formal modeling of BPEL workflows including fault and compensation handling. EFTS 2007: 1 - [i1]Gyula Simon, Miklós Molnár, László Gönczy, Bernard Cousin:
Dependable k-coverage algorithms for sensor networks. CoRR abs/0710.3918 (2007) - 2006
- [c4]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: 166-180 - [c3]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: 372-385 - [c2]László Gönczy, Máté Kovács, Dániel Varró:
Modeling and Verification of Reliable Messaging by Graph Transformation Systems. GT-VC@CONCUR 2006: 37-50 - [c1]Máté Kovács, László Gönczy:
Simulation and Formal Analysis of Workflow Models. GT-VMT@ETAPS 2006: 221-230
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint