VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Alberti, Francesco	Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Altukhov, Victor	Models and techniques for verification of Software Defined Networks
Azmy, Noran	Having SPASS with Pastry and TLA+
B
Bisping, Benjamin	Mechanical Verification of a Constructive Proof for FLP
Bouajjani, Ahmed	On Checking Correctness of Concurrent Data Structures
Braud-Santoni, Nicolas	Synthesis for Resilient Distributed Systems
Brodmann, Paul-David	Mechanical Verification of a Constructive Proof for FLP
C
Chemeritskiy, Eugene	Models and techniques for verification of Software Defined Networks
D
Delzanno, Giorgio	Model Checking Distributed Consensus Algorithms
Dodds, Mike	A Fast, Correct Time-Stamped Stack
Dragoi, Cezara	Round model for distributed algorithms: from verification to implementation. A Logic-based Framework for Verifying Consensus Algorithms
F
Függer, Matthias	Towards binary circuit models that faithfully reflect physical (un)solvability
G
Gawron-Deutsch, Tobias	Verification and Validation Challenges in Smart Grids from the Industrial Perspective
Ghilardi, Silvio	Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Gradinariu Potop-Butucaru, Maria	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
H
Haas, Andreas	A Fast, Correct Time-Stamped Stack
Halpern, Joseph	Beyond Nash Equilibrium: Solution Concepts for the 21st Century
Hargreaves, Felix P.	Correctness and Performance Analysis of Distributed High Performance Programs in Scala
Henzinger, Thomas	A Logic-based Framework for Verifying Consensus Algorithms
J
Jacobs, Swen	Synthesis for Resilient Distributed Systems Parameterized Synthesis
Jungnickel, Tim	Mechanical Verification of a Constructive Proof for FLP
K
Kirsch, Christoph	A Fast, Correct Time-Stamped Stack
M
Merkle, Daniel	Correctness and Performance Analysis of Distributed High Performance Programs in Scala
Millet, Laure	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
N
Najvirt, Robert	Towards binary circuit models that faithfully reflect physical (un)solvability
Nestmann, Uwe	Mechanical Verification of a Constructive Proof for FLP
Nowak, Thomas	Towards binary circuit models that faithfully reflect physical (un)solvability
P
Peters, Kirstin	Mechanical Verification of a Constructive Proof for FLP
Podymov, Vladislav	Models and techniques for verification of Software Defined Networks
R
Rickmann, Christina	Mechanical Verification of a Constructive Proof for FLP
Rubin, Sasha	Parameterised Verification of Robot Protocols: An Automata Theoretic Approach
Rybicki, Joel	Synthesizing self-stabilizing fault-tolerant algorithms (extended abstract)
S
Schmid, Ulrich	Towards binary circuit models that faithfully reflect physical (un)solvability
Schneider-Kamp, Peter	Correctness and Performance Analysis of Distributed High Performance Programs in Scala
Seidler, Henning	Mechanical Verification of a Constructive Proof for FLP
Sharygina, Natasha	Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Shvartsman, Alexander	Specifying, Reasoning About, Optimizing, and Implementing Atomic Data Services for Distributed Systems
Sokolova, Ana	Concurrent Data Structures: Semantics and (Quantitative) Relaxation
Spalazzi, Luca	Model-Checking of Parameterized Timed-Systems
Spegni, Francesco	Model-Checking of Parameterized Timed-Systems
Stüber, Anke	Mechanical Verification of a Constructive Proof for FLP
Sznajder, Nathalie	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
T
Tatarek, Michele	Model Checking Distributed Consensus Algorithms
Tixeuil, Sebastien	On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
V
Veith, Helmut	A Logic-based Framework for Verifying Consensus Algorithms
W
Widder, Josef	Round model for distributed algorithms: from verification to implementation. A Logic-based Framework for Verifying Consensus Algorithms
Wilhelm-Weidner, Arno	Mechanical Verification of a Constructive Proof for FLP
Z
Zakharov, Vladimir	Models and techniques for verification of Software Defined Networks
Zufferey, Damien	Round model for distributed algorithms: from verification to implementation. A Logic-based Framework for Verifying Consensus Algorithms

Disclaimer | Powered by EasyChair Smart Program