VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Ahrendt, Wolfgang	The KeY Platform for Verification and Analysis of Java Programs
B
Banerjee, Anindya	A logical analysis of framing for specifications with pure method calls
Beckert, Bernhard	The KeY Platform for Verification and Analysis of Java Programs
Boulmé, Sylvain	A certifying frontend for (sub)polyhedral abstract domains
Bruns, Daniel	The KeY Platform for Verification and Analysis of Java Programs
Bubel, Richard	The KeY Platform for Verification and Analysis of Java Programs
Butterfield, Andrew	Separation Kernel Verification: the XtratuM Case Study
C
Chandra, Satish	What Gives? A Hybrid Algorithm for Error Explanation
Chen, Geng	Store Buffer Reduction with MMUs
Clochard, Martin	Automatically verified implementation of data structures based on AVL trees (SHORT) Formalizing Semantics with an Automatic Program Verifier
Cohen, Ernie	Store Buffer Reduction with MMUs
D
D'Souza, Deepak	Efficient Refinement Checking in VCC
Divakaran, Sumesh	Efficient Refinement Checking in VCC
Dubasi, Mohana Asha Latha	Timed Refinements for Verification of Real-Time Object Code Programs
F
Filliatre, Jean-Christophe	Formalizing Semantics with an Automatic Program Verifier
Fouilhe, Alexis	A certifying frontend for (sub)polyhedral abstract domains
Freitas, Leo	A Model for Capturing and Replaying Proof Strategies
G
Gladisch, Christoph	The KeY Platform for Verification and Analysis of Java Programs
Grebing, Sarah	The KeY Platform for Verification and Analysis of Java Programs
Grumberg, Orna	Finding Security Vulnerabilities in a Network Protocol using Parameterized Systems
H
Hentschel, Martin	The KeY Platform for Verification and Analysis of Java Programs
Hinchey, Michael	Separation Kernel Verification: the XtratuM Case Study
Hähnle, Reiner	The KeY Platform for Verification and Analysis of Java Programs
I
Ireland, Andrew	A Verification Condition Visualizer
J
Jami, Madiha	A Verification Condition Visualizer
Jones, Cliff B.	A Model for Capturing and Replaying Proof Strategies
K
Klebanov, Vladimir	The KeY Platform for Verification and Analysis of Java Programs
Kovalev, Mikhail	Store Buffer Reduction with MMUs
Krebbers, Robbert	Separation algebras for C verification in Coq
M
Manferdelli, John	Formal Modeling and Verification of CloudProxy
Marché, Claude	Formalizing Semantics with an Automatic Program Verifier
Mostowski, Wojciech	The KeY Platform for Verification and Analysis of Java Programs
Murali, Vijayaraghavan	What Gives? A Hybrid Algorithm for Error Explanation
N
Nagele, Julian	Certification of Nontermination Proofs using Strategies and Nonlooping Derivations
Naumann, David	A logical analysis of framing for specifications with pure method calls
Neumann, René	Using Promela in a Fully Verified Executable LTL Model Checker (SHORT)
P
Paskevich, Andrei	Formalizing Semantics with an Automatic Program Verifier
S
Sanan, David	Separation Kernel Verification: the XtratuM Case Study
Scheben, Christoph	The KeY Platform for Verification and Analysis of Java Programs
Schmitt, Peter	The KeY Platform for Verification and Analysis of Java Programs
Seshia, Sanjit	Formal Modeling and Verification of CloudProxy
Sinha, Nishant	What Gives? A Hybrid Algorithm for Error Explanation
Sinha, Rohit	Formal Modeling and Verification of CloudProxy
Spalazzi, Luca	Model Checking Parameterized Timed Systems
Spegni, Francesco	Model Checking Parameterized Timed Systems
Sridhar, Nigamanth	Efficient Refinement Checking in VCC
Srinivasan, Sudarshan	Timed Refinements for Verification of Real-Time Object Code Programs
T
Tan, Wei Yang	Formal Modeling and Verification of CloudProxy
Thiemann, René	Certification of Nontermination Proofs using Strategies and Nonlooping Derivations
Torlak, Emina	What Gives? A Hybrid Algorithm for Error Explanation
U
Ulbrich, Mattias	The KeY Platform for Verification and Analysis of Java Programs
V
Velykis, Andrius	A Model for Capturing and Replaying Proof Strategies
W
Whalen, Michael	Up and Out: Scaling Formal Analysis Using Model-Based Development and Architecture Modeling
Whiteside, Iain	A Model for Capturing and Replaying Proof Strategies
Wijayasekara, Vidura	Timed Refinements for Verification of Real-Time Object Code Programs
Winkler, Sarah	Certification of Nontermination Proofs using Strategies and Nonlooping Derivations

Disclaimer | Powered by EasyChair Smart Program