Dirk Leinenbach - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 13 von 16

)

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 ...

Trustworthy Systems

trustworthy.systems

Dirk Leinenbach. John Matthews. Michael McDougall. Thomas Noll. Michael Norrish. Wolfgang Paul. Jan Peleska. John Regehr. Wolfgang Reif. Sriram Sankaranarayanan.

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 ...

dblp: Dirk Leinenbach

dblp.dagstuhl.de

List of computer science publications by Dirk Leinenbach

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 ...

Flexible Instruction-Set Semantics via Abstract Monads ...ACM Digital Library

dl.acm.org

von T Bourgeat · — Hillebrand, Dirk Leinenbach, Norbert W. Schirmer, and Artem Starostin The Verisoft Approach to Systems Verification. In 2nd IFIP ...

On the Formal Foundation of a Verification Approach for ...

trustworthy.systems

von M Daum · Zitiert von: 3 — Dörrenbächer, Mark Hillebrand, Dirk Leinenbach, Norbert Schirmer, Mareike Schmidt, and Burkhart Wolff. Last but not least, I am much obliged to my family ... › papers › Daum-phd

From noreply at bro.org Mon Feb 1 00:00: From ...mailman.icsi.berkeley.edu › pipermail › zeek-dev

mailman.icsi.berkeley.edu

... was sent by Atlassian JIRA (v OD #71001) From dirk.leinenbach at ... Dirk Leinenbach - Leitung Softwareentwicklung consistec Engineering ...

Towards the Formal Verification of Lower System Layers in ...softeng.ox.ac.uk › publication1384-abstract

softeng.ox.ac.uk

von P Boehm · — Sven Beyer‚ Peter Böhm‚ Michael Gerke‚ Mark Hillebrand‚ Thomas In der Rieden‚ Steffen Knapp‚ Dirk Leinenbach and Wolfgang J. Paul ...

Towards the Formal Verification of Lower System Layers in ...University of Oxford Department of Computer Science

www.cs.ox.ac.uk

von P Boehm · — ... Dirk Leinenbach and Wolfgang J. Paul. Abstract. The mission of the Verisoft project is (i) to develop techniques, which permit the pervasive formal ...

Towards the Pervasive Verification of Automotive Systems.IFIP Digital Library

opendl.ifip-tc6.org

von TI der Rieden · Zitiert von: 5 — Thomas In der Rieden, Dirk Leinenbach, and Wolfgang Paul. 3. Leinenbach, D., Paul, W., Petrova, E.: Towards the formal verification of a C0 compiler: Code ...

paperTPHOL.bbl - HAL-Inria

hal.inria.fr

\bibitem{leinenbach05} Dirk Leinenbach, Wolfgang Paul, and Elena Petrova. \newblock Towards the formal verification of a {C0} compiler: Code generation and ...

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

Dokumente zum Namen Dirk Leinenbach