The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lars-Åke Fredlund: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lars-Åke Fredlund, Dilian Gurov
    A Framework for Formal Reasoning about Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:87-100 [Conf]
  2. Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
    System Description: Verification of Distributed Erlang Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:38-41 [Conf]
  3. Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov
    Model Checking of Multi-Applet JavaCard Applications. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2002, pp:87-96 [Conf]
  4. Mads Dam, Lars-Åke Fredlund, Dilian Gurov
    Toward Parametric Verification of Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:150-185 [Conf]
  5. Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow
    An Implementation of a Translational Semantics for an Imperative Language. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:246-262 [Conf]
  6. Thomas Arts, Lars-Åke Fredlund
    Trace analysis of Erlang programs. [Citation Graph (0, 0)][DBLP]
    Erlang Workshop, 2002, pp:16-23 [Conf]
  7. Clara Benac Earle, Lars-Åke Fredlund, John Derrick
    Verifying fault-tolerant Erlang programs. [Citation Graph (0, 0)][DBLP]
    Erlang Workshop, 2005, pp:26-34 [Conf]
  8. Clara Benac Earle, Lars-Åke Fredlund
    Verification of Language Based Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2005, pp:140-149 [Conf]
  9. Lars-Åke Fredlund, Fredrik Orava
    Modelling Dynamic Communication Structures in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:185-200 [Conf]
  10. Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson
    Specification and Validation of a Simple Overtaking Protokol using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:377-392 [Conf]
  11. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
    Semi-Automated Verification of Erlang Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:319-323 [Conf]
  12. Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava
    Formalising and Prototyping a Concurrent Object-Based Language. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:116-125 [Conf]
  13. Mads Dam, Lars-Åke Fredlund
    On the verification of open distributed systems. [Citation Graph (0, 0)][DBLP]
    SAC, 1998, pp:532-540 [Conf]
  14. Thomas Noll, Lars-Åke Fredlund, Dilian Gurov
    The Erlang Verification Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:582-586 [Conf]
  15. Mads Dam, Lars-Åke Fredlund, Dillian Guruv
    Formal Methods Research at SICS and KTH: An Overview. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  16. Lars-Åke Fredlund
    Guaranteeing Correctness Properties of a Java Card Applet. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:217-233 [Journal]
  17. Thomas Arts, Lars-Åke Fredlund
    Trace analysis of Erlang programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:18-24 [Journal]
  18. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
    A verification tool for ERLANG. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:4, pp:405-420 [Journal]
  19. Lars-Åke Fredlund, Jan Friso Groote, Henri Korver
    Formal Verification of a Leader Election Protocol in Process Algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:2, pp:459-486 [Journal]
  20. Lars-Åke Fredlund, Juan José Sánchez Penas
    Model Checking a Video-on-Demand Server Using McErlang. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:539-546 [Conf]
  21. Lars-Åke Fredlund, Hans Svensson
    McErlang: a model checker for a distributed functional programming language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:125-136 [Conf]

  22. Programming distributed Erlang applications: pitfalls and recipes. [Citation Graph (, )][DBLP]


  23. A more accurate semantics for distributed Erlang. [Citation Graph (, )][DBLP]


  24. Model checking erlang programs: the functional approach. [Citation Graph (, )][DBLP]


  25. Recent improvements to the McErlang model checker. [Citation Graph (, )][DBLP]


  26. Debugging and Verification of Multi-Agent Systems. [Citation Graph (, )][DBLP]


  27. Rigorous Software Development Using McErlang. [Citation Graph (, )][DBLP]


  28. Automatic Coding Rule Conformance Checking Using Logic Programming. [Citation Graph (, )][DBLP]


  29. Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. [Citation Graph (, )][DBLP]


  30. Verifying Robocup Teams. [Citation Graph (, )][DBLP]


  31. Automatic Coding Rule Conformance Checking Using Logic Programs [Citation Graph (, )][DBLP]


  32. A Coding Rule Conformance Checker Integrated into GCC. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002