Mats P. E. Heimdahl

University of Minnesota

论文数

5

总引用数

111

H-Index

4

关于

暂无简介。

研究焦点

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

主要成就

4
H 指数
5
论文
111
总引用数
22
篇均引用
🏆 最高被引论文
Trace Queries for Safety Requirements in High Assurance Systems
42 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Minnesota

代表论文

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

主要合作者

JMJeffrey M. Thompson3 篇合著论文JCJane Cleland‐Huang1 篇合著论文JRJ.D. Reese1 篇合著论文DMDebra M. Erickson1 篇合著论文NGNancy G. Leveson1 篇合著论文RRRobyn R. Lutz1 篇合著论文PMPatrick Maeder1 篇合著论文JHJane Huffman Hayes1 篇合著论文
尚未生成