Laszlo Gonczy
Laszlo Gonczy
Research Associate, Department of Measurement and Information Systems, Budapest University of Technology and Economics
E-mail megerősítve itt: mit.bme.hu
CímIdézteÉv
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
552011
Simulation and formal analysis of workflow models
M Kovács, L Gönczy
Electronic Notes in Theoretical Computer Science 211, 221-230, 2008
402008
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
352006
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
322007
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
282010
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
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
282009
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
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
252006
UML for service-oriented systems
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
Sensoria Deliverable 1, 2007
24*2007
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
212007
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
18*2010
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
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
172006
Model transformations for performability analysis of service configurations
L Gönczy, Z Déri, D Varró
Models in Software Engineering, 153-166, 2009
162009
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
162008
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
152007
MODEL BASED DEPLOYMENT OF WEB SERVICES TO STANDARDS-COMPLIANT RELIABLE MIDDLEWARE
L Gönczy, J Ávéd, D Varró
15*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
152006
D1. 4a: UML for service-oriented systems
N Koch, P Mayer, R Heckel, L Gönczy, C Montangero
Specification, SENSORIA Project 16004, 2007
122007
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
112011
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
102011
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
Model-Based Testing of Service Infrastructure Components
L Gönczy, R Heckel, D Varró
Testing of Software and Communicating Systems, 155-170, 2007
92007
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
82009
A systematic approach to developing serviceoriented systems
M Wirsing, G Carizzon, S Gilmore, L Gönczy, N Koch, P Mayer, ...
Sensoria White Paper, 2007
72007
Empirical Assessment of Resilience
A Pataricza, I Kocsis, Á Salánki, L Gönczy
Software Engineering for Resilient Systems, 1-16, 2013
62013
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
62010
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
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
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
42011
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
32013
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
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
22014
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
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
12014
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
12012
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
Dependability analysis and synthesis of web services
L Gönczy
Proc. 13th PhD Mini-Symposium, 2004
12004
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
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
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, ...
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–58