László Gönczy
László Gönczy
Associate Professor, Dept. of Measurement and Information Systems, BME
Verified email at
Cited by
Cited by
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
Simulation and formal analysis of workflow models
M Kovács, L Gönczy
Electronic Notes in Theoretical Computer Science 211, 221-230, 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
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
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
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
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
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
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
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
UML for service-oriented systems
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
Sensoria Deliverable 1, 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
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
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
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
Model transformations for performability analysis of service configurations
L Gönczy, Z Déri, D Varró
Models in Software Engineering, 153-166, 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
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
Model-Based Testing of Service Infrastructure Components
L Gönczy, R Heckel, D Varró
Testing of Software and Communicating Systems, 155-170, 2007
Methodologies for model-driven development and deployment: an overview
L Gönczy, Á Hegedüs, D Varró
Rigorous software engineering for service-oriented systems, 541-560, 2011
The system can't perform the operation now. Try again later.
Articles 1–20