Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Stephan Seifermann"'
Autor:
Robert Heinrich, Stephan Seifermann, Maximilian Walter, Sebastian Hahner, Ralf Reussner, Tomáš Bureš, Petr Hnětynka, Jan Pacovský
Publikováno v:
Digital Transformation ISBN: 9783662650035
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3c7054f9afdc1cfbfe639655a2216ef
https://doi.org/10.1007/978-3-662-65004-2_6
https://doi.org/10.1007/978-3-662-65004-2_6
Autor:
Maximilian Walter, Sebastian Hahner, Stephan Seifermann, Tomas Bures, Petr Hnetynka, Jan Pacovský, Robert Heinrich
Publikováno v:
Software Architecture ISBN: 9783031151156
More and more connected systems gather and exchange data. This allows building smarter, more efficient and overall better systems. However, the exchange of data also leads to questions regarding the confidentiality of these systems. Design notions su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e2a344b65d24eb52e4cb1a7d1ded336c
Publikováno v:
Software Architecture ISBN: 9783031166969
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::abeafa3d3eda65ee49a93f8ceced0652
https://doi.org/10.1007/978-3-031-16697-6_6
https://doi.org/10.1007/978-3-031-16697-6_6
Publikováno v:
The journal of systems and software, 184, Art.-Nr. 111138
The security of software-intensive systems is frequently attacked. High fines or loss in reputation are potential consequences of not maintaining confidentiality, which is an important security objective. Detecting confidentiality issues in early sof
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::051dafd789cd22c916ed3703625961b3
Autor:
Tomáš Bureš, Petr Hnětynka, Martin Kruliš, František Plášil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3299b4df0c9d4ab18636b25213818d4
https://doi.org/10.1007/978-3-031-19759-8_14
https://doi.org/10.1007/978-3-031-19759-8_14
Autor:
Stephan Seifermann, Petr Hnetynka, Robert Heinrich, Tomas Bures, Maximilian Walter, Sebastian Hahner
Publikováno v:
ICSA Companion
With the increase in connectedness and the growing volume of data, ensuring confidentiality becomes increasingly critical. Data-driven analyses try to cope with this complexity by automatically verifying confidentiality at design time. However, confi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7264e3bc44d7e05f3c1cc29883ca5ad7
https://publikationen.bibliothek.kit.edu/1000133753
https://publikationen.bibliothek.kit.edu/1000133753
Publikováno v:
SECRYPT
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ISBN: 9783030614690
ISoLA (2)
ISoLA (2)
Modern smart systems are highly dynamic and allow for dynamic and ad-hoc collaboration not only among devices, but also among humans and organizations. Such a collaboration can introduce uncertainty to a system, as behavior of humans cannot be direct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4c6190bc4fc278940f536ac87b13385
Publikováno v:
Software Architecture ISBN: 9783030589226
ECSA
ECSA
Data streaming applications are an important class of data-intensive systems. Performance is an essential quality of such systems. It is, for example, expressed by the delay of analysis results or the utilization of system resources. Architecture-lev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::25cce18cf085ac66510767ebffd07514
https://doi.org/10.1007/978-3-030-58923-3_10
https://doi.org/10.1007/978-3-030-58923-3_10