Off-line test selection with test purposes for non-deterministic timed automata

Subjects: “…Computer Science & Information Science…”
Get full text

On Berry's conjectures about the stable order in PCF

Subjects: “…Computer Science & Information Science…”
Get full text

Parameterised Multiparty Session Types

Subjects: “…Computer Science & Information Science…”
Get full text

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Subjects: “…Computer Science & Information Science…”
Get full text

On streams that are finitely red

Subjects: “…Computer Science & Information Science…”
Get full text

Essential Convexity and Complexity of Semi-Algebraic Constraints

Subjects: “…Computer Science & Information Science…”
Get full text

Linear-use CPS translations in the Enriched Effect Calculus

Subjects: “…Computer Science & Information Science…”
Get full text

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Subjects: “…Computer Science & Information Science…”
Get full text

Complexity classifications for different equivalence and audit problems for Boolean circuits

Subjects: “…Computer Science & Information Science…”
Get full text

URSA: A System for Uniform Reduction to SAT

Subjects: “…Computer Science & Information Science…”
Get full text

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Subjects: “…Computer Science & Information Science…”
Get full text

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Subjects: “…Computer Science & Information Science…”
Get full text

Applying CEGAR to the Petri Net State Equation

Subjects: “…Computer Science & Information Science…”
Get full text

Forward Analysis for WSTS, Part II: Complete WSTS

Subjects: “…Computer Science & Information Science…”
Get full text

Piecewise testable tree languages

Subjects: “…Computer Science & Information Science…”
Get full text

Degrees of Lookahead in Regular Infinite Games

Subjects: “…Computer Science & Information Science…”
Get full text

Reachability Analysis of Communicating Pushdown Systems

Subjects: “…Computer Science & Information Science…”
Get full text

Two for the Price of One: Lifting Separation Logic Assertions

Subjects: “…Computer Science & Information Science…”
Get full text

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Subjects: “…Computer Science & Information Science…”
Get full text

Model-Checking of Ordered Multi-Pushdown Automata

Subjects: “…Computer Science & Information Science…”
Get full text