Jeroen Voeten

32 papers and 120 indexed citations i.

Jeroen Voeten has authored 32 papers that have received a total of 120 indexed citations. This includes 24 papers in Hardware and Architecture, 18 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. The topics of these papers are Real-Time Systems Scheduling (19 papers), Formal Methods in Verification (15 papers) and Embedded Systems Design Techniques (14 papers). Jeroen Voeten is often cited by papers focused on Real-Time Systems Scheduling (19 papers), Formal Methods in Verification (15 papers) and Embedded Systems Design Techniques (14 papers) and collaborates with scholars based in The Netherlands, Spain and United States. Jeroen Voeten's co-authors include Jinfeng Huang, Henk Corporaal, B.D. Theelen, R.R.H. Schiffelers and Marc Geilen and has published in prestigious journals such as IEEE Transactions on Industrial Electronics, IEEE Access and Computer Networks