UNIX and Remote Procedure Calls: A Peaceful Coexistence? - Robert J. Souza; Steven P. Miller (ICDCS, 1986)

Applicability of modified condition/decision coverage to software testing. - John Joseph Chilenski; Steven P. Miller (Softw. Eng. J., 1994)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. - Steven P. Miller; Mandayam K. Srivas (WIFT, 1995)

Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. - Mandayam K. Srivas; Steven P. Miller (Formal Methods Syst. Des., 1996)

Specifying the mode logic of a flight guidance system in CoRE and SCR. - Steven P. Miller (FMSP, 1998)

Transferring Formal Methods Technology to Industry. - Patrice Godefroid; John Kelly; Steven P. Miller; Frank Weil (WIFT, 1998)

Specification-Based Prototyping for Embedded Systems. - Jeffrey M. Thompson; Mats Per Erik Heimdahl; Steven P. Miller (ESEC / SIGSOFT FSE, 1999)

Proving the Shalls. - Steven P. Miller; Alan C. Tribble; Mats Per Erik Heimdahl (FME, 2003)

Early validation of requirements - A Case Study Using Formal Methods. - Steven P. Miller (IFIP Congress Topical Sessions, 2004)

Early laminar organization of the human cerebrum demonstrated with diffusion tensor imaging in extremely premature infants. - Luis C. Maas; Pratik Mukherjee; Julio Carballido-Gamio; Srivathsa Veeraraghavan; Steven P. Miller; Savannah C. Partridge; Roland G. Henry; A. James Barkovich; Daniel B. Vigneron (NeuroImage, 2004)

Diffusion tensor imaging: serial quantitation of white matter tract maturity in premature newborns. - Savannah C. Partridge; Pratik Mukherjee; Roland G. Henry; Steven P. Miller; Jeffrey I. Berman; Hua Jin; Ying Lu 006; Orit A. Glenn; Donna M. Ferriero; A. James Barkovich; Daniel B. Vigneron (NeuroImage, 2004)

Quantitative diffusion tensor MRI fiber tractography of sensorimotor white matter development in premature infants. - Jeffrey I. Berman; Pratik Mukherjee; Savannah C. Partridge; Steven P. Miller; Donna M. Ferriero; A. James Barkovich; Daniel B. Vigneron; Roland G. Henry (NeuroImage, 2005)

Comparing microstructural and macrostructural development of the cerebral cortex in premature newborns: Diffusion tensor imaging versus cortical gyration. - Amy Deipolyi; Pratik Mukherjee; Kanwar Gill; Roland G. Henry; Savannah C. Partridge; Srivathsa Veeraraghavan; Hua Jin; Ying Lu 006; Steven P. Miller; Donna M. Ferriero; Daniel B. Vigneron; A. James Barkovich (NeuroImage, 2005)

Coverage metrics for requirements-based testing. - Michael W. Whalen; Ajitha Rajan; Mats Per Erik Heimdahl; Steven P. Miller (ISSTA, 2006)

Proving the Shalls: Requirements, Proofs, and Model-Based Development. - Steven P. Miller (RE, 2006)

Proving the shalls. - Steven P. Miller; Alan C. Tribble; Michael W. Whalen; Mats Per Erik Heimdahl (Int. J. Softw. Tools Technol. Transf., 2006)

Integration of Formal Analysis into a Model-Based Software Development Process. - Michael W. Whalen; Darren D. Cofer; Steven P. Miller; Bruce H. Krogh; Walter Storm (FMICS, 2007)

Formal Methods for Critical Systems. - Steven P. Miller (FMICS, 2008)

Will This Be Formal? - Steven P. Miller (TPHOLs, 2008)

Model-Checking of Safety-Critical Software for Avionics. - Darren D. Cofer; Michael W. Whalen; Steven P. Miller (ERCIM News, 2008)

A Formal Architecture Pattern for Real-Time Distributed Systems. - Abdullah Al-Nayeem; Mu Sun; Xiaokang Qiu; Lui Sha; Steven P. Miller; Darren D. Cofer (RTSS, 2009)

Bridging the Gap Between Model-Based Development and Model Checking. - Steven P. Miller (TACAS, 2009)

Reconstruction of a geometrically correct diffusion tensor image of a moving human fetal brain. - Kio Kim; Piotr A. Habas; François Rousseau 002; Orit A. Glenn; A. James Barkovich; Mériam Koob; Jean-Louis Dietemann; Ashley J. Robinson; Kenneth J. Poskitt; Steven P. Miller; Colin Studholme (Image Processing, 2010)

Software model checking takes off. - Steven P. Miller; Michael W. Whalen; Darren D. Cofer (Commun. ACM, 2010)

Altered long-range alpha-band synchronization during visual short-term memory retention in children born very preterm. - Sam M. Doesburg; Urs Ribary; Anthony T. Herdman; Steven P. Miller; Kenneth J. Poskitt; Alexander Moiseev; Michael F. Whitfield; Anne Synnes; Ruth E. Grunau (NeuroImage, 2011)

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. - Abdullah Al-Nayeem; Lui Sha; Darren D. Cofer; Steven P. Miller (ICCPS, 2012)

Compositional Verification of Architectural Models. - Darren D. Cofer; Andrew Gacek; Steven P. Miller; Michael W. Whalen; Brian LaValley; Lui Sha (NASA Formal Methods, 2012)

