Dennis Walter

German Research Centre for Artificial Intelligence

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. 1
    Guaranteeing functional safety: design for provability and computer-aided verification
    42 citations · 2011
  2. 2
    Experiences in Applying Formal Verification in Robotics
    28 citations · 2010
  3. 3
    The Importance of Being Formal
    12 citations · 2009
  4. 4
    Certifiable Specification and Verification of C Programs
    10 citations · 2009

Key Collaborators

CLChristoph Lüth4 shared papersHTHolger Täubig3 shared papersUFUdo Frese2 shared papersEVElena Vorobev1 shared papersCHChristoph Hertzberg1 shared papersDHDaniel Hausmann1 shared papersSMStefan Mohr1 shared papers
Not generated yet