| 2016 | ICSE | Find more bugs with QuickCheck! | John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts |
| 2016 | ICST | How Well are Your Requirements Tested? | Thomas Arts, John Hughes |
| 2016 | ICST | Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. | John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell |
| 2015 | ICST | Graphical editing support for QuickCheck models. | Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes |
| 2015 | ICST | Testing AUTOSAR software with QuickCheck. | Thomas Arts, John Hughes, Ulf Norell, Hans Svensson |
| 2015 | SAFECOMP | Safely Using the AUTOSAR End-to-End Protection Library. | Thomas Arts, Stefano Tonetta |
| 2014 | DATE | Combining Fault-Injection with Property-Based Testing. | Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson |
| 2014 | FASE | An Expressive Semantics of Mocking. | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes |
| 2014 | SAFECOMP | Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. | Thomas Arts, Michele Dorigatti, Stefano Tonetta |
| 2014 | SAFECOMP | Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. | Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes |
| 2013 | FedCSIS | Requirements on automatically generated random test cases. | Thomas Arts, Alex Gerdes, Magnus Kronqvist |
| 2013 | SAFECOMP | Don't Judge Software by Its (Code) Coverage. | Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth stberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund |
| 2011 | ICST | Extracting Properties from Test Cases by Refactoring. | Huiqing Li, Simon J. Thompson, Thomas Arts |
| 2010 | ECSA | A Classification of Value for Software Architecture Decisions. | Ulrik Eklund, Thomas Arts |
| 2009 | ICFP | Finding race conditions in Erlang with QuickCheck and PULSE. | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger |
| 2002 | FM | Verifying Erlang Code: A Resource Locker Case-Study. | Thomas Arts, Clara Benac Earle, John Derrick |
| 1999 | CSL | Applying Rewriting Techniques to the Verification of Erlang Processes. | Thomas Arts, Jrgen Giesl |
| 1999 | FM | Verifying a Distributed Database Lookup Manager Written in Erlang. | Thomas Arts, Mads Dam |
| 1998 | CADE | System Description: Verification of Distributed Erlang Programs. | Thomas Arts, Mads Dam, Lars-ke Fredlund, Dilian Gurov |
| 1995 | LOPSTR | Termination of Logic Programs Using Semantic Unification. | Thomas Arts, Hans Zantema |