Lars-Åke Fredlund
Lars-Åke Fredlund
Потвърден имейл адрес: fi.upm.es
Заглавие
Позовавания
Позовавания
Година
Time and probability in formal design of distributed systems.
HA Hansson
3991993
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
1272007
A framework for reasoning about Erlang code
LÅ Fredlund
KTH, 2001
712001
Toward parametric verification of open distributed systems
M Dam, L Fredlund, D Gurov
International Symposium on Compositionality, 150-185, 1997
601997
Formal verification of a leader election protocol in process algebra
L Fredlund, JF Groote, H Korver
Theoretical Computer Science 177 (2), 459-486, 1997
471997
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 (4), 405-420, 2003
442003
A more accurate semantics for distributed Erlang
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007
392007
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
382010
Trace analysis of Erlang programs
T Arts, LÅ Fredlund
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, 16-23, 2002
362002
Implementing ws-cdl
L Fredlund
Proceedings of the second Spanish workshop on Web Technologies (JSWEB 2006), 2006
332006
Property-based testing-the protest project
J Derrick, N Walkinshaw, T Arts, CB Earle, F Cesarini, LA Fredlund, ...
International Symposium on Formal Methods for Components and Objects, 250-271, 2009
322009
System description: Verification of distributed Erlang programs
T Arts, M Dam, L Fredlund, D Gurov
International Conference on Automated Deduction, 38-41, 1998
261998
Modelling dynamic communication structures in LOTOS
L Fredlund, F Orava
Formal Description Techniques, IV, 185-200, 1992
201992
The Erlang verification tool
T Noll, L Fredlund, D Gurov
International Conference on Tools and Algorithms for the Construction and …, 2001
19*2001
Specification and validation of a simple overtaking protocol using LOTOS
P Ernberg, L Fredlund, B Jonsson
Formal Description Techniques, IV, 377-392, 1992
191992
Model Checking of Multi-Applet JavaCard Applications.
G Chugunov, LÅ Fredlund, D Gurov
CARDIS, 87-96, 2002
182002
On the verification of open distributed systems
M Dam, L Fredlund
Proceedings of the 1998 ACM symposium on Applied Computing, 532-540, 1998
171998
Verifying fault-tolerant Erlang programs
CB Earle, LÅ Fredlund, J Derrick
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, 26-34, 2005
162005
Verification of timed erlang programs using mcerlang
CB Earle, LÅ Fredlund
Formal Techniques for Distributed Systems, 251-267, 2012
152012
Programming distributed erlang applications: pitfalls and recipes
H Svensson, LÅ Fredlund
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 37-42, 2007
152007
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20