Termination of Logic Programs Using Semantic Unification. - Thomas Arts; Hans Zantema (LOPSTR, 1995)

Termination by Absence of Infinite Chains of Dependency Pairs. - Thomas Arts (CAAP, 1996)

Termination of Constructor Systems. - Thomas Arts; Jürgen Giesl (RTA, 1996)

Proving Innermost Normalisation Automatically. - Thomas Arts; Jürgen Giesl (RTA, 1997)

Automatically Proving Termination Where Simplification Orderings Fail. - Thomas Arts; Jürgen Giesl (TAPSOFT, 1997)

System Description: Verification of Distributed Erlang Programs. - Thomas Arts; Mads Dam; Lars-Åke Fredlund; Dilian Gurov (CADE, 1998)

Modularity of Termination Using Dependency pairs. - Thomas Arts; Jürgen Giesl (RTA, 1998)

Applying Rewriting Techniques to the Verification of Erlang Processes. - Thomas Arts; Jürgen Giesl (CSL, 1999)

Verifying a Distributed Database Lookup Manager Written in Erlang. - Thomas Arts; Mads Dam (World Congress on Formal Methods, 1999)

Verifying Generic Erlang Client-Server Implementations. - Thomas Arts; Thomas Noll 001 (IFL, 2000)

System Description: The Dependency Pair Method. - Thomas Arts (RTA, 2000)

Termination of term rewriting using dependency pairs. - Thomas Arts; Jürgen Giesl (Theor. Comput. Sci., 2000)

Correct Performance of Transaction Capabilities. - Thomas Arts; Izak van Langevelde (ACSD, 2001)

Verification of Erlang Processes by Dependency Pairs. - Jürgen Giesl; Thomas Arts (Appl. Algebra Eng. Commun. Comput., 2001)

Global scheduler properties derived from local restrictions. - Thomas Arts; Juan José Sánchez Penas (Erlang Workshop, 2002)

Verifying Erlang Code: A Resource Locker Case-Study. - Thomas Arts; Clara Benac Earle; John Derrick (FME, 2002)

Modular Termination Proofs for Rewriting Using Dependency Pairs. - Jürgen Giesl; Thomas Arts; Enno Ohlebusch (J. Symb. Comput., 2002)

Trace analysis of Erlang programs. - Thomas Arts; Lars-Åke Fredlund (ACM SIGPLAN Notices, 2002)

VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. - Juan José Sánchez Penas; Thomas Arts (ACSD, 2003)

Preface. - Thomas Arts; Wan J. Fokkink (FMICS, 2003)

A verification tool for ERLANG. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001; Mads Dam; Thomas Arts; Gennady Chugunov (Int. J. Softw. Tools Technol. Transf., 2003)

Translating Erlang to µCRL. - Thomas Arts; Clara Benac Earle; Juan José Sánchez Penas (ACSD, 2004)

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. - Thomas Arts; Koen Claessen; Hans Svensson (FATES, 2004)

Development of a verified Erlang program for resource locking. - Thomas Arts; Clara Benac Earle; John Derrick (Int. J. Softw. Tools Technol. Transf., 2004)

A new leader election implementation. - Hans Svensson; Thomas Arts (Erlang Workshop, 2005)

Introductory paper. - Thomas Arts; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2005)

Testing telecoms software with quviq QuickCheck. - Thomas Arts; John Hughes 001; Joakim Johansson; Ulf T. Wiger (Erlang Workshop, 2006)

Testing Erlang data types with quviq quickcheck. - Thomas Arts; Laura M. Castro; John Hughes 001 (Erlang Workshop, 2008)

Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. - Nicolae Paladi; Thomas Arts (Erlang Workshop, 2009)

Automatic testing of TCP/IP implementations using QuickCheck. - Javier París; Thomas Arts (Erlang Workshop, 2009)

Property-Based Testing - The ProTest Project. - John Derrick; Neil Walkinshaw; Thomas Arts; Clara Benac Earle; Francesco Cesarini; Lars-Åke Fredlund; Víctor M. Gulías; John Hughes 001; Simon J. Thompson (FMCO, 2009)

Finding race conditions in Erlang with QuickCheck and PULSE. - Koen Claessen; Michal H. Palka; Nicholas Smallbone; John Hughes 001; Hans Svensson; Thomas Arts; Ulf T. Wiger (ICFP, 2009)

