עקוב אחר
László Gönczy
László Gönczy
Associate Professor, Dept. of Measurement and Information Systems, BME
כתובת אימייל מאומתת בדומיין mit.bme.hu
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
672011
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‏
422006
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‏
382007
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‏
362009
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‏
352010
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‏
33*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‏
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
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 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‏
262007
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
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‏
242006
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‏
192007
Model-Based Testing of Service Infrastructure Components‏
L Gönczy, R Heckel, D Varró‏
Testing of Software and Communicating Systems, 155-170, 2007‏
182007
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts‏
Á Hajdu, N Ivaki, I Kocsis, A Klenik, L Gönczy, N Laranjeiro, H Madeira, ...‏
IEEE Access 8, 190760-190783, 2020‏
162020
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20