Steven P. Miller

Publication Activity (10 Years)

Years Active: 1986-2019
Publications (10 Years): 11

Top Topics

Tissue Segmentation

Requirements Analysis

Top Venues

NASA Formal Methods

Publications

Subhayan Mukherjee, Irene Cheng, Steven P. Miller, Ting Guo, Vann Chau, Anup Basu
A fast segmentation-free fully automated approach to white matter injury detection in preterm infants. Medical Biol. Eng. Comput. 57 (1) (2019)
Shabnam Peyvandi, Beatrice Latal, Steven P. Miller, Patrick S. McQuillen
The neonatal brain in critical congenital heart disease: Insights and future directions. NeuroImage 185 (2019)
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, A. James Barkovich, Steven P. Miller
White matter injury in term neonates with congenital heart diseases: Topology & comparison with preterm newborns. NeuroImage 185 (2019)
Colin J. Brown, Steven P. Miller, Brian G. Booth, Jill G. Zwicker, Ruth E. Grunau, Anne R. Synnes, Vann Chau, Ghassan Hamarneh
Predictive connectome subnetwork extraction with anatomical and connectivity priors. Comput. Medical Imaging Graph. 71 (2019)
Mengyuan Liu, Steven P. Miller, Vann Chau, Colin Studholme
Combining Spatial and Non-spatial Dictionary Learning for Automated Labeling of Intra-ventricular Hemorrhage in Neonatal Brain MRI. MICCAI (1) (2017)
Jeremy Kawahara, Colin J. Brown, Steven P. Miller, Brian G. Booth, Vann Chau, Ruth E. Grunau, Jill G. Zwicker, Ghassan Hamarneh
BrainNetCNN: Convolutional neural networks for brain networks; towards predicting neurodevelopment. NeuroImage 146 (2017)
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
Prediction of Brain Network Age and Factors of Delayed Maturation in Very Preterm Infants. MICCAI (1) (2017)
Mengyuan Liu, Averi Kitsch, Steven P. Miller, Vann Chau, Kenneth J. Poskitt, François Rousseau, Dennis Shaw, Colin Studholme
Patch-based augmentation of Expectation-Maximization for brain MRI tissue segmentation at arbitrary age after premature birth. NeuroImage 127 (2016)
Brian G. Booth, Steven P. Miller, Colin J. Brown, Kenneth J. Poskitt, Vann Chau, Ruth E. Grunau, Anne R. Synnes, Ghassan Hamarneh
STEAM - Statistical Template Estimation for Abnormality Mapping: A personalized DTI analysis technique with applications to the screening of preterm infants. NeuroImage 125 (2016)
Colin J. Brown, Steven P. Miller, Brian G. Booth, Jill G. Zwicker, Ruth E. Grunau, Anne R. Synnes, Vann Chau, Ghassan Hamarneh
Predictive Subnetwork Extraction with Structural Priors for Infant Connectomes. MICCAI (1) (2016)
Amanmeet Garg, Ruth E. Grunau, Karteek Popuri, Steven P. Miller, Bruce Bjornson, Kenneth J. Poskitt, Mirza Faisal Beg
Surface displacement based shape analysis of central brain structures in preterm-born children. Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging (2016)
John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen
Requirements Analysis of a Quad-Redundant Flight Control System. NFM (2015)
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
Prediction of Motor Function in Very Preterm Infants Using Connectome Features and Local Synthetic Instances. MICCAI (1) (2015)
John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen
Requirements Analysis of a Quad-Redundant Flight Control System. CoRR (2015)
Colin J. Brown, Steven P. Miller, Brian G. Booth, Shawn Andrews, Vann Chau, Kenneth J. Poskitt, Ghassan Hamarneh
Structural network analysis of brain development in young preterm neonates. NeuroImage 101 (2014)
Mengyuan Liu, Sharmishtaa Seshamani, Lisa Harrylock, Averi Kitsch, Steven P. Miller, Vann Chau, Kenneth J. Poskitt, François Rousseau, Colin Studholme
Spatially adapted augmentation of age-specific atlas-based segmentation using patch-based priors. Medical Imaging: Image Processing (2014)
Darren D. Cofer, Steven P. Miller
DO-333 Certification Case Studies. NASA Formal Methods (2014)
Irene Cheng, Nasim Hajari, Amirhossein Firouzmanesh, Rui Shen, Steven P. Miller, Kenneth J. Poskitt, Anup Basu
White matter injury detection in neonatal MRI. Medical Imaging: Computer-Aided Diagnosis (2013)
Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner
Study on the Barriers to the Industrial Adoption of Formal Methods. FMICS (2013)
Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. ICCPS (2012)
Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha
Compositional Verification of Architectural Models. NASA Formal Methods (2012)
Sam M. Doesburg, Urs Ribary, Anthony T. Herdman, Steven P. Miller, Kenneth J. Poskitt, Alexander Moiseev, Michael F. Whitfield, Anne Synnes, Ruth E. Grunau
Altered long-range alpha-band synchronization during visual short-term memory retention in children born very preterm. NeuroImage 54 (3) (2011)
Kio Kim, Piotr A. Habas, François Rousseau, Orit A. Glenn, A. James Barkovich, Meriam Koob, Jean-Louis Dietemann, Ashley J. Robinson, Kenneth J. Poskitt, Steven P. Miller, Colin Studholme
Reconstruction of a geometrically correct diffusion tensor image of a moving human fetal brain. Medical Imaging: Image Processing (2010)
Steven P. Miller, Michael W. Whalen, Darren D. Cofer
Software model checking takes off. Commun. ACM 53 (2) (2010)
Steven P. Miller
Bridging the Gap Between Model-Based Development and Model Checking. TACAS (2009)
Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS (2009)
Steven P. Miller
Will This Be Formal? TPHOLs (2008)
Darren D. Cofer, Michael W. Whalen, Steven P. Miller
Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008 (75) (2008)
Steven P. Miller
Formal Methods for Critical Systems. FMICS (2008)
Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm
Integration of Formal Analysis into a Model-Based Software Development Process. FMICS (2007)
Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl
Proving the shalls. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
Coverage metrics for requirements-based testing. ISSTA (2006)
Steven P. Miller
Proving the Shalls: Requirements, Proofs, and Model-Based Development. RE (2006)
Amy Deipolyi, Pratik Mukherjee, Kanwar Gill, Roland G. Henry, Savannah C. Partridge, Srivathsa Veeraraghavan, Hua Jin, Ying Lu, Steven P. Miller, Donna M. Ferriero, Daniel B. Vigneron, A. James Barkovich
Comparing microstructural and macrostructural development of the cerebral cortex in premature newborns: Diffusion tensor imaging versus cortical gyration. NeuroImage 27 (3) (2005)
Jeffrey I. Berman, Pratik Mukherjee, Savannah C. Partridge, Steven P. Miller, Donna M. Ferriero, A. James Barkovich, Daniel B. Vigneron, Roland G. Henry
Quantitative diffusion tensor MRI fiber tractography of sensorimotor white matter development in premature infants. NeuroImage 27 (4) (2005)
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
Early laminar organization of the human cerebrum demonstrated with diffusion tensor imaging in extremely premature infants. NeuroImage 22 (3) (2004)
Steven P. Miller
Early validation of requirements - A Case Study Using Formal Methods. IFIP Congress Topical Sessions (2004)
Savannah C. Partridge, Pratik Mukherjee, Roland G. Henry, Steven P. Miller, Jeffrey I. Berman, Hua Jin, Ying Lu, Orit A. Glenn, Donna M. Ferriero, A. James Barkovich, Daniel B. Vigneron
Diffusion tensor imaging: serial quantitation of white matter tract maturity in premature newborns. NeuroImage 22 (3) (2004)
Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl
Proving the Shalls. FME (2003)
Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller
Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE (1999)
Steven P. Miller
Specifying the mode logic of a flight guidance system in CoRE and SCR. FMSP (1998)
Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil
Transferring Formal Methods Technology to Industry. WIFT (1998)
Mandayam K. Srivas, Steven P. Miller
Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. Formal Methods Syst. Des. 8 (2) (1996)
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
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)
Steven P. Miller, Mandayam K. Srivas
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. WIFT (1995)
John Joseph Chilenski, Steven P. Miller
Applicability of modified condition/decision coverage to software testing. Softw. Eng. J. 9 (5) (1994)
Robert J. Souza, Steven P. Miller
UNIX and Remote Procedure Calls: A Peaceful Coexistence? ICDCS (1986)