Olivier Roux

3.0k total citations
94 papers, 972 citations indexed

About

Olivier Roux is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Olivier Roux has authored 94 papers receiving a total of 972 indexed citations (citations by other indexed papers that have themselves been cited), including 57 papers in Computational Theory and Mathematics, 25 papers in Hardware and Architecture and 22 papers in Software. Recurrent topics in Olivier Roux's work include Formal Methods in Verification (54 papers), Petri Nets in System Modeling (37 papers) and Real-Time Systems Scheduling (19 papers). Olivier Roux is often cited by papers focused on Formal Methods in Verification (54 papers), Petri Nets in System Modeling (37 papers) and Real-Time Systems Scheduling (19 papers). Olivier Roux collaborates with scholars based in France, Belgium and Canada. Olivier Roux's co-authors include Didier Lime, Franck Cassez, El‐Ghazali Talbi, Cyril Fonlupt, Fouad Riane, Thibaut Lust, Guillaume Gardey, Jamil Ahmad, David Duvivier and Hanifa Boucheneb and has published in prestigious journals such as IEEE Transactions on Automatic Control, Scientific Reports and European Journal of Operational Research.

In The Last Decade

Olivier Roux

81 papers receiving 897 citations

Peers

Olivier Roux

CTM

SOFTW

IME

G. Franceschinis Italy

René David France

Martin Leucker Germany

Jack C. Wileden United States

Michael Huth United Kingdom

Doo‐Hwan Bae South Korea

Jeremy Bryans United Kingdom

Raymond T. Yeh United States

V. G. Kulkarni United States

Stefan Hallerstede Germany

G. Franceschinis Italy

Olivier Roux

1.1k ×2.5

CTM

370 ×1.9

SOFTW

131 ×0.7

IME

248 ×1.5

83 ×0.5

Citations per year, relative to Olivier Roux Olivier Roux (= 1×) peers G. Franceschinis

Countries citing papers authored by Olivier Roux

Since Specialization

Citations

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

Fields of papers citing papers by Olivier Roux

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Olivier Roux

This figure shows the co-authorship network connecting the top 25 collaborators of Olivier Roux. A scholar is included among the top collaborators of Olivier Roux 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 Olivier Roux. Olivier Roux 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:

20 of 20 papers shown

Komenda, Jan, et al.. (2024). Weakly strong semantics of Time Petri Nets for performance evaluations. IFAC-PapersOnLine. 58(1). 66–71.

Roux, Olivier, et al.. (2023). Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. Cybernetics & Systems. 56(6). 886–916.

Roux, Olivier, et al.. (2023). Formal verification process of the compliance of a multicore AUTOSAR OS. Software Quality Journal. 31(2). 497–531. 1 indexed citations

André, Étienne, Didier Lime, & Olivier Roux. (2020). Reachability and liveness in parametric timed automata. arXiv (Cornell University). 1 indexed citations

Ahmad, Jamil, et al.. (2019). Incorporating Time Delays in Process Hitting Framework for Dynamical Modeling of Large Biological Regulatory Networks. Frontiers in Physiology. 10. 90–90. 3 indexed citations

Ahmad, Jamil, Rehan Zafar Paracha, Amjad Ali, et al.. (2017). Formal Modeling of mTOR Associated Biological Regulatory Network Reveals Novel Therapeutic Strategy for the Treatment of Cancer. Frontiers in Physiology. 8. 416–416. 4 indexed citations

Roux, Olivier, et al.. (2017). ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Algorithms for Molecular Biology. 12(1). 20–20. 7 indexed citations

Chinesta, Francisco, Morgan Magnin, Olivier Roux, Amine Ammar, & Elías Cueto. (2015). Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy. 17(4). 1896–1915. 4 indexed citations

Tareen, Samar, et al.. (2015). Parametric linear hybrid automata for complex environmental systems modeling. Frontiers in Environmental Science. 3. 1 indexed citations

10.

Bérard, Béatrice, Franck Cassez, Serge Haddad, Didier Lime, & Olivier Roux. (2012). The expressive power of time Petri nets. Theoretical Computer Science. 474. 1–20. 16 indexed citations

11.

Ahmad, Jamil & Olivier Roux. (2010). Invariance kernel of Biological Regulatory Networks. International Journal of Data Mining and Bioinformatics. 4(5). 553–553. 5 indexed citations

12.

Roux, Olivier, et al.. (2010). 5.4.1 Simulation and Verification of [Dys]functional Behavior Models: Model Checking for SE. INCOSE International Symposium. 20(1). 681–693. 4 indexed citations

13.

Ahmad, Jamil, et al.. (2008). Analysing formal models of genetic regulatory networks with delays. International Journal of Bioinformatics Research and Applications. 4(3). 240–240. 18 indexed citations

14.

Cassez, Franck, John Mullins, & Olivier Roux. (2007). Synthesis of Non-Interferent Systems. HAL (Le Centre pour la Communication Scientifique Directe). 1. 6 indexed citations

15.

Comet, Jean‐Paul, et al.. (2007). Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. Conference proceedings. 2007. 4595–4598. 7 indexed citations

16.

Cassez, Franck, Claire Pagetti, & Olivier Roux. (2004). A Timed Extension for ALTARICA. Fundamenta Informaticae. 62(3-4). 291–332. 3 indexed citations

17.

Cassez, Franck & Olivier Roux. (1995). Compilation of the ELECTRE reactive language into finite transition systems. Theoretical Computer Science. 146(1-2). 109–143. 11 indexed citations

18.

Roux, Olivier & Patrick Martineau. (1995). Deadlock Prevention in a Distributed Real-Time System. IFAC Proceedings Volumes. 28(22). 123–128. 3 indexed citations

19.

Roux, Olivier, et al.. (1992). Operational semantics of a kernel of the language ELECTRE. Theoretical Computer Science. 97(1). 83–103. 7 indexed citations

20.

Bézivín, Jean, Olivier Roux, & Jean-Claude Royer. (1992). Teaching object-oriented programming or using the object model to teach software engineering. 269–276. 1 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