Hans Svensson
Visar 18 publikationer
An expressive semantics of mocking
Accelerating race condition detection through procrastination
Ranking programs using black box testing
A Unified Semantics for Future Erlang
Finding Race Conditions in Erlang with Quick Check and PULSE
Finding race conditions in erlang with quickcheck and PULSE
Implementing an LTL-to-Büchi translator in Erlang: a ProTest experience report
Finding Counter Examples in Induction Proofs
Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
A Semi-Automatic Correctness Proof Procedure applied to Stoller's Leader Election Algorithm
Programming Distributed Erlang Applications: Pitfalls and Recipes
A More Accurate Semantics for Distributed Erlang
McErlang: A Model Checker for a Distributed Functional Programming Language
A New Leader Election Implementation
A Semantics for Distributed Erlang
Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
Testing Implementations of Formally Verified Algorithms
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.