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
Copying Engineering & Materials Science
Interface states Engineering & Materials Science
Specification languages Engineering & Materials Science

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

Research Output 2014 2017

  • 4 Conference contribution
  • 1 Chapter
  • 1 Paper
  • 1 Working paper
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: Scientific - peer-reviewConference contribution

Petri nets
1 Citations

The RERS 2017 Challenge and Workshop

Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., Pol, J. V. D., Howar, F. & Siegel, S. F. Jul 2017 p. 11-20 10 p.

Research output: Scientific - peer-reviewPaper

Learning systems
5 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: Scientific - peer-reviewConference contribution

Petri nets
2 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: Scientific - peer-reviewConference contribution

Model checking
Specification languages
Model checking
Petri nets