Follow
Lars-Åke Fredlund
Title
Cited by
Cited by
Year
Time and probability in formal design of distributed systems.
HA Hansson
4411993
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
A framework for reasoning about Erlang code
LÅ Fredlund
Mikroelektronik och informationsteknik, 2001
802001
Toward parametric verification of open distributed systems
M Dam, L Fredlund, D Gurov
International Symposium on Compositionality, 150-185, 1997
561997
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
Formal verification of a leader election protocol in process algebra
L Fredlund, JF Groote, H Korver
Theoretical Computer Science 177 (2), 459-486, 1997
511997
Engineering multi-agent systems: State of affairs and the road ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019
462019
A verification tool for Erlang
LÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov
International Journal on Software Tools for Technology Transfer 4, 405-420, 2003
432003
A more accurate semantics for distributed Erlang
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007
412007
Trace analysis of Erlang programs
T Arts, LÅ Fredlund
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, 16-23, 2002
402002
Property-based testing-the protest project
J Derrick, N Walkinshaw, T Arts, C Benac Earle, F Cesarini, LA Fredlund, ...
Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010
372010
Implementing ws-cdl
L Fredlund
Proceedings of the second Spanish workshop on Web Technologies (JSWEB 2006), 2006
352006
Automatic grading of programming exercises using property-based testing
C Benac Earle, LÅ Fredlund, J Hughes
Proceedings of the 2016 ACM Conference on Innovation and Technology in …, 2016
282016
System description: Verification of distributed Erlang programs
T Arts, M Dam, L Fredlund, D Gurov
Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998
261998
Modelling dynamic communication structures in LOTOS
L Fredlund, F Orava
Formal Description Techniques, IV, 185-200, 1992
211992
Property-based testing of JSON based web services
LÅ Fredlund, CB Earle, Á Herranz, J Mariño
2014 IEEE International Conference on Web Services, 704-707, 2014
202014
Model Checking of {Multi-Applet}{JavaCard} Applications
G Chugunov, LÅ Fredlund, D Gurov
5th Smart Card Research and Advanced Application Conference (CARDIS 02), 2002
202002
Verification of timed erlang programs using mcerlang
CB Earle, LÅ Fredlund
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
192012
Jsongen: A QuickCheck based library for testing JSON web services
C Benac Earle, LÅ Fredlund, Á Herranz, J Mariño
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 33-41, 2014
182014
eJason: an implementation of Jason in Erlang
ÁF Díaz, CB Earle, LÅ Fredlund
Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012 …, 2013
172013
The system can't perform the operation now. Try again later.
Articles 1–20