Thomas Arts

Cited by

	All	Since 2018
Citations	2810	598
h-index	24	10
i10-index	47	11

180

135

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 8 29 36 61 59 104 84 123 93 122 106 173 127 130 119 118 85 114 117 132 107 109 121 126 103 88 98 62

Public access

View all

5 articles

4 articles

available

not available

Based on funding mandates

Co-authors

John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Hans SvenssonQuviq ABVerified email at quviq.com
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Lars-Åke FredlundUniversidad Politécnica de MadridVerified email at fi.upm.es
Clara Benac EarleUniversidad Politécnica de MadridVerified email at fi.upm.es
Ulf WigerWiger Pilotti Unlimited ABVerified email at wiger.net
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyVerified email at kth.se
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Laura M. CastroProfessor of Computer Science, Universidade da CoruñaVerified email at udc.es
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, SmartVerified email at kent.ac.uk
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Dilian GurovAssociate Professor of Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
hans zantemaEindhoven university of technologyVerified email at tue.nl
Rolf JohanssonResearcher, SPVerified email at sp.se
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
Anna Börjesson SandbergGothenburg UniversityVerified email at ericsson.com
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Enno OhlebuschProfessor for Theoretical Bioinformatics, University of UlmVerified email at uni-ulm.de

Thomas Arts

Professor of Software Engineering, Chalmers

Verified email at quviq.com


Title Sort by citations Sort by year Sort by 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	752	2000
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	257	2006
Agile collaborative research: Action principles for industry-academia collaboration A Sandberg, L Pareto, T Arts IEEE software 28 (4), 74-83, 2011	147	2011
Modular termination proofs for rewriting using dependency pairs J Giesl, T Arts, E Ohlebusch Journal of symbolic computation 34 (1), 21-58, 2002	103	2002
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	89	2009
Automatically proving termination where simplification orderings fail T Arts, J Giesl Colloquium on Trees in Algebra and Programming, 261-272, 1997	89	1997
Verification of Erlang processes by dependency pairs J Giesl, T Arts Applicable Algebra in Engineering, Communication and Computing 12, 39-72, 2001	84	2001
Proving innermost normalisation automatically T Arts, J Giesl Rewriting Techniques and Applications: 8th International Conference, RTA-97 …, 1997	73	1997
Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015	70	2015
A collection of examples for termination of term rewriting using dependency pairs T Arts, J Giesl RWTH, Department of Computer Science, 2001	59	2001
Automatically proving termination and innermost normalisation of term rewriting systems THJJ Arts Universiteit Utrecht, 1997	59	1997
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	56	2008
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	56*	2003
Termination of logic programs using semantic unification T Arts, H Zantema International Workshop on Logic Programming Synthesis and Transformation …, 1995	53	1995
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	43	2016
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	43	2004
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	41	1999
Trace analysis of Erlang programs T Arts, LÅ Fredlund Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, 16-23, 2002	39	2002
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	36	2002
Modularity of termination using dependency pairs T Arts, J Giesl International Conference on Rewriting Techniques and Applications, 226-240, 1998	36	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors