UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Teaching Deductive Verification in Why3 to Undergraduate Students

Formal Methods Teaching, 2019, Vol.11758, p.52-66

2019

Volltextzugriff (PDF)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

1, 2016

Volltextzugriff (PDF)

Mechanized Semantics for the Clight Subset of the C Language

Journal of automated reasoning, 2009-10, Vol.43 (3), p.263-288

2009

Volltextzugriff (PDF)

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

1st ed. 2015, 2015

Volltextzugriff (PDF)

Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations

Journal of automated reasoning, 2008-07, Vol.41 (1), p.1-31

2008

Volltextzugriff (PDF)

Selected Extended Papers of VSTTE 2016

Journal of automated reasoning, 2018-03, Vol.60 (3), p.255-256

2018

Volltextzugriff (PDF)

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

1st ed. 2015, 2015

Volltextzugriff (PDF)

Verifying constant-time implementations by abstract interpretation

Journal of computer security, 2019-01, Vol.27 (1), p.137-163

2019

Volltextzugriff (PDF)

A Machine-Checked Proof of the Odd Order Theorem

Interactive Theorem Proving, 2013, p.163-179

2013

Volltextzugriff (PDF)

Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.249-277, Article 9

2023

Volltextzugriff (PDF)

CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics

Journal of automated reasoning, 2019-08, Vol.63 (2), p.369-392

2019

Volltextzugriff (PDF)

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

1, 2013

Volltextzugriff (PDF)

Canonical Structures for the Working Coq User

Interactive Theorem Proving, 2013, p.19-34

2013

Volltextzugriff (PDF)

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

Journal of automated reasoning, 2019-04, Vol.62 (4), p.433-480

2019

Volltextzugriff (PDF)

Formal Verification of a C Compiler Front-End

FM 2006: Formal Methods, 2006, p.460-475

2006

Volltextzugriff (PDF)

Formal verification of a constant-time preserving C compiler

Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-30

2020

Volltextzugriff (PDF)

Secure Compilation of Constant-Resource Programs

2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-12

2021

Volltextzugriff (PDF)

Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code

Journal of automated reasoning, 2016-03, Vol.56 (3), p.283-308

2016

Volltextzugriff (PDF)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2016

Volltextzugriff (PDF)

Specification: The Biggest Bottleneck in Formal Methods and Autonomy

Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.8-26

2016

Volltextzugriff (PDF)

Formally verified speculation and deoptimization in a JIT compiler

Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-26

2021

Volltextzugriff (PDF)

Improving static analyses of C programs with conditional predicates

Science of computer programming, 2016-03, Vol.118

2016

Volltextzugriff (PDF)

CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote)

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023, p.1-1

Blazy, Sandrine

2023

Volltextzugriff (PDF)

Automated Verification of Functional Correctness of Race-Free GPU Programs

Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.90-106

2016

Volltextzugriff (PDF)

Stupid Tool Tricks for Smart Model Based Design

Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.1-7

2016

Volltextzugriff (PDF)

1 – 25 von 151

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(107)
Mit Volltextzugriff
(146)

Publikationsform

Sprache

Englisch
(148)
Französisch
(3)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

Teaching Deductive Verification in Why3 to Undergraduate Students

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Mechanized Semantics for the Clight Subset of the C Language

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations

Selected Extended Papers of VSTTE 2016

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Verifying constant-time implementations by abstract interpretation

A Machine-Checked Proof of the Odd Order Theorem

Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler

CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Canonical Structures for the Working Coq User

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

Formal Verification of a C Compiler Front-End

Formal verification of a constant-time preserving C compiler

Secure Compilation of Constant-Resource Programs

Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Specification: The Biggest Bottleneck in Formal Methods and Autonomy

Formally verified speculation and deoptimization in a JIT compiler

Improving static analyses of C programs with conditional predicates

CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote)

Automated Verification of Functional Correctness of Race-Free GPU Programs

Stupid Tool Tricks for Smart Model Based Design

Suchergebnisse filtern