Meulen, M.J.P. van der, Revilla, M., "Experiences with the Design of a Run-Time Check", Lecture Notes in Computer Science, vol. 4166, pp. 302-15, Computer Safety, Reliability, and Security, 25th International Conference, Safecomp 2006, Gdansk, Poland, September 27-29, 2006.

Meulen, M.J.P. van der, Revilla, M., "The effectiveness of Choice of Programming Language as a Diversity Seeking Decision", 5th European Dependable Computing Conference (EDDC-5), Budapest, Hungary, April 2005, (Dal Cin, M., Kaaniche, M., Pataricza, A., Eds.), pp. 199-209, Springer, Lecture Notes on Computer Science, 2005.

Meulen, M.J.P. van der, Strigini, L., Revilla, M., "On the Effectiveness of Run-Time Checks", Lecture Notes in Computer Science, Safecomp, 28-30 September 2005, Halden, Norway, (Gran, B.A., Winther, R., Eds.), vol. 3866, pp. 151-64, Springer, 2005.

Meulen, M.J.P van der, Riddle, S., Strigini, L. and Jefferson, N., "Protective Wrapping of Off-the-Shelf Components", 4th International Conference on COTS-Based Software Systems (ICCBSS '05), Bilbao, Spain, (Franch, X., Port, D., Eds.), vol. 3412, pp. 168-177, Springer, Lecture Notes in Computer Science, 2005.

Bentley, J.G.W., Bishop, P.G., Meulen, M.J.P. van der, "An Empirical Exploration of the Difficulty Function", Safecomp, Potsdam, 21-24 Sep. 2004, Potsdam, Germany, pp. 60-71, Springer Verlag, 2004.

Meulen, M.J.P. van der, Bishop, P.G., Revilla, M., "An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs", ISSRE 2004, Rennes, France, pp. 101-12, 2004.

Meulen, M.J.P. van der, "On the use of smart sensors, common cause failure and the need for diversity", 6th International Symposium, Programmable Electronic Systems in Safety Related Applications, TUV, 2004.

Meulen, M.J.P. van der, "Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit using SMV", Proceedings of the Fourth International Conference on Formal Methods in Computer-Aided Design, November 6-8, 2002, Portland, Oregon, USA, 2002.

Koornneef, F., Meulen, M.J.P. van der (Ed.), Computer Safety, Reliability, and Security, 19th International Conference, Safecomp 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, Lecture Notes in Computer Science 1943, ISBN 978-3-540-41186-4.

Meulen, M.J.P. van der, "Definitions for Hardware and Software Safety Engineers", ISBN 1-85233-175-5, Springer Verlag, 2000.

Meulen, M.J.P. van der, "Anforderungen an die Entwicklung sicherheitskritischer Systeme aus Sicht des Sturmflutwehres in der Oosterschelde", Symposium of the Bundesamt für Sicherheit in der Informationstechnik, Bonn, 1999.

Meulen, M.J.P. van der, "Application of Formal Methods in the Specification of the Emergency Closing System of the Storm Surge Barrier in the Eastern Scheldt", International symposium on assuring safety and security of safety-related computer systems, Cracow, 1999.

Meulen, M.J.P. van der, "Derailment provisions for a high-speed train link in the Netherlands", Conference Safety and Reliability Association Europe, Rotterdam, 1999.

Meulen, M.J.P. van der, Clement, T., "Formal methods in the specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier", Symposium on formal methods, Boppard, 1998.

Meulen, M.J.P. van der, Bloomfield, R.E., "Refurbishment of the emergency system of the eastern scheldt storm surge barrier", 3rd International Symposium; Programmable Electronic Systems in Safety Related Applications, Cologne, 1998.

Meulen, M.J.P. van der, "Veiligheid van tunnels onder Oude Maas en Dordtsche Kil", Alert, 1998.

Meulen, M.J.P. van der, "Betrouwbaarheidsanalyse tram/metrostellen GVB Amsterdam", Course notes, Probabilistisch ontwerpen in theorie en praktijk, Technical University Delft, 1997.

Meulen, M.J.P. van der, "Moderne procesbeheersing vraagt aangepaste wetgeving", Chemisch Magazine, 1996.

Meulen, M.A. van der, Meulen, M.J.P. van der, Meerman, G.J. te, "Recurrence risk for germinal mosaics revisited", J. Med. Genetics, pp. 102-4, 1995.

Boer, J. de, Meulen, M.J.P. van der, "Evaluatie van praktijkervaringen met toerenregeling", Seminar Winst met Vermogenselektronica, (Laven, F.J.H., Ed.), 1993.

Meulen, M.J.P. van der, Stålhane, T., Cole, B., "Programmable Electronic System Analysis Technique in Safety Critical Applications", Safecomp '93, Poznan, 1993.

Stålhane, T., Meulen, M.J.P. van der, Cole, B., "Reliability Assessment for Programmable Electronic Systems using Subjective and Objective Categorical Data", PCPI Proceedings, pp. 101-8, Düsseldorf, 1993.

Meulen, M.J.P. van der, "A method for estimating failure rates of programmable electronic systems", Safety and Reliability Conference, Copenhagen, 1992.

Meulen, M.J.P. van der, "Keuzen van management bepalen bedrijfszekerheid", Polytechnisch Tijdschrift, pp. iA2-4, 1992.

Meulen, M.J.P. van der, "V-model: ontwerpen en testen in plaats van vallen en opstaan", Polytechnisch Tijdschrift, pp. iA2-4, 1992.

Meulen, M.J.P. van der, "Analyse bedrijfszekerheid kan calamiteiten voorkomen", I2P, 1991.

Meulen, M.J.P. van der, "Methoden voor onderhoud beschikbaar maar vaak ongebruikt", Polytechnisch Tijdschrift, pp. iA6-9, 1991.