Saddek Bensalem
About
Saddek Bensalem has authored 36 papers that have received a total of 355 indexed citations.
This includes 20 papers in Computational Theory and Mathematics, 17 papers in Hardware and Architecture and 14 papers in Software. The topics of these papers are Formal Methods in Verification (20 papers), Embedded Systems Design Techniques (11 papers) and Real-Time Systems Scheduling (11 papers). Saddek Bensalem is often cited by papers focused on Formal Methods in Verification (20 papers), Embedded Systems Design Techniques (11 papers) and Real-Time Systems Scheduling (11 papers) and collaborates with scholars based in France, Israel and United States. Saddek Bensalem's co-authors include Marius Bozga, Joseph Sifakis, Axel Legay, Thanh-Hung Nguyen and Doron Peled and has published in prestigious journals such as IBM Journal of Research and Development, Theoretical Computer Science and Robotics and Autonomous Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by M. Srinivas Top fields papers by Md. Iqbal Hosen are about Top fields papers by R. Scholtmeijer are about Top journals papers by Kazumasa Iwai are published in Top authors papers by C. Amutha are co-authored with Top fields papers by Junzheng Li are about Top fields papers by M. Dudka are about Top countries impacted by papers by Sławka J. Pfauntsch