Pierre-Emmanuel Hladik

544 total citations
15 papers, 192 citations indexed

About

Pierre-Emmanuel Hladik is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Pierre-Emmanuel Hladik has authored 15 papers receiving a total of 192 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Hardware and Architecture, 9 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. Recurrent topics in Pierre-Emmanuel Hladik's work include Real-Time Systems Scheduling (13 papers), Formal Methods in Verification (7 papers) and Embedded Systems Design Techniques (6 papers). Pierre-Emmanuel Hladik is often cited by papers focused on Real-Time Systems Scheduling (13 papers), Formal Methods in Verification (7 papers) and Embedded Systems Design Techniques (6 papers). Pierre-Emmanuel Hladik collaborates with scholars based in France, Canada and Germany. Pierre-Emmanuel Hladik's co-authors include Olivier Brun, Anne‐Marie Déplanche, Balakrishna Prabhu, Hadrien Cambazard, Narendra Jussien, Khaled S. Refaat, Yvon Trinquet, Silvano Dal Zilio, Félix Ingrand and Anthony Mallet and has published in prestigious journals such as Robotics and Autonomous Systems, Journal of Systems and Software and Real-Time Systems.

In The Last Decade

Pierre-Emmanuel Hladik

12 papers receiving 182 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Pierre-Emmanuel Hladik France	8	138	89	81	23	20	15	192
Claire Pagetti France	10	184 1.3×	80 0.9×	88 1.1×	29 1.3×	27 1.4×	29	224
Liliana Cucu‐Grosjean France	9	262 1.9×	113 1.3×	89 1.1×	16 0.7×	18 0.9×	34	294
Traian Pop Sweden	11	403 2.9×	183 2.1×	151 1.9×	33 1.4×	24 1.2×	15	445
Kai Lampka Switzerland	12	279 2.0×	165 1.9×	123 1.5×	34 1.5×	30 1.5×	28	368
P. Altenbernd Germany	8	214 1.6×	85 1.0×	70 0.9×	10 0.4×	23 1.1×	21	251
Lennart Lindh Sweden	10	238 1.7×	88 1.0×	23 0.3×	33 1.4×	15 0.8×	21	281
Karine Altisen France	7	112 0.8×	75 0.8×	145 1.8×	10 0.4×	33 1.6×	23	215
Madhukar Anand United States	8	160 1.2×	111 1.2×	74 0.9×	12 0.5×	24 1.2×	18	225
Éric Rutten France	7	43 0.3×	46 0.5×	39 0.5×	22 1.0×	41 2.0×	38	120
Friedhelm Stappert Germany	8	194 1.4×	63 0.7×	62 0.8×	9 0.4×	28 1.4×	17	243

Countries citing papers authored by Pierre-Emmanuel Hladik

Since Specialization

Citations

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

Fields of papers citing papers by Pierre-Emmanuel Hladik

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Pierre-Emmanuel Hladik

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

15 of 15 papers shown

Hladik, Pierre-Emmanuel, et al.. (2025). Checkpointing for single core energy-neutral real-time systems. Journal of Systems Architecture. 161. 103371–103371.

Hladik, Pierre-Emmanuel, et al.. (2024). ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems. SPIRE - Sciences Po Institutional REpository. 1–11.

Bali, Ahmed Omar, et al.. (2024). Integrating Random Forest Prediction for Energy Optimization in Solar-Powered Environmental Monitoring. SPIRE - Sciences Po Institutional REpository. 1–10.

Hladik, Pierre-Emmanuel, et al.. (2023). Compositional verification of embedded real-time systems. Journal of Systems Architecture. 142. 102928–102928. 8 indexed citations

Zilio, Silvano Dal, Pierre-Emmanuel Hladik, Félix Ingrand, & Anthony Mallet. (2022). A formal toolchain for offline and run-time verification of robotic systems. Robotics and Autonomous Systems. 159. 104301–104301. 8 indexed citations

Hladik, Pierre-Emmanuel, et al.. (2021). Hippo: A formal-model execution engine to control and verify critical real-time systems. Journal of Systems and Software. 181. 111033–111033. 3 indexed citations

Hladik, Pierre-Emmanuel, et al.. (2020). Bridging the gap between formal verification and schedulability analysis: The case of robotics. Journal of Systems Architecture. 111. 101817–101817. 7 indexed citations

Brun, Olivier, et al.. (2012). Strictly periodic scheduling in IMA-based architectures. Real-Time Systems. 48(4). 359–386. 34 indexed citations

Brun, Olivier, et al.. (2012). Optimal design of virtual links in AFDX networks. Real-Time Systems. 49(3). 308–336. 40 indexed citations

10.

Brun, Olivier, et al.. (2011). A Best-Response Algorithm for Multiprocessor Periodic Scheduling. 228–237. 21 indexed citations

11.

Refaat, Khaled S. & Pierre-Emmanuel Hladik. (2010). Efficient Stochastic Analysis of Real-Time Systems via Random Sampling. 175–183. 15 indexed citations

12.

Hladik, Pierre-Emmanuel, et al.. (2009). Specification and Verification of Real–Time Systems using the POLA tool. Electronic workshops in computing. 1 indexed citations

13.

Hladik, Pierre-Emmanuel, Hadrien Cambazard, Anne‐Marie Déplanche, & Narendra Jussien. (2007). Solving a real-time allocation problem with constraint programming. Journal of Systems and Software. 81(1). 132–149. 38 indexed citations

14.

Hladik, Pierre-Emmanuel, et al.. (2007). Adequacy between AUTOSAR OS specification and real-time scheduling theory. 225–233. 16 indexed citations

15.

Hladik, Pierre-Emmanuel, Hadrien Cambazard, & Narendra Jussien. (2006). Allocating Hard Real-Time Tasks with Constraint Programming. 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