No photo of Jeroen Meijer

Jeroen Meijer

, MSc.

20142018
If you made any changes in Pure these will be visible here soon.

Research Output 2014 2018

  • 6 Conference contribution
  • 1 Chapter
  • 1 Working paper
Filter
Conference contribution
2018

Sound Black-Box Checking in the LearnLib

Meijer, J. & van de Pol, J. 11 Mar 2018 NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Muñoz, C. A. & Narkawicz, A. (eds.). Cham: Springer, p. 349-366 18 p. (Lecture Notes in Computer Science; vol. 10811)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Acoustic waves
Learning algorithms
Finite automata
Application programming interfaces (API)
Experiments
2017
3 Citations

Property-Preserving Generation of Tailored Benchmark Petri Nets

Bernhard, S., Jasper, M., Meijer, J. & van de Pol, J. Jun 2017 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings. Piscataway, NJ: IEEE Computer Society, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Petri nets
Concretes
Decomposition
Specifications
1 Citations

The RERS 2017 Challenge and Workshop

Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., Howar, F. & Siegel, S. F. Jul 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York: ACM Inc., p. 11-20 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning systems
Satellites
2016
6 Citations

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis

Meijer, J. & van de Pol, J. C. 7 Jun 2016 NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Rayadurgam, S. & Tkachuk, O. (eds.). Springer International Publishing, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Wavefronts
Bandwidth
Petri nets
3 Citations

Symbolic Reachability Analysis of B through ProB and LTSmin

Bendisposto, J., Körner, P., Leuschel, M., Meijer, J., van de Pol, J. C., Treharne, H. & Whitefield, J. Jun 2016 Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Cham: Springer International Publishing, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Model checking
Specification languages
Glues
Experiments
2014
9 Citations

Read, Write and Copy Dependencies for Symbolic Model Checking

Meijer, J., Kant, G., Blom, S. & van de Pol, J. C. Nov 2014 Proceedings of the 10th International Haifa Verification Conference, HVC 2014. Berlin: Springer, p. 204-219 16 p. (Lecture Notes in Computer Science; vol. 8855)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File