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

Runtime Abstract Interpretation for Numerical Accuracy and Robustness

Lecture notes in computer science, 2021, Vol.12597, p.243-266

2021

Volltextzugriff (PDF)

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories

Verification, Model Checking, and Abstract Interpretation, p.511-533

Volltextzugriff (PDF)

Model Checking Algorithms for Hyperproperties (Invited Paper)

Verification, Model Checking, and Abstract Interpretation, p.3-16

Volltextzugriff (PDF)

Compositional Model Checking for Multi-properties

Verification, Model Checking, and Abstract Interpretation, p.55-80

Volltextzugriff (PDF)

Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking

Verification, Model Checking, and Abstract Interpretation, p.325-349

Volltextzugriff (PDF)

A Self-certifying Compilation Framework for WebAssembly

Verification, Model Checking, and Abstract Interpretation, p.127-148

Volltextzugriff (PDF)

Verification of Concurrent Programs Using Petri Net Unfoldings

Verification, Model Checking, and Abstract Interpretation, p.174-195

Volltextzugriff (PDF)

On Preprocessing for Weighted MaxSAT

Verification, Model Checking, and Abstract Interpretation, p.556-577

Volltextzugriff (PDF)

A Synchronous Effects Logic for Temporal Verification of Pure Esterel

Verification, Model Checking, and Abstract Interpretation, p.417-440

Volltextzugriff (PDF)

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)

Verification, Model Checking, and Abstract Interpretation, p.17-28

Volltextzugriff (PDF)

Proving the Existence of Fair Paths in Infinite-State Systems

Verification, Model Checking, and Abstract Interpretation, p.104-126

Volltextzugriff (PDF)

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis

Verification, Model Checking, and Abstract Interpretation, p.376-400

Volltextzugriff (PDF)

A Design of GPU-Based Quantitative Model Checking

Verification, Model Checking, and Abstract Interpretation, p.441-463

Volltextzugriff (PDF)

A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries

Verification, Model Checking, and Abstract Interpretation, p.219-239

Volltextzugriff (PDF)

Eliminating Message Counters in Synchronous Threshold Automata

Verification, Model Checking, and Abstract Interpretation, p.196-218

Volltextzugriff (PDF)

GPURepair: Automated Repair of GPU Kernels

Verification, Model Checking, and Abstract Interpretation, p.401-414

Volltextzugriff (PDF)

Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible

Verification, Model Checking, and Abstract Interpretation, p.353-375

Volltextzugriff (PDF)

Unbounded Procedure Summaries from Bounded Environments

Verification, Model Checking, and Abstract Interpretation, p.291-324

Volltextzugriff (PDF)

Concurrent Correctness in Vector Space

Verification, Model Checking, and Abstract Interpretation, p.151-173

Volltextzugriff (PDF)

Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)

Verification, Model Checking, and Abstract Interpretation, p.29-51

Volltextzugriff (PDF)

Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching

Verification, Model Checking, and Abstract Interpretation, p.534-555

Volltextzugriff (PDF)

Netter: Probabilistic, Stateful Network Models

Verification, Model Checking, and Abstract Interpretation, p.486-508

Volltextzugriff (PDF)

Chemical Technology

Henglein, F. A

1, 1969

Volltextzugriff (PDF)

Twinning Automata and Regular Expressions for String Static Analysis

Verification, Model Checking, and Abstract Interpretation, p.267-290

Volltextzugriff (PDF)

Compositional Satisfiability Solving in Separation Logic

Verification, Model Checking, and Abstract Interpretation, p.578-602

Volltextzugriff (PDF)

1 – 25 von 278

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

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

Publikationsform

Sprache

Englisch
(145)
Deutsch
(137)
Französisch
(1)

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Runtime Abstract Interpretation for Numerical Accuracy and Robustness

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories

Model Checking Algorithms for Hyperproperties (Invited Paper)

Compositional Model Checking for Multi-properties

Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking

A Self-certifying Compilation Framework for WebAssembly

Verification of Concurrent Programs Using Petri Net Unfoldings

On Preprocessing for Weighted MaxSAT

A Synchronous Effects Logic for Temporal Verification of Pure Esterel

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)

Proving the Existence of Fair Paths in Infinite-State Systems

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis

A Design of GPU-Based Quantitative Model Checking

A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries

Eliminating Message Counters in Synchronous Threshold Automata

GPURepair: Automated Repair of GPU Kernels

Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible

Unbounded Procedure Summaries from Bounded Environments

Concurrent Correctness in Vector Space

Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)

Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching

Netter: Probabilistic, Stateful Network Models

Chemical Technology

Twinning Automata and Regular Expressions for String Static Analysis

Compositional Satisfiability Solving in Separation Logic

Suchergebnisse filtern