Steven P. Miller

According to our database, Steven P. Miller authored at least 46 papers between 1986 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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, A. James Barkovich, Steven P. Miller

NeuroImage, 2019

A fast segmentation-free fully automated approach to white matter injury detection in preterm infants.

Subhayan Mukherjee, Irene Cheng, Steven P. Miller, Ting Guo, Vann Chau, Anup Basu

Medical Biol. Eng. Comput., 2019

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

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

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

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2017, 2017

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

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2017, 2017

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, Dennis Shaw, Colin Studholme

NeuroImage, 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

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

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016, 2016

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

Proceedings of the Medical Imaging 2016: Biomedical Applications in Molecular, Structural, and Functional Imaging, San Diego, California, United States, 27 February, 2016

2015

Requirements Analysis of a Quad-Redundant Flight Control System.

John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

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

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2015, 2015

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

DO-333 Certification Case Studies.

Darren D. Cofer, Steven P. Miller

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

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, Colin Studholme

Proceedings of the Medical Imaging 2014: Image Processing, 2014

2013

White matter injury detection in neonatal MRI.

Irene Cheng, Nasim Hajari, Amirhossein Firouzmanesh, Rui Shen, Steven P. Miller, Kenneth J. Poskitt, Anup Basu

Proceedings of the Medical Imaging 2013: Computer-Aided Diagnosis, 2013

Study on the Barriers to the Industrial Adoption of Formal Methods.

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

Compositional Verification of Architectural Models.

Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha

Proceedings of the NASA Formal Methods, 2012

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems.

Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

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

2010

Software model checking takes off.

Steven P. Miller, Michael W. Whalen, Darren D. Cofer

Commun. ACM, 2010

Reconstruction of a geometrically correct diffusion tensor image of a moving human fetal brain.

Kio Kim, Piotr A. Habas, François Rousseau, Orit A. Glenn, A. James Barkovich, Mériam Koob, Jean-Louis Dietemann, Ashley J. Robinson, Kenneth J. Poskitt, Steven P. Miller, Colin Studholme

Proceedings of the Medical Imaging 2010: Image Processing, 2010

2009

Bridging the Gap Between Model-Based Development and Model Checking.

Steven P. Miller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

A Formal Architecture Pattern for Real-Time Distributed Systems.

Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

2008

Model-Checking of Safety-Critical Software for Avionics.

Darren D. Cofer, Michael W. Whalen, Steven P. Miller

ERCIM News, 2008

Will This Be Formal?

Steven P. Miller

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Formal Methods for Critical Systems.

Steven P. Miller

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Proving the shalls.

Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl

Int. J. Softw. Tools Technol. Transf., 2006

Proving the Shalls: Requirements, Proofs, and Model-Based Development.

Steven P. Miller

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Coverage metrics for requirements-based testing.

Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

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, Steven P. Miller, Donna M. Ferriero, Daniel B. Vigneron, A. James Barkovich

NeuroImage, 2005

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

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, Orit A. Glenn, Donna M. Ferriero, A. James Barkovich, Daniel B. Vigneron

NeuroImage, 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

Early validation of requirements - A Case Study Using Formal Methods.

Steven P. Miller

Proceedings of the Building the Information Society, 2004

2003

Proving the Shalls.

Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl

Proceedings of the FME 2003: Formal Methods, 2003

1999

Specification-Based Prototyping for Embedded Systems.

Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller

Proceedings of the Software Engineering, 1999

1998

Transferring Formal Methods Technology to Industry.

Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Specifying the mode logic of a flight guidance system in CoRE and SCR.

Steven P. Miller

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1996

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

1995

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods.

Steven P. Miller, Mandayam K. Srivas

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

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

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

1994

Applicability of modified condition/decision coverage to software testing.

John Joseph Chilenski, Steven P. Miller

Softw. Eng. J., 1994

1986

UNIX and Remote Procedure Calls: A Peaceful Coexistence?

Robert J. Souza, Steven P. Miller

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986