Hervé Marchand
- Computational Theory and Mathematics top 0.5%
- Computer Networks and Communications top 2%
- Artificial Intelligence top 5%
- Hardware and Architecture top 2%
- Control and Systems Engineering top 10%
- Co-authors
- Jérémy DubreilPhilippe DarondeauThierry JéronStéphane LafortuneYlìès FalconeÉric RuttenMichel Le BorgneFranck Cassez
- Topics
- Formal Methods in Verification (65 papers)Petri Nets in System Modeling (63 papers)Distributed systems and fault tolerance (24 papers)
- Partner nations
- FranceUnited StatesCanada
In The Last Decade
Hervé Marchand
83 papers receiving 1.3k citations
Peers
Comparison fields: 5 of 40
- Computational Theory and Mathematics 1.1k
- Computer Networks and Communications 532
- Artificial Intelligence 382
- Hardware and Architecture 322
- Control and Systems Engineering 142
Countries citing papers authored by Hervé Marchand
This map shows the geographic impact of Hervé Marchand'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 Hervé Marchand with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hervé Marchand more than expected).
Fields of papers citing papers by Hervé Marchand
This network shows the impact of papers produced by Hervé Marchand. 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 Hervé Marchand. The network helps show where Hervé Marchand may publish in the future.
Co-authorship network of co-authors of Hervé Marchand
This figure shows the co-authorship network connecting the top 25 collaborators of Hervé Marchand. A scholar is included among the top collaborators of Hervé Marchand 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 Hervé Marchand. Hervé Marchand is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 0 | |
| 2 | 2 | |
| 3 | Synthesis of Supervisors Robust Against Sensor Deception Attacks | 53 |
| 4 | 11 | |
| 5 | 9 | |
| 6 | 2 | |
| 7 | 15 | |
| 8 | Automatic Test Generation for Data-Flow Reactive Systems with time constraints ? | 2 |
| 9 | Various Notions of Opacity Verified and Enforced at Runtime | 9 |
| 10 | 11 | |
| 11 | Construction de moniteurs pour la surveillance de propriétés de sécurité | 1 |
| 12 | 17 | |
| 13 | 14 | |
| 14 | 28 | |
| 15 | 24 | |
| 16 | 14 | |
| 17 | 1 | |
| 18 | Task-level programming for control systems using discrete control synthesis | 4 |
| 19 | 12 | |
| 20 | 2 |
About Hervé Marchand
Hervé Marchand is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software, having authored 88 papers that have together received 1.3k indexed citations. Recurring topics across this work include Formal Methods in Verification (65 papers), Petri Nets in System Modeling (63 papers) and Distributed systems and fault tolerance (24 papers). The work is most often cited by research in Computational Theory and Mathematics (1.1k citations), Hardware and Architecture (322 citations) and Software (113 citations). Hervé Marchand has collaborated with scholars based in France, United States and Canada. Frequent co-authors include Jérémy Dubreil, Philippe Darondeau, Thierry Jéron, Stéphane Lafortune, Ylìès Falcone, Éric Rutten, Michel Le Borgne, Franck Cassez, Sophie Pinchinat and Paul Le Guernic. Their work appears in journals such as IEEE Transactions on Automatic Control, Automatica 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.