Thomas Arts

Navedeno

	Vse	Od leta 2020
Navedbe	2933	474
indeks h	24	7
indeks i10	47	6

180

135

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 7 28 36 61 57 106 85 122 100 118 95 174 133 131 120 118 87 116 114 133 106 112 119 128 108 86 102 77 94 7

Javni dostop

Prikaži vse

7 člankov

4 članki

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

John HughesProfessor of Computer Science and Engineering, Chalmers UniversityPreverjeni e-poštni naslov na chalmers.se
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityPreverjeni e-poštni naslov na informatik.rwth-aachen.de
Hans SvenssonQuviq ABPreverjeni e-poštni naslov na quviq.com
Ulf NorellUniversity of GothenburgPreverjeni e-poštni naslov na chalmers.se
Clara Benac EarleUniversidad Politécnica de MadridPreverjeni e-poštni naslov na fi.upm.es
Lars-Åke FredlundUniversidad Politécnica de MadridPreverjeni e-poštni naslov na fi.upm.es
Ulf WigerWiger Pilotti Unlimited ABPreverjeni e-poštni naslov na wiger.net
Nicholas SmallboneChalmers University of TechnologyPreverjeni e-poštni naslov na chalmers.se
Koen ClaessenChalmers University of TechnologyPreverjeni e-poštni naslov na chalmers.se
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyPreverjeni e-poštni naslov na kth.se
Laura M. CastroProfessor of Computer Science, Universidade da CoruñaPreverjeni e-poštni naslov na udc.es
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, BudapestPreverjeni e-poštni naslov na kent.ac.uk
John DerrickUniversity of SheffieldPreverjeni e-poštni naslov na sheffield.ac.uk
Dilian GurovProfessor in Computer Science, KTH Royal Institute of TechnologyPreverjeni e-poštni naslov na kth.se
hans zantemaEindhoven university of technologyPreverjeni e-poštni naslov na tue.nl
Rolf JohanssonResearcher, SPPreverjeni e-poštni naslov na sp.se
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgPreverjeni e-poštni naslov na chalmers.se
Anna Börjesson SandbergGothenburg UniversityPreverjeni e-poštni naslov na ericsson.com
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
Enno OhlebuschProfessor for Theoretical Bioinformatics, University of UlmPreverjeni e-poštni naslov na uni-ulm.de

Spremljaj

Thomas Arts

Professor of Software Engineering, Chalmers

Preverjeni e-poštni naslov na quviq.com


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Termination of term rewriting using dependency pairs T Arts, J Giesl Theoretical computer science 236 (1-2), 133-178, 2000	783	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	280	2006
Agile collaborative research: Action principles for industry-academia collaboration A Sandberg, L Pareto, T Arts IEEE software 28 (4), 74-83, 2011	163	2011
Modular termination proofs for rewriting using dependency pairs J Giesl, T Arts, E Ohlebusch Journal of symbolic computation 34 (1), 21-58, 2002	104	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	95	2009
Automatically proving termination where simplification orderings fail T Arts, J Giesl Colloquium on Trees in Algebra and Programming, 261-272, 1997	86	1997
Verification of Erlang processes by dependency pairs J Giesl, T Arts Applicable Algebra in Engineering, Communication and Computing 12, 39-72, 2001	85	2001
Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015	84	2015
Proving innermost normalisation automatically T Arts, J Giesl Rewriting Techniques and Applications: 8th International Conference, RTA-97 …, 1997	73	1997
A collection of examples for termination of term rewriting using dependency pairs T Arts, J Giesl RWTH, Department of Computer Science, 2001	63	2001
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	57	2008
Automatically proving termination and innermost normalization of term rewriting systems T Arts Ph. D. Thesis, Univ. of Utrecht, 1997	57	1997
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	54	2016
Termination of logic programs using semantic unification T Arts, H Zantema International Workshop on Logic Programming Synthesis and Transformation …, 1995	52	1995
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	49	2003
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	47	2004
Trace analysis of Erlang programs T Arts, LÅ Fredlund Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, 16-23, 2002	40	2002
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	40	1999
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	37	2010
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	37	2002

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji