Powered by
Conference Publishing Consulting

2014 International SPIN Symposium on Model Checking of Software (SPIN), July 21–23, 2014, San Jose, CA, USA

SPIN 2014 – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N O P R S T V W Z

Alberti, Francesco SPIN '14: "Verige: Verification with ..."
Bartocci, Ezio SPIN '14: "Towards a GPGPU-Parallel SPIN ..."
Ben Henda, Noomene SPIN '14: "Generic and Efficient Attacker ..."
Beyene, Tewodros A. SPIN '14: "CTL+FO Verification as Constraint ..."
Blahoudek, František SPIN '14: "Is There a Best Büchi Automaton ..."
Breck, Jason SPIN '14: "Satisfiability Modulo Abstraction ..."
Breugel, Franck van SPIN '14: "Automatic Handling of Native ..."
Brezočnik, Zmago SPIN '14: "SpinRCP: The Eclipse Rich ..."
Brockschmidt, Marc SPIN '14: "CTL+FO Verification as Constraint ..."
Chaki, Sagar SPIN '14: "Toward Parameterized Verification ..."
D'Amorim, Marcelo SPIN '14: "Quantifying Information Leaks ..."
DeFrancisco, Richard SPIN '14: "Towards a GPGPU-Parallel SPIN ..."
Duret-Lutz, Alexandre SPIN '14: "Is There a Best Büchi Automaton ..."
Edmondson, James SPIN '14: "Toward Parameterized Verification ..."
Emmi, Michael SPIN '14: "Exploiting Synchronization ..."
Filippidis, Ioannis SPIN '14: "An Improvement of the Piggyback ..."
Günther, Henning SPIN '14: "Incremental Bounded Software ..."
Holzmann, Gerard J. SPIN '14: "An Improvement of the Piggyback ..."
Jakobs, Marie-Christine SPIN '14: "Certification for Configurable ..."
Jančík, Pavel SPIN '14: "Approximating Happens-Before ..."
Khurshid, Sarfraz SPIN '14: "Towards a Test Automation ..."
Křetínský, Mojmír SPIN '14: "Is There a Best Büchi Automaton ..."
Latorre, Nicolas SPIN '14: "Verige: Verification with ..."
Leitner-Fischer, Florian SPIN '14: "SpinCause: A Tool for Causality ..."
Leue, Stefan SPIN '14: "SpinCause: A Tool for Causality ..."
Malacaria, Pasquale SPIN '14: "Quantifying Information Leaks ..."
Marinov, Darko SPIN '14: "Towards a Test Automation ..."
Neatherway, Robin P. SPIN '14: "TravMC2: Higher-Order Model ..."
Ong, C.-H. Luke SPIN '14: "TravMC2: Higher-Order Model ..."
Ozkan, Burcu Kulahcioglu SPIN '14: "Exploiting Synchronization ..."
Parízek, Pavel SPIN '14: "Approximating Happens-Before ..."
Păsăreanu, Corina S. SPIN '14: "Quantifying Information Leaks ..."
Phan, Quoc-Sang SPIN '14: "Quantifying Information Leaks ..."
Reps, Thomas SPIN '14: "Satisfiability Modulo Abstraction ..."
Ruys, Theo C. SPIN '14: "Unit Testing for SPIN: runspin ..."
Rybalchenko, Andrey SPIN '14: "CTL+FO Verification as Constraint ..."
Shafiei, Nastaran SPIN '14: "Automatic Handling of Native ..."
Sharygina, Natasha SPIN '14: "Verige: Verification with ..."
Smolka, Scott A. SPIN '14: "Towards a GPGPU-Parallel SPIN ..."
Strejček, Jan SPIN '14: "Is There a Best Büchi Automaton ..."
Sullivan, Allison SPIN '14: "Towards a Test Automation ..."
Tasiran, Serdar SPIN '14: "Exploiting Synchronization ..."
Thakur, Aditya SPIN '14: "Satisfiability Modulo Abstraction ..."
Vlaovič, Boštjan SPIN '14: "SpinRCP: The Eclipse Rich ..."
Vreže, Aleksander SPIN '14: "SpinRCP: The Eclipse Rich ..."
Wehrheim, Heike SPIN '14: "Certification for Configurable ..."
Weissenbacher, Georg SPIN '14: "Incremental Bounded Software ..."
Zaeem, Razieh Nokhbeh SPIN '14: "Towards a Test Automation ..."
Zheng, Hao SPIN '14: "Local State Space Construction ..."

49 authors

proc time: 0.24