Follow
Hans Svensson
Hans Svensson
Quviq AB
Verified email at quviq.com - Homepage
Title
Cited by
Cited by
Year
McErlang: a model checker for a distributed functional programming language
LÅ Fredlund, H Svensson
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
1302007
Finding race conditions in Erlang with QuickCheck and PULSE
K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ...
ACM Sigplan Notices 44 (9), 149-160, 2009
922009
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
722015
A unified semantics for future Erlang
H Svensson, LÅ Fredlund, C Benac Earle
Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, 23-32, 2010
532010
A more accurate semantics for distributed Erlang
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007
412007
A semantics for distributed Erlang
K Claessen, H Svensson
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 78-87, 2005
282005
Semi-formal development of a fault-tolerant leader election protocol in Erlang
T Arts, K Claessen, H Svensson
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
222005
A new leader election implementation
H Svensson, T Arts
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 35-39, 2005
182005
Programming distributed erlang applications: Pitfalls and recipes
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 37-42, 2007
162007
An expressive semantics of mocking
J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes
Fundamental Approaches to Software Engineering: 17th International …, 2014
122014
Ranking programs using black box testing
K Claessen, J Hughes, M Pałka, N Smallbone, H Svensson
Proceedings of the 5th Workshop on Automation of Software Test, 103-110, 2010
112010
Finding counter examples in induction proofs
K Claessen, H Svensson
International Conference on Tests and Proofs, 48-65, 2008
112008
Implementing an LTL-to-Büchi translator in Erlang
H Svensson
Proceedings of the 2009 ACM SIGPLAN Erlang Workshop 10, 1596600.1596610, 2009
92009
Don't Judge Software by Its (Code) Coverage
R Johansson, H Eriksson, H Svensson, K Östberg, T Arts, A Gerdes, ...
SAFECOMP 2013-Workshop CARS (2nd Workshop on Critical Automotive …, 2013
32013
Accelerating race condition detection through procrastination
T Arts, J Hughes, U Norell, N Smallbone, H Svensson
Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, 14-22, 2011
32011
Gaining trust by tracing security protocols
LÅ Fredlund, C Benac Earle, T Arts, H Svensson
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 56-67, 2019
22019
Checking verification compliance of technical safety requirements on the AUTOSAR platform using annotated semi-formal executable models
M Skoglund, H Svensson, H Eriksson, T Arts, R Johansson, A Gerdes
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014
12014
A semi-automatic correctness proof procedure applied to Stoller’s leader election algorithm
H Svensson
Technical Report 2008: 7, Computer Science and Engineering, Chalmers …, 2008
12008
Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
H Svensson
Chalmers University of Technology, 2008
12008
Verification of Erlang Programs using Testing and Tracing
H Svensson
Chalmers tekniska högskola, 2005
12005
The system can't perform the operation now. Try again later.
Articles 1–20