Lars van Arragon

According to our database, Lars van Arragon authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

Testing Compositionality.

Gijs van Cuyck, Lars van Arragon, Jan Tretmans

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Compositionality in Model-Based Testing.

Gijs van Cuyck, Lars van Arragon, Jan Tretmans

Proceedings of the Testing Software and Systems, 2023

Model-Driven Optimization: Towards Performance-Enhancing Low-Level Encodings.

Lars van Arragon, Carlos Diego Nascimento Damasceno, Daniel Strüber

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023