Alexandre David

32 papers and 473 indexed citations i.

Alexandre David has authored 32 papers that have received a total of 473 indexed citations. This includes 27 papers in Computational Theory and Mathematics, 17 papers in Software and 10 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (26 papers), Software Testing and Debugging Techniques (13 papers) and Real-Time Systems Scheduling (8 papers). Alexandre David is often cited by papers focused on Formal Methods in Verification (26 papers), Software Testing and Debugging Techniques (13 papers) and Real-Time Systems Scheduling (8 papers) and collaborates with scholars based in Denmark, France and China. Alexandre David's co-authors include Kim G. Larsen, Marius Mikučionis, Axel Legay, Ulrik Nyman and Arne Skou and has published in prestigious journals such as Lecture notes in computer science, Software Practice and Experience and Wireless Personal Communications.