Immediate Impact
2 standout
Citing Papers
A systems and control perspective of CPS security
2019 Standout
Model Checking Programs
2003 Standout
Works of William Chan being referenced
Improving efficiency of symbolic model checking for state-based system requirements
1998
Model checking large software specifications
1996
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| William Chan | 10 | 13 | 7 | 2 | 14 | ||
| Matthias Dangl | 12 | 14 | 9 | 2 | 19 | ||
| Daniel Dietsch | 7 | 7 | 6 | 4 | 11 | ||
| Ranan Fraer | 16 | 10 | 7 | 2 | 16 | ||
| Noomene Ben Henda | 16 | 10 | 9 | 4 | 18 | ||
| Sascha Konrad | 5 | 7 | 7 | 3 | 16 | ||
| Peter Faymonville | 13 | 8 | 12 | 3 | 19 | ||
| Kryštof Hoder | 16 | 7 | 15 | 3 | 16 | ||
| Thomas Ferrère | 7 | 5 | 5 | 3 | 11 | ||
| Heidy Khlaaf | 7 | 7 | 16 | 3 | 20 | ||
| Conrado Daws | 11 | 6 | 3 | 3 | 13 |
All Works
Loading papers...