Executable Architecture Models
Executable Architecture Model is a formal architectural representation that belongs to the class of executable system models and is distinguished by its capacity to directly simulate, analyze, or verify system behavior through execution, thereby enabling dynamic validation of architectural decisions.
138
Publications
4.8K
Citations
404
Authors
147
Institutions
Publications per year
2017–2026
18
Parents
138
James R. Larus, Eric Schnarr · 1995 · 415 citations · Full text
AVATAR: A Variable-Retention-Time (VRT) Aware Refresh for DRAM Systems
Moinuddin K. Qureshi, Dae-Hyun Kim, Samira Khan et al. · 2015 · 218 citations · Full text
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)
Elizabeth LeMay, Michael Ford, Ken Keefe et al. · 2011 · 170 citations
Modelling the ARMv8 architecture, operationally: concurrency and ISA
Shaked Flur, Kathryn E. Gray, Christopher Pulte et al. · 2016 · 139 citations · Full text
1–5 of 138
404
5
h-index
Missouri University of Science and Technology, United States
4 publications · 127 citations
4
h-index
4
h-index
3
h-index
3
h-index
1–5 of 404
147
George Mason University
Fairfax, United States
5 h-index
12 publications
380 citations
ARM (United Kingdom)
Cambridge, United Kingdom
5 h-index
5 publications
366 citations

University of Waterloo
Waterloo, Canada
4 h-index
6 publications
251 citations
Missouri University of Science and Technology
Rolla, United States
4 h-index
8 publications
254 citations
Techniques of Informatics and Microelectronics for Integrated Systems Architecture
Grenoble, France
4 h-index
17 publications
470 citations
Carnegie Mellon University
Pittsburgh, United States
4 h-index
12 publications
546 citations
Georgia Institute of Technology
Atlanta, United States
3 h-index
7 publications
776 citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
3 h-index
7 publications
291 citations
1–8 of 147
5 publications · 195 citations
5
h-index
JSS · 3 publications · 53 citations
4
h-index
3 publications · 72 citations
3
h-index
Repository · 2 publications · 80 citations
2
h-index
2 publications · 24 citations
2
h-index
1–5