Steven P. Miller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
1986–2017
Best venue rank
A
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | MICCAI | 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 |
| 2017 | MICCAI | 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 |
| 2016 | MICCAI | 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 |
| 2015 | MICCAI | 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 |
| 2013 | FMICS | 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 |
| 2009 | RTSS | A Formal Architecture Pattern for Real-Time Distributed Systems. | Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer |
| 2009 | TACAS | Bridging the Gap Between Model-Based Development and Model Checking. | Steven P. Miller |
| 2008 | FMICS | Formal Methods for Critical Systems. | Steven P. Miller |
| 2007 | FMICS | 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 |
| 2006 | ISSTA | Coverage metrics for requirements-based testing. | Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller |
| 2006 | RE | Proving the Shalls: Requirements, Proofs, and Model-Based Development. | Steven P. Miller |
| 2003 | FM | Proving the Shalls. | Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl |
| 1986 | ICDCS | UNIX and Remote Procedure Calls: A Peaceful Coexistence? | Robert J. Souza, Steven P. Miller |