Hans Svensson
Showing 18 publications
An expressive semantics of mocking
Accelerating race condition detection through procrastination
A Unified Semantics for Future Erlang
Ranking programs using black box testing
Finding race conditions in erlang with quickcheck and PULSE
Finding Race Conditions in Erlang with Quick Check and PULSE
Implementing an LTL-to-Büchi translator in Erlang: a ProTest experience report
Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
Finding Counter Examples in Induction Proofs
A Semi-Automatic Correctness Proof Procedure applied to Stoller's Leader Election Algorithm
A More Accurate Semantics for Distributed Erlang
McErlang: A Model Checker for a Distributed Functional Programming Language
Programming Distributed Erlang Applications: Pitfalls and Recipes
A Semantics for Distributed Erlang
Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
Testing Implementations of Formally Verified Algorithms
A New Leader Election Implementation
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.