Mark L. McKelvin Jr.
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2011
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | PRDC | Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. | Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann |
| 2005 | EMSOFT | 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 |
| 2005 | Tapia | 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 |