Helmut Veith

Technical University of Munich, Carnegie Mellon University

Papers

2

Total Citations

30

H-Index

2

About

No biography available yet.

Research Focus

Theoretical computer science2 · 30 citations
Computer science2 · 30 citations
Model checking2 · 30 citations
Programming language2 · 30 citations
Software verification1 · 25 citations
Abstraction model checking1 · 25 citations
Computation tree logic1 · 25 citations
Formal verification1 · 25 citations
Linear temporal logic1 · 25 citations
Mathematics1 · 25 citations
Temporal logic1 · 25 citations
Formal methods1 · 25 citations

Key Achievements

2
H-Index
2
Papers
30
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
State/Event Software Verification for Branching-Time Specifications
25 citations · 2005
📈 Most Prolific Year: 2005 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Technical University of Munich, Carnegie Mellon University

Top Papers

  1. 1
    State/Event Software Verification for Branching-Time Specifications
    25 citations · 2005
  2. 2
    An Expressive Verification Framework for State/Event Systems
    5 citations · 2004

Key Collaborators

OGOrna Grümberg2 shared papersJOJoël Ouaknine2 shared papersNSNatasha Sharygina2 shared papersTTTayssir Touili2 shared papersSCSagar Chaki2 shared papersEMEdmund M. Clarke2 shared papers
Not generated yet