A formal verification technique for behavioural model-to-model transformations S de Putter, A Wijs Formal Aspects of Computing 30, 3-43, 2018 | 16 | 2018 |
Verifying a verifier: on the formal correctness of an LTS transformation verification technique S de Putter, A Wijs Fundamental Approaches to Software Engineering: 19th International …, 2016 | 12 | 2016 |
Compositional model checking is lively S de Putter, A Wijs Formal Aspects of Component Software: 14th International Conference, FACS …, 2017 | 9 | 2017 |
To compose, or not to compose, that is the question: an analysis of compositional state space generation S de Putter, A Wijs Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 3 | 2018 |
Lock and fence when needed: state space exploration+ static analysis= improved fence and lock insertion S de Putter, A Wijs Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020 | 1 | 2020 |
Testing conformance of EJB 3 enterprise application servers S de Putter, S Roubtsov, A Serebrenik International Conference on Enterprise Information Systems 2, 272-279, 2014 | | 2014 |