zedB: A Proof Tool for Z Built on B. - Dave Neilson; Divya Prasad (Z User Workshop, 1991)

Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. - Mark Nicholson 001; Divya Prasad (ICECCS, 1996)

Dependable systems integration using measurement theory and decision analysis. - Divya Prasad (1999)

The meaning and role of value in scheduling flexible real-time systems. - Alan Burns 001; Divya Prasad; Andrea Bondavalli; Felicita Di Giandomenico; Krithi Ramamritham; John A. Stankovic; Lorenzo Strigini (J. Syst. Archit., 2000)

A value-based scheduling approach for real-time autonomous vehicle control. - Divya Prasad; Alan Burns 001 (Robotica, 2000)

The Valid Use of Utility in Adaptive Real-Time Systems. - Divya Prasad; Alan Burns 001; Martin C. Atkins (Real Time Syst., 2003)

Impact of interconnect variability on circuit performance in advanced technology nodes. - Divya Prasad; Chenyun Pan; Azad Naeemi (ISQED, 2016)

Accurate processor-level wirelength distribution model for technology pathfinding using a modernized interpretation of rent's rule. - Divya Prasad; Saurabh Sinha; Brian Cline; Steve Moore; Azad Naeemi (DAC, 2018)

A 64-Bit Arm CPU at Cryogenic temperatures: Design Technology Co-Optimization for Power and Performance. - Rakshith Saligram; Divya Prasad; David Pietromonaco; Arijit Raychowdhury; Brian Cline (CICC, 2021)