STEVEN M. ROACH
Department of Computer Science
University of Texas at El Paso
El Paso, TX 79932
sroach@cs.utep.edu
Education
|
1997 |
Doctor of Philosophy, Computer Science, University of Wyoming, Laramie, Wyoming. |
|
1992 |
Masters of Science, Computer Science, University of Wyoming, Laramie, Wyoming. |
|
1983 |
Bachelor of Science, cum laude, Ohio University, Athens, Ohio |
Experience
|
2006-present |
Associate Professor of Computer Science, Department of Computer Science, The University of Texas at El Paso. |
|
2005-2006 |
Senior Software Design Engineer, Mackichan Software Incorporated, Las Cruces, New Mexico. |
|
2001-present |
Assistant Professor of Computer Science, Department of Computer Science, University of Texas at El Paso . |
|
<div align="right">1998 - 2000 |
Assistant Professor of Computer Science, Department of Mathematics and Computer Science, Adams State College, Alamosa, Colorado. |
|
<div align="right">1997-1999 </div> |
Computer Scientist I, Recomm Technologies, NASA Ames Research Center, Moffett Field, California. |
|
<div align="right">1994,1995 1996</div> |
Summer Research Fellow, Computational Sciences Division, NASA Ames Research Center, Moffett Field, California. <div align="left"> |
|
1990-1997 |
Scientific Programmer, Resource Technology Corporation, Laramie, Wyoming. |
|
1994-1997 |
Graduate Research Assistant, Computer Science, University of Wyoming. |
|
<div align="right">1993-94</div> |
Graduate Research Assistant, Computer Science, University of Wyoming. |
|
1992-1993 |
Computer Programmer III, Division of Information Technology, University of Wyoming, Laramie, Wyoming. |
|
1990-1992 |
Graduate Teaching Assistant, Computer Science, University of Wyoming. <div align="left"> |
|
1985-1990 |
Scientific Programmer, Western Research Institute, Laramie, Wyoming. |
|
<div align="right">1984-1985</div> |
Systems Programmer, Blue Cross/Blue Shield of Wyoming, Cheyenne, Wyoming. |
|
<div align="right">1983</div> |
Graduate Teaching Assistant, Chemistry, Montana State University, Bozeman, Montanta. |
|
<div align="right">1980-83</div> |
Research Technician, Department of Chemistry, Ohio University, Athens, Ohio. |
PUBLICATIONS
Refereed Journal Articles:
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 (Accepted, January 2008).
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.
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.
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.
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, (A.K. Sinha, ed.), Geological Society of America, 2006.
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.
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.
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).
Gates, A. Q., S. Roach, O. Mondragon, N. Delgado. “DynaMICs: Comprehensive Support for Run-Time Monitoring.” Electronic Notes in Theoretical Computer Science, vol. 55, no. 2, Elsevier, 2001.
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.
Roach, S. and M. Magee, "Relative spatial pose estimation for autonomous grasping," Optical Engineering, 36(12) 1-12, December, 1997.
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.
Non-Refereed Journal Articles
Roach, S., M. Lowry, T. Pressburger, Animating Observation Geometries with Amphion, Information Systems Newsletter, Vol III, 1995, Issue 35.
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, 2008.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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
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.
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.
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.
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.
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.
Teller, P., M. Nieto, and S. Roach, “Combined Learning Strategies in a First Course in Computer Architecture,” Proceedings of the Workshop on Computer Architecture Education in conjunction with The 30th International Symposium on Computer Architecture and 2003 Federated Computing Research Conference, San Diego, CA, June 8, 2003, pp 41-48.
Mondragon, O., A. Gates, and S. Roach, “Composite Propositions: Toward Support for Formal Specification of System Properties.” In the Proceedings of the 27th Annual NASA/IEEE Software Engineering Workshop, Greenbelt, Maryland, December, 2002.
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.
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.
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.
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.
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.
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.
Van Baalen, J, and S. Roach, "Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems", Proceedings of LOPSTR'98 Eighth International Workshop on Logic Program Synthesis and Transformation, Manchester, UK, June 1998.
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.
Roach, Steven M., "TOPS: Theory Operationalization for Program Synthesis", PhD Thesis, University of Wyoming, August 1997.
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.
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.
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. 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.
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.
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.
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., 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.
Maxwell, M., M. Nieto, S. Roach, P. Teller, “Laboratory Manual for Computer Science 3432 Computer Architecture I, Second Edition,” 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.
Roach, S. F. Leyva, and A. Gates, “Software Requirements Specification for the Remotely Controlled Radio Frequency Jammer.” Report for the Army Research Laboratory, Survivability and Lethality Analysis Directorate, Department of Computer Science, University of Texas at El Paso, August 2002.
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. and S. Roach, “Request for Support of Run-time Software Fault Monitoring through DynaMICs.” White Paper, Department of Computer Science, University of Texas at El Paso, El Paso, Texas, November 2001.
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.
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.
Roach, S., "Enhancement of Amphion," Final Report for NASA Grant N99-598, NASA Ames Research Center, February 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, S., “Amphion Usability Study”, White Paper, Adams State College, Alamosa, Colorado, 2000.
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., 1990, ISPLDA: PC Based Data Acquisition System," Western Research Institute.
Roach, S., 1989, Tutorial for Programming in C," Western Research Institute.
2007 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.
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.
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.
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.
2003, CRC Design Tool, V1.0, (with J. Vasquez and G. Marquez), Department of Computer Science, University of Texas at El Paso.
2002, Saturn Footprint Analyzer V1.0, http://www.cs.utep.edu/sroach/NASA
2002, Saturn Viewer V7.4, http://www.cs.utep.edu/sroach/NASA
2001, Saturn Viewer V7.3, http://www.cs.utep.edu/sroach/NASA
2001, Saturn Viewer V7.2, http://www.cs.utep.edu/sroach/NASA.
2000, Saturn Viewer V7.1 (previously available via anonymous ftp to ic-ftp.arc.nasa.gov).
1999, Saturn Viewer V7.0 (previously available via anonymous ftp to ic-ftp.arc.nasa.gov).
1990, In-situ Processing Laboratory Data Acquisition System V3.1, Western Research Institute, Laramie, Wyoming.
2007, “Teaching and Assessing Graduate Ethics in Engineering, Science, and Technology”, at the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 07), December 10, 2007.
2007, “Model-Checker-Based Testing of LTL Specifications”, at the 10th IEEE High Assurance Systems Engineering Symposium, Dallas, Texas, November 14 - 16, 2007.
2007, “Building Reliable Software from Proofs Amphion, Deductive Synthesis, and Space”, presented to the Department of Philosophy, UTEP, Oct. 11, 2007.
2007, “Peer Led Team Learning”, presented to Texas A&M University Corpus Christie, June 8-9, 2007. (With Elsa Villa)
2007, “The Affinity Research Group Model”, presented to Texas A&M University Corpus Christie, May 10, 2007. (With Elsa Villa)
2007, “Reaching Out Across Disciplines: Learning from Each Other to Produce More Graduates In Computer Science” (with Eric Madrid), presented to the Texas Engineering and Technical Consortium, March 5, 2007, Austin, Texas.
2007, “Reaching Out Across Disciplines: Learning from Each Other to Produce More Graduates In Computer Science” (with Judy Reinhartz), presented to the Texas Workforce Development Commission Conference on Best Practices, Feb 5, 2007, Austin, Texas.
2007, “Building Reliable Software from Proofs Amphion, Deductive Synthesis, and Space”, presented to the UTEP Department of Mathematics, Feb 2, 2007.
2006, “Sorting Algorithms”, a workshop presented to the Computing Alliance, December 2006 (With six undergraduate students from the PLTL workshops).
2006, TA and PLTL training workshop, August 17-18, 2006, UTEP Computer Science.
2006, “Towards a Research Agenda for Large-Scale Distributed Computation for Scientific Processing”, keynote presentation for the Role of Computer and its Effect on Development (RCED 05), Ma’an, Jordan, July 2006.
2006, “The Affinity Research Group”, presented to The Department of Computer Science, New Mexico State University, April 2006. (With Ann Gates and Elsa Villa)
2006, “Building Reliable Software from Proofs”, Reed College Department of Mathematics, Portland, Oregon, February 4, 2006.
2005, “The Cassini Mission to Saturn”, presented to the Texas Space Grant Consortium, Houston, Texas, March 2005.
2004, “Session on Competing Concerns,” presented to the College of Engineering Workshop for Teaching Assistants and Peer Facilitators, August 18, 2004 (with Ann Gates).
2004, “The need for Mathematics in Computer Science,” presented to the Department of Computer Science, Oregon Institute of Technology, Klamath Falls, Oregon, May 11, 2004.
2004, “Deduction and Program Synthesis,” presented to the Department of Mathematics, Oregon Institute of Technology, Klamath Falls, Oregon, May 11, 2004.
2004, “The Affinity Research Group Model,” presented at Radford University in Radford, Virginia, April 16-17, 2004.
2003, “Instrumentation of Intermediate Code for Runtime Verification,” at the 28th Annual NASA/IEEE Software Engineering Workshop, Greenbelt, Maryland, December, 2003 (with Mary Payne).
2003, “The Art Of Getting Students To Practice Team Skills,” at the 33rd ASEE/IEEE Frontiers in Education Conference, Boulder, Colorado, November 2003 (with E. Villa, J. Sullivan, R. Upchurch, and K. Smith).
2003, September, 11th Annual IEEE Conference on Requirements Engineering, Monterey, California.
2003, July, Workshop on the ACL2 Theorem Prover, co-located with the Conference on Automated Verification, Boulder, Colorado.
2003, July, Workshop and Training for the Access Grid, Sponsored by the NSF and the National Center for Super Computing Applications, Daytona, Florida.
2003, June, Modern Software Development Using .NET, sponsored by Microsoft and Lake Forrest College, Lake Forrest, IL, June 1-6, 2003.
2003, “Strategies for Building Effective Teams for Team-Based Learning.” At the Second Annual Sun Conference on Teaching and Learning, University of Texas at El Paso, El Paso, Texas, March 2003 (with Ann Gates).
2002, “Theory Operationalization for Deductive Synthesis.” At the New Mexico State University Department of Computer Science, Las Cruces, New Mexico, November 8, 2002.
2002, “ABET Accreditation Process.” At the University of Nebraska at Omaha College of Information Science and Technology, Omaha, Nebraska, September 2002.
2002, “Experience Report on Automated Procedure Construction for Deductive Synthesis,” at the 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, September, 2002.
2002, “Experiences with Program Synthesis,” At the 2002 American Association for Artificial Intelligence AAAI Spring Symposium on Logic-Based Program Synthesis, Stanford University, Palo Alto, California, March, 2002.
2002, “Combining Leaning Strategies to Prepare Students for Upper-level Computer Science Courses.” At the First Annual Sun Conference on Teaching and Learning, University of Texas at El Paso, El Paso, Texas, March 2002 (with Pat Teller, Mike Maxwell, and Manuel Nieto).
2002, “Theory Operationalization for Deductive Synthesis.” At the University of Nebraska at Omaha College of Information Science and Technology, Omaha, Nebraska, February 2002.
2001, November, 26th Annual NASA Goddard Software Engineering Workshop, Greenbelt, Maryland.
2001, “The Impact of Technology on Engineering and Computer Science Education in the 21st Century: Changing Classroom Instructional Methods.” At the 31st ASEE/IEEE Frontiers in Education Conference, Reno, Nevada, October 2001.
2001 “DynaMICs: Comprehensive Support for Run-Time Monitoring.” At the Runtime Verification 2001 Satellite Workshop to the Conference on Automated Verification ’01, Paris, France, July 2001.
2001, June, Monterey Workshop 2001, Monterey, California.
2001, “Towards Synthesis of Runtime Constraint Monitoring Code.” At the 2nd International Workshop on Automated Program Analysis, Testing, and Verification (WAPTV), 23rd International Conference on Software Engineering, Toronto, Ontario, Canada, May 2001.
2001, “Constructing Decision Procedures for Domain Specific Deductive Synthesis.” At Dagstuhl Seminar 01221 Can Formal Methods Cope With Software Intensive Systems?, International Conference and Research Center for Computer Science, Dagstuhl, Germany, May 2001.
2000, October, Conference on Object-Oriented Programming, Systems, Languages, and Applications, Minneapolis, Minnesota.
2000, November, High Integrity Software Conference, Albuquerque, New Mexico.
2000, "Saturn, Deductive Synthesis, and Other Topics,” UTEP Computer Science Colloquium, November 2000.
1999, October, Conference on Object-Oriented Programming, Systems, Languages, and Applications, Denver, Colorado.
1999, November, High Integrity Software Conference, Albuquerque, New Mexico.
1999, May, International Conference on Software Engineering, Los Angeles, California.
1999, May, Colorado Council of Teachers of Mathematics, Alamosa, Colorado.
1999, April, Mathematics Association of America, Alamosa, Colorado.
1999, "Robotics in the Classroom", Council of Teachers of Mathematics, Adams State College, May 1999.
1999, "Robotics and Mathematics", a one-day seminar for the Summer High School Institute, Adams State College, June 1999.
1998, Amphion Demonstration, Eighth International Workshop on Logic Program Synthesis and Transformation, Manchester, UK, June 1998.
1998, "Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems,” Eighth International Workshop on Logic Program Synthesis and Transformation, Manchester, UK, June 1998.
1998, "Pose Estimation of Robot Hand", Adams State College Department of Mathematics and Computer Science, April.
1997, Amphion Demonstration, Twelfth IEEE International Conference on Automated Software Engineering, Incline Village, Nevada, November 3-5.
1997, Amphion Demonstration, Second US-Brazil Workshop on the Formal Foundations of Software Systems, Tulane University, New Orleans, November 13-16.
1997, "Meta-Amphion: Scaling up High Assurance Deductive Program Synthesis", IEEE High Integrity Software Symposium, Albuquerque, New Mexico, October 15-16, 1997.
1997, "Deductive Program Synthesis for Astronomical Observations", University of Texas at El Paso Department of Computer Science, October.
1997, "Automatic Program Synthesis in Amphion," Adams State College Department of Mathematics and Computer Science, April.
1996, "Iterative Estimation of the Relative Spatial Poses of a Robot End Effector and Target Object," IEEE Southwest Symposium on Image Analysis and Interpretation, IEEE, San Antonio, Texas, April 8-10, 1996.
1996, "Automatic Program Synthesis in Amphion, a Simulation Package for Space Probe Missions," Wyoming Space Grant Symposium, University of Wyoming, October 11, 1996.
1994, "Amphion: Animating Programs using Deductive Synthesis" UW Computer Science Colloquium, November 1994.
1992, "The Combinatorics of Paper Folding", UW Computer Science Colloquium, April, 1992.
2007, Reviewer for The Journal of the Institution of Engineering Technology (IET, 1 review in 2007).
2007, Reviewer for IEEE Transactions on Software Engineering (2 reviews in 2007).
2007, Reviewer for Frontiers in Education 2007 (8 reviews).
2007, IEEE Workshop on Runtime Verification RV2007, program committee member
2007, IEEE High Assurance System Engineering HASE 2007, program committee member
2007, UTEP Academic Responsibility, Privilege, and Ethics Committee (CARPE), 2006-present
2006, National Science Foundation, panel member 2006, 20 proposals.
2006, Frontiers in Education 2006, reviewer.
2006, EECC 2006, First International Workshop on Evaluation and Evolution of Component Composition, program committee member.
2004, Reviewer for Natural Sciences and Engineering Research Council of Canada (reviewed research proposals).
2004, Reviewer for McGraw-Hill/Irwin Publishing, (textbook).
2003, Fall, Site visitor for the Accreditation Board of Engineering Technology (ABET).
2002-2005, IEEE Computer Society Certified Software Engineering Professional Examination reviewer.
2003, September, Member of the NASA NRA Review Panel for the
ECS Resilient Software Engineering proposals, NASA Ames Research Center, Moffett Field, California.
2002-2003, Chair, IEEE/ACM CCSE Pedagogy Focus Group Subcommittee for Intermediate and Advanced Modules. The committee is tasked with building curriculum recommendations that will give guidance to institutions and faculty about how to teach SEEK knowledge and related skills for advanced topics in SEEK.
2002-2003, UTEP Committee on Sustainable Engineering, College of Engineering, University of Texas at El Paso.
2001, June, Panel Member, National Science Foundation, Computer and Information Science and Engineering, Washington, D.C.
1999-2000, Technology Proficiency Assessment Subcommittee of the General Education Committee, Adams State College.
1998-2000, Academic Instructional Technology Committee, Adams State College.
2000, Reviewer for Natural Sciences and Engineering Research Council of Canada, (reviewed research proposals).
1999, Reviewer for Scott Jones Publishing, (reviewed a software engineering textbook).
1999, Reviewer of the IEEE Software Engineering Body of Knowledge (SWEBOK) Stoneman version.
1999, Reviewer for a special edition of the Journal of Logic Programming in 1999.
1997-1999, Program Committee, International Conference on Software Engineering and Knowledge Engineering.
2007-present, Director, Undergraduate Program, Department of Computer Science, UTEP.
2001-present, Graduate Program Committee, Department of Computer Science, UTEP.
2001-present, Facilities Committee (chair), Department of Computer Science, UTEP.
2003-2005, Undergraduate Program Committee.
1999-2000, MathStar Committee, Department of Mathematics, Adams State College, 1999-2000.
1999, Mathematics Experience Committee, Department of Mathematics, Adams State College.
1994-1997, Graduate Committee Student Representative, Department of Computer Science, University of Wyoming.
2007, Judge, 2007 International Science Fare, Albuquerque, NM, May 2007.
1999, Judge, 1999 Science Fair, Adams State College, March 1999.
Research, Grants, and Proposals:
2008, “Improving Dependability of Software Systems through Rigorous Testing against Requirements,” proposed through the Center for Defense Systems Research (Joe Riojas, lead), $125,000, 1/1/08-12/31/08 (Yoonsik Cheon, PI).
2007, New Initiative Proposal to IEEE Computer Society, to support publication of ARG handbook, $10,000, 9/2007, (Ann Gates, PI).
2007, “Training & Software Support for Senior Design Course in Software Eng.”, Rockwell Collins, $ 20,000.
2007, “THE INSTITUTE FOR SCIENCE, TECHNOLOGY, ETHICS, AND POLICY”, NSF, 9/15/07-12/30/08.
2006 THECB Reaching out across disciplines: learning from each other to produce more graduates in computer science 6/30/06-6/30/08, $284,882 (PI, with Ann Gates and Elsa Villa, Co-PIs).
2006 Lockheed Martin, NASA’s manned lunar spaceship, $1,000,000. This is a subcontract to Lockheed Martin. Manny Pacillas is the PI. (We are currently awaiting work orders from Lockheed to begin work.)
2005, “Dissemination of the Affinity Research Group Model”, NSF, 9/1/05-8/30/08, $300,000 (Ann Gates, PI and Elsa Villa, Co-PI).
2004, “Science Data Analysis for the Cassini Mission to Saturn,” NASA, 2004-2006, $30,000
2004, “Science Data Analysis for Cassini,” Texas Space Grant Consortium, 2004-2006, $10,000.
2004, “Research the Verification of the SSP,” Sandia National Laboratories and the University of Nebraska at Omaha, 1/15/2004-9/20/2004, $14,998.
2004, “Proposal to Research a Formal Proof of Correctness of the HATS Class Loader for the Sandia Secure Processor using ACL2,” University of Nebraska at Omaha, 1/15/2004-9/20/2004, $11,238.
2003, “Voice-Controlled PDA User Interface for Field Data Collection,” Collaborative Research Environment for Women in Undergraduate Computer Science and Engineering Program, Computer Research Association, 9/1/03-6/30/04, $2,000.
2003, Collaborator on “Mastodon: A Large-Memory, High-Throughput Simulation Infrastructure,” National Science Foundation, collaboration with University of Texas at Austin, 6/01/03-5/31/08, $1,918,223.
2003, Collaborator on “A Fast Agricultural Response Monitoring Systems (FARMS) for Organic Agriculture,” proposed to CSREES Organic Transitions by New Mexico State University Departments of Entomology, Plant Pathology and Weed Science and Electrical Engineering, July 2003-July 2006, $300,000, pending.
2003, “Science Research and Data Analysis for the Cassini Saturn Mission,” National Aeronautics and Space Administration, June 2003 - August 2005. NCC2-5441. $48,778.
2003, “Proposal to Research a Formal Proof of Correctness of the HATS Class Loader for the Sandia Secure Processor using ACL2,” University of Nebraska at Omaha, 1/9/2003-1/15/2004, $5,963.
2003, “Acquisition of Equipment to Support Collaborative, Multi-Disciplinary Research and Development of Reliable Software,” National Science Foundation, (with Ann Gates and Vladik Kreinovich) July 1, 2003-June 30, 2004. $232,776.
2003, “Research in Verification of the HATS SSP Class Loader using ACL2,” University of Nebraska at Omaha, $6,000, August 2003-December 2003.
2002, “Implementation of the HATS-GUI Software,” University of Nebraska at Omaha, $6,300, May 2002-December 2002.
2002, “Extension to the Science Opportunity Planning for the Cassini Saturn Mission,” National Aeronautics and Space Administration, NCC2-5441. $16,776, June 2002-December 2002.
2001, “Science Opportunity Planning for the Cassini Saturn Mission,” National Aeronautics and Space Administration, NCC2-5441. $4,075, February 2001-December 2003.
2001 “Development and Implementation of a New Computer Architecture Course Sequence,” Model Institutions of Excellence Program for MII, $6,000, August 2001-December 2001.
1999, "Enhancement of Amphion," Automated Software Engineering Group, NASA Ames Research Center, $50K, August 1999-August 2000.
Participation in scholarly associations:
Institute of Electrical and Electronics Engineers (IEEE-CS) (1997-present)
Association for Computing Machinery (ACM) (1998-present)
American Association for Artificial Intelligence (1997-1998)
Association of Automated Reasoning. (1997-present)
IEEE-Computer Society Certified Software Developer Professional (CSDP Certificate NO. 000247, recertified 2005).