Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Nicole Denis"'
Autor:
Dorothée Selimoglu-Buet, Isabelle Gallais, Nicole Denis, Christel Guillouf, Françoise Moreau-Gachelin
Publikováno v:
PLoS ONE, Vol 7, Iss 11, p e49052 (2012)
Oncogenic mutations leading to persistent kinase activities are implicated in various human malignancies. Thereby, signaling pathway-targeted therapies are powerful customized treatment to eradicate cancer cells. In murine and human leukemia cells ha
Externí odkaz:
https://doaj.org/article/62841c991db345a1a932049c8b8c74f5
Publikováno v:
PLoS ONE, Vol 4, Iss 5, p e5721 (2009)
Overexpression of the transcription factor Spi-1/PU.1 by transgenesis in mice induces a maturation arrest at the proerythroblastic stage of differentiation. We have previously isolated a panel of spi-1 transgenic erythroleukemic cell lines that proli
Externí odkaz:
https://doaj.org/article/54db0c28ad72421db2a0b3cc1eb8f84f
We describe a new SMT bit-blasting API for floating-points and evaluate it using different out-of-the-shelf SMT solvers during the verification of several C programs. The new floating-point API is part of the SMT backend in ESBMC, a state-of-the-art
Externí odkaz:
http://arxiv.org/abs/2004.12699
Autor:
Gadelha, Mikhail R., Monteiro, Felipe R., Steffinlongo, Enrico, Cordeiro, Lucas C., Nicole, Denis A.
We describe and evaluate a novel k-induction proof rule called bidirectional k-induction (bkind), which substantially improves the k-induction bug-finding capabilities. Particularly, bkind exploits the counterexamples generated by the over-approximat
Externí odkaz:
http://arxiv.org/abs/1904.02501
Autor:
Gadelha, Mikhail R., Steffinlongo, Enrico, Cordeiro, Lucas C., Fischer, Bernd, Nicole, Denis A.
We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver. In particular, we complement CSA's existing heuristics that remove spurious bug reports
Externí odkaz:
http://arxiv.org/abs/1810.12041
Recently, the k-induction algorithm has proven to be a successful approach for both finding bugs and proving correctness. However, since the algorithm is an incremental approach, it might waste resources trying to prove incorrect programs. In this pa
Externí odkaz:
http://arxiv.org/abs/1706.02136
Publikováno v:
Journal of the Royal Statistical Society. Series D (The Statistician), 1998 Jan 01. 47(4), 629-641.
Externí odkaz:
https://www.jstor.org/stable/2988365
Publikováno v:
Fundamental Approaches to Software Engineering
ESBMC is an SMT-based bounded model checker for real-world C programs. Such programs often represent real numbers using the floating-points, most commonly, the IEEE floating-point standard (IEEE 754-2008). Thus, ESBMC now includes a new floating-poin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::4455a703b3ea6bc531d264bce2189d99
http://europepmc.org/articles/PMC7418142
http://europepmc.org/articles/PMC7418142
Autor:
Fairman, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Marc, Nicole, Denis A., Lenton, Timothy M., Marsh, Robert, Takeda, Kenji, Cox, Simon J.
Publikováno v:
In Future Generation Computer Systems 2009 25(5):586-597
Publikováno v:
Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología, Iss 37 (2024)
La irrupción de las tecnologías como la Inteligencia Artificial ha llevado a diferentes agentes educativos a reflexionar en cómo utilizarla en el proceso de enseñanza aprendizaje. En esta investigación, se ha realizado una intervención tecno ed
Externí odkaz:
https://doaj.org/article/0fa7c67dee2045e286900b312287efd0