Beyond Nash Equilibrium: Solution Concepts for the 21st Century (abstract)

Towards binary circuit models that faithfully reflect physical (un)solvability (abstract)

Mechanical Verification of a Constructive Proof for FLP (abstract)

Having SPASS with Pastry and TLA+ (abstract)

Concurrent Data Structures: Semantics and (Quantitative) Relaxation (abstract)

On Checking Correctness of Concurrent Data Structures (abstract)

A Logic-based Framework for Verifying Consensus Algorithms (abstract)

Monotonic Abstraction Techniques: from Parametric to Software Model Checking (abstract)

Model Checking Distributed Consensus Algorithms (abstract)

Model-Checking of Parameterized Timed-Systems (abstract)

Specifying, Reasoning About, Optimizing, and Implementing Atomic Data Services for Distributed Systems (abstract)

Verification and Validation Challenges in Smart Grids from the Industrial Perspective (abstract)

A Fast, Correct Time-Stamped Stack (abstract)

Correctness and Performance Analysis of Distributed High Performance Programs in Scala (abstract)

Models and techniques for verification of Software Defined Networks (abstract)

Round model for distributed algorithms: from verification to implementation. (abstract)

On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering (abstract)

Parameterised Verification of Robot Protocols: An Automata Theoretic Approach (abstract)

Synthesizing self-stabilizing fault-tolerant algorithms (extended abstract) (abstract)

Synthesis for Resilient Distributed Systems (abstract)

Parameterized Synthesis (abstract)