Mark A. Austin

Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways

John Johnson, Mark A. Austin, 2018, Syst..

Engineering Programming in MATLAB : A Primer

Mark A. Austin, M. Austin, 2000 .

Architecture and Design of the ALADDIN Matrix and Finite Element Environment

Mark A. Austin, Wane-Jang Lin, 1997 .

Modeling and cross-domain dependability analysis of cyber-physical systems

Mark R. Blackburn, Mark A. Austin, Maria Coelho, 2018, 2018 Annual IEEE International Systems Conference (SysCon).

Spatial ontologies and models for safety-critical cyber-physical systems

Mark A. Austin, Leonard Petnga, 2015, 2015 International Conference on Complex Systems Engineering (ICCSE).