Jan Tretmans
About
Jan Tretmans has authored 21 papers that have received a total of 216 indexed citations.
This includes 18 papers in Software, 12 papers in Computational Theory and Mathematics and 6 papers in Hardware and Architecture. The topics of these papers are Software Testing and Debugging Techniques (18 papers), Formal Methods in Verification (12 papers) and Software Reliability and Analysis Research (9 papers). Jan Tretmans is often cited by papers focused on Software Testing and Debugging Techniques (18 papers), Formal Methods in Verification (12 papers) and Software Reliability and Analysis Research (9 papers) and collaborates with scholars based in The Netherlands, Germany and France. Jan Tretmans's co-authors include Kim G. Larsen, Arnd Hartmanns, Arend Rensink, Axel Legay and Marius Bozga and has published in prestigious journals such as Machine Learning, Lecture notes in computer science and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Anikó Seres are co-authored with Top countries impacted by papers by John B. Youmans Top journals papers by Sang‐Hyuk Wi are published in Top authors papers by Lingxuan Chen are co-authored with Top authors papers by Masatsugu Maeda are co-authored with Top countries impacted by papers by Charles C. Matthews Top countries impacted by papers by Silvia Rizzato Top authors papers by Carl R. Adams are co-authored with