Functional Programming and Logic Decrease the Use of the Most Important Part of Our System (2001)

by Thomas Arts

Active Bibliography

16 Development of a verified Erlang program for resource locking – Thomas Arts, Clara Benac Earle - 2001
3 A Tool for Verifying Software Written in Erlang – Thomas Arts, Gennady Chugunov, Mads Dam, Lars-Åke Fredlund, Dilian Gurov, Thomas Noll - 2000
contributed articles Erlang – unknown authors
11 A Verification Tool for Erlang – Lars-Åke Fredlund, Lars Ake Fredlund, Dilian Gurov, Mads Dam, Thomas Arts, Thomas Noll, Gennady Chugunov - 2003
5 Semi-Automated Verification of Erlang Code – Lars-Åke Fredlund, Lars- Ake, Dilian Gurov, Thomas Noll - 2001
1 Extracting the processes structure of ERLANG applications – Jan Nyström, Bengt Jonsson
4 Global Scheduler Properties derived from Local Restrictions – Thomas Arts, Juan José Sánchez Penas - 2002
4 Proving the Temporal Properties of the Unique World – Zoltán Horváth, Peter Achten, Tamás Kozsik, Rinus Plasmeijer - 1999
1 Verification of the Temporal Properties of Dynamic Clean Processes – Zoltan Horvath, Peter Achten, Tamas Kozsik, Rinus Plasmeijer - 1999
Model Checking a Cache Coherence Protocol for a Java DSM Implementation – Jun Pang W, an Fokkink, Rutger Hofman, Ronald Veldema
11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
6 Refinement and Verification Applied to an In-Flight Data Acquisition Unit – Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein - 2002
15 Trace Analysis of Erlang Programs – Thomas Arts, Lars-Åke Fredlund - 2002
1 Symbolic Program Execution using the Erlang Verification Tool – Clara Benac Earle - 2000
Verifying a Smart Design of TCAP – Thomas Arts, I.A. van Langevelde, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Izak Van Langevelde - 1999
4 On the Verification of Coordination – Paul Dechering, Izak Van Langevelde - 2000
2 Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL – Qiang Guo, John Derrick - 2006
8 Evaluating distributed functional languages for telecommunications software – J. H. Nyström, P. W. Trinder - 2003
50 Making Reliable Distributed Systems in the Presence of Software Errors – Joe Armstrong, To Helen - 2003