Mats P. E. Heimdahl

University of Minnesota

Papers

5

Total Citations

111

H-Index

4

About

No biography available yet.

Research Focus

Engineering5 · 111 citations
Computer science5 · 111 citations
Software5 · 111 citations
Programming language4 · 109 citations
Software engineering4 · 109 citations
Software development3 · 99 citations
Systems engineering3 · 79 citations
Risk analysis (engineering)2 · 77 citations
Product (mathematics)3 · 67 citations
Domain (mathematical analysis)3 · 67 citations
Reuse3 · 67 citations
Domain engineering2 · 57 citations

Key Achievements

4
H-Index
5
Papers
111
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
Trace Queries for Safety Requirements in High Assurance Systems
42 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Minnesota

Top Papers

  1. 1
    Trace Queries for Safety Requirements in High Assurance Systems
    42 citations · 2012
  2. 2
    Structuring product family requirements for n-dimensional and hierarchical product lines
    35 citations · 2003
  3. 3
    Extending the product family approach to support n-dimensional and hierarchical product lines
    22 citations · 2002
  4. 4
    Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes
    10 citations · 2000
  5. 5
    A CAD Environment for Safety-Critical Software
    2 citations · 1999

Key Collaborators

JMJeffrey M. Thompson3 shared papersJCJane Cleland‐Huang1 shared papersJRJ.D. Reese1 shared papersDMDebra M. Erickson1 shared papersNGNancy G. Leveson1 shared papersRRRobyn R. Lutz1 shared papersPMPatrick Maeder1 shared papersJHJane Huffman Hayes1 shared papers
Not generated yet