Welkom...

J.J.G. Meijer MSc (Jeroen)

Promovendus

Expertises

Model Checking
Bandwidth
Wavefronts
Modeling Languages
Learning Systems
Petri Nets
Copying
Interface States
Decomposition
Specifications

Publicaties

Recente Artikelen
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., Pol, J. V. D., ... Siegel, S. F. (2017). The RERS 2017 Challenge and Workshop. 11-20. Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States.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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3110
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3110
Postbus 217
7500 AE Enschede