Follow
László Gönczy
László Gönczy
Associate Professor, Dept. of Measurement and Information Systems, BME
Verified email at mit.bme.hu
Title
Cited by
Cited by
Year
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
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
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
392007
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
31*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
30*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
302010
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
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
282008
UML for service-oriented systems
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
Sensoria Deliverable 1, 2007
26*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
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
252006
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
242007
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
192007
Methodologies for model-driven development and deployment: an overview
L Gönczy, Á Hegedüs, D Varró
Rigorous software engineering for service-oriented systems, 541-560, 2011
152011
MODEL BASED DEPLOYMENT OF WEB SERVICES TO STANDARDS-COMPLIANT RELIABLE MIDDLEWARE
L Gönczy, J Ávéd, D Varró
152006
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
142020
Empirical Assessment of Resilience
A Pataricza, I Kocsis, Á Salánki, L Gönczy
Software Engineering for Resilient Systems, 1-16, 2013
142013
D1. 4a: UML for service-oriented systems
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
Specification, SENSORIA Project 16004, 2007
142007
A systematic approach to developing serviceoriented systems
M Wirsing, G Carizzon, S Gilmore, L Gönczy, N Koch, P Mayer, ...
Sensoria White Paper, 2007
102007
Trust management in monitoring financial critical information infrastructures
G Lodi, R Baldoni, H Elshaafi, BP Mulcahy, G Csertán, L Gönczy
Mobile Lightweight Wireless Systems: Second International ICST Conference …, 2011
92011
Model Driven Performability Analysis of Service Configurations with Reliable Messaging
L Gönczy, Z Déri, D Varró
Proc. of Model Driven Web Engineering Workshop (MDWE) 2008, 2008
92008
MDD-based design, configuration, and monitoring of resilient cyber-physical systems
L Gönczy, I Majzik, S Bozóki, A Pataricza
Trustworthy Cyber-Physical Systems Engineering, 395-420, 2016
72016
Tool Support for Engineering Certifiable Software
L Gönczy, I Majzik, A Horváth, D Varró, A Balogh, Z Micskei, A Pataricza
Electronic Notes in Theoretical Computer Science 238 (4), 79-85, 2009
72009
Quasi–optimal scheduling algorithm for area coverage in multi–functional sensor networks
M Molnár, G Simon, L Gönczy
International Journal of Ad Hoc and Ubiquitous Computing 14 (2), 109-122, 2013
62013
Dependability analysis of web service-based business processes by model transformations
L Gönczy
Proc. of the First European Young Researchers Workshop on Service Oriented …, 2005
62005
Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study
I Dávid, L Gönczy
Computational Linguistics: Concepts, Methodologies, Tools, and Applications …, 2014
52014
A methodology for standards-driven metamodel fusion
A Pataricza, L Gönczy, A Kövi, Z Szatmári
International Conference on Model and Data Engineering, 270-277, 2011
52011
Developing Effective Service Oriented Architectures: Concepts and Applications in Service Level Agreements, Quality of Service and Reliability
L Gönczy, D Varró
Engineering Service Oriented Applications with Reliability and Security …, 2010
52010
Prototype language for service modelling: SOA ontology in structured natural language
L Bocchi, A Fantechi, L Gönczy, N Koch
Sensoria deliverable D 1, 1a, 2006
52006
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems
G Urbanics, L Gönczy, B Urbán, J Hartwig, I Kocsis
Software Engineering for Resilient Systems, 169-183, 2014
42014
D1. 4. a: UML for Service-Oriented Systems, 2007
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
SENSORIA Deliverables Month 24, 0
4
Cost Estimation for Independent Systems Verification and Validation
A Pataricza, L Gönczy, F Brancati, F Moreira, N Silva, R Esposito, ...
Certifications of Critical Systems-The CECRIS Experience. River Publishers, 117, 2017
3*2017
Data analysis-based capacity planning of VCL clouds
Á Salánki, G Kincses, L Gönczy, I Kocsis
International Journal of Cloud Computing 6 (4), 370-383, 2017
32017
Cost Prediction for V&V and Certification Processes
F Brancati, A Pataricza, N Silva, Á Hegedüs, L Gönczy, A Bondavalli, ...
2015 IEEE International Conference on Dependable Systems and Networks …, 2015
32015
Design and Deployment of Service Oriented Applications with Non-Functional Requirements
L Gönczy, V Dániel
Methodologies for nonfunctional requirements in Service Oriented …, 2008
32008
Efficient Gatherings in Wireless Sensor Networks Using Distributed Computation of Connected Dominating Sets
V Boudet, S Durand, L Gönczy, J Mathieu, J Palaysi
Sensors & Transducers 14 (2), 297, 2012
22012
Monitoring and Evaluation of Semantic Rooms
L Gönczy, G Csertán, G Urbanics, H Ghani, A Khelil, N Suri
Collaborative Financial Infrastructure Protection: Tools, Abstractions, and …, 2012
2*2012
Distributed Search of Various Backbones in Wireless Sensor Networks
V Boudet, S Durand, L Gönczy, J Mathieu, J Palaysi
SENSORCOMM 2011, The Fifth International Conference on Sensor Technologies …, 2011
22011
Non-Functional Properties in Model-Driven Development of Service Oriented Systems
L Gönczy, D Varró, S Gilmore, N Koch, P Mayer, M Tribastone
SENSORIA Summer School, 2009
12009
Methodology for a Precise Development Process of Service Oriented Applications
L Gönczy
The 2nd European Young Researchers Workshop on Service Oriented Computing, 50, 2007
12007
Dependability analysis and synthesis of web services
L Gönczy
Proc. 13th PhD Mini-Symposium, 2004
12004
Impact Assessment of IT Security Breaches in Cyber-Physical Systems
A Földvári, G Biczók, I Kocsis, L Gönczy, A Pataricza
1*
Dependability modeling of web service flows
L Gönczy, A Pataricza, F Di Giandomenico, S Chiaradonna, A Bondavalli
In Supplementary Volume of the Fifth European Conference on Dependable …, 0
1
Modeling for the dependability of complex services
L Gönczy
2018
Optimization of Reconfiguration Mechanisms in Critical Infrastructures
S Varró-Gyapay, DL Magyar, M Kocsis-Magyar, K Tasi, AH Dinh, Á Bausz, ...
Computer Safety, Reliability, and Security, 324-334, 2015
2015
Ontology-Supported Design of Domain-Specific Languages
I Dávid, L Gönczy
2014
Dependable Routing Protocol Considering the k-Coverage Problem for Wireless Sensor Networks
H Drid, L Gonczy, S Lahoud, G Bergmann, M Molnar
ICNS'2011: The Seventh International Conference on Networking and Services, 6, 2011
2011
Combining Energy-Saving and Reliability in Wireless Sensor Networks
V Boudet, S Durand, L Gonczy, J Mathieu, J Palaysi
2010
Robustness and performance analysis of a dynamic sensor network scheduling algorithm
M Molnár, G Simon, L Gönczy
Proceedings of the 5th International ICST Conference on Heterogeneous …, 2008
2008
Verification of Reconfiguration Mechanisms in Service-Oriented1
L Gönczy
CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 52, 2006
2006
wsmate2006 (In proceedings)
L Gönczy, D Varró
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
2006
DESIGN OF RELIABLE WEB SERVICES
L GÖNCZY
12TH PHD MINI-SYMPOSIUM, 36, 2005
2005
Building Complex Systems of Web Services
L Gönczy
CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 50, 2004
2004
Web service rendszerek
L Gönczy
Erdélyi Múzeum-Egyesület, 2004
2004
Optimization of Systems with Dynamic Structures
AD Hoangthanh, DL Magyar, S Varró–Gyapay, L Gönczy, A Pataricza
INFORMATION SECURITY, 11, 0
DESIGN OF ROBUST WEB SERVICES
L GÖNCZY
D3. 2. a: Approaches to Resource Usage of Mobile Services
L Bettini, L Gönczy, CWP DTU, R Pugliese, D Sangiorgi, F TILab, ...
Th04. c Methodologies for MDA and Deployment: An Overview
L Gönczy, D Varró, A Hegedüs, I UNIBO, U FFCUL, TIL ATX, B FAST, ...
SENSORIA: A Systematic Approach to Developing Service-Oriented Systems
MW LMU, GC MIP, S Gilmore, L Gönczy, CS Date, D PISA, I UNIBO, ...
Verification of Reconfiguration Mechanisms of Service-Oriented Architectures
L Gönczy
D1. 1. a: Sensoria Ontology
L Bocchi, A Fantechi, L Gönczy, N Koch, F TILab, SN BUTE, ...
The system can't perform the operation now. Try again later.
Articles 1–68