László Gönczy

33 papers B 1C 4Journal 9Unranked 15

Year	Rank	Type	Title / Venue / Authors
2023	C	`conf`	CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains. ICBC André Augusto, Rafael Belchior, Imre Kocsis, László Gönczy, André Vasconcelos, Miguel Correia
2021	—	`conf`	Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper. LADC András Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, András Pataricza
2020	J	`jnl`	Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. IEEE Access Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
2020	J	`jnl`	Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. CoRR Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza
2019	—	`—`	Modeling for the Dependability of Complex Services László Gönczy
2017	J	`jnl`	Data analysis-based capacity planning of VCL clouds. Int. J. Cloud Comput. Ágnes Salánki, Gergo Kincses, László Gönczy, Imre Kocsis
2015	—	`conf`	Cost Prediction for V&V and Certification Processes. DSN Workshops Francesco Brancati, András Pataricza, Nuno Silva, Ábel Hegedüs, László Gönczy, Andrea Bondavalli, Rosaria Esposito
2015	—	`conf`	Optimization of Reconfiguration Mechanisms in Critical Infrastructures. SAFECOMP Workshops Szilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz, László Gönczy
2014	J	`jnl`	Assessing the security of internet-connected critical infrastructures. Secur. Commun. Networks Hamza Ghani, Abdelmajid Khelil, Neeraj Suri, György Csertán, László Gönczy, Gábor Urbanics, James Clarke
2014	—	`conf`	Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems. SERENE Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis
2013	—	`conf`	Empirical Assessment of Resilience. SERENE András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy
2013	J	`jnl`	Quasi-optimal scheduling algorithm for area coverage in multi-functional sensor networks. Int. J. Ad Hoc Ubiquitous Comput. Miklós Molnár, Gyula Simon, László Gönczy
2012	—	`ch.`	Monitoring and Evaluation of Semantic Rooms. Collaborative Financial Infrastructure Protection Paulo Esteves Verssimo, László Gönczy, György Csertán, Gábor Urbanics, Hamza Ghani, Abdelmajid Khelil, Neeraj Suri
2011	C	`conf`	A Methodology for Standards-Driven Metamodel Fusion. MEDI András Pataricza, László Gönczy, András Kövi, Zoltán Szatmári
2011	—	`ch.`	Methodologies for Model-Driven Development and Deployment: An Overview. Results of the SENSORIA Project László Gönczy, Ábel Hegedüs, Dániel Varró
2011	J	`jnl`	Non-functional properties in the model-driven development of service-oriented systems. Softw. Syst. Model. Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró
2011	—	`ch.`	UML Extensions for Service-Oriented Systems. Results of the SENSORIA Project Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró
2010	—	`conf`	Trust Management in Monitoring Financial Critical Information Infrastructures. MOBILIGHT Giorgia Lodi, Roberto Baldoni, Hisain Elshaafi, Barry P. Mulcahy, György Csertán, László Gönczy
2010	—	`conf`	Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering 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ó
2008	J	`jnl`	Formal analysis of BPEL. workflows with compensation by model checking. Comput. Syst. Sci. Eng. Máté Kovács, Dániel Varró, László Gönczy
2008	—	`conf`	Model Driven Performability Analysis of Service Configurations with Reliable Messaging. MDWE@MoDELS László Gönczy, Zsolt Déri, Dániel Varró
2008	—	`conf`	Model Transformations for Performability Analysis of Service Configurations. MoDELS (Workshops) László Gönczy, Zsolt Déri, Dániel Varró
2008	J	`jnl`	Robust k-Coverage Algorithms for Sensor Networks. IEEE Trans. Instrum. Meas. Gyula Simon, Miklós Molnár, László Gönczy, Bernard Cousin
2008	C	`conf`	Robustness and performance analysis of a dynamic sensor network scheduling algorithm. QSHINE Miklós Molnár, Gyula Simon, László Gönczy
2008	C	`conf`	SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 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ó
2008	—	`conf`	Tool Support for Engineering Certifiable Software. SafeCert@ETAPS László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
2007	J	`jnl`	Dependable k-coverage algorithms for sensor networks CoRR Gyula Simon, Miklós Molnár, László Gönczy, Bernard Cousin
2007	—	`conf`	Formal modeling of BPEL workflows including fault and compensation handling. EFTS Máté Kovács, Dániel Varró, László Gönczy
2007	—	`conf`	Model-Based Testing of Service Infrastructure Components. TestCom/FATES László Gönczy, Reiko Heckel, Dániel Varró
2006	—	`conf`	Dependability Evaluation of Web Service-Based Processes. EPEW László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
2006	—	`conf`	Modeling and Verification of Reliable Messaging by Graph Transformation Systems. GT-VC@CONCUR László Gönczy, Máté Kovács, Dániel Varró
2006	—	`conf`	Simulation and Formal Analysis of Workflow Models. GT-VMT@ETAPS Máté Kovács, László Gönczy
2006	B	`conf`	Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. SAFECOMP Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán