default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteven P. Miller
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[j17]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: 67-78 (2019)- [j16]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): 71-87 (2019) - [j15]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: 742-749 (2019) - [j14]Shabnam Peyvandi, Beatrice Latal, Steven P. Miller, Patrick S. McQuillen:
The neonatal brain in critical congenital heart disease: Insights and future directions. NeuroImage 185: 776-782 (2019) - 2017
- [j13]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: 1038-1049 (2017) - [c28]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: 84-91 - [c27]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: 789-797 - 2016
- [j12]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: 705-723 (2016) - [j11]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: 387-408 (2016) - [c26]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. Biomedical Applications in Molecular, Structural, and Functional Imaging 2016: 97880H - [c25]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: 175-183 - 2015
- [c24]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: 69-76 - [c23]John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen:
Requirements Analysis of a Quad-Redundant Flight Control System. NFM 2015: 82-96 - [i2]John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen:
Requirements Analysis of a Quad-Redundant Flight Control System. CoRR abs/1502.03343 (2015) - 2014
- [j10]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: 667-680 (2014) - [c22]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. Image Processing 2014: 90341H - [c21]Darren D. Cofer, Steven P. Miller:
DO-333 Certification Case Studies. NASA Formal Methods 2014: 1-15 - 2013
- [c20]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: 63-77 - [c19]Irene Cheng, Nasim Hajari, Amirhossein Firouzmanesh, Rui Shen, Steven P. Miller, Kenneth J. Poskitt, Anup Basu:
White matter injury detection in neonatal MRI. Computer-Aided Diagnosis 2013: 86702L - 2012
- [c18]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: 65-74 - [c17]Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha:
Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140 - 2011
- [j9]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): 2330-2339 (2011) - 2010
- [j8]Steven P. Miller, Michael W. Whalen, Darren D. Cofer:
Software model checking takes off. Commun. ACM 53(2): 58-64 (2010) - [c16]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:
Reconstruction of a geometrically correct diffusion tensor image of a moving human fetal brain. Image Processing 2010: 76231I
2000 – 2009
- 2009
- [c15]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: 161-170 - [c14]Steven P. Miller:
Bridging the Gap Between Model-Based Development and Model Checking. TACAS 2009: 443-453 - 2008
- [c13]Steven P. Miller:
Formal Methods for Critical Systems. FMICS 2008: 1 - [c12]Steven P. Miller:
Will This Be Formal? TPHOLs 2008: 6-11 - [i1]Darren D. Cofer, Michael W. Whalen, Steven P. Miller:
Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008(75) (2008) - 2007
- [c11]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: 68-84 - 2006
- [j7]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): 303-319 (2006) - [c10]Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
Coverage metrics for requirements-based testing. ISSTA 2006: 25-36 - [c9]Steven P. Miller:
Proving the Shalls: Requirements, Proofs, and Model-Based Development. RE 2006: 261 - 2005
- [j6]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): 579-586 (2005) - [j5]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): 862-871 (2005) - 2004
- [j4]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): 1134-1140 (2004) - [j3]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): 1302-1314 (2004) - [c8]Steven P. Miller:
Early validation of requirements - A Case Study Using Formal Methods. IFIP Congress Topical Sessions 2004: 521-526 - 2003
- [c7]Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl:
Proving the Shalls. FME 2003: 75-93
1990 – 1999
- 1999
- [c6]Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller:
Specification-Based Prototyping for Embedded Systems. ESEC / SIGSOFT FSE 1999: 163-179 - 1998
- [c5]Steven P. Miller:
Specifying the mode logic of a flight guidance system in CoRE and SCR. FMSP 1998: 44-53 - [c4]Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil:
Transferring Formal Methods Technology to Industry. WIFT 1998: 128- - 1996
- [j2]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): 153-188 (1996) - 1995
- [c3]Steven P. Miller, Mandayam K. Srivas:
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. WIFT 1995: 2-16 - [c2]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: 30-43 - 1994
- [j1]John Joseph Chilenski, Steven P. Miller:
Applicability of modified condition/decision coverage to software testing. Softw. Eng. J. 9(5): 193-200 (1994)
1980 – 1989
- 1986
- [c1]Robert J. Souza, Steven P. Miller:
UNIX and Remote Procedure Calls: A Peaceful Coexistence? ICDCS 1986: 268-277
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
