Dirk Leinenbach und Elena Petrova - Info zur Person

(1 - 13 von 17

)

ACM Digital Library

dl.acm.org

Author Picture Dirk Leinenbach,; Author Picture Wolfgang Paul,; Author Picture Elena Petrova. pp 2–12https://doi.org SEFM In the spirit of the ...

drops.dagstuhl.de

von H Zhang · · Zitiert von: 25 — Dirk Leinenbach, Wolfgang J. Paul, and Elena Petrova. Towards the formal verification of a C0 compiler: Code generation and implementation ...

Toward the Formal Verification of a C0 Compiler - CiteSeerX

citeseerx.ist.psu.edu

von D Leinenbach · Zitiert von: 136 — author = {Dirk Leinenbach and Wolfgang Paul and Elena Petrova}, title = {Toward the Formal Verification of a C0 Compiler: Code Generation and Implementation ... › viewdoc

Elena Petrova - Home - ACM Digital LibraryACM Digital Library

dl.acm.org

Dirk Leinenbach. German Research Center for Artificial Intelligence (DFKI), P.O. Box , Saarbrücken, Germany. ,; Elena Petrova. Saarland University ...

ScienceDirect.com

www.sciencedirect.com

von D Leinenbach · · Zitiert von: 59 — Pervasive Compiler Verification – From Verified Programs to Verified Systems. Author links open overlay panel. Dirk Leinenbach 1 2 , Elena Petrova 1. Show more.

Universität des Saarlandes

www-wjp.cs.uni-saarland.de

41. Dr.-Ing. Jakov Dalinger · 42. Dr. Elena Petrova · 43. Dr. Roman Pinchuk · 44. Dr. Dirk Leinenbach · 45. Dr. Steffen Knapp · 46. Dr. Sebastian Bogan · 47. Dr.

Electronic Notes in Theoretical Computer Science | Proceedings of the...

www.sciencedirect.com

Pervasive Compiler Verification – From Verified Programs to Verified Systems. Dirk Leinenbach, Elena Petrova. Pages : Download PDF. Article preview.

dblp: Elena Petrova

dblp.uni-trier.de

List of computer science publications by Elena Petrova

Electronic Notes in Theoretical Computer Science, Volume 217sigmod.org › dblp › journals › entcs › entcs217

sigmod.org

Electronic Edition (link) BibTeX · Dirk Leinenbach, Elena Petrova: Pervasive Compiler Verification - From Verified Programs to Verified Systems

Find and explore academic papersConnected Papers

www.connectedpapers.com

Dirk Leinenbach, Elena Petrova , International Workshop on Systems Software Verification. Formal Verification of Gate-Level Computer Systems. Mark A ...

[PDF] Pervasive Compiler Verification - From Verified Programs to...

www.semanticscholar.org

Dirk Leinenbach, Elena Petrova. We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler ...

Pervasive Compiler Verification – From Verified Programs to Verified...

cyberleninka.org

Dirk Leinenbach; Elena Petrova ... of research paper on Computer and information sciences, author of scientific article — Dirk Leinenbach, Elena Petrova.

Alle Infos zum Namen "Dirk Leinenbach"

Verwandte Suchanfragen zu Dirk Leinenbach

Christian Jacobi
Norbert Schirmer
Sven Beyer

Markus Dahlweid
Eyad Alkassar
Wolfgang Paul

Elena Petrova
Julian Hoffmann
Roswitha Wessel

Person "Leinenbach" (3)
Vorname "Dirk" (42653)
Name "Leinenbach" (216)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dirk Leinenbach und Elena Petrova Person-Info