| 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 |
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tue.nl
