Thomas Arts - RankMe

66 papers A 4B 5C 5Journal 11Unranked 38

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
2023	J	`jnl`	Testing feature-rich blockchains. Softw. Pract. Exp. Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund
2021	C	`conf`	Locality-Based Test Selection for Autonomous Agents. ICTSS Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts
2019	—	`conf`	Gaining trust by tracing security protocols. Erlang Workshop Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
2017	—	`conf`	Modelling of Autosar Libraries for Large Scale Testing. MARS Wojciech Mostowski, Thomas Arts, John Hughes
2016	—	`conf`	Find more bugs with QuickCheck! AST@ICSE John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
2016	A	`conf`	How Well are Your Requirements Tested? ICST Thomas Arts, John Hughes
2016	A	`conf`	Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
2015	J	`jnl`	Assessing the effects of introducing a new software development process: a methodological description. Int. J. Softw. Tools Technol. Transf. Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts
2015	—	`conf`	Graphical editing support for QuickCheck models. ICST Workshops Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
2015	B	`conf`	Safely Using the AUTOSAR End-to-End Protection Library. SAFECOMP Thomas Arts, Stefano Tonetta
2015	—	`conf`	Testing AUTOSAR software with QuickCheck. ICST Workshops Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
2014	B	`conf`	An Expressive Semantics of Mocking. FASE Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
2014	—	`conf`	Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. SAFECOMP Workshops Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes
2014	—	`conf`	Combining Fault-Injection with Property-Based Testing. ES4CPS@DATE Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson
2014	B	`conf`	Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. SAFECOMP Thomas Arts, Michele Dorigatti, Stefano Tonetta
2014	—	`conf`	On shrinking randomly generated load tests. Erlang Workshop Thomas Arts
2014	—	`conf`	Teaching Students Property-Based Testing. EUROMICRO-SEAA Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts
2013	—	`conf`	Don't Judge Software by Its (Code) Coverage. CARS@SAFECOMP Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund
2013	C	`conf`	Requirements on automatically generated random test cases. FedCSIS Thomas Arts, Alex Gerdes, Magnus Kronqvist
2013	—	`conf`	Testing blocking operations with QuickCheck's component library. Erlang Workshop Ulf Norell, Hans Svensson, Thomas Arts
2011	—	`conf`	Accelerating race condition detection through procrastination. Erlang Workshop Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
2011	J	`jnl`	Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. IEEE Softw. Anna Sandberg, Lars Pareto, Thomas Arts
2011	—	`conf`	Extracting Properties from Test Cases by Refactoring. ICST Workshops Huiqing Li, Simon J. Thompson, Thomas Arts
2011	—	`conf`	Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson
2011	—	`conf`	Model-based testing of data types with side effects. Erlang Workshop Thomas Arts, Laura M. Castro
2010	B	`conf`	A Classification of Value for Software Architecture Decisions. ECSA Ulrik Eklund, Thomas Arts
2010	—	`conf`	From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop Thomas Arts, Simon J. Thompson
2010	—	`conf`	Testing Data Consistency of Data-Intensive Applications Using QuickCheck. PROLE Laura M. Castro, Thomas Arts
2009	—	`conf`	Automatic testing of TCP/IP implementations using QuickCheck. Erlang Workshop Javier París, Thomas Arts
2009	A	`conf`	Finding race conditions in Erlang with QuickCheck and PULSE. ICFP Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger
2009	—	`conf`	Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. Erlang Workshop Nicolae Paladi, Thomas Arts
2009	—	`conf`	Property-Based Testing - The ProTest Project. FMCO John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
2008	—	`conf`	Testing Erlang data types with quviq quickcheck. Erlang Workshop Thomas Arts, Laura M. Castro, John Hughes
2006	—	`conf`	Testing telecoms software with quviq QuickCheck. Erlang Workshop Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger
2005	—	`conf`	A new leader election implementation. Erlang Workshop Hans Svensson, Thomas Arts
2005	J	`jnl`	Introductory paper. Int. J. Softw. Tools Technol. Transf. Thomas Arts, Jaco van de Pol
2004	J	`jnl`	Development of a verified Erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. Thomas Arts, Clara Benac Earle, John Derrick
2004	—	`conf`	Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES Thomas Arts, Koen Claessen, Hans Svensson
2004	—	`conf`	Translating Erlang to µCRL. ACSD Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
2003	J	`jnl`	A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
2003	C	`ed.`	Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003 FMICS Thomas Arts, Wan J. Fokkink
2003	—	`ed.`	Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers IFL Ricardo Pena, Thomas Arts
2003	C	`conf`	Preface. FMICS Thomas Arts, Wan J. Fokkink
2003	—	`ed.`	Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003 Erlang Workshop Bjarne Däcker, Thomas Arts
2003	—	`conf`	VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. ACSD Juan José Sánchez Penas, Thomas Arts
2002	—	`conf`	Global scheduler properties derived from local restrictions. Erlang Workshop Thomas Arts, Juan José Sánchez Penas
2002	—	`ed.`	Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers IFL Thomas Arts, Markus Mohnen
2002	J	`jnl`	Modular Termination Proofs for Rewriting Using Dependency Pairs. J. Symb. Comput. Jürgen Giesl, Thomas Arts, Enno Ohlebusch
2002	—	`conf`	Trace analysis of Erlang programs. Erlang Workshop Thomas Arts, Lars-Åke Fredlund
2002	J	`jnl`	Trace analysis of Erlang programs. ACM SIGPLAN Notices Thomas Arts, Lars-Åke Fredlund
2002	—	`conf`	Verifying Erlang Code: A Resource Locker Case-Study. FME Thomas Arts, Clara Benac Earle, John Derrick
2001	—	`conf`	Correct Performance of Transaction Capabilities. ACSD Thomas Arts, Izak van Langevelde
2001	J	`jnl`	Verification of Erlang Processes by Dependency Pairs. Appl. Algebra Eng. Commun. Comput. Jürgen Giesl, Thomas Arts
2000	—	`conf`	System Description: The Dependency Pair Method. RTA Thomas Arts
2000	J	`jnl`	Termination of term rewriting using dependency pairs. Theor. Comput. Sci. Thomas Arts, Jürgen Giesl
2000	—	`conf`	Verifying Generic Erlang Client-Server Implementations. IFL Thomas Arts, Thomas Noll
1999	B	`conf`	Applying Rewriting Techniques to the Verification of Erlang Processes. CSL Thomas Arts, Jürgen Giesl
1999	—	`conf`	Verifying a Distributed Database Lookup Manager Written in Erlang. World Congress on Formal Methods Thomas Arts, Mads Dam
1998	—	`conf`	Modularity of Termination Using Dependency pairs. RTA Thomas Arts, Jürgen Giesl
1998	A	`conf`	System Description: Verification of Distributed Erlang Programs. CADE Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
1997	—	`conf`	Automatically Proving Termination Where Simplification Orderings Fail. TAPSOFT Thomas Arts, Jürgen Giesl
1997	—	`conf`	Proving Innermost Normalisation Automatically. RTA Thomas Arts, Jürgen Giesl
1996	—	`conf`	Termination by Absence of Infinite Chains of Dependency Pairs. CAAP Thomas Arts
1996	—	`conf`	Termination of Constructor Systems. RTA Thomas Arts, Jürgen Giesl
1995	C	`conf`	Termination of Logic Programs Using Semantic Unification. LOPSTR Thomas Arts, Hans Zantema