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

Semantics of a Typed Algebraic Lambda-Calculus

Semantics of Higher-Order Recursion Schemes

Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like Languages

Semantics of Typed Lambda-Calculus with Constructors

Separability in the Ambient Logic

Separating the basic logics of the basic recurrences

Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

Sequence-Based Abstract Interpretation of Prolog

Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics