Bruno Marre

1.0k total citations
13 papers, 320 citations indexed

About

Bruno Marre is a scholar working on Software, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Bruno Marre has authored 13 papers receiving a total of 320 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Software, 9 papers in Computational Theory and Mathematics and 3 papers in Information Systems. Recurrent topics in Bruno Marre's work include Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (9 papers) and Software Reliability and Analysis Research (8 papers). Bruno Marre is often cited by papers focused on Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (9 papers) and Software Reliability and Analysis Research (8 papers). Bruno Marre collaborates with scholars based in France, Spain and Greece. Bruno Marre's co-authors include Gilles Bernot, Marie-Claude Gaudel, Alain Denise, Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet, Pascale Le Gall, Nikolaï Kosmatov, Boris Yakobowski and Nicky Williams and has published in prestigious journals such as Journal of Systems and Software, Automated Software Engineering and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Bruno Marre

12 papers receiving 266 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Bruno Marre France 8 290 139 109 48 46 13 320
Martin Weiglhofer Austria 9 217 0.7× 171 1.2× 42 0.4× 76 1.6× 42 0.9× 22 266
William J. Majurski United States 3 209 0.7× 123 0.9× 55 0.5× 24 0.5× 31 0.7× 9 229
Lydie du Bousquet France 8 153 0.5× 54 0.4× 72 0.7× 46 1.0× 31 0.7× 32 190
Yunja Choi South Korea 10 188 0.6× 149 1.1× 53 0.5× 65 1.4× 69 1.5× 46 262
Roland Groz France 8 183 0.6× 92 0.7× 56 0.5× 84 1.8× 36 0.8× 22 254
P. Stocks United States 6 273 0.9× 73 0.5× 146 1.3× 91 1.9× 61 1.3× 8 332
Sergiy Boroday Canada 8 239 0.8× 65 0.5× 130 1.2× 65 1.4× 38 0.8× 15 287
Arnaud Venet United States 6 101 0.3× 90 0.6× 41 0.4× 79 1.6× 47 1.0× 12 176
Fabien Peureux France 9 203 0.7× 52 0.4× 76 0.7× 41 0.9× 20 0.4× 20 233
Hyoung Seok Hong South Korea 6 241 0.8× 111 0.8× 88 0.8× 55 1.1× 19 0.4× 12 273

Countries citing papers authored by Bruno Marre

Since Specialization
Citations

This map shows the geographic impact of Bruno Marre's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Bruno Marre with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bruno Marre more than expected).

Fields of papers citing papers by Bruno Marre

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Bruno Marre. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Bruno Marre. The network helps show where Bruno Marre may publish in the future.

Co-authorship network of co-authors of Bruno Marre

This figure shows the co-authorship network connecting the top 25 collaborators of Bruno Marre. A scholar is included among the top collaborators of Bruno Marre based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Bruno Marre. Bruno Marre is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

13 of 13 papers shown
1.
Cuoq, Pascal, et al.. (2013). Behind the scenes in SANTE: a combination of static and dynamic analyses. Automated Software Engineering. 21(1). 107–143. 9 indexed citations
2.
Marre, Bruno, et al.. (2010). Handling State-Machines Specifications with GATeL. Electronic Notes in Theoretical Computer Science. 264(3). 3–17. 1 indexed citations
3.
Botella, Bernard, Frédéric Dadeau, Arnaud Gotlieb, et al.. (2008). Constraint-Based Software Testing.
4.
Denise, Alain, et al.. (2005). A new way of automating statistical testing methods. 8. 5–12. 17 indexed citations
5.
Marre, Bruno, et al.. (2005). Test Selection Strategies for Lustre Descriptions in GATeL. Electronic Notes in Theoretical Computer Science. 111. 93–111. 13 indexed citations
6.
Gaudel, Marie-Claude & Bruno Marre. (2003). Generation of test data from algebraic specifications. 138–139. 1 indexed citations
7.
Marre, Bruno, et al.. (2000). Test sequences generation from LUSTRE descriptions: GATEL. 229–237. 54 indexed citations
8.
Buchs, Didier, Marie-Claude Gaudel, Bruno Marre, et al.. (1998). From Requirements to Tests via Object-Oriented Design. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 331–384. 1 indexed citations
9.
Gaudel, Marie-Claude, et al.. (1993). Using algebraic specifications in software testing: A case study on the software of an automatic subway. Journal of Systems and Software. 21(3). 229–244. 22 indexed citations
10.
Marre, Bruno, Pascale Thévenod-Fosse, Hélène Waeselynck, Pascale Le Gall, & Yves Crouzet. (1992). An Experimental Evaluation of Formal Testing and Statistical Testing. IFAC Proceedings Volumes. 25(30). 311–316. 9 indexed citations
11.
Bernot, Gilles, Marie-Claude Gaudel, & Bruno Marre. (1991). A Formal Approach to Software Testing. 243–253. 6 indexed citations
12.
Marre, Bruno. (1991). Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.. International Conference on Lightning Protection. 202–219. 11 indexed citations
13.
Bernot, Gilles, et al.. (1991). Software testing based on formal specifications: a theory and a tool. Software Engineering Journal. 6(6). 387–387. 176 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026