Mark L. McKelvin

Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures

Alberto Sangiovanni-Vincentelli, Mark L. McKelvin, 2009 .

Integrated radio frequency identification and wireless sensor network architecture for automated inventory management and tracking applications

Nina M. Berry, Mark L. McKelvin, Mitchel L. Williams, 2005, 2005 Richard Tapia Celebration of Diversity in Computing Conference.

Specification and Design of Electrical Flight System Architectures with SysML

Mark L. McKelvin, Alejandro Jimenez, 2012, Infotech@Aerospace.

Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems

Gerard J. Holzmann, Edward B. Gamble, Mark L. McKelvin, 2011, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing.

A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems

Alberto L. Sangiovanni-Vincentelli, Claudio Pinello, Gabriel Eirea, 2005, EMSOFT.

Fault tolerant data flow modeling using the generic modeling environment

Alberto L. Sangiovanni-Vincentelli, Jonathan Sprinkle, Claudio Pinello, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

Model-Based Design of Heterogeneous Systems for Fault Tree Analysis

Claudio Pinello, Mark L. McKelvin, C. Pinello, 2006 .

A principled approach to the specification of system architectures for space missions

Azad M. Madni, Brian Cox, Corrina Gibson, 2015 .