Hans Svensson

Visar 18 publikationer

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 i 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 i 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 i 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 i 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
Artikel i vetenskaplig tidskrift
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 i 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 i 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 i 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 i 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 i 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 i proceeding
2005

Verification of Erlang Programs using Testing and Tracing

Hans Svensson
Licentiatavhandling
2005

A New Leader Election Implementation

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

A Semantics for Distributed Erlang

Koen Lindström Claessen, Hans Svensson
Proceedings of the ACM SIGPLAN 2005 Erlang Workshop
Paper i 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
Artikel i vetenskaplig tidskrift
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 i proceeding

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.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Hans Svensson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.