Zobrazeno 1 - 10
of 188
pro vyhledávání: '"Michael Kirsten"'
Autor:
Schubert, Ernst
Rezension zu: Elisabeth H��tter, G��nter Kavacs, Michael Kirsten, Heinrich Magirius, Forschungen zur Bau- und Kunstgeschichte des Meissner Domes Bd. I, Das Portal an der Westturmfront und die F��rstenkapelle, Forschungen und Schriften zur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fd50991072e22fe2abc1fcb60371996
Autor:
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 6-13 (2019)
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairnes
Externí odkaz:
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
Publikováno v:
Computer Security. ESORICS 2022 International Workshops ISBN: 9783031254598
Online elections and polls are increasingly gaining ground. Since the beginning of the pandemic, many associations, companies and agencies opted for online elections at some point. Yet, most of these elections use online voting systems that are a bla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bbdde62ff2137bc62aaf8d05f917764d
https://publikationen.bibliothek.kit.edu/1000158019
https://publikationen.bibliothek.kit.edu/1000158019
Autor:
Benedikt Wagner, Pascal Zwick, Mihai Herda, Michael Kirsten, Etienne Brunner, Bernhard Beckert, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 6-13 (2019)
HCVS/PERR@ETAPS
HCVS/PERR@ETAPS
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairnes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37d1f6aeaab295ca23b7c09062b06997
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
https://doaj.org/article/5377181ba45c4c6096e6ca8ad8716f54
Autor:
Michael Kirsten
Publikováno v:
Die Denkmalpflege. 79:211-212
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39f0a22c9cb1c913443523981a6b205d
https://doi.org/10.1515/dkp-2021-2016
https://doi.org/10.1515/dkp-2021-2016
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030643539
20 Years of KeY
20 Years of KeY
In this article, we present an overview of recent combinations of deductive program verification and automatic test generation on the one hand and static analysis on the other hand, with the goal of checking noninterference. Noninterference is the no
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::375b9ddff3915758b610ab317a2b51dd
https://doi.org/10.1007/978-3-030-64354-6_12
https://doi.org/10.1007/978-3-030-64354-6_12
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
ISoLA (1)
There are two paradigms for dealing with complex verification targets: Modularization using contract-based specifications and whole-program analysis. In this paper, we present an approach bridging the gap between the two paradigms, introducing concep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bee9577894aa0a6e866b0d172135a06c
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783030452599
LOPSTR
LOPSTR
Voting rules aggregate multiple individual preferences in order to make collective decisions. Commonly, these mechanisms are expected to respect a multitude of different fairness and reliability properties, e.g., to ensure that each voter's ballot ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c33691a4659e7ca425004a3e5fd7cbd1
https://doi.org/10.1007/978-3-030-45260-5_6
https://doi.org/10.1007/978-3-030-45260-5_6
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030314880
Voting rules aggregate multiple individual preferences in order to make a collective decision. Commonly, these mechanisms are expected to respect a multitude of different notions of fairness and reliability, which must be carefully balanced to avoid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb6af49c417a5622177689600cc9b8bd
https://doi.org/10.1007/978-3-030-31489-7
https://doi.org/10.1007/978-3-030-31489-7