Arjan P. van der Meer

According to our database, Arjan P. van der Meer authored at least 5 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems.

Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2015

The Synergy Between User Experience Design and Software Testing.

Arjan P. van der Meer, Rachid Kherrazi, Neda Noroozi, Anita Wierda

Proceedings of the Software Engineering and Formal Methods, 2015

2014

Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques.

Arjan P. van der Meer, Rachid Kherrazi, Marc Hamilton

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

2010

Formally specified type checkers for domain specific languages: experience report.

Mark van den Brand, Arjan P. van der Meer, Alexander Serebrenik, Albert T. Hofkamp

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009

Type Checking Evolving Languages with MSOS.

Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik

Proceedings of the Semantics and Algebraic Specification, 2009