Laszlo Gonczy
Laszlo Gonczy
Research Associate, Department of Measurement and Information Systems, Budapest University of Technology and Economics
Dirección de correo verificada de mit.bme.hu
Título
Citado por
Citado por
Ańo
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
602011
Simulation and formal analysis of workflow models
M Kovács, L Gönczy
Electronic Notes in Theoretical Computer Science 211, 221-230, 2008
432008
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
372006
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
332007
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
312010
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
302009
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
27*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
272010
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
262008
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
242006
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
23*2010
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
222007
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
202006
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
Model transformations for performability analysis of service configurations
L Gönczy, Z Déri, D Varró
Models in Software Engineering, 153-166, 2009
172009
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
MODEL BASED DEPLOYMENT OF WEB SERVICES TO STANDARDS-COMPLIANT RELIABLE MIDDLEWARE
L Gönczy, J Ávéd, D Varró
17*2006
Model-based deployment of web services to standards-compliant middleware
L Gönczy, J Ávéd, D Varró
Proc. of the Iadis International Conference on WWW/Internet, 2006
172006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20