( en | de | ru )

 

Disambiguierung von "Nicole, Denis A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Context-Bounded Model Checking of LTL Properties for ANSI-C Software.

, , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 302-317. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Denis A Erilov

Nicole Nj°a

Jaap Denissen

Wladimir Denisow

Natalja Denisjuk

 

Weitere Publikationen von Autoren mit dem selben Namen

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space., , , , und . CoRR, (2019)Topic 18: Parallel I/O and Storage Technology., , , und . Euro-Par, Volume 2150 von Lecture Notes in Computer Science, Seite 887-888. Springer, (2001)An Efficient Floating-Point Bit-Blasting API for Verifying C Programs., , und . VSTTE, Volume 12549 von Lecture Notes in Computer Science, Seite 178-195. Springer, (2020)A toolkit for optimising parallel performance., , , , und . HPCN Europe, Volume 919 von Lecture Notes in Computer Science, Seite 548-553. Springer, (1995)SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , und . CoRR, (2018)Named Graphs as a Mechanism for Reasoning About Provenance., und . APWeb, Volume 3841 von Lecture Notes in Computer Science, Seite 943-948. Springer, (2006)Towards counterexample-guided k-induction for fast bug detection., , , und . ESEC/SIGSOFT FSE, Seite 765-769. ACM, (2018)UNICORE and GRIP: Experiences of Grid Middleware Development.. GCA, Seite 11-17. CSREA Press, (2005)Practical Parallelism using Transputer Arrays., , , , , und . PARLE (1), Volume 258 von Lecture Notes in Computer Science, Seite 278-294. Springer, (1987)Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks., , und . SBMF, Volume 10623 von Lecture Notes in Computer Science, Seite 91-106. Springer, (2017)