( en | de | ru )

 

Disambiguierung von "Lerner, Sorin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards verification of hybrid systems in a foundational proof assistant.

, , , , und . MEMOCODE, Seite 248-257. IEEE, (2015)

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.

Julia Sorina-Müller

Kai Söring

Julia Sorina-Müller

Hermann Lerner

Jürgen Söring

 

Weitere Publikationen von Autoren mit dem selben Namen

User-Guided Synthesis of Interactive Diagrams., , , , , und . CHI, Seite 195-207. ACM, (2017)Gobi: WebAssembly as a Practical Path to Library Sandboxing., , , , und . CoRR, (2019)C-to-Verilog translation validation., , und . MEMOCODE, Seite 42-47. IEEE, (2015)Data-driven lemma synthesis for interactive proofs., , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 505-531 (2022)Retrofitting Fine Grain Isolation in the Firefox Renderer., , , , , , , und . USENIX Security Symposium, Seite 699-716. USENIX Association, (2020)Generating correctness proofs with neural networks., , , und . MAPL@PLDI, Seite 1-10. ACM, (2020)Scooter & Sidecar: a domain-specific approach to writing secure database migrations., , , , und . PLDI, Seite 710-724. ACM, (2021)Parsimony: an IDE for example-guided synthesis of lexers and parsers., und . ASE, Seite 815-825. IEEE Computer Society, (2017)OPIUM: Optimal Package Install/Uninstall Manager., , , und . ICSE, Seite 178-188. IEEE Computer Society, (2007)On Subnormal Floating Point and Abnormal Timing., , , , , und . IEEE Symposium on Security and Privacy, Seite 623-639. IEEE Computer Society, (2015)