Follow
Paul Wach
Paul Wach
Research Assistant Professor, Virginia Tech National Security Institute
Verified email at vt.edu
Title
Cited by
Cited by
Year
Protective role of extracellular superoxide dismutase in renal ischemia/reperfusion injury
MP Schneider, JC Sullivan, PF Wach, EI Boesen, T Yamamoto, T Fukai, ...
Kidney international 78 (4), 374-381, 2010
812010
Sex differences in acute ANG II-mediated hemodynamic responses in mice
MP Schneider, PF Wach, MK Durley, JS Pollock, DM Pollock
American Journal of Physiology-Regulatory, Integrative and Comparative …, 2010
552010
Constructing true model-based requirements in SysML
A Salado, P Wach
Systems 7 (2), 19, 2019
362019
The need for semantic extension of SysML to model the problem space
P Wach, A Salado
Recent Trends and Advances in Model Based Systems Engineering, 279-289, 2022
202022
High salt diet increases the pressor response to stress in female, but not male ETB‐receptor‐deficient rats
JS Speed, G D'Angelo, PA Wach, JC Sullivan, JS Pollock, DM Pollock
Physiological reports 3 (3), e12326, 2015
192015
Conjoining Wymore’s systems theoretic framework and the DEVS modeling formalism: Toward scientific foundations for MBSE
P Wach, BP Zeigler, A Salado
Applied Sciences 11 (11), 4936, 2021
132021
Can Wymore’s mathematical framework underpin SysML? An initial investigation of state machines
P Wach, A Salado
Procedia Computer Science 153, 242-249, 2019
92019
Model-Based Requirements (TMBR) of a Satellite TTC Transponder
P Wach, A Salado
2021 IEEE Aerospace Conference (50100), 1-12, 2021
62021
True model-based requirements (TMBR): application to an earth observation satellite
P Wach, A Salado
AIAA Scitech 2021 Forum, 0094, 2021
62021
Model-based security requirements for cyber-physical systems in SysML
P Wach, A Salado
2020 IEEE Systems Security Symposium (SSS), 1-7, 2020
62020
Automatic generation of contractual requirements from MBSE artifacts
A Salado, P Wach
Acquisition Research Program, 2019
62019
Complications impair the usefulness and validity of the rat tail arteriovenous fistula model
JS Beatty, PF Wach, WD Paulson, TD Merchen, DM Pollock, JS Pollock, ...
Kidney international 76 (8), 916, 2009
42009
Initial Systems Theoretic Metamodel of Verification Artifacts
P Wach, P Beling, A Salado
INCOSE International Symposium 32, 99-108, 2022
32022
Formalizing the Representativeness of Verification Models using Morphisms
P Wach, P Beling, A Salado
INSIGHT 26 (1), 27-32, 2023
22023
Pairing Bayesian Methods and Systems Theory to Enable Test and Evaluation of Learning‐Based Systems
P Wach, J Krometis, A Sonanis, D Verma, J Panchal, L Freeman, P Beling
INSIGHT 25 (4), 65-70, 2022
22022
Digital Transformation in Acquisition: Using Modeling and Simulation to Advance the State of Practice
N Hutchison, HYS Tao, M Clifford, C Burley, C Arndt, P Wach, ...
INCOSE International Symposium 32 (1), 145-158, 2022
22022
Initial Development of a Roadmap for Digital Engineering Simulations Curriculum
HYS Tao, N Hutchison, P Beling, C Arndt, MR Blackburn, T Sherburne, ...
2022 IEEE International Systems Conference (SysCon), 1-7, 2022
22022
A research plan to discover patterns of unknown vulnerabilities associated with adopting SysML
P Wach, A Salado
Systems Engineering in Context: Proceedings of the 16th Annual Conference on …, 2019
22019
Interpretation Discrepancies of SysML State Machine: An Initial Investigation
B Cratsley, S Regmi, P Wach, A Salado
Recent Trends and Advances in Model Based Systems Engineering, 361-370, 2022
12022
Shifting the Paradigm from Lessons Learned to Lessons Applied through Digitally Enabled Transformation
P Wach, D Wittenberg, M Koziol, K Sandman
INCOSE International Symposium 33 (1), 197-211, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20