Bernard Berthomieu

2.7k total citations · 1 hit paper
16 papers, 921 citations indexed

About

Bernard Berthomieu is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Management Information Systems. According to data from OpenAlex, Bernard Berthomieu has authored 16 papers receiving a total of 921 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Computational Theory and Mathematics, 6 papers in Hardware and Architecture and 4 papers in Management Information Systems. Recurrent topics in Bernard Berthomieu's work include Petri Nets in System Modeling (12 papers), Formal Methods in Verification (9 papers) and Real-Time Systems Scheduling (5 papers). Bernard Berthomieu is often cited by papers focused on Petri Nets in System Modeling (12 papers), Formal Methods in Verification (9 papers) and Real-Time Systems Scheduling (5 papers). Bernard Berthomieu collaborates with scholars based in France, United Kingdom and Germany. Bernard Berthomieu's co-authors include M. Díaz, François Vernadat, Pierre-Olivier Ribet, Olivier Roux, Didier Lime, Silvano Dal Zilio, Didier Le Botlan, Dmitry A. Zaitsev, Frédéric Lang and Robert Stewart and has published in prestigious journals such as IEEE Access, IEEE Transactions on Software Engineering and International Journal of Production Research.

In The Last Decade

Bernard Berthomieu

16 papers receiving 829 citations

Hit Papers

align trajectories

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

Modeling and verification of time dependent systems using time Petri nets

1991 619 citations Bernard Berthomieu, M. Díaz IEEE Transactions on Software Engineering profile →

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Bernard Berthomieu France	7	727	313	198	187	142	16	921
J. Campos Spain	12	393 0.5×	161 0.5×	210 1.1×	125 0.7×	255 1.8×	44	679
Jonathan S. Ostroff Canada	14	651 0.9×	291 0.9×	58 0.3×	286 1.5×	154 1.1×	44	892
Serge Haddad France	14	493 0.7×	97 0.3×	218 1.1×	137 0.7×	193 1.4×	82	740
Béatrice Bérard France	11	521 0.7×	153 0.5×	61 0.3×	246 1.3×	172 1.2×	31	760
Laure Petrucci France	7	364 0.5×	109 0.3×	67 0.3×	191 1.0×	130 0.9×	38	569
Mark Trakhtenbrot Israel	5	340 0.5×	232 0.7×	80 0.4×	340 1.8×	92 0.6×	17	775
Eike Best Germany	14	632 0.9×	94 0.3×	273 1.4×	56 0.3×	249 1.8×	64	791
R. W. Sherman Israel	7	498 0.7×	291 0.9×	108 0.5×	427 2.3×	127 0.9×	8	1.0k
François Laroussinie France	11	482 0.7×	104 0.3×	46 0.2×	260 1.4×	115 0.8×	27	701
Ursula Goltz Germany	15	364 0.5×	75 0.2×	96 0.5×	216 1.2×	178 1.3×	60	727

Countries citing papers authored by Bernard Berthomieu

Since Specialization

Citations

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

Fields of papers citing papers by Bernard Berthomieu

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Bernard Berthomieu

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

16 of 16 papers shown

Uzam, Murat, et al.. (2024). On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. IEEE Access. 12. 135506–135534. 1 indexed citations

Berthomieu, Bernard & Dmitry A. Zaitsev. (2023). Sleptsov nets are Turing-complete. Theoretical Computer Science. 986. 114346–114346. 3 indexed citations

Stewart, Robert, et al.. (2019). Verifying parallel dataflow transformations with model checking and its application to FPGAs. Journal of Systems Architecture. 101. 101657–101657. 5 indexed citations

Stewart, Robert, et al.. (2019). Graphical program transformations for embedded systems. HAL (Le Centre pour la Communication Scientifique Directe). 647–649. 1 indexed citations

Berthomieu, Bernard, Didier Le Botlan, & Silvano Dal Zilio. (2019). Counting Petri net markings from reduction equations. International Journal on Software Tools for Technology Transfer. 22(2). 163–181. 9 indexed citations

Berthomieu, Bernard, et al.. (2016). Symmetry reduction for time Petri net state classes. Science of Computer Programming. 132. 209–225. 9 indexed citations

Berthomieu, Bernard, et al.. (2011). On the composition of time Petri nets. Discrete Event Dynamic Systems. 21(3). 395–424. 4 indexed citations

Berthomieu, Bernard, Hubert Garavel, Frédéric Lang, & François Vernadat. (2008). Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.. ERCIM news/ERCIM news online edition. 2008. 4 indexed citations

Berthomieu, Bernard, et al.. (2008). Abstract State Spaces for Time Petri Nets Analysis. 2075. 298–304. 3 indexed citations

10.

Berthomieu, Bernard, Didier Lime, Olivier Roux, & François Vernadat. (2007). Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discrete Event Dynamic Systems. 17(2). 133–158. 32 indexed citations

11.

Berthomieu, Bernard, Didier Lime, Olivier Roux, & François Vernadat. (2005). Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres. Journal Européen des Systèmes Automatisés. 39(1-3). 223–238. 2 indexed citations

12.

Berthomieu, Bernard, Pierre-Olivier Ribet, & François Vernadat. (2004). The tool TINA – Construction of abstract state spaces for petri nets and time petri nets. International Journal of Production Research. 42(14). 2741–2756. 198 indexed citations

13.

Berthomieu, Bernard & M. Díaz. (1991). Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering. 17(3). 259–273. 619 indexed citations breakdown →

14.

Berthomieu, Bernard, et al.. (1983). Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.. 161–172. 17 indexed citations

15.

Berthomieu, Bernard, et al.. (1980). The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers.. IFIP Congress. 58(5). 599–604. 8 indexed citations

16.

Berthomieu, Bernard, et al.. (1978). Design and verification of communication procedures: A bottom-up approach. International Conference on Software Engineering. 168–174. 6 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