Welcome...

J.J.G. Meijer MSc (Jeroen)

PhD Candidate / PhD Student

Expertise

Model Checking
Bandwidth
Modeling Languages
Wavefronts
Copying
Interface States

Publications

Recent Articles
Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., Pol, J. V. D., ... Siegel, S. F. (2017). The RERS 2017 Challenge and Workshop: (Invited Paper). 11-20. Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States.DOI: 10.1145/3092282.3098206
Meijer, J. J. G., & 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 (pp. 255-271). (Lecture Notes in Computer Science; Vol. 9690). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-40648-0_20
Bendisposto, J., Körner, P., Leuschel, M., Meijer, J. J. G., van de Pol, J. C., Treharne, H., & Whitefield, J. (2016). Symbolic Reachability Analysis of B through ProB and LTSmin. In E. Ábrahám, & M. Huisman (Eds.), Proceedings of the 12th International Conference on integrated Formal Methods, iFM 2016 (pp. 275-291). (Lecture Notes in Computer Science; Vol. 9681). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-33693-0_18
Kant, G., Laarman, A., Meijer, J. J. G., van de Pol, J. C., Blom, S., & van Dijk, T. (2015). LTSmin: High-Performance Language-Independent Model Checking. In C. Baier, & C. Tinelli (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 692-707). (Lecture Notes in Computer Science; Vol. 9035, No. 9035). London: Springer Verlag. DOI: 10.1007/978-3-662-46681-0_61
Meijer, J. J. G., Kant, G., Blom, S., & 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 (pp. 204-219). (Lecture Notes in Computer Science; Vol. 8855). Berlin: Springer. DOI: 10.1007/978-3-319-13338-6_16

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3110
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3110
P.O. Box 217
7500 AE Enschede
The Netherlands