Sander de Putter
Title
Cited by
Cited by
Year
A formal verification technique for behavioural model-to-model transformations
S de Putter, A Wijs
Formal Aspects of Computing 30 (1), 3-43, 2018
92018
Compositional model checking is lively
S de Putter, A Wijs
International Conference on Formal Aspects of Component Software, 117-136, 2017
62017
Verifying a verifier: on the formal correctness of an LTS transformation verification technique
S de Putter, A Wijs
International Conference on Fundamental Approaches to Software Engineering …, 2016
52016
To compose, or not to compose, that is the question: an analysis of compositional state space generation
S de Putter, A Wijs
International Symposium on Formal Methods, 485-504, 2018
12018
Testing Conformance of EJB 3 Enterprise Application Servers.
S de Putter, SA Roubtsov, A Serebrenik
ICEIS (3), 272-279, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–5