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

  • 8 Conference contribution
  • 2 Chapter
  • 1 Working paper
1 Citation (Scopus)
6 Downloads (Pure)

Adaptive Learning for Learn-Based Regression Testing

Huistra, D., Meijer, J. & Pol, J. V. D., Sep 2018, Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer, p. 162-177 16 p. (Lecture Notes in Computer Science; vol. 11119).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Testing
Model checking
Experiments
4 Downloads (Pure)
Open Access
File
Model checking
Wavefronts
Bandwidth
Petri nets
Data storage equipment
15 Citations (Scopus)
58 Downloads (Pure)

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, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Wavefronts
Bandwidth
Petri nets
58 Citations (Scopus)
59 Downloads (Pure)

LTSmin: High-Performance Language-Independent Model Checking

Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
Model checking
Interface states
Modeling languages
1 Citation (Scopus)

MCC'2017 - The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E. G., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Botlan, D. L., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., Pol, J. V. D. & Wolf, K., 21 Nov 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). p. 181-209 29 p. (Lecture notes in computer science; vol. 11090).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Model checking
Petri nets
8 Citations (Scopus)
36 Downloads (Pure)

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

Open Access
File
Petri nets
Concretes
Decomposition
Specifications
13 Citations (Scopus)
29 Downloads (Pure)

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

File
4 Citations (Scopus)
76 Downloads (Pure)

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

Open Access
File
Acoustic waves
Learning algorithms
Finite automata
Application programming interfaces (API)
Experiments
1 Citation (Scopus)
7 Downloads (Pure)

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

Körner, P., Leuschel, M. & Meijer, J., Sep 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Furia, C. A. & Winter, K. (eds.). Springer, p. 275-295 21 p. (Lecture Notes in Computer Science; vol. 11023).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
4 Citations (Scopus)
59 Downloads (Pure)

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, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
Specification languages
Glues
Experiments
9 Citations (Scopus)
1 Downloads (Pure)

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

Learning systems
Satellites