Zobrazeno 1 - 10
of 73
pro vyhledávání: '"Carsten Sinz"'
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-6 (2021)
Abstract Scientific software from all areas of scientific research is pivotal to obtaining novel insights. Yet the coding standards adherence of scientific software is rarely assessed, even though it might lead to incorrect scientific results in the
Externí odkaz:
https://doaj.org/article/c6ada62ae08e4e89a1b1ca6fb2c03c7c
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 4, Iss Proc. ACAC 2009, Pp 13-21 (2009)
Haken proved that every resolution refutation of the pigeonhole formula has at least exponential size. Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has an exponential size. Here we show that any arbitrary OBD
Externí odkaz:
https://doaj.org/article/acabe396d92c4fe981bfeab70c4b2921
Autor:
Safa Omri, Carsten Sinz
Publikováno v:
Proceedings of the 15th Workshop on Search-Based Software Testing.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca37f9bb0d702d315f14b5b73177b7c2
https://doi.org/10.1145/3526072.3527525
https://doi.org/10.1145/3526072.3527525
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783031172434
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a56da116dadd96417cd37807fdca0dd
https://doi.org/10.1007/978-3-031-17244-1_13
https://doi.org/10.1007/978-3-031-17244-1_13
As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the formal verification problem of NN equivalence which aims to prove that t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fd151edf23774306450819c7baa81a8
http://arxiv.org/abs/2112.06582
http://arxiv.org/abs/2112.06582
Scientific software from all areas of scientific research is pivotal to obtaining novel insights. Yet the quality of scientific software is rarely assessed, even though it might lead to incorrect scientific results in the worst case. Therefore, we ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::930e9d63d415520ca3eda7d128305b1b
https://doi.org/10.1101/2020.10.07.330621
https://doi.org/10.1101/2020.10.07.330621
Autor:
Safa Omri, Carsten Sinz
Publikováno v:
ICSE (Workshops)
Software fault prediction is an important and beneficial practice for improving software quality and reliability. The ability to predict which components in a large software system are most likely to contain the largest numbers of faults in the next
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c3cca79dad950cd78f2e8949bebfd51c
https://doi.org/10.1145/3387940.3391463
https://doi.org/10.1145/3387940.3391463
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030636173
VSTTE
VSTTE
We present the tool QPR Verify, which is an extension of the bounded model checking approach implemented in the tool LLBMC. QPR Verify is designed to verify industrial embedded software in C and C++ and focuses on runtime errors like arithmetic overf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1037e01c08a8d1382c5d8e02f9dfae68
https://doi.org/10.1007/978-3-030-63618-0_2
https://doi.org/10.1007/978-3-030-63618-0_2
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030584740
CP
CP
Neural networks have become popular methods for tackling various machine learning tasks and are increasingly applied in safety-critical systems. This necessitates verified statements about their behavior and properties. One of these properties is the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67b8cc6d61a85c2f68076dcdce6a77d3
https://doi.org/10.1007/978-3-030-58475-7_50
https://doi.org/10.1007/978-3-030-58475-7_50
Publikováno v:
Journal of Software Engineering and Applications. 11:153-166
Software is an important part of automotive product development, and it is commonly known that software quality assurance consumes considerable effort in safety-critical embedded software development. Increasing the effectiveness and efficiency of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cca16527e2d08b9b28c7e49adab3677b
https://doi.org/10.4236/jsea.2018.114010
https://doi.org/10.4236/jsea.2018.114010