Zobrazeno 1 - 10
of 166
pro vyhledávání: '"Heike Wehrheim"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Non-volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become ubiquitous, and hardware architectures are already providing support fo
Externí odkaz:
https://doaj.org/article/718f9250040d4226a7d775895bbf1981
Publikováno v:
IEEE Access, Vol 9, Pp 160559-160579 (2021)
Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions. This assumption is valid as long as the software runs on standard CPUs that have b
Externí odkaz:
https://doaj.org/article/df1862bda21144b68e566dc5ed30f8d3
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 139-154 (2011)
Event-B provides a flexible framework for stepwise system development via refinement. The framework supports steps for (a) refining events (one-by-one), (b) splitting events (one-by-many), and (c) introducing new events. In each of the steps events c
Externí odkaz:
https://doaj.org/article/1fdfb1a1168d4c9c962bf49721e74ffb
Autor:
Heike Wehrheim, Jordi Cabot
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Confer
Publikováno v:
ACM Transactions on Computational Logic. 23:1-39
In this article, we propose an approach to program verification using an abstract characterisation of weak memory models. Our approach is based on a hierarchical axiom scheme that captures the observational properties of a memory model. In particular
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fed9eaa6d245d456dde7a7d2ad1e1c45
https://doi.org/10.1145/3545117
https://doi.org/10.1145/3545117
Autor:
Matthias Becker, Steffen Becker, Eyke Hüllermeier, Cedric Richter, Arnab Sharma, Heike Wehrheim
Book chapter of subproject B3 within the final book of the Collaborative Research Center 901 published within the series "Verlagsschriftenreihe des Heinz Nixdorf Instituts", volume 412, ISBN 978-3-947647-31-6, June 2023.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4ca753df7e45722285a90f1ab87ef75
Autor:
Eric Bodden, Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Philipp Schubert, Heike Wehrheim
Book chapter of subproject B4 within the final book of the Collaborative Research Center 901 published within the series "Verlagsschriftenreihe des Heinz Nixdorf Instituts", volume 412, ISBN 978-3-947647-31-6, June 2023.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::493b72f7b9c2475064c0297851672200
Autor:
Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, Heike Wehrheim
Final book of the Collaborative Research Center 901. Published within the series "Verlagsschriftenreihe des Heinz Nixdorf Instituts", volume 412, ISBN 978-3-947647-31-6, June 2023.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfda03bc41062c1796e09b6462027079
This artifact contains a single VM file named formalise corresponding to the paper: Property-Driven Testing of Black-Box Functions Assuming that you have successfully installed VirtualBox or is already installed in your machine, first of all, you nee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93a1a3a6d593b75e6a68fa25e1a95c66
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bfa193ae70ecaf9f5172662e5ed1ca90
https://doi.org/10.1007/978-3-031-27481-7_17
https://doi.org/10.1007/978-3-031-27481-7_17