Dennis Walter
Papers
4
Total Citations
92
H-Index
4
About
No biography available yet.
Research Focus
Software engineering4 · 92 citations
Computer science4 · 92 citations
Programming language4 · 92 citations
Formal methods3 · 82 citations
Formal verification3 · 82 citations
Robotics2 · 70 citations
Artificial intelligence2 · 70 citations
Robot2 · 70 citations
Certification3 · 64 citations
Automated theorem proving2 · 54 citations
Reliability engineering2 · 54 citations
Context (archaeology)2 · 54 citations
Key Achievements
4
H-Index
4
Papers
92
Total Citations
23
Avg Citations/Paper
🏆 Most Cited Paper
Guaranteeing functional safety: design for provability and computer-aided verification
42 citations · 2011
📈 Most Prolific Year: 2009 (2 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: German Research Centre for Artificial Intelligence
Top Papers
- 1
- 2Experiences in Applying Formal Verification in Robotics28 citations · 2010
- 3The Importance of Being Formal12 citations · 2009
- 4Certifiable Specification and Verification of C Programs10 citations · 2009
Key Collaborators
Not generated yet