A Classification of Value for Software Architecture Decisions. - Ulrik Eklund; Thomas Arts (ECSA, 2010)

From test cases to FSMs: augmented test-driven development and property inference. - Thomas Arts; Simon J. Thompson (Erlang Workshop, 2010)

Testing Data Consistency of Data-Intensive Applications Using QuickCheck. - Laura M. Castro; Thomas Arts (PROLE, 2010)

Model-based testing of data types with side effects. - Thomas Arts; Laura M. Castro (Erlang Workshop, 2011)

Accelerating race condition detection through procrastination. - Thomas Arts; John Hughes 001; Ulf Norell; Nicholas Smallbone; Hans Svensson (Erlang Workshop, 2011)

Extracting QuickCheck specifications from EUnit test cases. - Thomas Arts; Pablo Lamela Seijas; Simon J. Thompson (Erlang Workshop, 2011)

Extracting Properties from Test Cases by Refactoring. - Huiqing Li; Simon J. Thompson; Thomas Arts (ICST Workshops, 2011)

Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. - Anna Sandberg; Lars Pareto; Thomas Arts (IEEE Softw., 2011)

Testing blocking operations with QuickCheck's component library. - Ulf Norell; Hans Svensson; Thomas Arts (Erlang Workshop, 2013)

Requirements on automatically generated random test cases. - Thomas Arts; Alex Gerdes; Magnus Kronqvist (FedCSIS, 2013)

Don't Judge Software by Its (Code) Coverage. - Rolf Johansson 002; Hans Eriksson; Hans Svensson; Kenneth Östberg; Thomas Arts; Alex Gerdes; Martin A. Skoglund (CARS@SAFECOMP, 2013)

Combining Fault-Injection with Property-Based Testing. - Benjamin Vedder; Thomas Arts; Jonny Vinter; Magnus Jonsson (ES4CPS@DATE, 2014)

On shrinking randomly generated load tests. - Thomas Arts (Erlang Workshop, 2014)

Teaching Students Property-Based Testing. - Clara Benac Earle; Lars-Åke Fredlund; Julio Mariño; Thomas Arts (EUROMICRO-SEAA, 2014)

An Expressive Semantics of Mocking. - Josef Svenningsson; Hans Svensson; Nicholas Smallbone; Thomas Arts; Ulf Norell; John Hughes 001 (FASE, 2014)

Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. - Thomas Arts; Michele Dorigatti; Stefano Tonetta (SAFECOMP, 2014)

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 002; Alex Gerdes (SAFECOMP Workshops, 2014)

Graphical editing support for QuickCheck models. - Thomas Arts; Kirill Bogdanov 002; Alex Gerdes; John Hughes 001 (ICST Workshops, 2015)

Testing AUTOSAR software with QuickCheck. - Thomas Arts; John Hughes 001; Ulf Norell; Hans Svensson (ICST Workshops, 2015)

Safely Using the AUTOSAR End-to-End Protection Library. - Thomas Arts; Stefano Tonetta (SAFECOMP, 2015)

Assessing the effects of introducing a new software development process: a methodological description. - Agneta Nilsson; Laura M. Castro; Samuel Rivas; Thomas Arts (Int. J. Softw. Tools Technol. Transf., 2015)

Find more bugs with QuickCheck! - John Hughes 001; Ulf Norell; Nicholas Smallbone; Thomas Arts (AST@ICSE, 2016)

How Well are Your Requirements Tested? - Thomas Arts; John Hughes 001 (ICST, 2016)

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. - John Hughes 001; Benjamin C. Pierce; Thomas Arts; Ulf Norell (ICST, 2016)

Modelling of Autosar Libraries for Large Scale Testing. - Wojciech Mostowski; Thomas Arts; John Hughes 001 (MARS@ETAPS, 2017)

Locality-Based Test Selection for Autonomous Agents. - Sina Entekhabi; Wojciech Mostowski; Mohammad Reza Mousavi 001; Thomas Arts (ICTSS, 2021)

Gaining trust by tracing security protocols. - Lars-Åke Fredlund; Clara Benac Earle; Thomas Arts; Hans Svensson (J. Log. Algebraic Methods Program., 2023)

Testing feature-rich blockchains. - Thomas Arts; Hans Svensson; Clara Benac Earle; Lars-Åke Fredlund (Softw. Pract. Exp., 2023)