Thomas Arts

Laura M. Castro, Thomas Arts: Testing Data Consistency of Data-Intensive Applications Using QuickCheck. Electr. Notes Theor. Comput. Sci. 271: 41-62 (2011)

Anna Sandberg, Lars Pareto, Thomas Arts: Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. IEEE Software 28(4): 74-83 (2011)

Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson: Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22

Thomas Arts, Laura M. Castro: Model-based testing of data types with side effects. Erlang Workshop 2011: 30-38

Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson: Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop 2011: 62-71

Huiqing Li, Simon J. Thompson, Thomas Arts: Extracting Properties from Test Cases by Refactoring. ICST Workshops 2011: 472-473

Ulrik Eklund, Thomas Arts: A Classification of Value for Software Architecture Decisions. ECSA 2010: 368-375

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

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

Javier Paris, Thomas Arts: Automatic testing of TCP/IP implementations using QuickCheck. Erlang Workshop 2009: 83-92

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

Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger: Finding race conditions in Erlang with QuickCheck and PULSE. ICFP 2009: 149-160

Thomas Arts, Laura M. Castro, John Hughes: Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8

Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger: Testing telecoms software with quviq QuickCheck. Erlang Workshop 2006: 2-10

Thomas Arts, Jaco van de Pol: Introductory paper. STTT 7(3): 195-196 (2005)

Hans Svensson, Thomas Arts: A new leader election implementation. Erlang Workshop 2005: 35-39

Thomas Arts, Clara Benac Earle, John Derrick: Development of a verified Erlang program for resource locking. STTT 5(2-3): 205-220 (2004)

Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas: Translating Erlang to µCRL. ACSD 2004: 135-144

Thomas Arts, Koen Claessen, Hans Svensson: Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES 2004: 140-154

Thomas Arts, Wan Fokkink: Preface. Electr. Notes Theor. Comput. Sci. 80: 310-311 (2003)

Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov: A verification tool for ERLANG. STTT 4(4): 405-420 (2003)

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

Bjarne Däcker, Thomas Arts (Eds.): Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003. ACM 2003, isbn 1-58113-772-9

Ricardo Pena, Thomas Arts (Eds.): Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2670, Springer 2003, isbn 3-540-40190-3

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

Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. SIGPLAN Notices 37(12): 18-24 (2002)

Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. Erlang Workshop 2002: 16-23

Thomas Arts, Juan José Sánchez Penas: Global scheduler properties derived from local restrictions. Erlang Workshop 2002: 49-57

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

Thomas Arts, Markus Mohnen (Eds.): Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers. Lecture Notes in Computer Science 2312, Springer 2002, isbn 3-540-43537-9

Jürgen Giesl, Thomas Arts: Verification of Erlang Processes by Dependency Pairs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 39-72 (2001)

Thomas Arts, Izak van Langevelde: Correct Performance of Transaction Capabilities. ACSD 2001: 35-42

Thomas Arts, Jürgen Giesl: Termination of term rewriting using dependency pairs. Theor. Comput. Sci. 236(1-2): 133-178 (2000)

Thomas Arts, Thomas Noll: Verifying Generic Erlang Client-Server Implementations. IFL 2000: 37-52

Thomas Arts: System Description: The Dependency Pair Method. RTA 2000: 261-264

Thomas Arts, Jürgen Giesl: Applying Rewriting Techniques to the Verification of Erlang Processes. CSL 1999: 96-110

Thomas Arts, Mads Dam: Verifying a Distributed Database Lookup Manager Written in Erlang. World Congress on Formal Methods 1999: 682-700

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

Thomas Arts, Jürgen Giesl: Modularity of Termination Using Dependency pairs. RTA 1998: 226-240

Thomas Arts, Jürgen Giesl: Proving Innermost Normalisation Automatically. RTA 1997: 157-171

Thomas Arts, Jürgen Giesl: Automatically Proving Termination Where Simplification Orderings Fail. TAPSOFT 1997: 261-272

Thomas Arts: Termination by Absence of Infinite Chains of Dependency Pairs. CAAP 1996: 196-210

Thomas Arts, Jürgen Giesl: Termination of Constructor Systems. RTA 1996: 63-77

Thomas Arts, Hans Zantema: Termination of Logic Programs Using Semantic Unification. LOPSTR 1995: 219-233