Articles with public access mandates - Jeroen MeijerLearn more
Available somewhere: 6
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J Van de Pol, S Blom, T Van Dijk
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
Mandates: Austrian Science Fund, Vienna Science and Technology Fund, Austria
The RERS 2017 challenge and workshop
M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ...
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
Mandates: US Department of Energy
Sound black-box checking in the LearnLib
J Meijer, J van de Pol
Innovations in Systems and Software Engineering 15 (3), 267-287, 2019
Mandates: Netherlands Organisation for Scientific Research
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ...
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Multi-core on-the-fly saturation
T van Dijk, J Meijer, J van de Pol
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Mandates: Austrian Science Fund
Efficient learning and analysis of system behavior
J Meijer
Mandates: US National Aeronautics and Space Administration
Publication and funding information is determined automatically by a computer program