Marc Bouissou

16 papers and 446 indexed citations i.

About

Marc Bouissou has authored 16 papers that have received a total of 446 indexed citations. This includes 9 papers in Software, 7 papers in Computational Theory and Mathematics and 6 papers in Control and Systems Engineering. The topics of these papers are Software Reliability and Analysis Research (9 papers), Formal Methods in Verification (6 papers) and Safety Systems Engineering in Autonomy (4 papers). Marc Bouissou is often cited by papers focused on Software Reliability and Analysis Research (9 papers), Formal Methods in Verification (6 papers) and Safety Systems Engineering in Autonomy (4 papers) and collaborates with scholars based in France, Germany and United Kingdom. Marc Bouissou's co-authors include Siwar Kriaa, Ludovic Piètre-Cambacédès, Joost-Pieter Katoen, Jean-Jacques Lesage and Gilles Deleuze and has published in prestigious journals such as Reliability Engineering & System Safety, Journal of Mechanical Design and IEEE Transactions on Dependable and Secure Computing

In The Last Decade

Rankless by CCL
2025