S-Program Calculus

Safe Recursion on Notation into a Light Logic by Levels

Safety alternating automata on data words

Safety-Guarantee Controller Synthesis for Cyber-Physical Systems

SAT Solving for Argument Filterings

SAT-Based Complete Don't-Care Computation for Network Optimization

SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers

Satisfiability and computing van der Waerden numbers

Satisfiability for two-variable logic with two successor relations on finite linear orders

Scalable Probabilistic Models for 802.11 Protocol Verification

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

Scope Logic with Local Reasoning and Pre/Post-State Properties

Scope Logic: Extending Hoare Logic for Pointer Program Verification

Second-Order Type Isomorphisms Through Game Semantics

Security Policy Consistency

Selected Topics in Asynchronous Automata

Semantic Embedding of Petri Nets into Event-B

Semantic Predicate Types and Approximation for Class-based Object Oriented Programming

Semantic results for ontic and epistemic change

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling