Functional Programming and Logic Decrease the Use of the Most Important Part of Our System (2001)
by
Thomas Arts
Active Bibliography
| 14 | 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 |
| 4 | Global Scheduler Properties derived from Local Restrictions – Thomas Arts, Juan José Sánchez Penas - 2002 |
| 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 |
| 1 | Extracting the processes structure of ERLANG applications – Jan Nyström, Bengt Jonsson |
| Model Checking a Cache Coherence Protocol for a Java DSM Implementation – Jun Pang W, an Fokkink, Rutger Hofman, Ronald Veldema | |
| 4 | 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 |
| 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 |
| 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 |
| 42 | Making Reliable Distributed Systems in the Presence of Software Errors – Joe Armstrong, To Helen - 2003 |
| 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 |
| 5 | Semi-Automated Verification of Erlang Code – Lars-Åke Fredlund, Lars- Ake, Dilian Gurov, Thomas Noll - 2001 |
| Formal specification of JavaSpaces™ architectures using μCRL – Architecture Using Crl, Jaco van de Pol, Miguel Valero Espada |
