Publications: Steve Roach (December 2007)
Kephart, K., E. Villa, A. Gates, and S. Roach, The Affinity Research Group Model: Creating and Maintaining Dynamic, Productive and Inclusive Research Groups, The CUR Quarterly, Council on Undergraduate Research (Submitted July 2007).
Gates, A., S. Roach, E. Villa, K. Kephart, C. della Piana, G. della Piana, The Affinity Research Group Model: Creating and Maintaining Effective Research Teams, IEEE-CS Press (submitted Nov 2007).
Roach, S. and A. Gates, Teaching Software Engineering in a Computer Science Program Using the Affinity Research Group Philosophy, in Software Engineering: Effecting Teaching and Learning Approaches and Practices, Heidi Ellis, Editor, 2008 (Submitted Nov 2007).
Ochoa, O., I. Gallegos, S. Roach and A. Gates, “Towards a Tool for Generating Aspects from MEDL and PEDL specifications for Runtime Verification,” in RV 2007, O. Sokolsky and S. Tasiran (Eds.), vol. LNCS, no. 4839, Vancouver, Canada. Springer-Verlag Berlin Heidelberg, Mar. 2007, pp. 75-86. (pdf 127K)
Roach, S. and J. Simon, Teaching and Assessing Graduate Ethics in Engineering, Science, and Technology, International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 07), December 3 - 12, 2007. (pdf, 53k)
Salamah, S., A. Gates, V. Kreinovich, and S. Roach, Verification of Automatically Generated Pattern-Based LTL Specifications, 10th IEEE High Assurance Systems Engineering Symposium, Dallas, Texas, November 14 - 16, 2007. (pdf, 252K)
Garcia, L. and S Roach, Model-Checker-Based Testing of LTL Specifications, 10th IEEE High Assurance Systems Engineering Symposium, Dallas, Texas, November 14 - 16, 2007. (pdf, 31k)
Gallegos, I, O. Ochoa, S. Roach, and A. Gates, Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification, Seventh International Workshop on Runtime Verification, Vancouver, British Columbia, Canada, March 13, 2007. (pdf, 25k)
Salamah, S., Ann Q. Gates, Vladik Kreinovich, and Steve Roach, “Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications”, K.S. Namjoshi et al. (Eds.): ATVA 2007, LNCS 4762, Springer-Verlag, pp. 533–542, 2007. (pdf, 285K)
Mondragon, O., Gates, A., Roach, S., Mendoza, H. and O. Sokolsky, “Generating Properties for Runtime Monitoring from Software Specification Patterns,” International Journal of Software Engineering and Knowledge Engineering, February 2007. (pdf, 282K)
CASVU 3.0, Software for the Analysis of ISS and VIMS Data for NASA’s Cassini Mission to Saturn, © 2004-2007 (with G. Marquez, S. Madrid, E. Medina, F. Osuna), © 2007, Department of Computer Science, University of Texas at El Paso.
Roach, S. and M. Marquez, “Software Requirements Specification for Simulation Testbed for Autonomous Robotic Vehicles (STARV) Version 2.4,” report for Martin Rivas and Brian Stewart, Office of Technology Research, White Sands Missile Range, , August 2007.
Salayandia, L., Huang, Y., Gates, A.Q., and S. Roach, “GeoNet: Use of Grid Technologies in Geoinformatics for the Transition Zone between the Colorado Plateau and the Basin & Range Province.” in Geoinformatics: Data to Knowledge, edited by A.K. Sinha, Geological Society of America, 2006, pp 183-194. (pdf, 358K)
Roach, S., Towards a Research Agenda for Large-Scale Distributed Computation for Scientific Processing, Proceedings of the Role of Computer and its Effect on Development (RCED 05), Ma’an, Jordan, July 2006.
CASVU-VIMS 1.0, Software for the Analysis of VIMS data for NASA’s Cassini Mission to Saturn, © 2004-2006. (with G. Marquez, J. Fernandez), Department of Computer Science, University of Texas at El Paso.
Salamah, S., A. Gates, S. Roach, and O. Mondragon, “Verifying Pattern-Generated LTL Formulas: A Case Study.” In P. Godefroid (Ed.), SPIN 2005, LNCS 3639, Springer-Verlag, Berlin, pp 200-220, 2005.
Roach, S. and J. Van Baalen, “Automated Procedure Construction for Deductive Synthesis.” Journal of Automated Software Engineering, Springer Science and Business Media, Vol. 12, No. 4, pp 393-414, October, 2005. (Paper, PostScript, 600K).
Z. Balsara and S. Roach, Prediction of Inherited and Genetic Mutations Using the Software Model Checker SPIN, 20th ACM Symposium on Applied Computing (SAC 2005), Santa Fe, New Mexico, March, 2005. (pdf, 74k)
V. Winter, J. Beranek, A. Mametjanov, F. Fraij, S. Roach, G. Wickstrom, A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP, Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005) Feb 2nd through 4th, 2005, Sedona, Arizona (pdf, 181K)
A. Gates, S. Roach, O. Ochoa, I. Gallegos, and O. Sokolsky, JavaMac and Runtime Monitoring for Geoinformatics Grid Services, Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005) Feb 2nd through 4th, 2005, Sedona, Arizona (pdf 74K)
Roach, S. and O. Ochoa, “Software Requirements Specification for The PACES Satellite Scene Viewer,” report for Dr. Randy Keller of the Department of Geology, The University of Texas at El Paso, August 2005.
CASVU-ISS 1.1, Software for the Analysis of ISS data for NASA’s Cassini Mission to Saturn, © 2004-2005 (with C. Trujillo, G. Marquez, J. Fernandez), Department of Computer Science, University of Texas at El Paso © 2005.
Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, and Greg Wickstrom, “A Transformational Perspective into the Core of an Abstract Class Loader for the SSP,” ACM Transactions on Embedded Computing Systems Special Issue on Embedded Software, 2004.
Delgado, N., Gates, A., and S. Roach, “A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools,” IEEE Transactions on Software Engineering, 30(12), December 2004, 859-872. (pdf, 322K)
Campos, C., F. Modave, and S. Roach, “The AKS Algorithm in ACL2,” Fifth International Conference on Intelligent Technologies, InTech’04, Houston, Texas, December 2-4, 2004. (pdf, 105K)
Fraij, F. and S. Roach, Verifying Transformation Rules of the HATS High-Assurance Transformation System: An Approach, In M. Kaufmann and J S. Moore, editors, 5th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2004), Austin, TX, November 2004. (pdf 258K)
Fraij, F., S. Roach, and V. Winter, Higher-Order Strategic Programming: A Road to Software Assurance, The Eighth IASTED International Conference on Software Engineering and Applications, Cambridge, MI, November 2004. (pdf 153k)
Vasquez, J. and S. Roach, A Tool to Support the CRC Design Method, International Conference on Engineering Education (ICEE04), Gainesville Florida, October 2004.
Wickstrom, G., J. Davis, S. Morrison, S. Roach, and V. Winter, “The SSP: An Example of High-Assurance Systems Engineering,” Eighth IEEE International Symposium on High Assurance Systems Engineering, Tampa, Florida, March 25-26, 2004. (pdf, 285k)
Mondragon, O., A. Gates, and S. Roach, “Prospec: Support for Elicitation and Formal Specification of Software Properties,” in Electronic Notes in Theoretical Computer Science, vol. 28, no. 2, O. Sokolsky and M. Viswanathan, Eds., Elsevier, 2003, http://www.elsevier.nl/gej-ng/31/29/23/141/48/28/89.2.006.pdf (Dec. 2003).
Wickstrom, G., Victor Winter, Jason Beranek, Steve Roach, and Fares Fraij, An Abstract Class Loader for the SSP and its Implementation in TL, Sandia Report SAND2004-3225, Unlimited Release Printed August 2004, Sandia National Laboratories.
Winter, V., Steve Roach, and Fares Fraij, Dependable Software through Higher-order Strategic Programming, Sandia Report SAND2004-0868, Unlimited Release Printed March 2004, Sandia National Laboratories.
Roach, S. and O. Ochoa, “Software Requirements Specification for the AVS System,” Report for Dr. Randy Keller, Department of Geology, The University of Texas at El Paso, Department of Computer Science, University of Texas at El Paso, August 2004.
CASVU Cassini Saturn Data Analysis Tool V1.0, (with C. Trujillo and G. Marquez), Department of Computer Science, University of Texas at El Paso © 2004.
Winter, V., S. Roach, and G. Wickstrom, “Transformation-Oriented software development,” in M. Zelkowitz, Ed., Advances in Computers, vol. 58, Academic Press, Amsterdam, pp 49-117, 2003.
Gates, A. and S. Roach, “Special Panel Session: The Art Of Getting Students To Practice Team Skills,” with E. Villa, J. Sullivan, R. Upchurch, and K. Smith, In Proceedings of 33rd ASEE/IEEE Frontiers in Education Conference, Boulder, Colorado, November 2003.
Gates, A., O. Mondragon, M. Payne, and S. Roach, “Instrumentation of Intermediate Code for Runtime Verification,” In the Proceedings of the 28th Annual NASA/IEEE Software Engineering Workshop, Greenbelt, Maryland, December, 2003. (pdf, 67K)
Roach, S., C. Trujillo, and G. Marquez, “Software Requirements Specification for the Ring Data Analysis Software for the NASA Cassini Mission Version 1.2,” Report for Dr. Jeffrey Cuzzi of the NASA Ames Research Center, Department of Computer Science, University of Texas at El Paso, August 2003.
Vasquez, J., G. Marquez, H. Curry, and S. Roach, “CRC Design Tool, V1.0,”Department of Computer Science, University of Texas at El Paso. 2003.
Roach, S. and M. Miranda, “Software Requirements Specification for the Data Management for Decision Support for Cotton Producers in the Rio Grande Valley Version 1.2,” Report for Dr. Joe Ellington of the Department of Agronomy, New Mexico State University, Department of Computer Science, University of Texas at El Paso, August 2003.
Roach, S., “Software Requirements Specification for the Ring Data Analysis Software for the NASA Cassini Mission Version 1.2,” Report for Dr. Jeffrey Cuzzi of the NASA Ames Research Center, Department of Computer Science, University of Texas at El Paso, August 2003.
V. Winter, S. Roach, and G. Wickstrom, “Transformation-Oriented software development”, in Advances in Computers, to appear in 2003.
M. Maxwell, M. Nieto, S. Roach, P. Teller, “Laboratory Manual for Computer Science 3432 Computer Architecture I, Second Edition,” University of Texas at El Paso, 2003.
Mondragon, O., A. Gates, and S. Roach, S., “Prospec: Support for Elicitation and Formal Specification of Software Properties,” Proceedings of the 3rd Workshop on Runtime Verification, Boulder, Colorado, July 13, 2003. (Paper, PDF, 835K).
P. Teller, M. Nieto, and S. Roach, “Combining Learning Strategies in a First Course in Computer Architecture,” Proceedings of the Workshop on Computer Architecture Education, 30th International Symposium on Computer Architecture, San Diego, California, June 8, 2003. (Paper, PDF, 580KB)
Mondragon, O., A. Gates, and S. Roach, S., “Composite Propositions: Toward Support for Formal Specification of System Properties.” In the Proceedings of the 27th Annual IEEE/NASA Software Engineering Workshop, Greenbelt,Maryland, December, 2002.(Paper, PDF, 164K)
Roach, S. and J. Van Baalen, “Experience Report on Automated Procedure Construction for Deductive Synthesis.” In the Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, September, 2002, pp69-78.(Paper, PostScript, 364K)
Roach, S., “Logic-Based Program Synthesis: State-of-the-Art and Future Trends.” In the Proceedings of the 2002 American Association for Artificial Intelligence AAAI Spring Symposium on Logic-Based Program Synthesis, Stanford University, Palo Alto, California, March, 2002.(Paper, PDF, 28K)
Gates, A., L. Salayandia, and S. Roach, “Software Requirements Specification for Scene and Countermeasures Integration for Munition Interaction with Targets (SCIMITAR) Graphical User Interface.” Report for Army Research Laboratories Survivability Lethality Analysis Directorate, Department of Computer Science, University of Texas at El Paso, January 2002.
Gates, A. Q., O. Mondragon, S. Roach, and A. Provetti, “Towards Object-level Constraint Instrumentation: From Control Flowgraphs to Path Expressions.” White Paper, Department of Computer Science, University of Texas at El Paso, El Paso, Texas, November 2001.
Gates, A. Q., S. Roach, O. Mondragon, N. Delgado. “DynaMICs: Comprehensive Support for Run-Time Monitoring.” Electronic Notes in Theoretical Computer Science, 55 No. 2, 2001. (Paper, PostScript, 920K)
Roach, S., “The Impact of Technology on Engineering and Computer Science Education in the 21st Century: Changing Classroom Instructional Methods.” In Proceedings of 31st ASEE/IEEE Frontiers in Education Conference, Reno, Nevada, October 2001. (Paper, PDF, 36K)
Roach, S. F. Leyva, and A. Gates, “Software Requirements Specification for the HATS Graphical User Interface,” Report for Sandia National Laboratories, Department of Computer Science, University of Texas at El Paso, August 2001. (Paper, pdf, 370K)
Gates, A. and S. Roach, “A Framework for Knowledge Management and Automated Constraint Monitoring.” In Proceedings of the Monterey Formal Methods Workshop, Monterey, California, June 2001. (Paper, PDF, 68K)
Roach, S. and A. Gates, “Towards Synthesis of Runtime Constraint Monitoring Code.” In the Proceedings of the 2nd International Workshop on Automated Program Analysis, Testing, and Verification (WAPTV), 23rd International Conference on Software Engineering, Toronto, Ontario, Canada, May 2001. (Paper, PDF, 37K)
Roach, S., “Constructing Decision Procedures for Domain Specific Deductive Synthesis.” Dagstuhl Seminar 01221 Can Formal Methods Cope With Software Intensive Systems?, International Conference and Research Center for Computer Science, Dagstuhl, Germany, May 2001.
Gates, A, N. Delgado, and S. Roach, “Software Requirements Specification for the Classroom Assessment Continuous Quality Improvement (CACQI) System.” Report for Greg Lush, College of Engineering, Department of Computer Science, University of Texas at El Paso, January 2001.
Roach, Steven M., C. Babiuch, “Saturn7-1”, Science Opportunity Visualization Software for the NASA Cassini Rings Working Group, Summer 2000.
Roach, Steven M., “Amphion Usability Study”, White Paper, Adams State College, Alamosa, Colorado, 2000. (Paper, pdf, 18K)
Van Baalen, J, and S. Roach, "Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems", in P. Flener, editor, Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (LOPSTR'98), Manchester, UK, Lecture Notes in Computer Science, Vol. 1559, Springer-Verlag, 1999, pp 61-70. (Paper, PostScript, 1.1MB)
Buntine, W., B. Fischer, K. Havelund, M. Lowry, T. Pressburger, S. Roach, P. Robinson, J. Van Baalen, "Transformation Systems at NASA Ames", International Conference on Software Engineering, ICSE 1999, , Los Angeles, CA, May 1999. (Paper, PostScript, 327K)
Roach, S., Van Baalen, J., Lowry, M., "Meta-Amphion: Scaling up High Assurance Deductive Program Synthesis", IEEE High Integrity Software Symposium, Albuquerque, New Mexico, pp. 81-93, October 15-16, 1997. (Paper, PDF, 61K)
Roach, Steven M., "TOPS: Theory Operationalization for Program Synthesis", PhD Thesis, University of Wyoming, August 1997. (Abstract, pdf, 6K)
Roach, S. and M. Magee, "Relative spatial pose estimation for autonomous grasping," Optical Engineering, 36(12) 1-12, December, 1997. (Paper, PostScript, 882K)
Roach, S., J. Van Baalen, Automatic Program Synthesis in Amphion, a Simulation Package for Evaluating Space Probe Missions, Proceedings of the Wyoming Space Grant Symposium, University of Wyoming, 1996. (Paper, PostScript 58K)
Roach, S. and M. Magee, "Iterative Estimation of the Relative Spatial Poses of a Robot End Effector and Target Object," Proceedings of the IEEE Southwest Symposium on Image Analysis and Interpretation, San Antonio, Texas, April, 1996. (Abstract, PostScript, 16K) and in (Paper, PostScript, 255K)
Gantenbein, R., S. Roach, M. Zimmerman, Software Prototyping as a Tool for Evaluating Real-Time Fault Management Algorithms: A Case Study, Proceedings of the 13th Annual Conference of the Association of Management, August 1995.
Roach, S., M. Lowry, T. Pressburger, Animating Observation Geometries with Amphion, Information Systems Newsletter, Vol III, 1995, Issue 35. (Paper (html))
Gantenbein, R., S. Roach, M. Zimmerman, Evaluating Fault Detection, Isolation, and Recovery Techniques in Space-Based Communications Systems, Final Report to the Tracking and Communications Division, Engineering Directorate, Johnson Space Center, National Aeronautics and Space Administration, Houston, Texas, September, 1994.
Zimmerman, M., S. Roach, R. Gantienbein, Software Prototyping for Evaluating Fault Management Algorithms, NASA's Wyoming Space Grant Graduate and Undergraduate Fellowship Reports, University of Wyoming, 1994.
Roach, S., "The Combinatorics of Paper Folding", Masters Thesis, University of Wyoming Department of Computer Science, April, 1992.
Roach, S., ISPLDA: PC Based Data Acquisition System," Western Research Institute, Laramie, Wyoming, 1990.
Roach, S., Tutorial for Programming in C," Western Research Institute, Laramie, Wyoming, 1989.
Bayless, J. H., J. Jablonski, S. Roach, P. Sullivan, Inhibition of the Mutagenicity and Metabolism of 6-Methyl-Benzo[a]Pyrene and 6-Hydroxymethyl- Benzo[a]Pyrene, Biochemical Pharmacology, Vol 35, No 14, pp 2313-2322, 1986.
Bayless, J. H., S. Roach, P. Sullivan in Polynuclear Aromatic Hydrocarbons: Mechanisms, Methods, and Metabolism, (M. Cooke and A. J. Dennis, eds), p 135, Battelle Press, Columbus OH, 1985.