Hans Svensson

Showing 18 publications

2014

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al
Lecture Notes in Computer Science. Vol. 8411, p. 385-399
Paper in proceedings
2011

Accelerating race condition detection through procrastination

Thomas Arts, John Hughes, Ulf Norell et al
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 14-22
Paper in proceedings
2010

A Unified Semantics for Future Erlang

Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle
Proceedings of the 9th ACM SIGPLAN workshop on ERLANG, p. 23-32
Paper in proceedings
2010

Ranking programs using black box testing

Koen Lindström Claessen, John Hughes, Michal Palka et al
Proceedings - International Conference on Software Engineering, p. 103-110
Paper in proceedings
2009

Implementing an LTL-to-Büchi translator in Erlang: a ProTest experience report

Hans Svensson
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG, p. 63-70
Paper in proceedings
2009

Finding Race Conditions in Erlang with Quick Check and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160
Paper in proceedings
2009

Finding race conditions in erlang with quickcheck and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN Notices. Vol. 44 (9), p. 149-160
Journal article
2008

Finding Counter Examples in Induction Proofs

Koen Lindström Claessen, Hans Svensson
Lecture Notes in Computer Science
Paper in proceedings
2007

A More Accurate Semantics for Distributed Erlang

Hans Svensson, Lars-Åke Fredlund
Proceedings of the ACM SIGPLAN 2007 Erlang Workshop, p. 43-54
Paper in proceedings
2007

Programming Distributed Erlang Applications: Pitfalls and Recipes

Hans Svensson, Lars-Åke Fredlund
Proceedings of the ACM SIGPLAN 2007 Erlang Workshop, p. 37-42
Paper in proceedings
2007

McErlang: A Model Checker for a Distributed Functional Programming Language

Lars-Åke Fredlund, Hans Svensson
Proc. of International Conference on Functional Programming (ICFP), p. 125-136
Paper in proceedings
2005

Verification of Erlang Programs using Testing and Tracing

Hans Svensson
Licentiate thesis
2005

A Semantics for Distributed Erlang

Koen Lindström Claessen, Hans Svensson
Proceedings of the ACM SIGPLAN 2005 Erlang Workshop
Paper in proceedings
2005

Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang

Koen Lindström Claessen, Hans Svensson, Thomas Arts
Lecture Notes in Computer Science. Vol. 3395, p. 140-154
Journal article
2005

A New Leader Election Implementation

Hans Svensson, Thomas Arts
Proceedings of the ACM SIGPLAN 2005 Erlang Workshop
Paper in proceedings
2005

Testing Implementations of Formally Verified Algorithms

Thomas Arts, Koen Lindström Claessen, John Hughes et al
Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Hans Svensson participates, but you have to be logged in as a Chalmers employee to see them.