Éric Jenn

980 total citations
13 papers, 326 citations indexed

About

Éric Jenn is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Éric Jenn has authored 13 papers receiving a total of 326 indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Hardware and Architecture, 5 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. Recurrent topics in Éric Jenn's work include Real-Time Systems Scheduling (5 papers), Formal Methods in Verification (5 papers) and Radiation Effects in Electronics (3 papers). Éric Jenn is often cited by papers focused on Real-Time Systems Scheduling (5 papers), Formal Methods in Verification (5 papers) and Radiation Effects in Electronics (3 papers). Éric Jenn collaborates with scholars based in France, United Kingdom and Sweden. Éric Jenn's co-authors include Jean Arlat, J. Ohlsson, Johan Karlsson, M. Rimen, David Powell, Alessandro Fantechi, Andrea Bondavalli, Andy Wellings, Ning Ge and Peter H. Schmitt and has published in prestigious journals such as IEEE Transactions on Parallel and Distributed Systems, International Journal on Software Tools for Technology Transfer and Journal of Software Evolution and Process.

In The Last Decade

Éric Jenn

12 papers receiving 309 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Éric Jenn France	6	236	219	95	65	50	13	326
M. Rimen Sweden	5	263 1.1×	315 1.4×	110 1.2×	77 1.2×	38 0.8×	7	348
Allon Adir Israel	10	254 1.1×	133 0.6×	108 1.1×	66 1.0×	49 1.0×	21	327
Deepak A. Mathaikutty United States	9	187 0.8×	61 0.3×	67 0.7×	71 1.1×	23 0.5×	46	246
Volkmar Sieh Germany	8	170 0.7×	174 0.8×	74 0.8×	90 1.4×	31 0.6×	20	263
C.J. Walter United States	9	195 0.8×	80 0.4×	46 0.5×	263 4.0×	29 0.6×	19	329
Andrea Höller Austria	9	74 0.3×	72 0.3×	45 0.5×	60 0.9×	75 1.5×	36	198
G.A. Kanawati United States	6	248 1.1×	342 1.6×	208 2.2×	185 2.8×	40 0.8×	8	452
Srivaths Ravi United States	11	334 1.4×	296 1.4×	40 0.4×	75 1.2×	24 0.5×	43	419
Daniel Geist Israel	8	172 0.7×	72 0.3×	97 1.0×	42 0.6×	40 0.8×	22	270
Y. Levendel United States	10	171 0.7×	138 0.6×	84 0.9×	61 0.9×	19 0.4×	23	280

Countries citing papers authored by Éric Jenn

Since Specialization

Citations

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

Fields of papers citing papers by Éric Jenn

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Éric Jenn

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

13 of 13 papers shown

1.

Jenn, Éric, et al.. (2025). Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering. 383–394. 1 indexed citations

2.

Jenn, Éric, et al.. (2024). A study of an ACAS-Xu exact implementation using ED-324/ARP6983. SPIRE - Sciences Po Institutional REpository.

3.

Jenn, Éric, et al.. (2024). A Refinement Method for Interference Analysis using the PHYLOG Modeling Language. SPIRE - Sciences Po Institutional REpository. 1 indexed citations

4.

Robert, Boris, et al.. (2024). Ensuring the Reliability of AI Systems through Methodological Processes. 139–146. 1 indexed citations

5.

Ge, Ning, et al.. (2018). Correct‐by‐construction specification to verified code. Journal of Software Evolution and Process. 30(10). 5 indexed citations

6.

Santinelli, Luca, et al.. (2018). Toward Contention Analysis for Parallel Executing Real-Time Tasks. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

7.

Ge, Ning, et al.. (2017). Integrated formal verification of safety-critical software. International Journal on Software Tools for Technology Transfer. 20(4). 423–440. 5 indexed citations

8.

Jenn, Éric, et al.. (2009). Use of PERC Pico in the AIDA avionics platform. 169–178. 14 indexed citations

9.

Schmitt, Peter H., et al.. (2006). A case study of specification and verification using JML in an avionics application. 107–107. 13 indexed citations

10.

Jenn, Éric, et al.. (2006). Safety critical applications and hard real-time profile for Java. 125–125. 8 indexed citations

11.

Jenn, Éric, Jean Arlat, M. Rimen, J. Ohlsson, & Johan Karlsson. (2005). Fault Injection Into VHDL Models: A Fault Injection Tool And Some Preliminary Experimental Results. 13–14. 1 indexed citations

12.

Jenn, Éric, Jean Arlat, M. Rimen, J. Ohlsson, & Johan Karlsson. (2002). Fault injection into VHDL models: the MEFISTO tool. 66–75. 213 indexed citations

13.

Powell, David, Jean Arlat, Andrea Bondavalli, et al.. (1999). GUARDS: a generic upgradable architecture for real-time dependable systems. IEEE Transactions on Parallel and Distributed Systems. 10(6). 580–599. 63 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