László Gönczy
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
"Empirical Assessment of Resilience",
Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study",
Advances and Applications in Model-Driven Engineering: IGI Global, 2013.
Abstract
"Methodologies for Model-Driven Development and Deployment: an Overview",
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011.
Abstract
"Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems",
Software and Systems Modeling, 2010.
Abstract
Appeared online
"Optimal Period Length for the CGS Sensor Network Scheduling Algorithm",
International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"Formal analysis of BPEL workflows with compensation by model checking",
International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008.
Abstract
"Model Transformations for Performability Analysis of Service Configurations",
Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, vol. 5421: Springer, pp. 153-166, 2008.
Abstract
"SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity",
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008.
Abstract
"Modeling and Verification of Reliable Messaging by Graph Transformation Systems",
Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007.
Abstract
"Model-Based Testing of Service Infrastructure Components",
Proc. Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, TestCom/FATES 2007, Tallinn, Estonia, June 26-29, 2007, vol. 4581: Springer, pp. 155-170, 2007.
Abstract
Acceptance rate: 39%
"Formal Modeling of BPEL Workflows Including Fault and Compensation Handling",
EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems, New York, NY, USA, ACM, pp. 1, 2007.
Abstract
"Modeling Reliable Messaging in Service Oriented Architecture",
International Workshop on Web Services –- Modeling and Testing, Palermo, Italy, June, 2006.
Abstract
Dependability Evaluation of Web Service-Based Processes, Formal Methods and Stochastic Models for Performance Evaluation,
: Springer-Verlag, pp. 166 - 180, 2006.
Abstract
L3: citeulike-article-id:3911666SE: Lecture Notes in Computer Science
KW: dependability evaluation
Proc. of the Third European Performance Engineering Workshop (EPEW-2006)