( en | de | ru )

 

Disambiguierung von "Schwartz-Narbonne, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Code-level model checking in the software development workflow at Amazon Web Services.

, , , , , , , , , und . Softw. Pract. Exp., 51 (4): 772-797 (2021)

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.

Daniel Schwartz

Daniel Hans Schwartz

Eberhard Pelet-Narbonne

Malte Schwartz

Pathogenetical factors contributing to high IgA levels and marked neutrophilic pleocytosis in canine Steroid-responsive Meningitis-Arteritis. TierH Hannover, (2009)

Pirmin Schwartz

 

Weitere Publikationen von Autoren mit dem selben Namen

A solver-aided language for test input generation., , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 91:1-91:24 (2017)Code-level model checking in the software development workflow., , , , , , , , und . ICSE (SEIP), Seite 11-20. ACM, (2020)Specification and synthesis of hardware checkpointing and rollback mechanisms., , , und . DAC, Seite 1226-1232. ACM, (2012)SideTrail: Verifying Time-Balancing of Cryptosystems., , , , , und . VSTTE, Volume 11294 von Lecture Notes in Computer Science, Seite 215-228. Springer, (2018)Supporting RTL flow compatibility in a microarchitecture-level design framework., , , und . CODES+ISSS, Seite 343-352. ACM, (2009)Parameterized Model Checking of Fine Grained Concurrency., , , und . SPIN, Volume 7385 von Lecture Notes in Computer Science, Seite 208-226. Springer, (2012)Verifying Dynamic Trait Objects in Rust., , , und . ICSE (SEIP), Seite 321-330. IEEE, (2022)Code-level model checking in the software development workflow at Amazon Web Services., , , , , , , , , und . Softw. Pract. Exp., 51 (4): 772-797 (2021)