| (pdf) | Alexander Linden, Pierre Wolper, | An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. |
| (pdf) | Martin Wehrle, Sebastian Kupferschmid, | Context-Enhanced Directed Model Checking. |
| (pdf) | Jan Tobias Muhlberg, Gerald Luttgen, | Symbolic Object Code Analysis. |
| (pdf) | Nicholas Kidd, Suresh Jagannathan, Jan Vitek, | One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis Under Priority Scheduling. |
| (pdf) | Kenro Yatake, Toshiaki Aoki, | Automatic Generation of Model Checking Scripts based on Environment Modeling. |
| (pdf) | Pedro Merino, Alberto Salmeron, | Combining SPIN with ns-2 for protocol optimization. |
| (pdf) | Rudiger Ehlers, Bernd Finkbeiner, | On the Virtue of Patience: Minimizing Buchi Automata. |
| (pdf) | Stefan Edelkamp, Damian Sulewski, | Efficient Explicit-State Model Checking on General Purpose Graphics Processors. |
| (pdf) | Kari Kahkonen, Roland Kindermann, Keijo Heljanko, Ilkka Niemela, | Experimental Comparison of Concolic and Random Testing for Java Card Applets. |
| (pdf) | Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, E. Moritz Hahn, Lijun Zhang, | Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. |
| (pdf) | Zhe Chen, Gilles Motet, | Nevertrace Claims for Model Checking. |
| (pdf) | Maja Pesic, Dragan Bosnacki, Wil M.P. van der Aalst, | Enacting Declarative Languages using LTL: Avoiding Errors and Improving Performance. |
| (pdf) | Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric, | Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. |