Publications from my time as a researcher at Chalmers University of Technology.



Arts, Thomas; Hughes, John; Norell, Ulf; Smallbone, Nicholas; Svensson, Hans: Accelerating race condition detection through procrastination. Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, pp. 14-22. ISBN/ISSN: 978-145030859-5


Claessen, Koen; Hughes, John; Palka, Michal H.; Smallbone, Nicholas; Svensson, Hans: Ranking programs using black box testing. Proceedings - International Conference on Software Engineering , pp. 103-110. ISBN/ISSN: 978-160558970-1

Svensson, Hans; Fredlund, Lars-Åke; Benac Earle, Clara: A Unified Semantics for Future Erlang. Proceedings of the 9th ACM SIGPLAN workshop on ERLANG, pp. 23-32. ISBN/ISSN: 978-1-4503-0253-1


Claessen, Koen; Palka, Michal H.; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, U.: Finding Race Conditions in Erlang with Quick Check and PULSE. ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 149-160. ISBN/ISSN: 978-1-60558-332-7

Svensson, Hans: Implementing an LTL-to-Büchi translator in Erlang: a ProTest experience report. Proceedings of the 8th ACM SIGPLAN workshop on ERLANG, pp. 63-70. ISBN/ISSN: 978-1-60558-507-9


Claessen, Koen; Svensson, Hans: Finding Counter Examples in Induction Proofs. Proceedings of the 2nd International Conference on Tests and Proofs, in the LNCS series of Springer,

Svensson, Hans: Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7385-096-4


Fredlund, Lars-Åke; Svensson, Hans: McErlang: A Model Checker for a Distributed Functional Programming Language. Proc. of International Conference on Functional Programming (ICFP), pp. 125-136.

Svensson, Hans; Fredlund, Lars-Åke: A More Accurate Semantics for Distributed Erlang. Proceedings of the ACM SIGPLAN 2007 Erlang Workshop, pp. 43-54.

Svensson, Hans; Fredlund, Lars-Åke: Programming Distributed Erlang Applications: Pitfalls and Recipes. Proceedings of the ACM SIGPLAN 2007 Erlang Workshop, pp. 37-42.


Arts, Thomas; Svensson, Hans: A new leader election implementation. Proc. of the Fourth ACM SIGPLAN Erlang Workshop,

Arts, Thomas; Claessen, Koen; Hughes, John; Svensson, Hans: Testing Implementations of Formally Verified Algorithms. Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden,

Claessen, Koen; Svensson, Hans: A Semantics for Distributed Erlang. Proceedings of the ACM SIGPLAN 2005 Erlang Workshop, ISBN/ISSN: 1-59593-066-3


Arts, Thomas; Claessen, Koen; Svensson, Hans: Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. In Proc. of 4th Int. Workshop on Formal Approaches to Testing of Software, pp. 140-154.