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
7022000
Tool support for refactoring functional programs
H Li, C Reinke, S Thompson
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 27-38, 2003
221*2003
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
2072006
Half-metallic to insulating behavior of rare-earth nitrides
CM Aerts, P Strange, M Horne, WM Temmerman, Z Szotek, A Svane
Physical Review B 69 (4), 045115, 2004
1592004
Modular termination proofs for rewriting using dependency pairs
J Giesl, T Arts, E Ohlebusch
Journal of symbolic computation 34 (1), 21-58, 2002
942002
Automatically proving termination where simplification orderings fail
T Arts, J Giesl
Colloquium on Trees in Algebra and Programming, 261-272, 1997
911997
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
822009
Verification of Erlang processes by dependency pairs
J Giesl, T Arts
Applicable Algebra in Engineering, Communication and Computing 12 (1-2), 39-72, 2001
772001
Proving innermost normalisation automatically
T Arts, J Giesl
International Conference on Rewriting Techniques and Applications, 157-171, 1997
771997
Agile collaborative research: Action principles for industry-academia collaboration
A Sandberg, L Pareto, T Arts
IEEE software 28 (4), 74-83, 2011
642011
A collection of examples for termination of term rewriting using dependency pairs
T Arts, J Giesl
572001
Automatically proving termination and innermost normalisation of term rewriting systems
THJJ Arts
Universiteit Utrecht, 1997
571997
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 (4), 405-420, 2003
53*2003
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verificationá…, 2015
502015
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
502008
Termination of logic programs using semantic unification
T Arts, H Zantema
International Workshop on Logic Programming Synthesis and Transformationá…, 1995
491995
A classification framework for component models
I Crnkovic, M Chaudron, S Sentilles, A Vulgarakis
Software Engineering Research and Practice in Sweden, 3, 2007
472007
Verifying a distributed database lookup manager written in Erlang
T Arts, M Dam
International Symposium on Formal Methods, 682-700, 1999
431999
Development of a verified Erlang program for resource locking
T Arts, CB Earle, J Derrick
International Journal on Software Tools for Technology Transfer 5 (2-3), 205-220, 2004
422004
Modularity of termination using dependency pairs
T Arts, J Giesl
International Conference on Rewriting Techniques and Applications, 226-240, 1998
371998
The system can't perform the operation now. Try again later.
Articles 1–20