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.11