Welcome...

J.J.G. Meijer MSc (Jeroen)

PhD Candidate

Expertise

Model Checking
Bandwidth
Wavefronts
Petri Nets
Satellites
Learning Systems
Acoustic Waves
Learning Algorithms
Modeling Languages

Publications

Recent
Meijer, J., & van de Pol, J. (2018). Sound Black-Box Checking in the LearnLib. In A. Dutle, C. A. Muñoz, & A. Narkawicz (Eds.), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (pp. 349-366). (Lecture Notes in Computer Science; Vol. 10811). Cham: Springer. DOI: 10.1007/978-3-319-77935-5_24
Bernhard, S., Jasper, M., Meijer, J., & van de Pol, J. (2017). Property-Preserving Generation of Tailored Benchmark Petri Nets. In 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings Piscataway, NJ: IEEE Computer Society. DOI: 10.1109/ACSD.2017.24
Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., ... Siegel, S. F. (2017). The RERS 2017 Challenge and Workshop. In Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 11-20). New York: ACM Inc.. DOI: 10.1145/3092282.3098206
Meijer, J., & van de Pol, J. C. (2016). Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. In S. Rayadurgam, & O. Tkachuk (Eds.), NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (pp. 255-271). (Lecture Notes in Computer Science; Vol. 9690). Springer International Publishing. DOI: 10.1007/978-3-319-40648-0_20
Bendisposto, J., Körner, P., Leuschel, M., Meijer, J., 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.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 275-291). (Lecture Notes in Computer Science; Vol. 9681). Cham: Springer International Publishing. DOI: 10.1007/978-3-319-33693-0_18
Kant, G., Laarman, A., Meijer, J., 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., 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