Jeroen Meijer
Orcid: 0000-0002-1591-1195
According to our database1,
Jeroen Meijer
authored at least 14 papers
between 2014 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin.
Proceedings of the Models, Mindsets, 2018
2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
2015
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking.
CoRR, 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
2014
Proceedings of the Hardware and Software: Verification and Testing, 2014