print · source · login   

Publications

Meijer, J. and van de Pol, J. Sound Black-Box Checking in the LearnLib. In: Procs. of the 10th Nasa Formal Methods Symposium - NFM 2018. LNCS 10811. Spinger, 2018. https://research.utwente.nl/en/publications/sound-black-box-checking-in-the-learnlib

F. Kordon, H. Garavel, L. Messan Hillah, E. Paviot-Adet, L. Jezequel, F. Hulin-Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P.G. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry-Mieg, J. van de Pol, K. Wolf. MCC'2017 -- The Seventh Model Checking Contest. In: Petri Nets and Other Models of Concurrency (ToPNoC). [wacht op GC goedkeuring]. Download pdf Δ

P. van den Bos, R. Janssen, J. Moerman. n-Complete Test Suites for IOCO. In: N. Yevtushenko, A. Cavalli, H. Yenigün (eds), Testing Software and Systems - ICTSS 2017. LNCS 10533, pp. 91- 107. Springer Int. Publishing, 2017. Download pdf

Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., Howar, F. and Siegel, S.F. The RERS 2017 Challenge and Workshop. In: Procs. of the 24th Int. SPIN Symp. on Model Checking of Software - SPIN 2017, 13-14 July 2017, Santa Barbara, US, 2017. https://research.utwente.nl/en/publications/the-rers-2017-challenge-and-workshop

Steffen, B., Jasper, M., Meijer, J. and van de Pol, J. Property-Preserving Generation of Tailored Benchmark Petri Nets. In: Procs. of the 17th Int. Conf. on Application of Concurrency to System Design - ACSD 2017. LNCS 10258. Spinger Int. Publishing, 2017. https://research.utwente.nl/en/publications/property-preserving-generation-of-tailored-benchmark-petri-nets

J. Tretmans. On the Existence of Practical Testers, In: J.-P. Katoen, R. Langerak, A. Rensink, ModelEd, TestEd, TrustEd -- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. LNCS 10500, pp. 87-106, Springer Int. Publishing, 2017. Download pdf

P. van den Bos, R. Smetsers, F.W. Vaandrager. Enhancing Automata Learning by Log-Based Metrics. In: E. Abraham and M. Huisman (eds.), Procs. 12th Int. Conf. on integrated Formal Methods – iFM. LNCS 9681, pp. 295-310, Springer Int. Publishing, 2016. Download pdf

Bendisposto, J., Körner, P., Leuschel, M., Meijer, J.J.G., van de Pol, J.C., Treharne, H., Whitefield, J. Symbolic Reachability Analysis of B through ProB and LTSmin. In: E. Abraham and M. Huisman (eds.) Procs. 12th Int. Conf. on integrated Formal Methods – iFM. LNCS 9681, pp. 275-291, Springer Int. Publishing, 2016. https://research.utwente.nl/en/publications/symbolic-reachability-analysis-of-b-through-prob-and-ltsmin

P. Fiterau-Brostean, R. Janssen, F.W. Vaandrager. Combining Model Learning and Model Checking to Analyze TCP Implementations. In: Procs. CAV 2016, LNCS 9780, Springer, 2016. Download pdf Δ

Meijer, J.J.G., van de Pol, J.C. Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. In: Procs. 8th Int. Symposium on NASA Formal Methods – NFM. LNCS 9690, pp. 255-271, Springer Int. Publishing, 2016. https://research.utwente.nl/en/publications/bandwidth-and-wavefront-reduction-for-static-variable-ordering-in

Kant, G., Laarman, A.W., Meijer, J.J.G., van de Pol, J.C., Blom, S.C.C. and van Dijk, T. LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems - TACAS. LNCS 9035, pp. 692-707, Springer Verlag, London, 2015. https://research.utwente.nl/en/publications/ltsmin-high-performance-language-independent-model-checking

Meijer, J.J.G., Kant, G., Blom, S.C.C., van de Pol, J.C. Read, Write and Copy Dependencies for Symbolic Model Checking. In: Procs. 10th Int. Haifa Verification Conference – HVC. LNCS 8855, pp. 204-219, Springer Verlag, 2014. https://research.utwente.nl/en/publications/read-write-and-copy-dependencies-for-symbolic-model-checking

Gerhold, M., Stoelinga, M. Model-Based Testing of Probabilistic Systems. In: Stevens, P. Wąsowski (eds.), Fundamental Approaches to Software Engineering: 19th Int. Conf. FASE 2016, pp. 251-268. LNCS 9633. Springer 2014. (FASE best paper award). https://doi.org/10.1007/978-3-662-49665-7_15