Follow
Thomas Arts
Thomas Arts
Professor of Software Engineering, Chalmers
Verified email at quviq.com
Title
Cited by
Cited by
Year
Termination of term rewriting using dependency pairs
T Arts, J Giesl
Theoretical computer science 236 (1-2), 133-178, 2000
7732000
Testing telecoms software with Quviq QuickCheck
T Arts, J Hughes, J Johansson, U Wiger
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2-10, 2006
2792006
Agile collaborative research: Action principles for industry-academia collaboration
A Sandberg, L Pareto, T Arts
IEEE software 28 (4), 74-83, 2011
1612011
Modular termination proofs for rewriting using dependency pairs
J Giesl, T Arts, E Ohlebusch
Journal of symbolic computation 34 (1), 21-58, 2002
1042002
Finding race conditions in Erlang with QuickCheck and PULSE
K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ...
ACM Sigplan Notices 44 (9), 149-160, 2009
952009
Automatically proving termination where simplification orderings fail
T Arts, J Giesl
Colloquium on Trees in Algebra and Programming, 261-272, 1997
861997
Verification of Erlang processes by dependency pairs
J Giesl, T Arts
Applicable Algebra in Engineering, Communication and Computing 12, 39-72, 2001
842001
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
822015
Proving innermost normalisation automatically
T Arts, J Giesl
Rewriting Techniques and Applications: 8th International Conference, RTA-97 …, 1997
731997
A collection of examples for termination of term rewriting using dependency pairs
T Arts, J Giesl
RWTH, Department of Computer Science, 2001
622001
Testing erlang data types with quviq quickcheck
T Arts, LM Castro, J Hughes
Proceedings of the 7th ACM SIGPLAN Workshop on ERLANG, 1-8, 2008
572008
Automatically proving termination and innermost normalization of term rewriting systems
T Arts
Ph. D. Thesis, Univ. of Utrecht, 1997
571997
Mysteries of dropbox: property-based testing of a distributed synchronization service
J Hughes, BC Pierce, T Arts, U Norell
2016 IEEE International Conference on Software Testing, Verification and …, 2016
532016
Termination of logic programs using semantic unification
T Arts, H Zantema
International Workshop on Logic Programming Synthesis and Transformation …, 1995
521995
A verification tool for Erlang
LÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov
International Journal on Software Tools for Technology Transfer 4, 405-420, 2003
482003
Development of a verified Erlang program for resource locking
T Arts, C Benac Earle, J Derrick
International Journal on Software Tools for Technology Transfer 5, 205-220, 2004
462004
Trace analysis of Erlang programs
T Arts, LÅ Fredlund
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, 16-23, 2002
402002
Verifying a distributed database lookup manager written in Erlang
T Arts, M Dam
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
401999
Property-based testing-the protest project
J Derrick, N Walkinshaw, T Arts, C Benac Earle, F Cesarini, LA Fredlund, ...
Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010
372010
Verifying Erlang code: a resource locker case-study
T Arts, CB Earle, J Derrick
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
372002
The system can't perform the operation now. Try again later.
Articles 1–20