Steven P. Miller
发表
Joshua S. Stein,
Steven P. Miller,
Jennifer E. Granata,
2012
.
Steven P. Miller,
S. Barber,
T. M. Carlson,
2002,
Proceedings. The 21st Digital Avionics Systems Conference.
Ghassan Hamarneh,
Brian G. Booth,
Steven P. Miller,
2017,
MICCAI.
John Kelly,
Patrice Godefroid,
Steven P. Miller,
1998,
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
Steven P. Miller,
John Chilenski,
S. Miller,
1994,
Softw. Eng. J..
Ajitha Rajan,
Michael W. Whalen,
Mats P. E. Heimdahl,
2013
.
Daniel Day,
Steven P. Miller,
Brian E. C. Schottlaender,
2003
.
Steven P. Miller,
John J. Helly,
Hubert Staudigel,
2003
.
Colin Studholme,
Steven P. Miller,
François Rousseau,
2014,
Medical Imaging.
Mandayam K. Srivas,
Steven P. Miller,
M. Srivas,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2005
.
Ajitha Rajan,
Mats Per Erik Heimdahl,
Michael W. Whalen,
2006,
ISSTA '06.
Parameswaran Ramanathan,
Mandayam K. Srivas,
Paul S. Miner,
1997
.
Steven P. Miller,
2009,
TACAS.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Steven P. Miller,
2003,
International Journal on Software Tools for Technology Transfer.
Mandayam K. Srivas,
Muffy Calder,
George Cleland,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Mats P. E. Heimdahl,
Steven P. Miller,
Alan C. Tribble,
2003
.
Ilya Zaslavsky,
Steven P. Miller,
Brian E. C. Schottlaender,
2001
.
Ghassan Hamarneh,
Brian G. Booth,
Shawn Andrews,
2014,
NeuroImage.
Darren Cofer,
Steven P. Miller,
D. Cofer,
2014
.
Steven P. Miller,
Jan Duffy,
Steven P. Miller,
2004
.
Darren D. Cofer,
Michael W. Whalen,
Steven P. Miller,
2010,
Commun. ACM.
Arthur Sweeney,
Steven P. Miller,
Karen I. Stocks,
2010
.
Ghassan Hamarneh,
Brian G. Booth,
Steven P. Miller,
2015,
MICCAI.
Anthony T. Herdman,
Steven P. Miller,
Sam M. Doesburg,
2011,
NeuroImage.
Steven P. Miller,
John J. Helly,
Dru Clark,
2002
.
Ghassan Hamarneh,
Brian G. Booth,
Steven P. Miller,
2019,
Comput. Medical Imaging Graph..
Steven P. Miller,
John J. Helly,
Dru Clark,
2002
.
Michael W. Whalen,
Darren Cofer,
Steven P. Miller,
2011
.
Daniel Day,
Steven P. Miller,
John J. Helly,
2003,
Oceans 2003. Celebrating the Past ... Teaming Toward the Future (IEEE Cat. No.03CH37492).
Joshua S. Stein,
Steven P. Miller,
2010
.
Michael W. Whalen,
Steven P. Miller,
Alan C. Tribble,
2005
.
Steven P. Miller,
S. Miller,
2009,
FMICS.
Xiaokang Qiu,
Steven P. Miller,
Lui Sha,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Ghassan Hamarneh,
Brian G. Booth,
Steven P. Miller,
2016,
MICCAI.
Steven P. Miller,
D. L. Lempia,
Alan C. Tribble,
2002,
Proceedings. The 21st Digital Avionics Systems Conference.
Steven P. Miller,
Robert J. Souza,
Steven P. Miller,
1986,
ICDCS.
M. Mallar Chakravarty,
Ting Guo,
Steven P. Miller,
2019,
NeuroImage.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2013
.
Steven P. Miller,
1998,
FMSP '98.
Steven P. Miller,
John J. Helly,
Dru Clark,
2003
.
Mats Per Erik Heimdahl,
Steven P. Miller,
Alan C. Tribble,
2003,
FME.
Steven P. Miller,
2008,
TPHOLs.
Darren D. Cofer,
Steven P. Miller,
Lui Sha,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Steven P. Miller,
Alan C. Tribble,
Timothy M. Carlson,
2003
.
Bruce H. Krogh,
Darren D. Cofer,
Michael W. Whalen,
2007,
FMICS.
Darren D. Cofer,
Michael W. Whalen,
Steven P. Miller,
2008,
ERCIM News.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2013
.
Mats Per Erik Heimdahl,
Jeffrey M. Thompson,
Steven P. Miller,
1999,
ESEC/FSE-7.
Steven P. Miller,
A. C. Tribble,
2001,
20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).
Mark W. Lenox,
Steven P. Miller,
John W. Young,
2001,
2001 IEEE Nuclear Science Symposium Conference Record (Cat. No.01CH37310).
Steven P. Miller,
2004,
IFIP Congress Topical Sessions.
Steven P. Miller,
John J. Helly,
Anthony A. P. Koppers,
2001,
MTS/IEEE Oceans 2001. An Ocean Odyssey. Conference Proceedings (IEEE Cat. No.01CH37295).
Ghassan Hamarneh,
Brian G. Booth,
Jeremy Kawahara,
2017,
NeuroImage.
Steven P. Miller,
S. Miller,
1995
.
Lui Sha,
Darren D. Cofer,
Steven P. Miller,
2009,
2009 IEEE/AIAA 28th Digital Avionics Systems Conference.
Michael W. Whalen,
Steven P. Miller,
Lucas G. Wagner,
2013
.
Joe H. Mize,
Arthur Sweeney,
Steven P. Miller,
2010
.
Darren D. Cofer,
John D. Backes,
Steven P. Miller,
2015,
NFM.
Darren D. Cofer,
Matthew A. Clark,
Steven P. Miller,
2013,
FMICS.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2006
.
Steven P. Miller,
C. Neiswender,
P. D. J. Clark,
2006
.
Colin Studholme,
Piotr A. Habas,
Steven P. Miller,
2010,
Medical Imaging.
Manual-Protocol Inspired Technique for Improving Automated MR Image Segmentation during Label Fusion
M. Mallar Chakravarty,
Jens C. Pruessner,
Jon Pipitone,
2016,
Front. Neurosci..
Mandayam K. Srivas,
Steven P. Miller,
1995
.
Colin Studholme,
Steven P. Miller,
Vann Chau,
2017,
MICCAI.
Alan K. Wallace,
Steven P. Miller,
John J. Helly,
2004
.
Roland G. Henry,
Daniel B. Vigneron,
Steven P. Miller,
2005,
NeuroImage.
Elmer W. Collins,
Steven P. Miller,
Michael A. Quintana,
2011
.
Lui Sha,
Darren D. Cofer,
Michael W. Whalen,
2012,
NASA Formal Methods.
Steven P. Miller,
2006,
14th IEEE International Requirements Engineering Conference (RE'06).
Mandayam K. Srivas,
Steven P. Miller,
1996,
Formal Methods Syst. Des..
Darren D. Cofer,
Steven P. Miller,
2014,
NASA Formal Methods.
Ghassan Hamarneh,
Brian G. Booth,
Steven P. Miller,
2016,
NeuroImage.
Steven P. Miller,
2004
.
Hua Jin,
Roland G. Henry,
Ying Lu,
2005,
NeuroImage.
Daniel Day,
Steven P. Miller,
John J. Helly,
2002
.
Joshua S. Stein,
Elmer W. Collins,
Steven P. Miller,
2011
.
Joshua S. Stein,
Elmer W. Collins,
Steven P. Miller,
2010
.
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2004
.
Neil R. Sorensen,
Steven P. Miller,
Michael A. Quintana,
2010
.
John H. Gauthier,
Steven P. Miller,
Denise D. Padilla,
2016
.
Steven P. Miller,
S.P. Miller,
A. Joshi,
2005,
24th Digital Avionics Systems Conference.
Steven P. Miller,
M. Heimdahl,
M. Whalen,
2005
.
Steven P. Miller,
M. Srivas,
S. Miller,
1995
.