Immediate Impact
9 standout
Citing Papers
A Survey of Cyber Attacks on Cyber Physical Systems: Recent Advances and Challenges
2022 Standout
Digital twins-based smart manufacturing system design in Industry 4.0: A review
2021 Standout
Works of Hervé Marchand being referenced
Integrating discrete controller synthesis into a reactive programming language compiler
2013
Integrating formal verification and conformance testing for reactive systems
2007
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Hervé Marchand | 742 | 334 | 240 | 266 | 72 | 900 | |
| Stavros Tripakis | 742 | 215 | 389 | 248 | 67 | 1.1k | |
| Michel Reniers | 753 | 144 | 205 | 409 | 134 | 1.0k | |
| Karen Rudie | 703 | 350 | 122 | 80 | 48 | 815 | |
| Knut Åkesson | 722 | 180 | 222 | 93 | 91 | 972 | |
| Robi Malik | 762 | 275 | 115 | 86 | 69 | 805 | |
| Yin Tong | 614 | 269 | 72 | 133 | 42 | 753 | |
| Maciej Koutny | 694 | 344 | 82 | 372 | 126 | 1.1k | |
| Dino Mandrioli | 673 | 128 | 231 | 453 | 81 | 1.1k | |
| Gianfranco Ciardo | 442 | 279 | 147 | 101 | 61 | 866 | |
| Ece Güran Schmidt | 459 | 371 | 210 | 126 | 83 | 786 |
All Works
Login with ORCID to disown or claim papers
Loading papers...