No photo of Jeroen Meijer

Jeroen Meijer

, MSc.

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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 Similar Profiles
Model checking Engineering & Materials Science
Wavefronts Engineering & Materials Science
Bandwidth Engineering & Materials Science
Petri nets Engineering & Materials Science
Learning systems Engineering & Materials Science
Acoustic waves Engineering & Materials Science
Satellites Engineering & Materials Science
Learning algorithms Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2018

  • 6 Conference contribution
  • 1 Chapter
  • 1 Working paper

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
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
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