Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Georg Simhandl"'
Autor:
Uwe Zdun, Pierre-Jean Queval, Georg Simhandl, Riccardo Scandariato, Somik Chakravarty, Marjan Jelić, Aleksandar Jovanović
Publikováno v:
IEEE Transactions on Dependable and Secure Computing. :1-17
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ace213fbe59f1bc7563ec07f44a997a2
https://doi.org/10.1109/tdsc.2023.3276487
https://doi.org/10.1109/tdsc.2023.3276487
Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 30:1-29
State Machine (ASM) theory is a well-known state-based formal method. As in other state-based formal methods, the proposed specification languages for ASMs still lack easy-to-comprehend abstractions to express structural and behavioral aspects of spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1afff3405a4daa71adf1d2310ede947
https://doi.org/10.1145/3450968
https://doi.org/10.1145/3450968
Autor:
Anusha Bambhore Tukaram, Simon Schneider, Nicolás E. Díaz Ferreyra, Georg Simhandl, Uwe Zdun, Riccardo Scandariato
Publikováno v:
Proceedings of the 17th International Conference on Availability, Reliability and Security.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b19321eee7f90b85dc80a6bb2990a22
https://doi.org/10.1145/3538969.3543807
https://doi.org/10.1145/3538969.3543807
Autor:
Uwe Zdun, Pierre-Jean Queval, Georg Simhandl, Riccardo Scandariato, Somik Chakravarty, Marjan Jelic, Aleksandar Jovanovic
Microservice architectures are increasingly being used to develop application systems. Despite many guidelines and best practices being published, architecting microservice systems for security is challenging. Reasons are the size and complexity of m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::879222ce092ee1b61f0f9354294c0053
https://zenodo.org/record/7127647
https://zenodo.org/record/7127647
Autor:
Priyanka Billawa, Anusha Bambhore Tukaram, Nicolás E. Díaz Ferreyra, Jan-Philipp Steghöfer, Riccardo Scandariato, Georg Simhandl
Cloud-based application deployment is becoming increasingly popular among businesses, thanks to the emergence of microservices. However, securing such architectures is a challenging task since traditional security concepts cannot be directly applied
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d14ed640cd659f674f1a63c21c16222b
http://arxiv.org/abs/2202.01612
http://arxiv.org/abs/2202.01612
Context: Code and design smells, such as the coupling smells examined in this article, are widely studied. Existing empirical studies reveal gaps between the scientific theory and practice, not yet explained by the scientific literature. Only basic c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ca08357636ab368835332b837e2f0fd
https://doi.org/10.1016/j.infsof.2021.106539
https://doi.org/10.1016/j.infsof.2021.106539
Publikováno v:
Service-Oriented Computing ISBN: 9783030653095
ICSOC
ICSOC
Various kinds of dynamic routing architectures are used in today’s service- and cloud-based architectures, including sidecar-based routing, routing through a central entity such as an event store, or architectures with multiple dynamic routers. We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec07262a2390e80046bfae26fcf0a5da
https://doi.org/10.1007/978-3-030-65310-1_13
https://doi.org/10.1007/978-3-030-65310-1_13
Publikováno v:
Journal of Systems and Software. 146:310-355
There is a growing interest on context-aware systems in recent years. Context-aware systems are able to change their behaviour depending on new conditions regarding the user, the platform and the environment. These systems are evolving towards intera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb6ca8b0e3f10c68a3e23a986aba4d44
https://doi.org/10.1016/j.jss.2018.09.074
https://doi.org/10.1016/j.jss.2018.09.074
Publikováno v:
Journal of Systems and Software. 178:110987
Abstract State Machine (ASM) theory is a well-known state-based formal method to analyze and specify software and hardware systems. As in other state-based formal methods, the proposed modeling languages for ASMs still lack easy-to-comprehend abstrac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93b96e285284cded8e8ffccf1b1bc545
https://doi.org/10.1016/j.jss.2021.110987
https://doi.org/10.1016/j.jss.2021.110987
Publikováno v:
EMIP@ICSE
Increasingly complex systems require powerful and easy to understand specification languages. In the course of the design and the extension of an executable specification language based on the Abstract State Machines formalism we recently performed a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::780571dd2a5e37c2e72814af2660725c
https://doi.org/10.1109/emip.2019.00014
https://doi.org/10.1109/emip.2019.00014