Catherine Oriat

414 total citations
8 papers, 54 citations indexed

About

Catherine Oriat is a scholar working on Software, Artificial Intelligence and Information Systems. According to data from OpenAlex, Catherine Oriat has authored 8 papers receiving a total of 54 indexed citations (citations by other indexed papers that have themselves been cited), including 7 papers in Software, 5 papers in Artificial Intelligence and 2 papers in Information Systems. Recurrent topics in Catherine Oriat's work include Software Testing and Debugging Techniques (6 papers), Model-Driven Software Engineering Techniques (3 papers) and Advanced Software Engineering Methodologies (3 papers). Catherine Oriat is often cited by papers focused on Software Testing and Debugging Techniques (6 papers), Model-Driven Software Engineering Techniques (3 papers) and Advanced Software Engineering Methodologies (3 papers). Catherine Oriat collaborates with scholars based in France, Canada and Moldova. Catherine Oriat's co-authors include Lydie du Bousquet, Yves Ledru, Olivier Maury, Roland Groz, Ioannis Parissis, Laurence Nigay, Marie-Laure Potet, Adenilso Simão, Jean‐Louis Lanet and Alexandre Petrenko and has published in prestigious journals such as Theoretical Computer Science, Journal of Systems and Software and Journal of Automated Reasoning.

In The Last Decade

Catherine Oriat

6 papers receiving 51 citations

Peers

Catherine Oriat

SOFTW

CTM

AI

IS

HA

Alain Kerbrat France

Axel Belinfante Netherlands

Temesghen Kahsai United States

Nina Amla United States

Marie-Christine Jakobs Germany

Matthias Dangl Germany

Axel Legay France

Malte Isberner Germany

François Bobot France

Oliver Niese Germany

Alain Kerbrat France

Catherine Oriat

26 ×0.6

SOFTW

20 ×1.0

CTM

16 ×0.8

AI

7 ×0.5

IS

8 ×0.8

HA

Citations per year, relative to Catherine Oriat Catherine Oriat (= 1×) peers Alain Kerbrat

Countries citing papers authored by Catherine Oriat

Since Specialization

Citations

This map shows the geographic impact of Catherine Oriat'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 Catherine Oriat with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Catherine Oriat more than expected).

Fields of papers citing papers by Catherine Oriat

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Catherine Oriat. 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 Catherine Oriat. The network helps show where Catherine Oriat may publish in the future.

Co-authorship network of co-authors of Catherine Oriat

This figure shows the co-authorship network connecting the top 25 collaborators of Catherine Oriat. A scholar is included among the top collaborators of Catherine Oriat 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 Catherine Oriat. Catherine Oriat is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

8 of 8 papers shown

1.

Simão, Adenilso, et al.. (2023). Improving Model Learning by Inferring Separating Sequences from Traces. SPIRE - Sciences Po Institutional REpository. 45–51.

2.

Groz, Roland, et al.. (2019). hW-inference: A heuristic approach to retrieve models through black box testing. Journal of Systems and Software. 159. 110426–110426. 6 indexed citations

3.

Petrenko, Alexandre, et al.. (2018). FSM inference and checking sequence construction are two sides of the same coin. Software Quality Journal. 27(2). 651–674. 5 indexed citations

4.

Bousquet, Lydie du, Yves Ledru, Olivier Maury, Catherine Oriat, & Jean‐Louis Lanet. (2009). Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. Journal of Automated Reasoning. 45(4). 415–435. 7 indexed citations

5.

Oriat, Catherine, et al.. (2006). Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. 325–334. 9 indexed citations

6.

Ledru, Yves, et al.. (2005). Test purposes: adapting the notion of specification to testing. 127–134. 11 indexed citations

7.

Bousquet, Lydie du, et al.. (2004). A case study in JML-based software validation. 294–297. 16 indexed citations

8.

Oriat, Catherine. (2000). Detecting equivalence of modular specifications with categorical diagrams. Theoretical Computer Science. 247(1-2). 141–190.

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