SPIN 2017 – Author Index

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

	Babic, Domagoj	SPIN '17: "SunDew: Systematic Automated ..." SunDew: Systematic Automated Security Testing (Keynote) Domagoj Babic (Google, USA) @InProceedings{SPIN17p31, author = {Domagoj Babic}, title = {SunDew: Systematic Automated Security Testing (Keynote)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: spin17key-key2-p (type: Invited Talk Paper) doi:
	Balachandran, Swee	SPIN '17: "Verification-Driven Development ..." Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study Marco A. Feliú, Camilo Rocha, and Swee Balachandran (National Institute of Aerospace, USA; Pontificia Universidad Javeriana, Colombia) @InProceedings{SPIN17p219, author = {Marco A. Feliú and Camilo Rocha and Swee Balachandran}, title = {Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {219-218}, doi = {}, year = {2017}, } Article: spin17main-mainid14-p (type: Short Paper) doi:
	Bersani, Marcello M.	SPIN '17: "Formal Verification of Data-Intensive ..." Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi (Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy) @InProceedings{SPIN17p223, author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi}, title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {223-222}, doi = {}, year = {2017}, } Article: spin17main-mainid43-p (type: Short Paper) doi:
	Berthier, Nicolas	SPIN '17: "A Hot Method for Synthesising ..." A Hot Method for Synthesising Cool Controllers Idress Husien, Nicolas Berthier, and Sven Schewe (University of Liverpool, UK) @InProceedings{SPIN17p247, author = {Idress Husien and Nicolas Berthier and Sven Schewe}, title = {A Hot Method for Synthesising Cool Controllers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2017}, } Article: spin17main-mainid35-p (type: Full Paper) doi:
	Bloemen, Vincent	SPIN '17: "Explicit State Model Checking ..." Explicit State Model Checking with Generalized Büchi and Rabin Automata Vincent Bloemen, Alexandre Duret-Lutz, and Jaco van de Pol (University of Twente, Netherlands; LRDE, France) @InProceedings{SPIN17p175, author = {Vincent Bloemen and Alexandre Duret-Lutz and Jaco van de Pol}, title = {Explicit State Model Checking with Generalized Büchi and Rabin Automata}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {175-174}, doi = {}, year = {2017}, } Article: spin17main-mainid48-p (type: Full Paper) doi:
	Botha, Heila	SPIN '17: "Addressing Challenges in Obtaining ..." Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser (Stellenbosch University, South Africa; NASA Ames Research Center, USA) @InProceedings{SPIN17p155, author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser}, title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2017}, } Article: spin17main-mainid20-p (type: Full Paper) doi:
	Cook, Byron	SPIN '17: "Automated Formal Reasoning ..." Automated Formal Reasoning about Amazon Web Services (Keynote) Byron Cook (Amazon Web Services, USA; University College London, UK) @InProceedings{SPIN17p16, author = {Byron Cook}, title = {Automated Formal Reasoning about Amazon Web Services (Keynote)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {16-15}, doi = {}, year = {2017}, } Article: spin17key-key3-p (type: Invited Talk Paper) doi:
	De Ruiter, Joeri	SPIN '17: "Model Learning and Model Checking ..." Model Learning and Model Checking of SSH Implementations Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg (Radboud University Nijmegen, Netherlands) @InProceedings{SPIN17p267, author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg}, title = {Model Learning and Model Checking of SSH Implementations}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {267-266}, doi = {}, year = {2017}, } Article: spin17main-mainid30-p (type: Full Paper) doi:
	Dijk, Tom van	SPIN '17: "Distributed Binary Decision ..." Distributed Binary Decision Diagrams for Symbolic Reachability Wytse Oortwijn, Tom van Dijk, and Jaco van de Pol (University of Twente, Netherlands; JKU Linz, Austria) @InProceedings{SPIN17p145, author = {Wytse Oortwijn and Tom van Dijk and Jaco van de Pol}, title = {Distributed Binary Decision Diagrams for Symbolic Reachability}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: spin17main-mainid17-p (type: Full Paper) doi:
	Dini, Nima	SPIN '17: "Optimizing Parallel Korat ..." Optimizing Parallel Korat Using Invalid Ranges Nima Dini, Cagdas Yelen, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{SPIN17p307, author = {Nima Dini and Cagdas Yelen and Sarfraz Khurshid}, title = {Optimizing Parallel Korat Using Invalid Ranges}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {307-306}, doi = {}, year = {2017}, } Article: spin17main-mainid45-p (type: Full Paper) doi:
	Duret-Lutz, Alexandre	SPIN '17: "Explicit State Model Checking ..." Explicit State Model Checking with Generalized Büchi and Rabin Automata Vincent Bloemen, Alexandre Duret-Lutz, and Jaco van de Pol (University of Twente, Netherlands; LRDE, France) @InProceedings{SPIN17p175, author = {Vincent Bloemen and Alexandre Duret-Lutz and Jaco van de Pol}, title = {Explicit State Model Checking with Generalized Büchi and Rabin Automata}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {175-174}, doi = {}, year = {2017}, } Article: spin17main-mainid48-p (type: Full Paper) doi:
	Erascu, Madalina	SPIN '17: "Formal Verification of Data-Intensive ..." Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi (Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy) @InProceedings{SPIN17p223, author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi}, title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {223-222}, doi = {}, year = {2017}, } Article: spin17main-mainid43-p (type: Short Paper) doi:
	Falcone, Yliès	SPIN '17: "Runtime Enforcement using ..." Runtime Enforcement using Büchi Games Matthieu Renard, Antoine Rollet, and Yliès Falcone (LaBRI, France; Bordeaux INP, France; University of Bordeaux, France; Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France) @InProceedings{SPIN17p195, author = {Matthieu Renard and Antoine Rollet and Yliès Falcone}, title = {Runtime Enforcement using Büchi Games}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2017}, } Article: spin17main-mainid7-p (type: Full Paper) doi:
	Fearnley, John	SPIN '17: "An Ordered Approach to Solving ..." An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak (University of Liverpool, UK; National University of Singapore, Singapore) @InProceedings{SPIN17p237, author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak}, title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {237-236}, doi = {}, year = {2017}, } Article: spin17main-mainid27-p (type: Full Paper) doi:
	Fecke, Maximilian	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi:
	Feliú, Marco A.	SPIN '17: "Verification-Driven Development ..." Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study Marco A. Feliú, Camilo Rocha, and Swee Balachandran (National Institute of Aerospace, USA; Pontificia Universidad Javeriana, Colombia) @InProceedings{SPIN17p219, author = {Marco A. Feliú and Camilo Rocha and Swee Balachandran}, title = {Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {219-218}, doi = {}, year = {2017}, } Article: spin17main-mainid14-p (type: Short Paper) doi:
	Fiterău-Broştean, Paul	SPIN '17: "Model Learning and Model Checking ..." Model Learning and Model Checking of SSH Implementations Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg (Radboud University Nijmegen, Netherlands) @InProceedings{SPIN17p267, author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg}, title = {Model Learning and Model Checking of SSH Implementations}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {267-266}, doi = {}, year = {2017}, } Article: spin17main-mainid30-p (type: Full Paper) doi:
	Gacek, Andrew	SPIN '17: "SIMPAL: A Compositional Reasoning ..." SIMPAL: A Compositional Reasoning Framework for Imperative Programs Lucas Wagner, David Greve, and Andrew Gacek (Iowa State University, USA; Rockwell Collins, USA) @InProceedings{SPIN17p215, author = {Lucas Wagner and David Greve and Andrew Gacek}, title = {SIMPAL: A Compositional Reasoning Framework for Imperative Programs}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2017}, } Article: spin17main-mainid11-p (type: Short Paper) doi:
	Gallardo, María-del-Mar	SPIN '17: "Guided Test Case Generation ..." Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino (University of Málaga, Spain) @InProceedings{SPIN17p317, author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino}, title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {317-316}, doi = {}, year = {2017}, } Article: spin17main-mainid22-p (type: Short Paper) doi:
	Geffroy, Thomas	SPIN '17: "Backward Coverability with ..." Backward Coverability with Pruning for Lossy Channel Systems Thomas Geffroy, Jérôme Leroux, and Grégoire Sutre (University of Bordeaux, France; CNRS, France; LaBRI, France) @InProceedings{SPIN17p257, author = {Thomas Geffroy and Jérôme Leroux and Grégoire Sutre}, title = {Backward Coverability with Pruning for Lossy Channel Systems}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {257-256}, doi = {}, year = {2017}, } Article: spin17main-mainid29-p (type: Full Paper) doi:
	Ghilardi, Silvio	SPIN '17: "Formal Verification of Data-Intensive ..." Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi (Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy) @InProceedings{SPIN17p223, author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi}, title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {223-222}, doi = {}, year = {2017}, } Article: spin17main-mainid43-p (type: Short Paper) doi:
	Greve, David	SPIN '17: "SIMPAL: A Compositional Reasoning ..." SIMPAL: A Compositional Reasoning Framework for Imperative Programs Lucas Wagner, David Greve, and Andrew Gacek (Iowa State University, USA; Rockwell Collins, USA) @InProceedings{SPIN17p215, author = {Lucas Wagner and David Greve and Andrew Gacek}, title = {SIMPAL: A Compositional Reasoning Framework for Imperative Programs}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2017}, } Article: spin17main-mainid11-p (type: Short Paper) doi:
	Hanxleden, Reinhard von	SPIN '17: "Runtime Enforcement of Reactive ..." Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden (Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA) @InProceedings{SPIN17p205, author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden}, title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: spin17main-mainid12-p (type: Full Paper) doi:
	Holzmann, Gerard J.	SPIN '17: "Cobra: Fast Structural Code ..." Cobra: Fast Structural Code Checking (Keynote) Gerard J. Holzmann (Nimble Research, USA) @InProceedings{SPIN17p1, author = {Gerard J. Holzmann}, title = {Cobra: Fast Structural Code Checking (Keynote)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: spin17key-key1-p (type: Invited Talk Paper) doi:
	Howar, Falk	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi:
	Hua, Jinru	SPIN '17: "EdSketch: Execution-Driven ..." EdSketch: Execution-Driven Sketching for Java Jinru Hua and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{SPIN17p287, author = {Jinru Hua and Sarfraz Khurshid}, title = {EdSketch: Execution-Driven Sketching for Java}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2017}, } Article: spin17main-mainid41-p (type: Full Paper) doi:
	Husien, Idress	SPIN '17: "A Hot Method for Synthesising ..." A Hot Method for Synthesising Cool Controllers Idress Husien, Nicolas Berthier, and Sven Schewe (University of Liverpool, UK) @InProceedings{SPIN17p247, author = {Idress Husien and Nicolas Berthier and Sven Schewe}, title = {A Hot Method for Synthesising Cool Controllers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2017}, } Article: spin17main-mainid35-p (type: Full Paper) doi:
	Jain, Sanjay	SPIN '17: "An Ordered Approach to Solving ..." An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak (University of Liverpool, UK; National University of Singapore, Singapore) @InProceedings{SPIN17p237, author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak}, title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {237-236}, doi = {}, year = {2017}, } Article: spin17main-mainid27-p (type: Full Paper) doi:
	Jasper, Marc	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi:
	Jensen, Peter Gjøl	SPIN '17: "Practical Controller Synthesis ..." Practical Controller Synthesis for MTL0,∞ Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany) @InProceedings{SPIN17p227, author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen}, title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {227-226}, doi = {}, year = {2017}, } Article: spin17main-mainid23-p (type: Full Paper) doi:
	Khamespanah, Ehsan	SPIN '17: "LeeTL: LTL with Quantifications ..." LeeTL: LTL with Quantifications over Model Objects Pouria Mellati, Ehsan Khamespanah, and Ramtin Khosravi (University of Tehran, Iran; Reykjavik University, Iceland) @InProceedings{SPIN17p165, author = {Pouria Mellati and Ehsan Khamespanah and Ramtin Khosravi}, title = {LeeTL: LTL with Quantifications over Model Objects}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {165-164}, doi = {}, year = {2017}, } Article: spin17main-mainid47-p (type: Full Paper) doi:
	Khosravi, Ramtin	SPIN '17: "LeeTL: LTL with Quantifications ..." LeeTL: LTL with Quantifications over Model Objects Pouria Mellati, Ehsan Khamespanah, and Ramtin Khosravi (University of Tehran, Iran; Reykjavik University, Iceland) @InProceedings{SPIN17p165, author = {Pouria Mellati and Ehsan Khamespanah and Ramtin Khosravi}, title = {LeeTL: LTL with Quantifications over Model Objects}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {165-164}, doi = {}, year = {2017}, } Article: spin17main-mainid47-p (type: Full Paper) doi:
	Khurshid, Sarfraz	SPIN '17: "EdSketch: Execution-Driven ..." EdSketch: Execution-Driven Sketching for Java Jinru Hua and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{SPIN17p287, author = {Jinru Hua and Sarfraz Khurshid}, title = {EdSketch: Execution-Driven Sketching for Java}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {287-286}, doi = {}, year = {2017}, } Article: spin17main-mainid41-p (type: Full Paper) doi: SPIN '17: "Optimizing Parallel Korat ..." Optimizing Parallel Korat Using Invalid Ranges Nima Dini, Cagdas Yelen, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{SPIN17p307, author = {Nima Dini and Cagdas Yelen and Sarfraz Khurshid}, title = {Optimizing Parallel Korat Using Invalid Ranges}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {307-306}, doi = {}, year = {2017}, } Article: spin17main-mainid45-p (type: Full Paper) doi:
	Kinder, Johannes	SPIN '17: "ExpoSE: Practical Symbolic ..." ExpoSE: Practical Symbolic Execution of Standalone JavaScript Blake Loring, Duncan Mitchell, and Johannes Kinder (Royal Holloway University of London, UK) @InProceedings{SPIN17p321, author = {Blake Loring and Duncan Mitchell and Johannes Kinder}, title = {ExpoSE: Practical Symbolic Execution of Standalone JavaScript}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2017}, } Article: spin17main-mainid34-p (type: Short Paper) doi:
	Kokologiannakis, Michalis	SPIN '17: "Stateless Model Checking of ..." Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) Michalis Kokologiannakis and Konstantinos Sagonas (National Technical University of Athens, Greece; Uppsala University, Sweden) @InProceedings{SPIN17p297, author = {Michalis Kokologiannakis and Konstantinos Sagonas}, title = {Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {297-296}, doi = {}, year = {2017}, } Article: spin17main-mainid31-p (type: Full Paper) doi:
	Larsen, Kim Guldstrand	SPIN '17: "Practical Controller Synthesis ..." Practical Controller Synthesis for MTL0,∞ Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany) @InProceedings{SPIN17p227, author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen}, title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {227-226}, doi = {}, year = {2017}, } Article: spin17main-mainid23-p (type: Full Paper) doi:
	Legay, Axel	SPIN '17: "Practical Controller Synthesis ..." Practical Controller Synthesis for MTL0,∞ Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany) @InProceedings{SPIN17p227, author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen}, title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {227-226}, doi = {}, year = {2017}, } Article: spin17main-mainid23-p (type: Full Paper) doi:
	Lenaerts, Toon	SPIN '17: "Model Learning and Model Checking ..." Model Learning and Model Checking of SSH Implementations Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg (Radboud University Nijmegen, Netherlands) @InProceedings{SPIN17p267, author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg}, title = {Model Learning and Model Checking of SSH Implementations}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {267-266}, doi = {}, year = {2017}, } Article: spin17main-mainid30-p (type: Full Paper) doi:
	Leroux, Jérôme	SPIN '17: "Backward Coverability with ..." Backward Coverability with Pruning for Lossy Channel Systems Thomas Geffroy, Jérôme Leroux, and Grégoire Sutre (University of Bordeaux, France; CNRS, France; LaBRI, France) @InProceedings{SPIN17p257, author = {Thomas Geffroy and Jérôme Leroux and Grégoire Sutre}, title = {Backward Coverability with Pruning for Lossy Channel Systems}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {257-256}, doi = {}, year = {2017}, } Article: spin17main-mainid29-p (type: Full Paper) doi:
	Li, Guangyuan	SPIN '17: "Practical Controller Synthesis ..." Practical Controller Synthesis for MTL0,∞ Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany) @InProceedings{SPIN17p227, author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen}, title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {227-226}, doi = {}, year = {2017}, } Article: spin17main-mainid23-p (type: Full Paper) doi:
	Loring, Blake	SPIN '17: "ExpoSE: Practical Symbolic ..." ExpoSE: Practical Symbolic Execution of Standalone JavaScript Blake Loring, Duncan Mitchell, and Johannes Kinder (Royal Holloway University of London, UK) @InProceedings{SPIN17p321, author = {Blake Loring and Duncan Mitchell and Johannes Kinder}, title = {ExpoSE: Practical Symbolic Execution of Standalone JavaScript}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2017}, } Article: spin17main-mainid34-p (type: Short Paper) doi:
	Marconi, Francesco	SPIN '17: "Formal Verification of Data-Intensive ..." Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi (Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy) @InProceedings{SPIN17p223, author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi}, title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {223-222}, doi = {}, year = {2017}, } Article: spin17main-mainid43-p (type: Short Paper) doi:
	Meijer, Jeroen	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi:
	Mellati, Pouria	SPIN '17: "LeeTL: LTL with Quantifications ..." LeeTL: LTL with Quantifications over Model Objects Pouria Mellati, Ehsan Khamespanah, and Ramtin Khosravi (University of Tehran, Iran; Reykjavik University, Iceland) @InProceedings{SPIN17p165, author = {Pouria Mellati and Ehsan Khamespanah and Ramtin Khosravi}, title = {LeeTL: LTL with Quantifications over Model Objects}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {165-164}, doi = {}, year = {2017}, } Article: spin17main-mainid47-p (type: Full Paper) doi:
	Merino, Pedro	SPIN '17: "Guided Test Case Generation ..." Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino (University of Málaga, Spain) @InProceedings{SPIN17p317, author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino}, title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {317-316}, doi = {}, year = {2017}, } Article: spin17main-mainid22-p (type: Short Paper) doi:
	Merwe, Brink van der	SPIN '17: "Addressing Challenges in Obtaining ..." Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser (Stellenbosch University, South Africa; NASA Ames Research Center, USA) @InProceedings{SPIN17p155, author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser}, title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2017}, } Article: spin17main-mainid20-p (type: Full Paper) doi:
	Mitchell, Duncan	SPIN '17: "ExpoSE: Practical Symbolic ..." ExpoSE: Practical Symbolic Execution of Standalone JavaScript Blake Loring, Duncan Mitchell, and Johannes Kinder (Royal Holloway University of London, UK) @InProceedings{SPIN17p321, author = {Blake Loring and Duncan Mitchell and Johannes Kinder}, title = {ExpoSE: Practical Symbolic Execution of Standalone JavaScript}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2017}, } Article: spin17main-mainid34-p (type: Short Paper) doi:
	Nguyen, Huu-Vu	SPIN '17: "CARET Model Checking for Malware ..." CARET Model Checking for Malware Detection Huu-Vu Nguyen and Tayssir Touili (University of Paris Diderot, France; LIPN, France; CNRS, France; University of Paris North, France) @InProceedings{SPIN17p277, author = {Huu-Vu Nguyen and Tayssir Touili}, title = {CARET Model Checking for Malware Detection}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {277-276}, doi = {}, year = {2017}, } Article: spin17main-mainid37-p (type: Full Paper) doi:
	Oortwijn, Wytse	SPIN '17: "Distributed Binary Decision ..." Distributed Binary Decision Diagrams for Symbolic Reachability Wytse Oortwijn, Tom van Dijk, and Jaco van de Pol (University of Twente, Netherlands; JKU Linz, Austria) @InProceedings{SPIN17p145, author = {Wytse Oortwijn and Tom van Dijk and Jaco van de Pol}, title = {Distributed Binary Decision Diagrams for Symbolic Reachability}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: spin17main-mainid17-p (type: Full Paper) doi:
	Panizo, Laura	SPIN '17: "Guided Test Case Generation ..." Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino (University of Málaga, Spain) @InProceedings{SPIN17p317, author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino}, title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {317-316}, doi = {}, year = {2017}, } Article: spin17main-mainid22-p (type: Short Paper) doi:
	Pinisetty, Srinivas	SPIN '17: "Runtime Enforcement of Reactive ..." Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden (Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA) @InProceedings{SPIN17p205, author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden}, title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: spin17main-mainid12-p (type: Full Paper) doi:
	Pol, Jaco van de	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi: SPIN '17: "Distributed Binary Decision ..." Distributed Binary Decision Diagrams for Symbolic Reachability Wytse Oortwijn, Tom van Dijk, and Jaco van de Pol (University of Twente, Netherlands; JKU Linz, Austria) @InProceedings{SPIN17p145, author = {Wytse Oortwijn and Tom van Dijk and Jaco van de Pol}, title = {Distributed Binary Decision Diagrams for Symbolic Reachability}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Article: spin17main-mainid17-p (type: Full Paper) doi: SPIN '17: "Explicit State Model Checking ..." Explicit State Model Checking with Generalized Büchi and Rabin Automata Vincent Bloemen, Alexandre Duret-Lutz, and Jaco van de Pol (University of Twente, Netherlands; LRDE, France) @InProceedings{SPIN17p175, author = {Vincent Bloemen and Alexandre Duret-Lutz and Jaco van de Pol}, title = {Explicit State Model Checking with Generalized Büchi and Rabin Automata}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {175-174}, doi = {}, year = {2017}, } Article: spin17main-mainid48-p (type: Full Paper) doi:
	Poll, Erik	SPIN '17: "Model Learning and Model Checking ..." Model Learning and Model Checking of SSH Implementations Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg (Radboud University Nijmegen, Netherlands) @InProceedings{SPIN17p267, author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg}, title = {Model Learning and Model Checking of SSH Implementations}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {267-266}, doi = {}, year = {2017}, } Article: spin17main-mainid30-p (type: Full Paper) doi:
	Poulsen, Danny Bøgsted	SPIN '17: "Practical Controller Synthesis ..." Practical Controller Synthesis for MTL0,∞ Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen (Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany) @InProceedings{SPIN17p227, author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen}, title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {227-226}, doi = {}, year = {2017}, } Article: spin17main-mainid23-p (type: Full Paper) doi:
	Ratiu, Daniel	SPIN '17: "Increasing Usability of Spin-Based ..." Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners Daniel Ratiu and Andreas Ulrich (Siemens, Germany) @InProceedings{SPIN17p185, author = {Daniel Ratiu and Andreas Ulrich}, title = {Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {185-184}, doi = {}, year = {2017}, } Article: spin17main-mainid8-p (type: Full Paper) doi:
	Renard, Matthieu	SPIN '17: "Runtime Enforcement using ..." Runtime Enforcement using Büchi Games Matthieu Renard, Antoine Rollet, and Yliès Falcone (LaBRI, France; Bordeaux INP, France; University of Bordeaux, France; Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France) @InProceedings{SPIN17p195, author = {Matthieu Renard and Antoine Rollet and Yliès Falcone}, title = {Runtime Enforcement using Büchi Games}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2017}, } Article: spin17main-mainid7-p (type: Full Paper) doi:
	Rocha, Camilo	SPIN '17: "Verification-Driven Development ..." Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study Marco A. Feliú, Camilo Rocha, and Swee Balachandran (National Institute of Aerospace, USA; Pontificia Universidad Javeriana, Colombia) @InProceedings{SPIN17p219, author = {Marco A. Feliú and Camilo Rocha and Swee Balachandran}, title = {Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {219-218}, doi = {}, year = {2017}, } Article: spin17main-mainid14-p (type: Short Paper) doi:
	Rollet, Antoine	SPIN '17: "Runtime Enforcement using ..." Runtime Enforcement using Büchi Games Matthieu Renard, Antoine Rollet, and Yliès Falcone (LaBRI, France; Bordeaux INP, France; University of Bordeaux, France; Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France) @InProceedings{SPIN17p195, author = {Matthieu Renard and Antoine Rollet and Yliès Falcone}, title = {Runtime Enforcement using Büchi Games}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {195-194}, doi = {}, year = {2017}, } Article: spin17main-mainid7-p (type: Full Paper) doi:
	Roop, Partha S.	SPIN '17: "Runtime Enforcement of Reactive ..." Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden (Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA) @InProceedings{SPIN17p205, author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden}, title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: spin17main-mainid12-p (type: Full Paper) doi:
	Rossi, Matteo	SPIN '17: "Formal Verification of Data-Intensive ..." Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi (Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy) @InProceedings{SPIN17p223, author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi}, title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {223-222}, doi = {}, year = {2017}, } Article: spin17main-mainid43-p (type: Short Paper) doi:
	Sagonas, Konstantinos	SPIN '17: "Stateless Model Checking of ..." Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) Michalis Kokologiannakis and Konstantinos Sagonas (National Technical University of Athens, Greece; Uppsala University, Sweden) @InProceedings{SPIN17p297, author = {Michalis Kokologiannakis and Konstantinos Sagonas}, title = {Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {297-296}, doi = {}, year = {2017}, } Article: spin17main-mainid31-p (type: Full Paper) doi:
	Salmerón, Alberto	SPIN '17: "Guided Test Case Generation ..." Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino (University of Málaga, Spain) @InProceedings{SPIN17p317, author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino}, title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {317-316}, doi = {}, year = {2017}, } Article: spin17main-mainid22-p (type: Short Paper) doi:
	Schewe, Sven	SPIN '17: "An Ordered Approach to Solving ..." An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak (University of Liverpool, UK; National University of Singapore, Singapore) @InProceedings{SPIN17p237, author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak}, title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {237-236}, doi = {}, year = {2017}, } Article: spin17main-mainid27-p (type: Full Paper) doi: SPIN '17: "A Hot Method for Synthesising ..." A Hot Method for Synthesising Cool Controllers Idress Husien, Nicolas Berthier, and Sven Schewe (University of Liverpool, UK) @InProceedings{SPIN17p247, author = {Idress Husien and Nicolas Berthier and Sven Schewe}, title = {A Hot Method for Synthesising Cool Controllers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2017}, } Article: spin17main-mainid35-p (type: Full Paper) doi:
	Schordan, Markus	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi:
	Siegel, Stephen F.	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi:
	Smyth, Steven	SPIN '17: "Runtime Enforcement of Reactive ..." Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden (Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA) @InProceedings{SPIN17p205, author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden}, title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: spin17main-mainid12-p (type: Full Paper) doi:
	Steffen, Bernhard	SPIN '17: "The RERS 2017 Challenge and ..." The RERS 2017 Challenge and Workshop (Invited Paper) Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel (Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA) @InProceedings{SPIN17p46, author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel}, title = {The RERS 2017 Challenge and Workshop (Invited Paper)}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2017}, } Article: spin17inv-inv1-p (type: Invited Talk Paper) doi:
	Stephan, Frank	SPIN '17: "An Ordered Approach to Solving ..." An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak (University of Liverpool, UK; National University of Singapore, Singapore) @InProceedings{SPIN17p237, author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak}, title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {237-236}, doi = {}, year = {2017}, } Article: spin17main-mainid27-p (type: Full Paper) doi:
	Sutre, Grégoire	SPIN '17: "Backward Coverability with ..." Backward Coverability with Pruning for Lossy Channel Systems Thomas Geffroy, Jérôme Leroux, and Grégoire Sutre (University of Bordeaux, France; CNRS, France; LaBRI, France) @InProceedings{SPIN17p257, author = {Thomas Geffroy and Jérôme Leroux and Grégoire Sutre}, title = {Backward Coverability with Pruning for Lossy Channel Systems}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {257-256}, doi = {}, year = {2017}, } Article: spin17main-mainid29-p (type: Full Paper) doi:
	Tkachuk, Oksana	SPIN '17: "Addressing Challenges in Obtaining ..." Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser (Stellenbosch University, South Africa; NASA Ames Research Center, USA) @InProceedings{SPIN17p155, author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser}, title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2017}, } Article: spin17main-mainid20-p (type: Full Paper) doi:
	Touili, Tayssir	SPIN '17: "CARET Model Checking for Malware ..." CARET Model Checking for Malware Detection Huu-Vu Nguyen and Tayssir Touili (University of Paris Diderot, France; LIPN, France; CNRS, France; University of Paris North, France) @InProceedings{SPIN17p277, author = {Huu-Vu Nguyen and Tayssir Touili}, title = {CARET Model Checking for Malware Detection}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {277-276}, doi = {}, year = {2017}, } Article: spin17main-mainid37-p (type: Full Paper) doi:
	Tripakis, Stavros	SPIN '17: "Runtime Enforcement of Reactive ..." Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden (Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA) @InProceedings{SPIN17p205, author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden}, title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2017}, } Article: spin17main-mainid12-p (type: Full Paper) doi:
	Ulrich, Andreas	SPIN '17: "Increasing Usability of Spin-Based ..." Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners Daniel Ratiu and Andreas Ulrich (Siemens, Germany) @InProceedings{SPIN17p185, author = {Daniel Ratiu and Andreas Ulrich}, title = {Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {185-184}, doi = {}, year = {2017}, } Article: spin17main-mainid8-p (type: Full Paper) doi:
	Vaandrager, Frits	SPIN '17: "Model Learning and Model Checking ..." Model Learning and Model Checking of SSH Implementations Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg (Radboud University Nijmegen, Netherlands) @InProceedings{SPIN17p267, author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg}, title = {Model Learning and Model Checking of SSH Implementations}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {267-266}, doi = {}, year = {2017}, } Article: spin17main-mainid30-p (type: Full Paper) doi:
	Verleg, Patrick	SPIN '17: "Model Learning and Model Checking ..." Model Learning and Model Checking of SSH Implementations Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg (Radboud University Nijmegen, Netherlands) @InProceedings{SPIN17p267, author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg}, title = {Model Learning and Model Checking of SSH Implementations}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {267-266}, doi = {}, year = {2017}, } Article: spin17main-mainid30-p (type: Full Paper) doi:
	Visser, Willem	SPIN '17: "Addressing Challenges in Obtaining ..." Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser (Stellenbosch University, South Africa; NASA Ames Research Center, USA) @InProceedings{SPIN17p155, author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser}, title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {155-154}, doi = {}, year = {2017}, } Article: spin17main-mainid20-p (type: Full Paper) doi:
	Wagner, Lucas	SPIN '17: "SIMPAL: A Compositional Reasoning ..." SIMPAL: A Compositional Reasoning Framework for Imperative Programs Lucas Wagner, David Greve, and Andrew Gacek (Iowa State University, USA; Rockwell Collins, USA) @InProceedings{SPIN17p215, author = {Lucas Wagner and David Greve and Andrew Gacek}, title = {SIMPAL: A Compositional Reasoning Framework for Imperative Programs}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2017}, } Article: spin17main-mainid11-p (type: Short Paper) doi:
	Wojtczak, Dominik	SPIN '17: "An Ordered Approach to Solving ..." An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak (University of Liverpool, UK; National University of Singapore, Singapore) @InProceedings{SPIN17p237, author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak}, title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {237-236}, doi = {}, year = {2017}, } Article: spin17main-mainid27-p (type: Full Paper) doi:
	Yelen, Cagdas	SPIN '17: "Optimizing Parallel Korat ..." Optimizing Parallel Korat Using Invalid Ranges Nima Dini, Cagdas Yelen, and Sarfraz Khurshid (University of Texas at Austin, USA) @InProceedings{SPIN17p307, author = {Nima Dini and Cagdas Yelen and Sarfraz Khurshid}, title = {Optimizing Parallel Korat Using Invalid Ranges}, booktitle = {Proc.\ SPIN}, publisher = {ACM}, pages = {307-306}, doi = {}, year = {2017}, } Article: spin17main-mainid45-p (type: Full Paper) doi:

83 authors

proc time: 0.11