Hans Svensson

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 4

Top Venues

Erlang Workshop

CARS@SAFECOMP

J. Log. Algebraic Methods Program.

SAFECOMP Workshops

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. 130 (2023)
Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund
Testing feature-rich blockchains. Softw. Pract. Exp. 53 (5) (2023)
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
Gaining trust by tracing security protocols. Erlang Workshop (2019)
Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
Testing AUTOSAR software with QuickCheck. ICST Workshops (2015)
Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. SAFECOMP Workshops (2014)
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
An Expressive Semantics of Mocking. FASE (2014)
Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund
Don't Judge Software by Its (Code) Coverage. CARS@SAFECOMP (2013)
Ulf Norell, Hans Svensson, Thomas Arts
Testing blocking operations with QuickCheck's component library. Erlang Workshop (2013)
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Accelerating race condition detection through procrastination. Erlang Workshop (2011)
Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle
A unified semantics for future Erlang. Erlang Workshop (2010)
Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
Ranking programs using black box testing. AST (2010)
Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger
Finding race conditions in Erlang with QuickCheck and PULSE. ICFP (2009)
Hans Svensson
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report. Erlang Workshop (2009)
Koen Claessen, Hans Svensson
Finding Counter Examples in Induction Proofs. TAP (2008)
Lars-Åke Fredlund, Hans Svensson
McErlang: a model checker for a distributed functional programming language. ICFP (2007)
Hans Svensson, Lars-Åke Fredlund
Programming distributed Erlang applications: pitfalls and recipes. Erlang Workshop (2007)
Hans Svensson, Lars-Åke Fredlund
A more accurate semantics for distributed Erlang. Erlang Workshop (2007)
Koen Claessen, Hans Svensson
A semantics for distributed Erlang. Erlang Workshop (2005)
Hans Svensson, Thomas Arts
A new leader election implementation. Erlang Workshop (2005)
Thomas Arts, Koen Claessen, Hans Svensson
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES (2004)
Ola Åkerberg, Hans Svensson, Bastian Schulz, Pierre Nugues
CarSim: An Automatic 3D Text-to-Scene Conversion System Applied to Road Accident Reports. EACL (2003)

Hans Svensson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans Svensson