Thomas Arts

	2011
43		Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson: Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22
42		Thomas Arts, Laura M. Castro: Model-based testing of data types with side effects. Erlang Workshop 2011: 30-38
41		Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson: Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop 2011: 62-71
40		Laura M. Castro, Thomas Arts: Testing Data Consistency of Data-Intensive Applications Using QuickCheck. Electr. Notes Theor. Comput. Sci. 271: 41-62 (2011)
39		Anna Sandberg, Lars Pareto, Thomas Arts: Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. IEEE Software 28(4): 74-83 (2011)
	2010
38		Ulrik Eklund, Thomas Arts: A Classification of Value for Software Architecture Decisions. ECSA 2010: 368-375
37		Thomas Arts, Simon J. Thompson: From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop 2010: 1-12
	2009
36		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
35		Javier Paris, Thomas Arts: Automatic testing of TCP/IP implementations using QuickCheck. Erlang Workshop 2009: 83-92
34		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
33		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
	2008
32		Thomas Arts, Laura M. Castro, John Hughes: Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8
	2006
31		Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger: Testing telecoms software with quviq QuickCheck. Erlang Workshop 2006: 2-10
	2005
30		Hans Svensson, Thomas Arts: A new leader election implementation. Erlang Workshop 2005: 35-39
29		Thomas Arts, Jaco van de Pol: Introductory paper. STTT 7(3): 195-196 (2005)
	2004
28		Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas: Translating Erlang to µCRL. ACSD 2004: 135-144
27		Thomas Arts, Koen Claessen, Hans Svensson: Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES 2004: 140-154
26		Thomas Arts, Clara Benac Earle, John Derrick: Development of a verified Erlang program for resource locking. STTT 5(2-3): 205-220 (2004)
	2003
25		Bjarne Däcker, Thomas Arts: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003 ACM 2003
24		Ricardo Pena, Thomas Arts: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers Springer 2003
23		Juan José Sánchez Penas, Thomas Arts: VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. ACSD 2003: 247-248
22		Thomas Arts, Wan Fokkink: Preface. Electr. Notes Theor. Comput. Sci. 80: 310-311 (2003)
21		Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov: A verification tool for ERLANG. STTT 4(4): 405-420 (2003)
	2002
20		Thomas Arts, Markus Mohnen: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers Springer 2002
19		Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. Erlang Workshop 2002: 16-23
18		Thomas Arts, Juan José Sánchez Penas: Global scheduler properties derived from local restrictions. Erlang Workshop 2002: 49-57
17		Thomas Arts, Clara Benac Earle, John Derrick: Verifying Erlang Code: A Resource Locker Case-Study. FME 2002: 184-203
16		Jürgen Giesl, Thomas Arts, Enno Ohlebusch: Modular Termination Proofs for Rewriting Using Dependency Pairs. J. Symb. Comput. 34(1): 21-58 (2002)
15		Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. SIGPLAN Notices 37(12): 18-24 (2002)
	2001
14		Thomas Arts, Izak van Langevelde: Correct Performance of Transaction Capabilities. ACSD 2001: 35-42
13		Jürgen Giesl, Thomas Arts: Verification of Erlang Processes by Dependency Pairs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 39-72 (2001)
	2000
12		Thomas Arts, Thomas Noll: Verifying Generic Erlang Client-Server Implementations. IFL 2000: 37-52
11		Thomas Arts: System Description: The Dependency Pair Method. RTA 2000: 261-264
10		Thomas Arts, Jürgen Giesl: Termination of term rewriting using dependency pairs. Theor. Comput. Sci. 236(1-2): 133-178 (2000)
	1999
9		Thomas Arts, Jürgen Giesl: Applying Rewriting Techniques to the Verification of Erlang Processes. CSL 1999: 96-110
8		Thomas Arts, Mads Dam: Verifying a Distributed Database Lookup Manager Written in Erlang. World Congress on Formal Methods 1999: 682-700
	1998
7		Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov: System Description: Verification of Distributed Erlang Programs. CADE 1998: 38-41
6		Thomas Arts, Jürgen Giesl: Modularity of Termination Using Dependency pairs. RTA 1998: 226-240
	1997
5		Thomas Arts, Jürgen Giesl: Proving Innermost Normalisation Automatically. RTA 1997: 157-171
4		Thomas Arts, Jürgen Giesl: Automatically Proving Termination Where Simplification Orderings Fail. TAPSOFT 1997: 261-272
	1996
3		Thomas Arts: Termination by Absence of Infinite Chains of Dependency Pairs. CAAP 1996: 196-210
2		Thomas Arts, Jürgen Giesl: Termination of Constructor Systems. RTA 1996: 63-77
	1995
1		Thomas Arts, Hans Zantema: Termination of Logic Programs Using Semantic Unification. LOPSTR 1995: 219-233

Coauthor Index

1	Laura M. Castro	[32] [40] [42]
2	Francesco Cesarini	[34]
3	Gennady Chugunov	[21]
4	Koen Claessen	[27] [33]
5	Bjarne Däcker	[25]
6	Mads Dam	[7] [8] [21]
7	John Derrick	[17] [26] [34]
8	Clara Benac Earle	[17] [26] [28] [34]
9	Ulrik Eklund	[38]
10	Wan Fokkink	[22]
11	Lars-Åke Fredlund (Lars-åke Fredlund)	[7] [15] [19] [21] [34]
12	Jürgen Giesl	[2] [4] [5] [6] [9] [10] [13] [16]
13	Víctor M. Gulías	[34]
14	Dilian Gurov	[7] [21]
15	John Hughes	[31] [32] [33] [34] [43]
16	Joakim Johansson	[31]
17	Izak van Langevelde	[14]
18	Markus Mohnen	[20]
19	Thomas Noll	[12] [21]
20	Ulf Norell	[43]
21	Enno Ohlebusch	[16]
22	Nicolae Paladi	[36]
23	Michal Palka	[33]
24	Lars Pareto	[39]
25	Javier Paris	[35]
26	Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena)	[24]
27	Juan José Sánchez Penas	[18] [23] [28]
28	Jaco van de Pol	[29]
29	Anna Sandberg	[39]
30	Pablo Lamela Seijas	[41]
31	Nicholas Smallbone	[33] [43]
32	Hans Svensson	[27] [30] [33] [43]
33	Simon J. Thompson	[34] [37] [41]
34	Neil Walkinshaw	[34]
35	Ulf T. Wiger	[31] [33]
36	Hans Zantema	[1]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page