Mark A. Austin

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 3

Top Topics

Distributed Computing

Finite State Automata

Knowledge Transfer

Top Venues

IEEE Trans. Intell. Transp. Syst.

Publications

Sachraa G. Borjigin, Mark A. Austin
Multi-Domain Semantic Model and Real-Time Planning Approach to Safe and Efficient Airport Taxiway Operations. IEEE Trans. Intell. Transp. Syst. 25 (7) (2024)
Mark R. Blackburn, Mark A. Austin, Maria Coelho
Modeling and cross-domain dependability analysis of cyber-physical systems. SysCon (2018)
Mark A. Austin, John Johnson
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. Syst. 6 (1) (2018)
Mark A. Austin
Matrix and finite element stack machines for structural engineering computations with units. Adv. Eng. Softw. 37 (8) (2006)