| 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 | 283 | 2006 |
| 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 | 98 | 2009 |
| Four-fold increase in productivity and quality–industrial-strength functional programming in telecom-class products U Wiger, E Ab Proceedings of the 2001 Workshop on Formal Design of Safety Critical …, 2001 | 26 | 2001 |
| World-class product certification using Erlang U Wiger, G Ask, K Boortz ACM SIGPLAN Notices 37 (12), 25-34, 2002 | 25 | 2002 |
| Four-fold increase in productivity and quality U Wiger Workshop on Formal Design of Safety Critical Embedded Systems, 2001 | 20 | 2001 |
| RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software: (Project Paper) O Boudeville, F Cesarini, N Chechina, K Lundin, N Papaspyrou, ... Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013 | 18 | 2013 |
| Extended process registry for Erlang UT Wiger Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 1-10, 2007 | 8 | 2007 |
| XMErl—Interfacing XML and Erlang U Wiger Proc. International Erlang User Conference, 2000 | 7 | 2000 |
| Industrial-strength functional programming: Experiences with the ericsson AXD301 project U Wiger IFL’00, Aachen, 2000 | 7 | 2000 |
| Erlang Programming for Multi-core U Wiger | 2 | 2008 |
| Generic load regulation framework for Erlang UT Wiger Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 57-68, 2010 | 1 | 2010 |
| 20 years of industrial functional programming U Wiger Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004 | 1 | 2004 |
| The way it ought to work... and sometimes does U Wiger Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of …, 2007 | | 2007 |
| ACTIVE COOPERATION DEADLOCK DETECTION SYSTEM/METHOD IN A DISTRIBUTED DATABASE NETWORK U WIGER, T ARTS WO Patent 2,001,059,568, 2001 | | 2001 |
| 20 Years of Commercial Functional Programming U Wiger | | |
| Analyzing Failure Effects and Recovery in ERLANG/OTP systems Project Participants B Jonsson, J Nyström, U Wiger, T Arts | | |
| Project Plan: Process structure extraction from ERLANG/OTP systems Project Participants B Jonsson, J Nyström, T Arts, U Wiger | | |
Thomas ArtsProfessor of Software Engineering, ChalmersVerifisert e-postadresse på quviq.com
