Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. - Mark L. McKelvin Jr.; Jonathan Sprinkle; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (ECBS, 2005)

A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. - Mark L. McKelvin Jr.; Gabriel Eirea; Claudio Pinello; Sri Kanajan; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2005)

Integrated radio frequency identification and wireless sensor network architecture for automated inventory management and tracking applications. - Mark L. McKelvin Jr.; Mitchel L. Williams; Nina M. Berry (Richard Tapia Celebration of Diversity in Computing Conference, 2005)

Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. - Mark L. McKelvin Jr.; Edward B. Gamble Jr.; Gerard J. Holzmann (PRDC, 2011)

Specification and Design of Electrical Flight System Architectures with SysML. - Mark L. McKelvin Jr.; Alejandro Jiménez (Infotech@Aerospace, 2012)