Study on the Barriers to the Industrial Adoption of Formal Methods. - Jennifer A. Davis; Matthew A. Clark 001; Darren D. Cofer; Aaron Fifarek; Jacob Hinchman; Jonathan A. Hoffman; Brian W. Hulbert; Steven P. Miller; Lucas G. Wagner (FMICS, 2013)

White matter injury detection in neonatal MRI. - Irene Cheng 001; Nasim Hajari; Amirhossein Firouzmanesh; Rui Shen 002; Steven P. Miller; Kenneth J. Poskitt; Anup Basu (Computer-Aided Diagnosis, 2013)

Spatially adapted augmentation of age-specific atlas-based segmentation using patch-based priors. - Mengyuan Liu; Sharmishtaa Seshamani; Lisa Harrylock; Averi Kitsch; Steven P. Miller; Vann Chau; Kenneth J. Poskitt; François Rousseau 002; Colin Studholme (Image Processing, 2014)

DO-333 Certification Case Studies. - Darren D. Cofer; Steven P. Miller (NASA Formal Methods, 2014)

Structural network analysis of brain development in young preterm neonates. - Colin J. Brown; Steven P. Miller; Brian G. Booth; Shawn Andrews; Vann Chau; Kenneth J. Poskitt; Ghassan Hamarneh (NeuroImage, 2014)

Prediction of Motor Function in Very Preterm Infants Using Connectome Features and Local Synthetic Instances. - Colin J. Brown; Steven P. Miller; Brian G. Booth; Kenneth J. Poskitt; Vann Chau; Anne R. Synnes; Jill G. Zwicker; Ruth E. Grunau; Ghassan Hamarneh (MICCAI (1), 2015)

Requirements Analysis of a Quad-Redundant Flight Control System. - John Backes; Darren D. Cofer; Steven P. Miller; Michael W. Whalen (NFM, 2015)

Surface displacement based shape analysis of central brain structures in preterm-born children. - Amanmeet Garg; Ruth E. Grunau; Karteek Popuri; Steven P. Miller; Bruce Bjornson; Kenneth J. Poskitt; Mirza Faisal Beg (Biomedical Applications in Molecular, Structural, and Functional Imaging, 2016)

Predictive Subnetwork Extraction with Structural Priors for Infant Connectomes. - Colin J. Brown; Steven P. Miller; Brian G. Booth; Jill G. Zwicker; Ruth E. Grunau; Anne R. Synnes; Vann Chau; Ghassan Hamarneh (MICCAI (1), 2016)

STEAM - Statistical Template Estimation for Abnormality Mapping: A personalized DTI analysis technique with applications to the screening of preterm infants. - Brian G. Booth; Steven P. Miller; Colin J. Brown; Kenneth J. Poskitt; Vann Chau; Ruth E. Grunau; Anne R. Synnes; Ghassan Hamarneh (NeuroImage, 2016)

Patch-based augmentation of Expectation-Maximization for brain MRI tissue segmentation at arbitrary age after premature birth. - Mengyuan Liu; Averi Kitsch; Steven P. Miller; Vann Chau; Kenneth J. Poskitt; François Rousseau 002; Dennis Shaw; Colin Studholme (NeuroImage, 2016)

Prediction of Brain Network Age and Factors of Delayed Maturation in Very Preterm Infants. - Colin J. Brown; Kathleen P. Moriarty; Steven P. Miller; Brian G. Booth; Jill G. Zwicker; Ruth E. Grunau; Anne R. Synnes; Vann Chau; Ghassan Hamarneh (MICCAI (1), 2017)

Combining Spatial and Non-spatial Dictionary Learning for Automated Labeling of Intra-ventricular Hemorrhage in Neonatal Brain MRI. - Mengyuan Liu; Steven P. Miller; Vann Chau; Colin Studholme (MICCAI (1), 2017)

BrainNetCNN: Convolutional neural networks for brain networks; towards predicting neurodevelopment. - Jeremy Kawahara; Colin J. Brown; Steven P. Miller; Brian G. Booth; Vann Chau; Ruth E. Grunau; Jill G. Zwicker; Ghassan Hamarneh (NeuroImage, 2017)

Predictive connectome subnetwork extraction with anatomical and connectivity priors. - Colin J. Brown; Steven P. Miller; Brian G. Booth; Jill G. Zwicker; Ruth E. Grunau; Anne R. Synnes; Vann Chau; Ghassan Hamarneh (Comput. Medical Imaging Graph., 2019)

A fast segmentation-free fully automated approach to white matter injury detection in preterm infants. - Subhayan Mukherjee; Irene Cheng 001; Steven P. Miller; Ting Guo; Vann Chau; Anup Basu (Medical Biol. Eng. Comput., 2019)

White matter injury in term neonates with congenital heart diseases: Topology & comparison with preterm newborns. - Ting Guo; Vann Chau; Shabnam Peyvandi; Beatrice Latal; Patrick S. McQuillen; Walter Knirsch; Anne Synnes; Maria Feldmann; Nadja Naef; M. Mallar Chakravarty; Alessandra De Petrillo; Emma G. Duerden; et al. (NeuroImage, 2019)

The neonatal brain in critical congenital heart disease: Insights and future directions. - Shabnam Peyvandi; Beatrice Latal; Steven P. Miller; Patrick S. McQuillen (NeuroImage, 2019)