Zobrazeno 1 - 10
of 78
pro vyhledávání: '"Gutsfeld, P."'
Dynamic Pushdown Networks (DPNs) are a model for multithreaded programs with recursion and dynamic creation of threads. In this paper, we propose a temporal logic called NTL for reasoning about the call- and return- as well as thread creation behavio
Externí odkaz:
http://arxiv.org/abs/2310.19579
We introduce a novel logic for asynchronous hyperproperties with a new mechanism to identify relevant positions on traces. While the new logic is more expressive than a related logic presented recently by Bozzelli et al., we obtain the same complexit
Externí odkaz:
http://arxiv.org/abs/2201.12859
Temporal logics have been studied as an approach to the specification of hyperproperties, resulting in the conception of "hyperlogics". With a few recent exceptions, the hyperlogics thus far developed can only relate different traces of a transition
Externí odkaz:
http://arxiv.org/abs/2110.12699
Hyperproperties have received increasing attention in the last decade due to their importance e.g. for security analyses. Past approaches have focussed on synchronous analyses, i.e. techniques in which different paths are compared lockstepwise. In th
Externí odkaz:
http://arxiv.org/abs/2010.11605
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many properties of interest like reachability, even simple regular properti
Externí odkaz:
http://arxiv.org/abs/1910.11594
Information security properties of reactive systems like non-interference often require relating different executions of the system to each other and following them simultaneously. Such hyperproperties can also be useful in other contexts, e.g., when
Externí odkaz:
http://arxiv.org/abs/1910.10546
Observational database study on preeclampsia and postpartum medical care up to 7.5 years after birth
Autor:
Anna S. Scholz, Kathrin Hassdenteufel, Raphael Gutsfeld, Mitho Müller, Maren Goetz, Armin Bauer, Markus Wallwiener, Sara Y. Brucker, Stefanie Joos, Miriam Giovanna Colombo, Sabine Hawighorst‑Knapstein, Ariane Chaudhuri, Frauke Beck, Stephanie Wallwiener
Publikováno v:
Scientific Reports, Vol 12, Iss 1, Pp 1-11 (2022)
Abstract Preeclampsia is associated with a substantially increased long-term risk for cardiovascular, cerebrovascular and renal disease. It remains unclear whether and to which extent specialized medical postpartum care is sought. We aimed to assess
Externí odkaz:
https://doaj.org/article/c17b5a53eef44863be9dc49f22aa5bc7
Autor:
D. Dannehl, T. Dijkstra, R. Gutsfeld, A. von Au, L. Volmer, T. Engler, M. Hahn, S. Hawighorst-Knapstein, A. Chaudhuri, M. Wallwiener, A. Bauer, S. Brucker, S. Wallwiener, A. Hartkopf
Publikováno v:
Breast, Vol 68, Iss , Pp S19- (2023)
Externí odkaz:
https://doaj.org/article/17336b304ae8446388424ee6becc9481
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.