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 ..." Verige: Verification with Invariant Generation Engine Nicolas Latorre, Francesco Alberti, and Natasha Sharygina (University of Lugano, Switzerland) @InProceedings{SPIN14p119, author = {Nicolas Latorre and Francesco Alberti and Natasha Sharygina}, title = {Verige: Verification with Invariant Generation Engine}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {119-118}, doi = {}, year = {2014}, } Article: spin14main-mainid15-p (type: Short Paper (4 pages)) doi:
	Bartocci, Ezio	SPIN '14: "Towards a GPGPU-Parallel SPIN ..." Towards a GPGPU-Parallel SPIN Model Checker Ezio Bartocci, Richard DeFrancisco, and Scott A. Smolka (Vienna University of Technology, Austria; Stony Brook University, USA) @InProceedings{SPIN14p53, author = {Ezio Bartocci and Richard DeFrancisco and Scott A. Smolka}, title = {Towards a GPGPU-Parallel SPIN Model Checker}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2014}, } Article: spin14main-mainid24-p (type: Full Paper (10 pages)) doi:
	Ben Henda, Noomene	SPIN '14: "Generic and Efficient Attacker ..." Generic and Efficient Attacker Models in SPIN Noomene Ben Henda (Ericsson Research, Sweden) @InProceedings{SPIN14p101, author = {Noomene Ben Henda}, title = {Generic and Efficient Attacker Models in SPIN}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2014}, } Article: spin14main-mainid18-p (type: Full Paper (10 pages)) doi:
	Beyene, Tewodros A.	SPIN '14: "CTL+FO Verification as Constraint ..." CTL+FO Verification as Constraint Solving Tewodros A. Beyene, Marc Brockschmidt, and Andrey Rybalchenko (TU München, Germany; Microsoft Research, UK) @InProceedings{SPIN14p133, author = {Tewodros A. Beyene and Marc Brockschmidt and Andrey Rybalchenko}, title = {CTL+FO Verification as Constraint Solving}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2014}, } Article: spin14main-mainid31-p (type: Short Paper (4 pages)) doi:
	Blahoudek, František	SPIN '14: "Is There a Best Büchi Automaton ..." Is There a Best Büchi Automaton for Explicit Model Checking? František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, and Jan Strejček (Masaryk University, Czech Republic; LRDE EPITA, France) @InProceedings{SPIN14p87, author = {František Blahoudek and Alexandre Duret-Lutz and Mojmír Křetínský and Jan Strejček}, title = {Is There a Best Büchi Automaton for Explicit Model Checking?}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2014}, } Article: spin14main-mainid35-p (type: Full Paper (10 pages)) doi:
	Breck, Jason	SPIN '14: "Satisfiability Modulo Abstraction ..." Satisfiability Modulo Abstraction for Separation Logic with Linked Lists Aditya Thakur, Jason Breck, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{SPIN14p123, author = {Aditya Thakur and Jason Breck and Thomas Reps}, title = {Satisfiability Modulo Abstraction for Separation Logic with Linked Lists}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {123-122}, doi = {}, year = {2014}, } Article: spin14main-mainid33-p (type: Full Paper (10 pages)) doi:
	Breugel, Franck van	SPIN '14: "Automatic Handling of Native ..." Automatic Handling of Native Methods in Java PathFinder Nastaran Shafiei and Franck van Breugel (NASA Ames Research Center, USA; York University, Canada) @InProceedings{SPIN14p97, author = {Nastaran Shafiei and Franck van Breugel}, title = {Automatic Handling of Native Methods in Java PathFinder}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2014}, } Article: spin14main-mainid21-p (type: Short Paper (4 pages)) doi:
	Brezočnik, Zmago	SPIN '14: "SpinRCP: The Eclipse Rich ..." SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker Zmago Brezočnik, Boštjan Vlaovič, and Aleksander Vreže (University of Maribor, Slovenia) @InProceedings{SPIN14p49, author = {Zmago Brezočnik and Boštjan Vlaovič and Aleksander Vreže}, title = {SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2014}, } Article: spin14main-mainid14-p (type: Short Paper (4 pages)) doi:
	Brockschmidt, Marc	SPIN '14: "CTL+FO Verification as Constraint ..." CTL+FO Verification as Constraint Solving Tewodros A. Beyene, Marc Brockschmidt, and Andrey Rybalchenko (TU München, Germany; Microsoft Research, UK) @InProceedings{SPIN14p133, author = {Tewodros A. Beyene and Marc Brockschmidt and Andrey Rybalchenko}, title = {CTL+FO Verification as Constraint Solving}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2014}, } Article: spin14main-mainid31-p (type: Short Paper (4 pages)) doi:
	Chaki, Sagar	SPIN '14: "Toward Parameterized Verification ..." Toward Parameterized Verification of Synchronous Distributed Applications Sagar Chaki and James Edmondson (Carnegie Mellon University, USA) @InProceedings{SPIN14p21, author = {Sagar Chaki and James Edmondson}, title = {Toward Parameterized Verification of Synchronous Distributed Applications}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2014}, } Article: spin14main-mainid22-p (type: Short Paper (4 pages)) doi:
	D'Amorim, Marcelo	SPIN '14: "Quantifying Information Leaks ..." Quantifying Information Leaks using Reliability Analysis Quoc-Sang Phan, Pasquale Malacaria, Corina S. Păsăreanu, and Marcelo d'Amorim (Queen Mary University of London, UK; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Federal University of Pernambuco, Brazil) @InProceedings{SPIN14p111, author = {Quoc-Sang Phan and Pasquale Malacaria and Corina S. Păsăreanu and Marcelo d'Amorim}, title = {Quantifying Information Leaks using Reliability Analysis}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2014}, } Article: spin14main-mainid10-p (type: Short Paper (4 pages)) doi:
	DeFrancisco, Richard	SPIN '14: "Towards a GPGPU-Parallel SPIN ..." Towards a GPGPU-Parallel SPIN Model Checker Ezio Bartocci, Richard DeFrancisco, and Scott A. Smolka (Vienna University of Technology, Austria; Stony Brook University, USA) @InProceedings{SPIN14p53, author = {Ezio Bartocci and Richard DeFrancisco and Scott A. Smolka}, title = {Towards a GPGPU-Parallel SPIN Model Checker}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2014}, } Article: spin14main-mainid24-p (type: Full Paper (10 pages)) doi:
	Duret-Lutz, Alexandre	SPIN '14: "Is There a Best Büchi Automaton ..." Is There a Best Büchi Automaton for Explicit Model Checking? František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, and Jan Strejček (Masaryk University, Czech Republic; LRDE EPITA, France) @InProceedings{SPIN14p87, author = {František Blahoudek and Alexandre Duret-Lutz and Mojmír Křetínský and Jan Strejček}, title = {Is There a Best Büchi Automaton for Explicit Model Checking?}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2014}, } Article: spin14main-mainid35-p (type: Full Paper (10 pages)) doi:
	Edmondson, James	SPIN '14: "Toward Parameterized Verification ..." Toward Parameterized Verification of Synchronous Distributed Applications Sagar Chaki and James Edmondson (Carnegie Mellon University, USA) @InProceedings{SPIN14p21, author = {Sagar Chaki and James Edmondson}, title = {Toward Parameterized Verification of Synchronous Distributed Applications}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2014}, } Article: spin14main-mainid22-p (type: Short Paper (4 pages)) doi:
	Emmi, Michael	SPIN '14: "Exploiting Synchronization ..." Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs Michael Emmi, Burcu Kulahcioglu Ozkan, and Serdar Tasiran (IMDEA Software Institute, Spain; Koç University, Turkey) @InProceedings{SPIN14p11, author = {Michael Emmi and Burcu Kulahcioglu Ozkan and Serdar Tasiran}, title = {Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2014}, } Article: spin14main-mainid32-p (type: Full Paper (10 pages)) doi:
	Filippidis, Ioannis	SPIN '14: "An Improvement of the Piggyback ..." An Improvement of the Piggyback Algorithm for Parallel Model Checking Ioannis Filippidis and Gerard J. Holzmann (California Institute of Technology, USA; Jet Propulsion Laboratory, USA) @InProceedings{SPIN14p63, author = {Ioannis Filippidis and Gerard J. Holzmann}, title = {An Improvement of the Piggyback Algorithm for Parallel Model Checking}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {63-62}, doi = {}, year = {2014}, } Article: spin14main-mainid27-p (type: Full Paper (10 pages)) doi:
	Günther, Henning	SPIN '14: "Incremental Bounded Software ..." Incremental Bounded Software Model Checking Henning Günther and Georg Weissenbacher (Vienna University of Technology, Austria) @InProceedings{SPIN14p25, author = {Henning Günther and Georg Weissenbacher}, title = {Incremental Bounded Software Model Checking}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2014}, } Article: spin14main-mainid26-p (type: Full Paper (10 pages)) doi:
	Holzmann, Gerard J.	SPIN '14: "An Improvement of the Piggyback ..." An Improvement of the Piggyback Algorithm for Parallel Model Checking Ioannis Filippidis and Gerard J. Holzmann (California Institute of Technology, USA; Jet Propulsion Laboratory, USA) @InProceedings{SPIN14p63, author = {Ioannis Filippidis and Gerard J. Holzmann}, title = {An Improvement of the Piggyback Algorithm for Parallel Model Checking}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {63-62}, doi = {}, year = {2014}, } Article: spin14main-mainid27-p (type: Full Paper (10 pages)) doi:
	Jakobs, Marie-Christine	SPIN '14: "Certification for Configurable ..." Certification for Configurable Program Analysis Marie-Christine Jakobs and Heike Wehrheim (University of Paderborn, Germany) @InProceedings{SPIN14p35, author = {Marie-Christine Jakobs and Heike Wehrheim}, title = {Certification for Configurable Program Analysis}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2014}, } Article: spin14main-mainid4-p (type: Full Paper (10 pages)) doi:
	Jančík, Pavel	SPIN '14: "Approximating Happens-Before ..." Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal Pavel Parízek and Pavel Jančík (Charles University, Czech Republic) @InProceedings{SPIN14p77, author = {Pavel Parízek and Pavel Jančík}, title = {Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {77-76}, doi = {}, year = {2014}, } Article: spin14main-mainid7-p (type: Full Paper (10 pages)) doi:
	Khurshid, Sarfraz	SPIN '14: "Towards a Test Automation ..." Towards a Test Automation Framework for Alloy Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, and Darko Marinov (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{SPIN14p137, author = {Allison Sullivan and Razieh Nokhbeh Zaeem and Sarfraz Khurshid and Darko Marinov}, title = {Towards a Test Automation Framework for Alloy}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2014}, } Article: spin14main-mainid37-p (type: Short Paper (4 pages)) doi:
	Křetínský, Mojmír	SPIN '14: "Is There a Best Büchi Automaton ..." Is There a Best Büchi Automaton for Explicit Model Checking? František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, and Jan Strejček (Masaryk University, Czech Republic; LRDE EPITA, France) @InProceedings{SPIN14p87, author = {František Blahoudek and Alexandre Duret-Lutz and Mojmír Křetínský and Jan Strejček}, title = {Is There a Best Büchi Automaton for Explicit Model Checking?}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2014}, } Article: spin14main-mainid35-p (type: Full Paper (10 pages)) doi:
	Latorre, Nicolas	SPIN '14: "Verige: Verification with ..." Verige: Verification with Invariant Generation Engine Nicolas Latorre, Francesco Alberti, and Natasha Sharygina (University of Lugano, Switzerland) @InProceedings{SPIN14p119, author = {Nicolas Latorre and Francesco Alberti and Natasha Sharygina}, title = {Verige: Verification with Invariant Generation Engine}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {119-118}, doi = {}, year = {2014}, } Article: spin14main-mainid15-p (type: Short Paper (4 pages)) doi:
	Leitner-Fischer, Florian	SPIN '14: "SpinCause: A Tool for Causality ..." SpinCause: A Tool for Causality Checking Florian Leitner-Fischer and Stefan Leue (University of Konstanz, Germany) @InProceedings{SPIN14p45, author = {Florian Leitner-Fischer and Stefan Leue}, title = {SpinCause: A Tool for Causality Checking}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2014}, } Article: spin14main-mainid2-p (type: Short Paper (4 pages)) doi:
	Leue, Stefan	SPIN '14: "SpinCause: A Tool for Causality ..." SpinCause: A Tool for Causality Checking Florian Leitner-Fischer and Stefan Leue (University of Konstanz, Germany) @InProceedings{SPIN14p45, author = {Florian Leitner-Fischer and Stefan Leue}, title = {SpinCause: A Tool for Causality Checking}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2014}, } Article: spin14main-mainid2-p (type: Short Paper (4 pages)) doi:
	Malacaria, Pasquale	SPIN '14: "Quantifying Information Leaks ..." Quantifying Information Leaks using Reliability Analysis Quoc-Sang Phan, Pasquale Malacaria, Corina S. Păsăreanu, and Marcelo d'Amorim (Queen Mary University of London, UK; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Federal University of Pernambuco, Brazil) @InProceedings{SPIN14p111, author = {Quoc-Sang Phan and Pasquale Malacaria and Corina S. Păsăreanu and Marcelo d'Amorim}, title = {Quantifying Information Leaks using Reliability Analysis}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2014}, } Article: spin14main-mainid10-p (type: Short Paper (4 pages)) doi:
	Marinov, Darko	SPIN '14: "Towards a Test Automation ..." Towards a Test Automation Framework for Alloy Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, and Darko Marinov (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{SPIN14p137, author = {Allison Sullivan and Razieh Nokhbeh Zaeem and Sarfraz Khurshid and Darko Marinov}, title = {Towards a Test Automation Framework for Alloy}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2014}, } Article: spin14main-mainid37-p (type: Short Paper (4 pages)) doi:
	Neatherway, Robin P.	SPIN '14: "TravMC2: Higher-Order Model ..." TravMC2: Higher-Order Model Checking for Alternating Parity Tree Automata Robin P. Neatherway and C.-H. Luke Ong (University of Oxford, UK) @InProceedings{SPIN14p73, author = {Robin P. Neatherway and C.-H. Luke Ong}, title = {TravMC2: Higher-Order Model Checking for Alternating Parity Tree Automata}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2014}, } Article: spin14main-mainid13-p (type: Short Paper (4 pages)) doi:
	Ong, C.-H. Luke	SPIN '14: "TravMC2: Higher-Order Model ..." TravMC2: Higher-Order Model Checking for Alternating Parity Tree Automata Robin P. Neatherway and C.-H. Luke Ong (University of Oxford, UK) @InProceedings{SPIN14p73, author = {Robin P. Neatherway and C.-H. Luke Ong}, title = {TravMC2: Higher-Order Model Checking for Alternating Parity Tree Automata}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2014}, } Article: spin14main-mainid13-p (type: Short Paper (4 pages)) doi:
	Ozkan, Burcu Kulahcioglu	SPIN '14: "Exploiting Synchronization ..." Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs Michael Emmi, Burcu Kulahcioglu Ozkan, and Serdar Tasiran (IMDEA Software Institute, Spain; Koç University, Turkey) @InProceedings{SPIN14p11, author = {Michael Emmi and Burcu Kulahcioglu Ozkan and Serdar Tasiran}, title = {Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2014}, } Article: spin14main-mainid32-p (type: Full Paper (10 pages)) doi:
	Parízek, Pavel	SPIN '14: "Approximating Happens-Before ..." Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal Pavel Parízek and Pavel Jančík (Charles University, Czech Republic) @InProceedings{SPIN14p77, author = {Pavel Parízek and Pavel Jančík}, title = {Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {77-76}, doi = {}, year = {2014}, } Article: spin14main-mainid7-p (type: Full Paper (10 pages)) doi:
	Păsăreanu, Corina S.	SPIN '14: "Quantifying Information Leaks ..." Quantifying Information Leaks using Reliability Analysis Quoc-Sang Phan, Pasquale Malacaria, Corina S. Păsăreanu, and Marcelo d'Amorim (Queen Mary University of London, UK; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Federal University of Pernambuco, Brazil) @InProceedings{SPIN14p111, author = {Quoc-Sang Phan and Pasquale Malacaria and Corina S. Păsăreanu and Marcelo d'Amorim}, title = {Quantifying Information Leaks using Reliability Analysis}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2014}, } Article: spin14main-mainid10-p (type: Short Paper (4 pages)) doi:
	Phan, Quoc-Sang	SPIN '14: "Quantifying Information Leaks ..." Quantifying Information Leaks using Reliability Analysis Quoc-Sang Phan, Pasquale Malacaria, Corina S. Păsăreanu, and Marcelo d'Amorim (Queen Mary University of London, UK; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Federal University of Pernambuco, Brazil) @InProceedings{SPIN14p111, author = {Quoc-Sang Phan and Pasquale Malacaria and Corina S. Păsăreanu and Marcelo d'Amorim}, title = {Quantifying Information Leaks using Reliability Analysis}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2014}, } Article: spin14main-mainid10-p (type: Short Paper (4 pages)) doi:
	Reps, Thomas	SPIN '14: "Satisfiability Modulo Abstraction ..." Satisfiability Modulo Abstraction for Separation Logic with Linked Lists Aditya Thakur, Jason Breck, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{SPIN14p123, author = {Aditya Thakur and Jason Breck and Thomas Reps}, title = {Satisfiability Modulo Abstraction for Separation Logic with Linked Lists}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {123-122}, doi = {}, year = {2014}, } Article: spin14main-mainid33-p (type: Full Paper (10 pages)) doi:
	Ruys, Theo C.	SPIN '14: "Unit Testing for SPIN: runspin ..." Unit Testing for SPIN: runspin and parsepan Theo C. Ruys (RUwise, Netherlands) @InProceedings{SPIN14p115, author = {Theo C. Ruys}, title = {Unit Testing for SPIN: runspin and parsepan}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {115-114}, doi = {}, year = {2014}, } Article: spin14main-mainid20-p (type: Short Paper (4 pages)) doi:
	Rybalchenko, Andrey	SPIN '14: "CTL+FO Verification as Constraint ..." CTL+FO Verification as Constraint Solving Tewodros A. Beyene, Marc Brockschmidt, and Andrey Rybalchenko (TU München, Germany; Microsoft Research, UK) @InProceedings{SPIN14p133, author = {Tewodros A. Beyene and Marc Brockschmidt and Andrey Rybalchenko}, title = {CTL+FO Verification as Constraint Solving}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2014}, } Article: spin14main-mainid31-p (type: Short Paper (4 pages)) doi:
	Shafiei, Nastaran	SPIN '14: "Automatic Handling of Native ..." Automatic Handling of Native Methods in Java PathFinder Nastaran Shafiei and Franck van Breugel (NASA Ames Research Center, USA; York University, Canada) @InProceedings{SPIN14p97, author = {Nastaran Shafiei and Franck van Breugel}, title = {Automatic Handling of Native Methods in Java PathFinder}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2014}, } Article: spin14main-mainid21-p (type: Short Paper (4 pages)) doi:
	Sharygina, Natasha	SPIN '14: "Verige: Verification with ..." Verige: Verification with Invariant Generation Engine Nicolas Latorre, Francesco Alberti, and Natasha Sharygina (University of Lugano, Switzerland) @InProceedings{SPIN14p119, author = {Nicolas Latorre and Francesco Alberti and Natasha Sharygina}, title = {Verige: Verification with Invariant Generation Engine}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {119-118}, doi = {}, year = {2014}, } Article: spin14main-mainid15-p (type: Short Paper (4 pages)) doi:
	Smolka, Scott A.	SPIN '14: "Towards a GPGPU-Parallel SPIN ..." Towards a GPGPU-Parallel SPIN Model Checker Ezio Bartocci, Richard DeFrancisco, and Scott A. Smolka (Vienna University of Technology, Austria; Stony Brook University, USA) @InProceedings{SPIN14p53, author = {Ezio Bartocci and Richard DeFrancisco and Scott A. Smolka}, title = {Towards a GPGPU-Parallel SPIN Model Checker}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2014}, } Article: spin14main-mainid24-p (type: Full Paper (10 pages)) doi:
	Strejček, Jan	SPIN '14: "Is There a Best Büchi Automaton ..." Is There a Best Büchi Automaton for Explicit Model Checking? František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, and Jan Strejček (Masaryk University, Czech Republic; LRDE EPITA, France) @InProceedings{SPIN14p87, author = {František Blahoudek and Alexandre Duret-Lutz and Mojmír Křetínský and Jan Strejček}, title = {Is There a Best Büchi Automaton for Explicit Model Checking?}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2014}, } Article: spin14main-mainid35-p (type: Full Paper (10 pages)) doi:
	Sullivan, Allison	SPIN '14: "Towards a Test Automation ..." Towards a Test Automation Framework for Alloy Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, and Darko Marinov (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{SPIN14p137, author = {Allison Sullivan and Razieh Nokhbeh Zaeem and Sarfraz Khurshid and Darko Marinov}, title = {Towards a Test Automation Framework for Alloy}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2014}, } Article: spin14main-mainid37-p (type: Short Paper (4 pages)) doi:
	Tasiran, Serdar	SPIN '14: "Exploiting Synchronization ..." Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs Michael Emmi, Burcu Kulahcioglu Ozkan, and Serdar Tasiran (IMDEA Software Institute, Spain; Koç University, Turkey) @InProceedings{SPIN14p11, author = {Michael Emmi and Burcu Kulahcioglu Ozkan and Serdar Tasiran}, title = {Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2014}, } Article: spin14main-mainid32-p (type: Full Paper (10 pages)) doi:
	Thakur, Aditya	SPIN '14: "Satisfiability Modulo Abstraction ..." Satisfiability Modulo Abstraction for Separation Logic with Linked Lists Aditya Thakur, Jason Breck, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{SPIN14p123, author = {Aditya Thakur and Jason Breck and Thomas Reps}, title = {Satisfiability Modulo Abstraction for Separation Logic with Linked Lists}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {123-122}, doi = {}, year = {2014}, } Article: spin14main-mainid33-p (type: Full Paper (10 pages)) doi:
	Vlaovič, Boštjan	SPIN '14: "SpinRCP: The Eclipse Rich ..." SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker Zmago Brezočnik, Boštjan Vlaovič, and Aleksander Vreže (University of Maribor, Slovenia) @InProceedings{SPIN14p49, author = {Zmago Brezočnik and Boštjan Vlaovič and Aleksander Vreže}, title = {SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2014}, } Article: spin14main-mainid14-p (type: Short Paper (4 pages)) doi:
	Vreže, Aleksander	SPIN '14: "SpinRCP: The Eclipse Rich ..." SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker Zmago Brezočnik, Boštjan Vlaovič, and Aleksander Vreže (University of Maribor, Slovenia) @InProceedings{SPIN14p49, author = {Zmago Brezočnik and Boštjan Vlaovič and Aleksander Vreže}, title = {SpinRCP: The Eclipse Rich Client Platform Integrated Development Environment for the Spin Model Checker}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2014}, } Article: spin14main-mainid14-p (type: Short Paper (4 pages)) doi:
	Wehrheim, Heike	SPIN '14: "Certification for Configurable ..." Certification for Configurable Program Analysis Marie-Christine Jakobs and Heike Wehrheim (University of Paderborn, Germany) @InProceedings{SPIN14p35, author = {Marie-Christine Jakobs and Heike Wehrheim}, title = {Certification for Configurable Program Analysis}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2014}, } Article: spin14main-mainid4-p (type: Full Paper (10 pages)) doi:
	Weissenbacher, Georg	SPIN '14: "Incremental Bounded Software ..." Incremental Bounded Software Model Checking Henning Günther and Georg Weissenbacher (Vienna University of Technology, Austria) @InProceedings{SPIN14p25, author = {Henning Günther and Georg Weissenbacher}, title = {Incremental Bounded Software Model Checking}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2014}, } Article: spin14main-mainid26-p (type: Full Paper (10 pages)) doi:
	Zaeem, Razieh Nokhbeh	SPIN '14: "Towards a Test Automation ..." Towards a Test Automation Framework for Alloy Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, and Darko Marinov (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{SPIN14p137, author = {Allison Sullivan and Razieh Nokhbeh Zaeem and Sarfraz Khurshid and Darko Marinov}, title = {Towards a Test Automation Framework for Alloy}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2014}, } Article: spin14main-mainid37-p (type: Short Paper (4 pages)) doi:
	Zheng, Hao	SPIN '14: "Local State Space Construction ..." Local State Space Construction for Compositional Verification of Concurrent Systems Hao Zheng (University of South Florida, USA) @InProceedings{SPIN14p1, author = {Hao Zheng}, title = {Local State Space Construction for Compositional Verification of Concurrent Systems}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, } Article: spin14main-mainid3-p (type: Full Paper (10 pages)) doi:

49 authors

proc time: 0.05