Dependability Evaluation of Web Service-Based Processes. - László Gönczy; Silvano Chiaradonna; Felicita Di Giandomenico; András Pataricza; Andrea Bondavalli; Tamás Bartha (EPEW, 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 (SAFECOMP, 2006)

Modeling and Verification of Reliable Messaging by Graph Transformation Systems. - László Gönczy; Máté Kovács; Dániel Varró (GT-VC@CONCUR, 2006)

Simulation and Formal Analysis of Workflow Models. - Máté Kovács; László Gönczy (GT-VMT@ETAPS, 2006)

Model-Based Testing of Service Infrastructure Components. - László Gönczy; Reiko Heckel; Dániel Varró (TestCom/FATES, 2007)

Formal modeling of BPEL workflows including fault and compensation handling. - Máté Kovács; Dániel Varró; László Gönczy (EFTS, 2007)

Dependable k-coverage algorithms for sensor networks - Gyula Simon; Miklós Molnár; László Gönczy; Bernard Cousin (CoRR, 2007)

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; et al. (ISoLA, 2008)

Model Transformations for Performability Analysis of Service Configurations. - László Gönczy; Zsolt Déri; Dániel Varró (MoDELS (Workshops), 2008)

Model Driven Performability Analysis of Service Configurations with Reliable Messaging. - László Gönczy; Zsolt Déri; Dániel Varró (MDWE@MoDELS, 2008)

Robustness and performance analysis of a dynamic sensor network scheduling algorithm. - Miklós Molnár; Gyula Simon; László Gönczy (QSHINE, 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)

Tool Support for Engineering Certifiable Software. - László Gönczy; István Majzik; Ákos Horváth 001; Dániel Varró; András Balogh; Zoltán Micskei; András Pataricza (SafeCert@ETAPS, 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)

Workflow-Driven Tool Integration Using Model Transformations. - András Balogh; Gábor Bergmann; György Csertán; László Gönczy; Ákos Horváth 001; István Majzik; András Pataricza; Balázs Polgár; István Ráth; Dániel Varró; Gergely Varró (Graph Transformations and Model-Driven Engineering, 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 (MOBILIGHT, 2010)

UML Extensions for Service-Oriented Systems. - Howard Foster; László Gönczy; Nora Koch; Philip Mayer; Carlo Montangero; Dániel Varró (Results of the SENSORIA Project, 2011)

Methodologies for Model-Driven Development and Deployment: An Overview. - László Gönczy; Ábel Hegedüs; Dániel Varró (Results of the SENSORIA Project, 2011)

A Methodology for Standards-Driven Metamodel Fusion. - András Pataricza; László Gönczy; András Kövi; Zoltán Szatmári (MEDI, 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)

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 (Collaborative Financial Infrastructure Protection, 2012)

Empirical Assessment of Resilience. - András Pataricza; Imre Kocsis; Ágnes Salánki; László Gönczy (SERENE, 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)

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 (SERENE, 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)

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 (DSN Workshops, 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 (SAFECOMP Workshops, 2015)

Data analysis-based capacity planning of VCL clouds. - Ágnes Salánki; Gergo Kincses; László Gönczy; Imre Kocsis (Int. J. Cloud Comput., 2017)

Modeling for the Dependability of Complex Services - László Gönczy (2019)

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)

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 (LADC, 2021)

CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains. - André Augusto; Rafael Belchior; Imre Kocsis; László Gönczy; André Vasconcelos 001; Miguel Correia 001 (ICBC, 2023)