| McErlang: a model checker for a distributed functional programming language LÅ Fredlund, H Svensson Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007 | 134 | 2007 |
| 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 |
| 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 |
| A unified semantics for future Erlang H Svensson, LÅ Fredlund, C Benac Earle Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, 23-32, 2010 | 55 | 2010 |
| A more accurate semantics for distributed Erlang H Svensson, LÅ Fredlund Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007 | 40 | 2007 |
| A semantics for distributed Erlang K Claessen, H Svensson Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 78-87, 2005 | 31 | 2005 |
| Semi-formal development of a fault-tolerant leader election protocol in Erlang T Arts, K Claessen, H Svensson Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005 | 24 | 2005 |
| A new leader election implementation H Svensson, T Arts Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 35-39, 2005 | 18 | 2005 |
| Programming distributed erlang applications: Pitfalls and recipes H Svensson, LÅ Fredlund Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 37-42, 2007 | 17 | 2007 |
| An expressive semantics of mocking J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes Fundamental Approaches to Software Engineering: 17th International …, 2014 | 12 | 2014 |
| Ranking programs using black box testing K Claessen, J Hughes, M Pałka, N Smallbone, H Svensson Proceedings of the 5th Workshop on Automation of Software Test, 103-110, 2010 | 12 | 2010 |
| Finding counter examples in induction proofs K Claessen, H Svensson International Conference on Tests and Proofs, 48-65, 2008 | 11 | 2008 |
| Implementing an LTL-to-Büchi translator in Erlang H Svensson Proceedings of the 2009 ACM SIGPLAN Erlang Workshop 10, 1596600.1596610, 2009 | 10 | 2009 |
| Accelerating race condition detection through procrastination T Arts, J Hughes, U Norell, N Smallbone, H Svensson Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, 14-22, 2011 | 4 | 2011 |
| Don't Judge Software by Its (Code) Coverage R Johansson, H Eriksson, H Svensson, K Östberg, T Arts, A Gerdes, ... SAFECOMP 2013-Workshop CARS (2nd Workshop on Critical Automotive …, 2013 | 3 | 2013 |
| Gaining trust by tracing security protocols LÅ Fredlund, C Benac Earle, T Arts, H Svensson Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 56-67, 2019 | 2 | 2019 |
| Gaining trust by tracing security protocols LÅ Fredlund, CB Earle, T Arts, H Svensson Journal of Logical and Algebraic Methods in Programming 130, 100829, 2023 | 1 | 2023 |
| Checking verification compliance of technical safety requirements on the AUTOSAR platform using annotated semi-formal executable models M Skoglund, H Svensson, H Eriksson, T Arts, R Johansson, A Gerdes Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014 | 1 | 2014 |
| A semi-automatic correctness proof procedure applied to Stoller’s leader election algorithm H Svensson Technical Report 2008: 7, Computer Science and Engineering, Chalmers …, 2008 | 1 | 2008 |
| Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving H Svensson Chalmers University of Technology, 2008 | 1 | 2008 |
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
