Laszlo Gonczy
Laszlo Gonczy
Research Associate, Department of Measurement and Information Systems, Budapest University of Technology and Economics
Verified email at mit.bme.hu
TitleCited byYear
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
562011
Simulation and formal analysis of workflow models
M Kovács, L Gönczy
Electronic Notes in Theoretical Computer Science 211, 221-230, 2008
402008
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
362006
Dependable k-coverage algorithms for sensor networks
G Simon, M Molnár, L Gönczy, B Cousin
Instrumentation and Measurement Technology Conference Proceedings, 2007 …, 2007
322007
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
292010
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
28*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
282010
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
282009
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
272008
UML for service-oriented systems
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
Sensoria Deliverable 1, 2007
25*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
252006
UML Extensions for Service-Oriented Systems
L Gönczy, D Varró, H Foster, P Mayer, C Montagnero, N Koch
Springer-Verlag, 2011
22*2011
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
212007
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
19*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
172011
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
172008
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
172006
Model transformations for performability analysis of service configurations
L Gönczy, Z Déri, D Varró
Models in Software Engineering, 153-166, 2009
162009
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
152007
MODEL BASED DEPLOYMENT OF WEB SERVICES TO STANDARDS-COMPLIANT RELIABLE MIDDLEWARE
L Gönczy, J Ávéd, D Varró
15*2006
The system can't perform the operation now. Try again later.
Articles 1–20