| 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 | 60 | 2011 |
| Simulation and formal analysis of workflow models M Kovács, L Gönczy Electronic Notes in Theoretical Computer Science 211, 221-230, 2008 | 43 | 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 | 37 | 2006 |
| 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 | 33 | 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 | 31 | 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 | 30 | 2009 |
| 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 | 27 | 2010 |
| 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 | 26 | 2008 |
| 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 | 24 | 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 | 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 | 22 | 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 | 20 | 2006 |
| 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 | 17 | 2011 |
| Model transformations for performability analysis of service configurations L Gönczy, Z Déri, D Varró Models in Software Engineering, 153-166, 2009 | 17 | 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 | 17 | 2008 |
| 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 | 17 | 2006 |
Daniel VarroProfessorDirección de correo verificada de mcgill.ca
