Accepted Papers

The following papers have been accepted publication in the proceedings of SPIN 2010:

  • Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
    Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Moritz Hahn, Lijun Zhang
  • Nevertrace Claims for Model Checking
    Zhe Chen, Gilles Motet
  • On the Virtue of Patience: Minimizing B├╝chi Automata
    Rüdiger Ehlers, Bernd Finkbeiner
  • Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
    Naghmeh Ghafari, Zvonimir Rakamaric, Alan Hu
  • Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation)
    Matthew Hague, Luke Ong
  • The SpinJa Model Checker (Tool Presentation)
    Marc de Jonge, Theo Ruys
  • One Stack to Run Them All
    Nicholas Kidd, Suresh Jagannathan, Jan Vitek
  • Experimental Comparison of Concolic and Random Testing for Java Card Applets
    Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä
  • An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
    Alexander Linden, Pierre Wolper
  • Combining SPIN with ns-2 for protocol optimization
    Pedro Merino, Alberto Salmerón
  • Symbolic Object Code Analysis
    Jan Tobias Muehlberg, Gerald Luettgen
  • Enacting Declarative Languages using LTL: Avoiding Errors and Improving Performance
    Maja Pesic, Dragan Bosnacki, Wil van der Aalst
  • Efficient Explicit-State Model Checking on General Purpose Graphics Processors
    Damian Sulewski, Stefan Edelkamp
  • Context-Enhanced Directed Model Checking
    Martin Wehrle, Sebastian Kupferschmid
  • Automatic Generation of Model Checking Scripts based on Environment Modeling
    Kenro Yatake, Toshiaki Aoki