☰

Mark L. McKelvin, Ph.D. - Publications

Affiliations: 
2011 Electrical Engineering & Computer Sciences University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2012 McKelvin ML, Jimenez A. Specification and design of electrical flight system architectures with SysML Aiaa Infotech At Aerospace Conference and Exhibit 2012.  0.321
2009 McKelvin ML, Sangiovanni-Vincentelli A. Fault tree analysis for the design exploration of fault tolerant automotive architectures Sae Technical Papers. DOI: 10.4271/2009-01-1377  0.809
2005 McKelvin ML, Eirea G, Pinello C, Kanajan S, Sangiovanni-Vincentelli AL. A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems Proceedings of the 5th Acm International Conference On Embedded Software, Emsoft 2005. 237-246.  0.478
2005 McKelvin ML, Sprinkle J, Pinello C, Sangiovanni-Vincentelli A. Fault tolerant data flow modeling using the generic modeling environment Proceedings - 12th Ieee International Conference and Workshops On the Engineering of Computer-Based Systems, Ecs 2005. 229-235.  0.576
Show low-probability matches.