Hans Svensson

According to our database¹, Hans Svensson authored at least 21 papers between 2003 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Testing feature-rich blockchains.

[BibT_eX]

[DOI]

Softw. Pract. Exp., May, 2023

Gaining trust by tracing security protocols.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2023

2015

Testing AUTOSAR software with QuickCheck.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

An Expressive Semantics of Mocking.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Don't Judge Software by Its (Code) Coverage.

[BibT_eX]

[DOI]

Proceedings of the SAFECOMP 2013, 2013

Testing blocking operations with QuickCheck's component library.

[BibT_eX]

[DOI]

Ulf Norell

Hans Svensson

Thomas Arts

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2011

Accelerating race condition detection through procrastination.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010

Ranking programs using black box testing.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Automation of Software Test, 2010

A unified semantics for future Erlang.

[BibT_eX]

[DOI]

Hans Svensson

Lars-Åke Fredlund

Clara Benac Earle

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

2009

Finding race conditions in Erlang with QuickCheck and PULSE.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Implementing an LTL-to-Büchi translator in Erlang: a protest experience report.

[BibT_eX]

[DOI]

Hans Svensson

Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009

2008

Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving.

[BibT_eX]

[DOI]

Hans Svensson

PhD thesis, 2008

Finding Counter Examples in Induction Proofs.

[BibT_eX]

[DOI]

Koen Claessen

Hans Svensson

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

2007

McErlang: a model checker for a distributed functional programming language.

[BibT_eX]

[DOI]

Lars-Åke Fredlund

Hans Svensson

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

A more accurate semantics for distributed Erlang.

[BibT_eX]

[DOI]

Hans Svensson

Lars-Åke Fredlund

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

Programming distributed Erlang applications: pitfalls and recipes.

[BibT_eX]

[DOI]

Hans Svensson

Lars-Åke Fredlund

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

2005

A new leader election implementation.

[BibT_eX]

[DOI]

Hans Svensson

Thomas Arts

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

A semantics for distributed Erlang.

[BibT_eX]

[DOI]

Koen Claessen

Hans Svensson

Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

2004

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.

[BibT_eX]

[DOI]

Thomas Arts

Koen Claessen

Hans Svensson

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

CarSim: An Automatic 3D Text-to-Scene Conversion System Applied to Road Accident Reports.

[BibT_eX]

[DOI]

Proceedings of the EACL 2003, 2003

Hans Svensson

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...