EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Meijer, J.J.G.
Home Policy Brochure Browse Search User Area Contact Help

2016

Bendisposto, J. and Körner, P. and Leuschel, M. and Meijer, J.J.G. and van de Pol, J.C. and Treharne, H. and Whitefield, J. (2016) Symbolic Reachability Analysis of B through ProB and LTSmin. In: Proceedings of the 12th International Conference on integrated Formal Methods, iFM 2016, 1-5 Jun 2016, Reykjavik, Iceland. pp. 275-291. Lecture Notes in Computer Science 9681. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-33692-3
Meijer, J.J.G. and van de Pol, J.C. (2016) Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. In: Proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, 7-9 Jun 2016, Minneapolis, USA. pp. 255-271. Lecture Notes in Computer Science 9690. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-40647-3

2015

Kant, G. and Laarman, A.W. and Meijer, J.J.G. and van de Pol, J.C. and Blom, S.C.C. and van Dijk, T. (2015) LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 9035. Springer Verlag, London, pp. 692-707. ISSN 0302-9743 ISBN 978-3-662-46680-3
Meijer, J.J.G. and van de Pol, J.C. (2015) Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. Technical Report Number UNSPECIFIED, arXiv.org, Ithaca, NY, USA.

2014

Meijer, J.J.G. and Kant, G. and Blom, S.C.C. and van de Pol, J.C. (2014) Read, Write and Copy Dependencies for Symbolic Model Checking. In: Proceedings of the 10th International Haifa Verification Conference, HVC 2014, 18-20 Nov 2014, Haifa, Israel. pp. 204-219. Lecture Notes in Computer Science 8855. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-13337-9