Pepijn Crouzen
About
Pepijn Crouzen has authored 5 papers that have received a total of 119 indexed citations.
This includes 3 papers in Computational Theory and Mathematics, 2 papers in Safety, Risk, Reliability and Quality and 2 papers in Software. The topics of these papers are Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (2 papers) and Safety Systems Engineering in Autonomy (2 papers). Pepijn Crouzen is often cited by papers focused on Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (2 papers) and Safety Systems Engineering in Autonomy (2 papers) and collaborates with scholars based in Germany and The Netherlands. Pepijn Crouzen's co-authors include Hichem Boudali, Mariëlle Stoelinga, M. Küntz, Boudewijn R. Haverkort and Jaco van de Pol and has published in prestigious journals such as IEEE Transactions on Dependable and Secure Computing and ACM SIGMETRICS Performance Evaluation Review
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Sarah Maher Top fields papers by Trevor Manz are about Top journals papers by Axel Lankenau are published in Top journals papers by C. Limbach are published in Top countries impacted by papers by Grace Xing Top fields papers by Laura Nikinmaa are about Top fields papers by Oliver Draht are about Top journals papers by John H. Perry are published in