• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 2017
• 
  Domagoj Babic:
  SunDew: systematic automated security testing (keynote). SPIN 2017: 10
• 
  Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi:
  Formal verification of data-intensive applications through model checking modulo theories. SPIN 2017: 98-101
• 
  Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
  Explicit state model checking with generalized Büchi and Rabin automata. SPIN 2017: 50-59
• 
  Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser:
  Addressing challenges in obtaining high coverage when model checking Android applications. SPIN 2017: 31-40
• 
  Byron Cook:
  Automated formal reasoning about amazon web services (keynote). SPIN 2017: 9
• 
  Nima Dini, Cagdas Yelen, Sarfraz Khurshid:
  Optimizing parallel Korat using invalid ranges. SPIN 2017: 182-191
• 
  John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak:
  An ordered approach to solving parity games in quasi polynomial time and quasi linear space. SPIN 2017: 112-121
• 
  Marco A. Feliú, Camilo Rocha, Swee Balachandran:
  Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. SPIN 2017: 94-97
• 
  Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg:
  Model learning and model checking of SSH implementations. SPIN 2017: 142-151
• 
  Thomas Geffroy, Jérôme Leroux, Grégoire Sutre:
  Backward coverability with pruning for lossy channel systems. SPIN 2017: 132-141
• 
  Gerard J. Holzmann:
  Cobra: fast structural code checking (keynote). SPIN 2017: 1-8
• 
  Jinru Hua, Sarfraz Khurshid:
  EdSketch: execution-driven sketching for Java. SPIN 2017: 162-171
• 
  Idress Husien, Nicolas Berthier, Sven Schewe:
  A hot method for synthesising cool controllers. SPIN 2017: 122-131
• 
  Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel:
  The RERS 2017 challenge and workshop (invited paper). SPIN 2017: 11-20
• 
  Michalis Kokologiannakis, Konstantinos Sagonas:
  Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). SPIN 2017: 172-181
• 
  Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
  Practical controller synthesis for MTL_{0, ∞}. SPIN 2017: 102-111
• 
  Blake Loring, Duncan Mitchell, Johannes Kinder:
  ExpoSE: practical symbolic execution of standalone JavaScript. SPIN 2017: 196-199
• 
  Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi:
  LeeTL: LTL with quantifications over model objects. SPIN 2017: 41-49
• 
  Huu-Vu Nguyen, Tayssir Touili:
  CARET model checking for malware detection. SPIN 2017: 152-161
• 
  Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
  Distributed binary decision diagrams for symbolic reachability. SPIN 2017: 21-30
• 
  Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino:
  Guided test case generation for mobile apps in the TRIANGLE project: work in progress. SPIN 2017: 192-195
• 
  Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
  Runtime enforcement of reactive systems using synchronous enforcers. SPIN 2017: 80-89
• 
  Daniel Ratiu, Andreas Ulrich:
  Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners. SPIN 2017: 60-69
• 
  Matthieu Renard, Antoine Rollet, Yliès Falcone:
  Runtime enforcement using Büchi games. SPIN 2017: 70-79
• 
  Lucas G. Wagner, David A. Greve, Andrew Gacek:
  SIMPAL: a compositional reasoning framework for imperative programs. SPIN 2017: 90-93
• 
  Hakan Erdogmus, Klaus Havelund:
  Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. ACM 2017, ISBN 978-1-4503-5077-8 [contents]