Concepedia

Architecture Validation

Architecture Validation is a formal evaluation process within the field of Integrated Modular Avionics that verifies whether a system’s architectural design conforms to specified functional, safety, and performance requirements, ensuring its correctness and feasibility prior to implementation.

58

Publications

1.8K

Citations

213

Authors

97

Institutions

Publications per year

2017–2026

8

Parents

Publications

58

S3: A Service-Oriented Reference Architecture

Ali Arsanjani, Liang‐Jie Zhang, Martin Ellis et al. · IT Professional · 2007 · 178 citations

, , +16

TVA: A DoS-Limiting Network Architecture

Xiaowei Yang, David Wetherall, Thomas Anderson · IEEE/ACM Transactions on Networking · 2008 · 158 citations

, , +17

Architecture validation for processors

Richard C. Ho, Congguang Yang, Mark Horowitz et al. · 1995 · 146 citations

, , +15

Challenges in computer architecture evaluation

Kevin Skadron, Margaret Martonosi, David I. August et al. · Computer · 2003 · 119 citations · Full text

, , +17

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Alasdair Armstrong, B. K. Campbell, Alastair Reid et al. · Proceedings of the ACM on Programming Languages · 2019 · 118 citations · Full text

, , +17

1–5 of 58

Authors

213

  1. PM
    Prabhat Mishra

    University of Florida, United States

    3 publications · 56 citations

    3

    h-index

  2. ND
    Nikil Dutt

    University of California, Irvine, United States

    3 publications · 56 citations

    3

    h-index

  3. TS
    Tobias Schoofs

    American Fork Hospital, United States

    2 publications · 32 citations

    2

    h-index

  4. JA
    José Anjos

    2 publications · 32 citations

    2

    h-index

  5. MH
    Mark Horowitz

    Stanford University, United States

    2 publications · 178 citations

    2

    h-index

1–5 of 213

Institutions

97

  1. University of California, Irvine

    Irvine, United States

    5 h-index

    12 publications

    341 citations

  2. Stanford University

    Stanford, United States

    3 h-index

    12 publications

    756 citations

  3. Florida International University

    Miami, United States

    2 h-index

    6 publications

    99 citations

  4. Techniques of Informatics and Microelectronics for Integrated Systems Architecture

    Grenoble, France

    2 h-index

    5 publications

    165 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    50 citations

  6. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    12 publications

    1.1K citations

  7. University of L'Aquila

    L’Aquila, Italy

    2 h-index

    3 publications

    86 citations

  8. IBM (United States)

    Armonk, United States

    2 h-index

    6 publications

    904 citations

1–8 of 97

Venues

  1. Procedia Computer Science

    2 publications · 44 citations

    2

    h-index

  2. Chinese Journal of Aeronautics

    CJA · 1 publications · 29 citations

    1

    h-index

  3. TU/e Research Portal

    Repository · 1 publications · 15 citations

    1

    h-index

  4. ACM SIGARCH Computer Architecture News

    1 publications · 32 citations

    1

    h-index

  5. 1

    h-index

1–5