Bernhard Steffen

TU Wien, TU Dortmund University

Papers

2

Total Citations

11

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 11 citations
Software engineering2 · 11 citations
Formal methods1 · 9 citations
Formal verification1 · 9 citations
Programming language1 · 9 citations
Function (biology)1 · 2 citations
Human–computer interaction1 · 2 citations
Interoperability1 · 2 citations
Perspective (graphical)1 · 2 citations
Quality of service1 · 2 citations
Resource (disambiguation)1 · 2 citations
Service (business)1 · 2 citations

Key Achievements

2
H-Index
2
Papers
11
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Leveraging Applications of Formal Methods, Verification, and Validation
9 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: TU Wien, TU Dortmund University

Top Papers

  1. 1
    Leveraging Applications of Formal Methods, Verification, and Validation
    9 citations · 2012
  2. 2
    Analyzing ambient assisted living solutions: A research perspective
    2 citations · 2017

Key Collaborators

TMTiziana Margaria2 shared papersLTLouis‐Marie Traonouez1 shared papersRHReiner Hähnle1 shared papersJKJens Knoop1 shared papersAKAshalatha Kunnappilly1 shared papersCSCristina Seceleanu1 shared papersDSDietmar Schreiner1 shared papersALAxel Legay1 shared papers
Not generated yet