Hans Svensson

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