 | 2009 |
|---|
| 34 |       | 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 |
| 33 | | Javier Paris,
Thomas Arts:
Automatic testing of TCP/IP implementations using QuickCheck.
Erlang Workshop 2009: 83-92 |
| 32 | | Koen Claessen,
Michal Palka,
Nicholas Smallbone,
John Hughes,
Hans Svensson,
Thomas Arts,
Ulf Wiger:
Finding race conditions in Erlang with QuickCheck and PULSE.
ICFP 2009: 149-160 |
| 2006 |
|---|
| 31 | | Thomas Arts,
John Hughes,
Joakim Johansson,
Ulf 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: (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 |
