Papers
6
Total Citations
115
H-Index
5
About
No biography available yet.
Research Focus
Computer science6 · 115 citations
Programming language6 · 115 citations
Software5 · 110 citations
Model checking5 · 90 citations
Theoretical computer science4 · 76 citations
Formal methods2 · 64 citations
Software development2 · 64 citations
Formal verification2 · 64 citations
Software engineering2 · 53 citations
Software system2 · 50 citations
Software construction2 · 50 citations
Software verification2 · 50 citations
Key Achievements
5
H-Index
6
Papers
115
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
39 citations · 2001
📈 Most Prolific Year: 2001 (2 Papers)
🤝 Key Collaborators: 11
🏛 Institutions: Università della Svizzera italiana, Software Engineering Institute, Carnegie Mellon University
Top Papers
- 1
- 2State/Event Software Verification for Branching-Time Specifications25 citations · 2005
- 3A Combined Testing and Verification Approach for Software Reliability25 citations · 2001
- 4Lessons Learned from Model Checking a NASA Robot Controller14 citations · 2004
- 5Model Checking Software via Abstraction of Loop Transitions7 citations · 2003
- 6An Expressive Verification Framework for State/Event Systems5 citations · 2004
Key Collaborators
JCJames C. Browne3 shared papersJOJoël Ouaknine2 shared papersHVHelmut Veith2 shared papersRPRobert P. Kurshan2 shared papersOGOrna Grümberg2 shared papersTTTayssir Touili2 shared papersSCSagar Chaki2 shared papersEMEdmund M. Clarke2 shared papersVLVladimir Levin1 shared papersFXFei Xie1 shared papersDPDoron Peled1 shared papers
Not generated yet