Papers
9
Total Citations
64
H-Index
5
About
No biography available yet.
Research Focus
Computer science9 · 64 citations
Programming language8 · 59 citations
Software3 · 39 citations
Theoretical computer science4 · 37 citations
Model checking3 · 35 citations
Formal verification2 · 27 citations
Distributed computing5 · 27 citations
Computation tree logic1 · 25 citations
Abstraction1 · 25 citations
Linear temporal logic1 · 25 citations
Mathematics1 · 25 citations
Abstraction model checking1 · 25 citations
Key Achievements
5
H-Index
9
Papers
64
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
State/Event Software Verification for Branching-Time Specifications
25 citations · 2005
📈 Most Prolific Year: 2013 (2 Papers)
🤝 Key Collaborators: 15
🏛 Institutions: Software Engineering Institute, Carnegie Mellon University
Top Papers
- 1State/Event Software Verification for Branching-Time Specifications25 citations · 2005
- 2Verifying periodic programs with priority inheritance locks8 citations · 2013
- 3
- 4Statistical Model Checking of Distributed Adaptive Real-Time Software7 citations · 2015
- 5Probabilistic Verification of Coordinated Multi-robot Missions5 citations · 2013
- 6An Expressive Verification Framework for State/Event Systems5 citations · 2004
- 7
- 8
- 9
Key Collaborators
DKDavid Kyle3 shared papersAGArie Gurfinkel3 shared papersEMEdmund M. Clarke2 shared papersOGOrna Grümberg2 shared papersNSNatasha Sharygina2 shared papersJOJoël Ouaknine2 shared papersJPJeffery P. Hansen2 shared papersHVHelmut Veith2 shared papersTTTayssir Touili2 shared papersNSNishant Sinha2 shared papersSHScott Hissam1 shared papersJGJoseph Giampapa1 shared papersGAGabriel A. Moreno1 shared papersJEJames Edmondson1 shared papersOSOfer Strichman1 shared papers
Not generated yet