Hans Svensson

Showing 18 publications

2014

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8411 LNCS, p. 385-399
Paper in proceeding
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 proceeding
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 proceeding
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 proceeding
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
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 proceeding
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 proceeding
2008

Finding Counter Examples in Induction Proofs

Koen Lindström Claessen, Hans Svensson
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Paper in proceeding
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 proceeding
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 proceeding
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 proceeding
2005

Verification of Erlang Programs using Testing and Tracing

Hans Svensson
Licentiate thesis
2005

A New Leader Election Implementation

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

A Semantics for Distributed Erlang

Koen Lindström Claessen, Hans Svensson
Proceedings of the ACM SIGPLAN 2005 Erlang Workshop
Paper in proceeding
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3395, p. 140-154
Journal article
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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.