Bernard Berthomieu
Impact in
- Software top 2%
- Model-Driven Software Engineering Techniques
- Hardware and Architecture top 2%
- Real-Time Systems Scheduling
- Embedded Systems Design Techniques
Papers in
-
- Petri Nets in System Modeling 12
- Formal Methods in Verification 9
-
- Real-Time Systems Scheduling 5
- Embedded Systems Design Techniques 3
- Co-authors
- M. Díaz (1 shared paper)François Vernadat (6 shared papers)Pierre-Olivier Ribet (1 shared paper)Olivier Roux (2 shared papers)Didier Lime (2 shared papers)Silvano Dal Zilio (2 shared papers)Didier Le Botlan (1 shared paper)Dmitry A. Zaitsev (1 shared paper)
- Journals
- Discrete Event Dynamic Systems (2 papers)Science of Computer Programming (1 paper)Theoretical Computer Science (1 paper)Journal of Systems Architecture (1 paper)IEEE Transactions on Software Engineering (1 paper)
- Partner nations
- FranceUnited KingdomGermany
In The Last Decade
Bernard Berthomieu
16 papers receiving 829 citations
Bernard Berthomieu's Hit Papers
Peers
Comparison fields: 5 of 55
- Software 187
- Hardware and Architecture 313
- Computational Theory and Mathematics 727
- Management Information Systems 198
- Industrial and Manufacturing Engineering 104
Countries citing papers authored by Bernard Berthomieu
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
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-authors
The 16 scholars most cited alongside Bernard Berthomieu, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | Modeling and verification of time dependent systems using time Petri nets Hit paper breakdown → | 1991 | 619 |
| 2 | 2004 | 198 | |
| 3 | 2007 | 32 | |
| 4 | Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. | 1983 | 17 |
| 5 | 2016 | 9 | |
| 6 | 2019 | 9 | |
| 7 | 1980 | 8 | |
| 8 | 1978 | 6 | |
| 9 | 2019 | 5 | |
| 10 | Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. | 2008 | 4 |
| 11 | 2011 | 4 | |
| 12 | 2023 | 3 | |
| 13 | 2008 | 3 | |
| 14 | 2005 | 2 | |
| 15 | 2024 | 1 | |
| 16 | 2019 | 1 |
About Bernard Berthomieu
Bernard Berthomieu is a scholar working on Computational Theory and Mathematics, Hardware and Architecture, Management Information Systems, Computer Networks and Communications and Computer Vision and Pattern Recognition, having authored 16 papers that have together received 921 indexed citations. Recurring topics across this work include Petri Nets in System Modeling (12 papers), Formal Methods in Verification (9 papers), Real-Time Systems Scheduling (5 papers), Business Process Modeling and Analysis (4 papers), Embedded Systems Design Techniques (3 papers), Context-Aware Activity Recognition Systems (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Network Time Synchronization Technologies (1 paper). The work is most often cited by research in Software (187 citations), Hardware and Architecture (313 citations), Computational Theory and Mathematics (727 citations), Management Information Systems (198 citations) and Industrial and Manufacturing Engineering (104 citations). Bernard Berthomieu has collaborated with scholars based in France, United Kingdom and Germany. Frequent 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, Greg Michaelson and Robert Stewart. Their work appears in journals such as Discrete Event Dynamic Systems, Science of Computer Programming, Theoretical Computer Science, Journal of Systems Architecture and IEEE Transactions on Software Engineering.
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.