Follow
Lars-Åke Fredlund
Title
Cited by
Cited by
Year
Time and probability in formal design of distributed systems.
HA Hansson
4511993
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
1342007
A framework for reasoning about Erlang code
LÅ Fredlund
Mikroelektronik och informationsteknik, 2001
822001
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
552010
Formal verification of a leader election protocol in process algebra
L Fredlund, JF Groote, H Korver
Theoretical Computer Science 177 (2), 459-486, 1997
521997
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
512019
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
452003
A more accurate semantics for distributed Erlang
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007
402007
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
332016
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
Verification of timed erlang programs using mcerlang
CB Earle, LÅ Fredlund
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
192012
Model Checking of {Multi-Applet}{JavaCard} Applications
G Chugunov, LÅ Fredlund, D Gurov
5th Smart Card Research and Advanced Application Conference (CARDIS 02), 2002
192002
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
182013
The system can't perform the operation now. Try again later.
Articles 1–20