( en | de | ru )

 

Disambiguierung von "Rakamaric, Zvonimir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Relative Safety, Accuracy, and Termination for Program Approximations.

, , und . NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 237-254. Springer, (2016)

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.

Zvonimir Marelja

Zvonimir Pavlinic

Zvonimir Grobenski

Zvonimir S̄arié

Zvonimir Vidic

 

Weitere Publikationen von Autoren mit dem selben Namen

An SMT Theory of Fixed-Point Arithmetic., , , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 13-31. Springer, (2020)Pruners., , , , , , , , , und 2 andere Autor(en). Int. J. High Perform. Comput. Appl., (2019)Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)., , , und . Dagstuhl Reports, 7 (8): 74-101 (2017)Verifying Relative Safety, Accuracy, and Termination for Program Approximations., , und . NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 237-254. Springer, (2016)A Scalable Memory Model for Low-Level Code., und . VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 290-304. Springer, (2009)SMACK software verification toolchain., , , , und . ICSE (Companion Volume), Seite 589-592. ACM, (2016)Testing Dafny (experience paper)., , , , und . ISSTA, Seite 556-567. ACM, (2022)Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding., , , und . NASA Formal Methods, Volume 7871 von Lecture Notes in Computer Science, Seite 213-228. Springer, (2013)Asynchronously Communicating Visibly Pushdown Systems., und . FMOODS/FORTE, Volume 7892 von Lecture Notes in Computer Science, Seite 225-241. Springer, (2013)Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions., , , , , und . ACM Trans. Program. Lang. Syst., 41 (1): 2:1-2:39 (2019)