Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
Abstract elided by the publisher.
2,069 papers · page 43 of 104
Verifying LTL Properties of Hybrid Systems with K-Liveness
Abstract elided by the publisher.
Finding Instability in Biological Models
Abstract elided by the publisher.
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
Abstract elided by the publisher.
Symbolic Visibly Pushdown Automata
Abstract elided by the publisher.
Optimal Guard Synthesis for Memory Safety
Abstract elided by the publisher.
Yices 2.2
Abstract elided by the publisher.
Synthesis of Masking Countermeasures against Side Channel Attacks
Abstract elided by the publisher.
From LTL to Deterministic Automata: A Safraless Compositional Approach
Abstract elided by the publisher.
An SMT-Based Approach to Coverability Analysis
Abstract elided by the publisher.
Vac - Verifier of Administrative Role-Based Access Control Policies
Abstract elided by the publisher.
The Spirit of Ghost Code
Abstract elided by the publisher.
Regression Test Selection for Distributed Software Histories
Abstract elided by the publisher.
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
Abstract elided by the publisher.
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections
Abstract elided by the publisher.
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Abstract elided by the publisher.
Termination Analysis by Learning Terminating Programs
We present a novel approach to termination analysis. In a first step, the analysis uses a program as a black-box which exhibits only a finite set of sample traces. Each sample trace is infinite but can be represented by a finite lasso. The analysis can "learn" a program from a te…
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Abstract elided by the publisher.
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
Abstract elided by the publisher.
Property-Directed Shape Analysis
Abstract elided by the publisher.