Παρακολούθηση
Hans Svensson
Hans Svensson
Quviq AB
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα quviq.com - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1382007
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
972009
Testing AUTOSAR software with QuickCheck
T Arts, J Hughes, U Norell, H Svensson
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
852015
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
542010
A more accurate semantics for distributed Erlang
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007
402007
A semantics for distributed Erlang
K Claessen, H Svensson
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 78-87, 2005
302005
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
252005
A new leader election implementation
H Svensson, T Arts
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 35-39, 2005
192005
Programming distributed erlang applications: Pitfalls and recipes
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 37-42, 2007
172007
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
122010
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
102009
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
42011
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
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
Gaining trust by tracing security protocols
LÅ Fredlund, CB Earle, T Arts, H Svensson
Journal of Logical and Algebraic Methods in Programming 130, 100829, 2023
12023
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20