Mark L. McKelvin Jr.

According to our database, Mark L. McKelvin Jr. authored at least 5 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Specification and Design of Electrical Flight System Architectures with SysML.

Mark L. McKelvin Jr., Alejandro Jimenez

Proceedings of the Infotech@Aerospace 2012, 2012

2011

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

Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

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

Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2005, 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

Proceedings of the EMSOFT 2005, 2005

Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.

Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005