Mark L. McKelvin Jr.

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Formal Specification

Modelling Language

Top Venues

Infotech@Aerospace

Publications

Mark L. McKelvin Jr., Alejandro Jimenez
Specification and Design of Electrical Flight System Architectures with SysML. Infotech@Aerospace (2012)
Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC (2011)
Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. EMSOFT (2005)
Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. ECBS (2005)
Mark L. McKelvin Jr., Mitchel L. Williams, Nina M. Berry
Integrated radio frequency identification and wireless sensor network architecture for automated inventory management and tracking applications. Richard Tapia Celebration of Diversity in Computing Conference (2005)