World-Class Product Certification using Erlang (2002)

Cached

Download Links

by Ulf Wiger , Gösta Ask , Kent Boortz , Ericsson Ab
Venue:SIGPLAN Notices
Citations:8 - 1 self

Active Bibliography

7 Formal Modeling in a Commercial Setting: A Case Study – Andre Wong, Marsh Chechik - 1999
8 Erlang - An Experimental Telephony Programming Language – J. L. Armstrong, S. R. Virdin - 1990
70 The development of Erlang – Ericsson Telecom Ab - 1997
1 High-level Distribution for the Rapid Production of Robust Telecoms Software: Comparing C++ and ERLANG. Concurrency and Computation: Practice and Experience – J. H. Nyström, P. W. Trinder, D. J. King
A Comparative Evaluation of Imperative and Functional Implementations of the IMAP Protocol – Francesco Cesarini, Corrado Santoro
Examiner: Per Lindström – Malin Pihl - 2006
20 Integrating Typed and Untyped Code in a Scripting Language – Tobias Wrigstad, Nardelli Sylvain, Lebresne Johan, Östlund Jan Vitek
Towards Automatic Verification of Erlang Programs by – Calculus Translation Chanchal
1 A more accurate semantics for distributed Erlang – Hans Svensson - 2007
1 Extracting the processes structure of ERLANG applications – Jan Nyström, Bengt Jonsson
6 A semantics for distributed erlang – Koen Claessen - 2005
1 Testing Implementations of Formally Verified Algorithms – Thomas Arts , Koen Claessen, et al. - 2005
State Exploration of Scala Actor Programs by – Mirco Dotta, Mirco Dotta
3 Model checking erlang programs: the functional approach – Lars-Ake Fredlund, Clara Benac Earle - 2006
10 Semi-formal development of a fault-tolerant leader election protocol in Erlang – Thomas Arts, Koen Claessen, Hans Svensson - 2005
6 Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques – Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
Genetic Regulatory Networks – Radu Mateescu, Pedro T. Monteiro, Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde De Jong, Projets Ibis Et Vasy - 2008
11 McErlang: A Model Checker for a Distributed Functional Programming Language – Lars-Ake Fredlund, Hans Svensson - 2007
12 A Framework for State-Space Exploration of Java-based Actor Programs – Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul Agha