Folgen
Laszlo Gonczy
Laszlo Gonczy
Assistant Professor, Department of Measurement and Information Systems, Budapest University of
Bestätigte E-Mail-Adresse bei mit.bme.hu
Titel
Zitiert von
Zitiert von
Jahr
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
632011
Simulation and formal analysis of workflow models
M Kovács, L Gönczy
Electronic Notes in Theoretical Computer Science 211, 221-230, 2008
442008
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
382006
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
372007
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
322010
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
30*2011
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
292009
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
272008
UML for service-oriented systems
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
Sensoria Deliverable 1, 2007
27*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
262006
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
24*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
232007
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
232006
Model transformations for performability analysis of service configurations
L Gönczy, Z Déri, D Varró
Models in Software Engineering, 153-166, 2009
192009
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
192008
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
172007
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20