Arthur Alexander Reyes
Arthur Alexander Reyes was awarded the Ph.D. in 1999 in Information and Computer Science by the University of California at Irvine. In 1987 Reyes received the B.S. in Aerospace Engineering (summa cum laude) from Polytechnic University in Brooklyn. Reyes is currently employed as Senior Lecturer (not tenure-track) in the Department of Computer Science and Engineering at the University of Texas at Arlington.
Reyes performs research in two areas: "ad hoc software interfacing/appliponents" & "simulation-based design".
An "appliponent" is a complete, vertically-integrated software application that one wants to (re)use as a component in a new, larger software application. If one can generate clean interfaces around such appliponents, then one can create new, larger applications by "wiring" the appliponent interfaces together. Ad hoc software interfacing is a general framework for defining & solving these kinds of problems.
Simulation-based design (SBD) applies simulation to quickly identify unacceptable designs early in the lifecycle. Reyes applies this method in the context of the Autonomous Vehicles Laboratory (AVL) with Dr. Atilla Dogan, Dr. Brian Huff, & Dr. Kamesh Subbarao. The IEEE/DoD HLA simulation infrastructure is currently being evaluated to support SBD.
Reyes is familiar with the essential disciplines of Systems Engineering and a number of specialty engineering disciplines as well. Reyes gained a great deal of practical experience following systems engineering processes while employed for Northrop B-2 Division from 1987 to 1992. Reyes now institutionalizes his ideas for simulation-based systems engineering into the UTA Autonomous Vehicles Laboratory. This involves making all systems engineering data available to project participants via the AVL website (http://interdev.uta.edu/reyes/AVL).
Reyes has a wealth of experience with a number of commercial-off-the-shelf (COTS), government-off-the-shelf (GOTS), free, and custom simulation tools:
- Satellite Tool Kit (STK) is COTS package that is especially useful for discovering high-level requirements for system-of-systems that incorporate spacecraft or that operate on the scale of hundreds, thousands, and millions of miles apart from each other.
- The DoD/IEEE High Level Architecture (HLA) for Modeling & Simulation is a GOTS/COTS distributed software bus infrastructure for interoperable simulations: constructive, virtual, & live.
- OPNET Modeler is a COTS package that is useful for simulating the performance of network-type systems, where a network is composed of nodes, links, & packets.
- SCR* Toolset Simulator is a GOTS package that executes state transition models expressed in the SCR (Software Cost Reduction) formalism.
- TUTSIM is a free package that simulates dynamic systems modeled by their equations of motion.
- SIM-II was a custom, FORTRAN simulation of B-2A aircraft flight dynamics. I used SIM-II to generate time history responses to validate the simulated flight dynamics of the B-2A Weapon System Trainer.
Before entering graduate studies, Reyes was employed as Engineer with what was then Northrop Corporation from 1987 to 1992. There Reyes supported development of the B-2A Aircrew Training Devices for what was then CAE-Link. Reyes noticed how the B-2A full scale development (FSD) program schedule was governed not by the rate at which airframes could be manufactured, but rather by the rate at which flight software function could be developed. This phenomenon impressed Reyes sufficiently that he quit Northrop to obtain a Ph.D. in computer science.
Reyes has also been employed in the manufacturing area. Reyes is skilled in machine tool operation and has produced wind tunnel-quality aircraft wing models. Reyes is also skilled in 2-D, wire frame, and solid model CAD.
Degrees with Fields, Institutions, and Dates
1999 Ph.D. Information and Computer Science (Software concentration), University of California at Irvine
1995 M.S. Information and Computer Science (ICS), University of California at Irvine (UCI)
1987 B.S. Aerospace Engineering, Polytechnic University
Number of Years of Service with This Faculty
Number of years service on this faculty: 5
Date of original appointment: 1 September 1999
Dates of advancement: (not applicable)
Other Related Experience
Teaching
2004
Fall
Instructor, UTA CSE 4321 001 A3587 Software Testing TR 11:00A 12:20P NH 00105 48 enrolled
Instructor, UTA CSE 5321 002 M6820 Software Testing TR 11:00A 12:20P NH 00105 45 enrolled
Instructor, UTA CSE 5321 060DA1643 Software Testing TR 11:00A 12:20P OFF VCR 2 enrolled
Instructor, UTA CSE 5321 072DA9373 Software Testing TR 11:00A 12:20P OFF VCR 2 enrolled
Instructor, UTA CSE 5324 001 M3915 TR 02:00P 03:20P PKH 00102 47 enrolled
Instructor, UTA CSE 5397 514 A8495 Thesis I, 1 enrolled: Mandava
Instructor, UTA CSE 5398 514 M6506 Thesis II, 2 enrolled: Espino, Narayanasamy
Instructor, UTA CSE 6397 514 M7934 Research CS, 1 enrolled: Narayanasamy
Summer 11 week
Instructor, UTA CSE 5398-614, M1210, Thesis II, 1 enrolled: Espino
Spring
Instructor, UTA CSE 4310-001, A0970, Software Engineering Processes, MW 03:30P 04:50P POCA 00131, 36 enrolled
Instructor, UTA CSE 5323-001, M3648, Software Engineering Processes, MW 03:30P 04:50P POCA 00131, 26 enrolled
Instructor, UTA CSE 5324-001, M5742, Software Engineering: Analysis, Design, & Testing, MW 01:00P 02:20P GS 00104, 48 enrolled
Instructor, UTA CSE 5393-021, 22017, Directed Study, 3 enrolled: Mandava, Ramanathan, Veeramachaneni
Instructor, UTA CSE 5398-514, M5024, Thesis II, 4 enrolled: Espino, Mohan, Narayanasamy, Ramanathan
2003
Fall
Instructor, UTA CSE 4321-003, Software Testing, 55 enrolled
Instructor, UTA CSE 5321-003, Software Testing, 70 enrolled
Instructor, UTA CSE 5324-001, Software Engineering: Analysis, Design, & Testing, 57 enrolled
Instructor, UTA CSE 5397-514, Thesis 1, 3 enrolled: Narayanasamy, Ramanathan, Mohan
Instructor, UTA CSE 5398-514, Thesis 2, 1 enrolled: Espino
Summer
Instructor, UTA CSE 5398-614, Thesis II, 1 enrolled: Espino
Instructor, UTA CSE 6197-614, Research CS, 1 enrolled: Bascolo
Spring
Instructor, UTA CSE 5324-001 Software Engineering: Analysis, Design, Testing, 40 enrolled
Instructor, UTA CSE 5323-001 Software Engineering Processes, 22 enrolled
Instructor, UTA CSE 4310-001 Software Engineering Processes, 26 enrolled
Instructor, UTA CSE 5398-514 Thesis II, 2 enrolled: Bascolo, Espino
Instructor, UTA CSE 6399-514 Dissertation, 1 enrolled: Rethard
Instructor, UTA CSE 6397-514 Research CS, 1 enrolled: Bascolo
2002
Fall
Instructor, UTA, CSE 4321-001 Software Testing, 20 enrolled
Instructor, UTA, CSE 5321-001 Software Testing, 20 enrolled
Instructor, UTA, CSE 5324-501 Software Engineering: Analysis, Design, Testing, 58 enrolled
Instructor, UTA, CSE 5397-514 Thesis I, 3 enrolled: Aletewi, Bascolo, Espino
Instructor, UTA, CSE 5393 Directed Study, 2 enrolled: Ali, Mohan
Instructor, UTA, CSE 6399-514 Dissertation, 1 enrolled: Rethard
Summer
Instructor, UTA, CSE 5393-504, Directed Study, A7150, 2 enrolled
Spring
Instructor, UTA, CSE 4310-001 Software Engineering Processes, 22 enrolled
Instructor, UTA, CSE 5324-503 Software Engineering: Analysis, Design, Testing, 49 enrolled
2001
Fall
Instructor, UTA, CSE 4321-001 Software Testing, A0193 TR 200-320pm 108 NH, 19 enrolled
Instructor, UTA, CSE 5392-001, Software Testing, A5913 TR 200-320pm 108 NH 6 enrolled
Instructor, UTA CSE 5324-501, Software Engineering: Analysis, Design, and Testing, A7569 TR 530-650pm 104 GS, 54 enrolled
Instructor, UTA CSE 5698-514, Thesis, Sireesh Kumar Kuppireddi
Instructor, UTA CSE 6999-514, Dissertation, Thomas Dwight Rethard
Summer
2001 Summer, Instructor, UTA CSE 6999-614, Dissertation: Thomas Dwight Rethard
2001 Summer, Instructor, UTA CSE 5398-614, Thesis: Sireesh Kumar Kuppireddi
Spring
2001 Spring, Instructor, UTA CSE 3310, Fundamentals of Software Engineering
2001 Spring, Instructor, UTA CSE 5324, Software Engineering: Analysis, Design, and Testing
2000
Fall
2000 Fall, Instructor, UTA, CSE 5324-501, Software Engineering: Analysis, Design, and Testing, TR 17:30-18:50, 212 WH, 12 students
2000 Fall, Instructor, UTA, CSE 5326-001, Real-Time Software Design, MW 14:00-15:20, 402 WH, Kuppireddi, Morozov, Quick, Rodriguez
2000 Fall, Instructor, UTA, CSE 6697-514, Research in CSE, Rethard
Summer
2000 Summer, Instructor, UTA, CSE 5325, Master’s Project II: Mohammed Maruf Ahmed
2000 Summer, Instructor, UTA, CSE 4391, Special Topics
Spring
2000 Spring, Instructor, UTA, CSE 5394-518, Master’s Project I, Mohammed Maruf Ahmed
2000 Spring, Instructor, UTA, CSE 3310, Fundamentals of Software Engineering
1999
Fall
1999 Fall, Instructor, UTA, CSE 3310, Fundamentals of Software Engineering
Earlier
1997 Summer, Instructor, UCI, ICS 21, Fundamentals of Computer Science I
1997 Summer, Instructor, UCI, Math 6A, Combinatorics
1997 Winter, Graduate Teaching Assistant, UCI, ICS 125B, Software Engineering Project
1996 Fall, Graduate Teaching Assistant, UCI, ICS 52, Systematic Software Construction
Research
1993 – 1996 (summers) Graduate Student Researcher, NASA Ames Research Center, Moffett Field, CA
1996 – 1999 Graduate Research Assistant, UCI, ICS, Irvine, CA
Other
1996 – 1998 New Business Development Manager, Formal Development, Oceanside, CA
1987 – 1992 Engineer, Northrop Corporation, B-2 Division, Pico Rivera, CA
1984 – 1987 (summers, winters) Machinist, Reyes Engineering & Manufacturing, Haltom City, TX
1984 – 1985 Machinist, Photographic Equipment Services Incorporated, New Rochelle, NY
Principal Publications
Journal Articles
Research Paper, 26 pages, S. K. Das and A. A. Reyes, "An Approach to Integrating HLA Federations and Genetic Algorithms to Support Automatic Design Evaluation for Multi-Agent Systems," Simulation Practice and Theory, volume 9, issue 3-5, pp. 167-192, 15 April 2002, Elsevier; Ratan Guha & Mostafa Bassiouni, eds., special issue of best papers from the Conference on Simulation Methods and Applications, Orlando, FL, USA, 29-31 October 2000. Order from Science Direct.
Conference Papers
Arthur A. Reyes, Atilla Dogan, "Autonomous Vehicle Lab Initiative at UTA", in Proceedings of the 2nd AIAA "Unmanned Unlimited" Systems, Technologies, and Operations—Aerospace, Land, and Sea Conference and Workshop & Exhibit, Hyatt Regency Islandia, San Diego, California, 15 - 18 Sep 2003. Presentation Slides
Arthur A. Reyes, Aarathi P. Narayanasamy, Atilla Dogan, "Simulation-Based Development of Real-Time, Embedded Software for Swarmed, Autonomous Aerial Vehicles", in Proceedings of the 22nd Digital Avionics Systems Conference: Dawn of the 2nd Century / Racing to Transform the Legacy, The Crowne Plaza, Indianapolis, Indiana, 12-16 October 2003.
Arthur A. Reyes, José R. Espino, Vijai Mohan, Monica Nadkar, "Ad Hoc Software Interfacing: Enterprise Application Integration (EAI) when Middleware is Overkill", in Proceedings of the 27th Annual International Computer Software and Application Conference (COMPSAC 2003) Workshop on Architectures for Complex Application Integration (WACAI), Dallas, Texas, USA, November 3-6, 2003.
A. A. Reyes, "Introducing the MArSHLAnd Design Synthesis Tool for Mobile Multi-Agent Systems", International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2002), Orlando, Florida, May 19, 2002, In conjunction with the ICSE 2002, (Int’l Conference on Software Engineering), http://www.teccomm.les.inf.puc-rio.br/selmas2002/
Research Paper, 11 pages, S. K. Das and A. A. Reyes, "An Approach to Integrating HLA Federations and Genetic Algorithms to Support Automatic Design Evaluation for Multi-Agent Systems", in Proceedings of the Second Conference on Simulation Methods and Applications: Parallel and Distributed Simulation (CSMA 2000), Ratan Guha (ed.), October 29-31 2000, The Rosen Centre Hotel, Orlando, Florida, U.S.A., Society for Computer Simulation, Army Research Office, Advanced Distributed Simulation Research Consortium, STRICOM, National Center for Simulation, IEEE Orlando Section, Lockheed Martin, and the University of Central Florida.
Research Paper, 9 pages, A. A. Reyes, D. J. Richardson, "Siddhartha: A technique for building domain-specific test synthesizers," (nominated for Best Paper) IN: Proceedings 14th IEEE International Conference on Automated Software Engineering, Cocoa Beach, FL, USA, 12-15 Oct. 1999. Los Alamitos, CA, USA: IEEE Computer Society, 1999. Word Copy
Research Paper, 15 pages, A. A. Reyes, D. J. Richardson, "Specification-based testing of Ada units with low encapsulation." IN: Proceedings 13th IEEE International Conference on Automated Software Engineering, Honolulu, HI, USA, 13-16 Oct. 1998). Los Alamitos, CA, USA: IEEE Computer Society, 1998. pps. 22-31.
Research Paper, 15 pages, A. A. Reyes, D. J. Richardson, "Transformational synthesis of test driver-oracle programs," IN: Proceedings of the International Workshop on Software Transformation Systems, Los Angeles, CA, USA, 17 May 1999 (co-located with 21st International Conference on Software Engineering), pps 39--44.
Research Paper, 9 pages, A. A. Reyes, "An Approach to Automatic Generation of Domain Theories from Intuitive, Semiformal Domain Models," in Proceedings of the California Software Symposium (CSS '96), Walt Scacchi and Richard Taylor, eds., 17 April 1996, University of Southern California, Los Angeles, California, U.S.A.
Research Paper, 15 pages, D. R. Britton, Jr. and A. A. Reyes, "Discovering usability improvements for Mosaic: Application of the contextual inquiry technique with an expert user," In The Second International WWW Conference '94: Mosaic and the Web, Advance Proceedings (Chicago, Illinois, 17-20 October 1994), I. Goldstein et al., Eds., vol. II, pp. 559-568.
Research Reports
[Reyes1999] Dissertation, 181 pages, A. A. Reyes, Siddhartha: Domain-Specific Unit Test Generation for “Low-Testability” Programs, Ph.D. Dissertation, University of California at Irvine, 1999. PostScript Copy
Arthur Alexander Reyes, Using a Framework for Domain Theory Structure and Evolution to Evaluate Knowledge Acquisition Tools, Information and Computer Science, University of California, Irvine, 1996, 60 p., Technical report 96-52, 12 November 1996, LC: Z699.
Arthur Alexander Reyes, Structuring Languages as Algebraic Specifications : a Framework for Multilingual System Representation, Information and Computer Science, University of California, Irvine, 1995, 47 leaves, Technical report 95-23, 23 June 1995, LC: Z699.
Submitted Papers
Arthur Alexander Reyes, Atilla Dogan, José R. Espino, G. Michael Youngblood, Sami A. Musa, Srinivas Somanchi, "Overview of the University of Texas at Arlington’s Autonomous Vehicles Laboratory", submitted to The Seventh IEEE International Symposium on Distributed Simulation and Real Time Applications, October 23-25, 2003, Delft, The Netherlands, http://sentosa.sas.ntu.edu.sg:8000/~dsrt2003/.
Arthur Alexander Reyes, Aarathi P. Narayanasamy, Arvind K. Ramanathan, Jose R. Espino, Vijai Mohan, Monica Nadkar, "The UTA AVL: Institutionalizing Simulation-Based Design in a University Setting", submitted to The Seventh IEEE International Symposium on Distributed Simulation and Real Time Applications, October 23-25, 2003, Delft, The Netherlands, http://sentosa.sas.ntu.edu.sg:8000/~dsrt2003/.
Arthur Alexander Reyes, José Ramon Espino, Vijai Mohan, "Ad Hoc Software Interfacing: Domain-Specific Language (DSL) Toolkits Meet Enterprise Application Integration (EAI) Servers", Technical Report CSE-2003-11, This report was also submitted to the 18th IEEE International Conference on Automated Software Engineering (ASE 2003).
Arthur Alexander Reyes, Monica Nadkar, "An Applicative, O(N * logk(N) * N(k-1)/k) Algorithm to Reconstruct Trees from Preorder Node Lists", Technical Report CSE-2003-10, This report was also submitted to the 2003 International Conference on Functional Programming (ICFP 2003).
Research Paper, T. D. Rethard and A. A. Reyes, "FDDL: a graphical functional design decomposition language," (SUBMITTED TO) Proceedings of the 16th IEEE International Conference on Automated Software Engineering, Loews Coronado Bay, San Diego, California, U.S.A., 26-29 November 2001. PDF Copy
A. A. Reyes, "Siddhartha: Domain-specific language (DSL) methodology enables COTS/ GOTS tool integration in extant software test processes", (submitted to) 2000 International Conference on Software Engineering (ICSE) Workshop on Automatic Program Analysis, Testing, and Verification (WAPATV).
A. A. Reyes, "Siddhartha refines domain-specific language (DSL) methodology to inform development of custom software test support tools", (submitted to) 2000 Formal Methods in Software Practice.
A. A. Reyes, "Towards Testable, Pure Functional Behavior across Imperative Interfaces", (submitted to) Automated Software Engineering 2000,15th IEEE International Conference, 11-15 September 2000, IMAG, Grenoble, France. Word 2002 format
A. A. Reyes, "Transformational Test Synthesis: Automation Support for Specification-Based Testing of 'Low-Testability' Programs", 1999 European Software Engineering Conference/Foundations of Software Engineering (ESEC/FSE).
Other Publications
Guest Column, Arthur Alexander Reyes, "The Right Recipe", The Shorthorn, 20 June 2004, The University of Texas at Arlington.
Editorial, Arthur Alexander Reyes, "Love the One You are With", The Shorthorn, 29 January 2003, The University of Texas at Arlington.
Letter to the Editor, Arthur Alexander Reyes, "Why 'Back Home' 'Traditions' are Traditional", The Shorthorn, xx October 2002, The University of Texas at Arlington.
Letter to the Editor, Arthur Alexander Reyes, "In Praise of Holliger's Opinion on Pop Culture", The Shorthorn, xx October 2002, The University of Texas at Arlington.
Letter to the Editor, Arthur Alexander Reyes, "Gun control hasn't been successful yet", The Shorthorn, 29 March 2001, The University of Texas at Arlington.
Advised Students
| Name | Year | Semester | Est/Act | Degree | Title | Thesis/Project | Funding | MyRole |
| Hwan Wook Sohn | 2000 | 1 Spring | actual | Ph.D. | Reproducible State Testing of CORBA Objects | thesis | Member | |
| Mohammed Maruf Ahmed | 2000 | 4 Summer | actual | M.C.S. | Executable Model of “Jewel” Compression (JC) | project | NAWC/AD | Chair |
| Jose Ramon Espino | 2001 | 1 Spring | actual | B.S. | Jewel Compression: Advanced Data Compression Algorithm | thesis | McNair Scholar | Chair |
| Andrew Benjamin Allen | 2001 | 1 Spring | actual | M.S.C.S.E. | Probability of Error Data Type (POEDT) | thesis | Chair | |
| William Ray Farrior | 2001 | 1 Spring | actual | M.S.C.S.E. | OOTWorks PERT Chart Generator | project | Member | |
| Sireesh Kumar Kuppireddi | 2002 | 1 Spring | actual | M.S.C.S.E. | Issues in Developing Add-Ins for COTS CASE Tools | thesis | GTA | Chair |
| Ashraf Ali | 2002 | 1 Spring | actual | M.Sw.E. | structured | start-up | Chair | |
| Manish Jodhani | 2002 | 4 Summer | actual | M.S.C.S.E. | Reverse Engineering of Object-Oriented Programs to Yield Sequence Diagrams | thesis | Member | |
| Abhay Anil Agnihotri | 2002 | 6 Fall | actual | M.S.C.S.E. | Study and Simulation of QoS for Multimedia Traffic | project | Member | |
| Alejandro Miguel Bascolo | 2003 | 4 Summer | actual | M.S.C.S. | Optimal Anti-collision Behavior Synthesis for Microsatellite Constellations | thesis | Fullbright fellowship | Chair |
| Vijai Mohan | 2004 | 1 Spring | actual | M.S.C.S.E. | SEAL-EAI Software Engineering Architecture Integration | thesis | GTA, GRA | Chair |
| Jose Ramon Espino | 2004 | 6 Fall | expected | M.S.C.S.E. | Quantitative Comparison of Two Approaches to Agent Cooperation | thesis | NPSC fellowship | Chair |
| Aarathi P. Narayanasamy | 2004 | 6 Fall | expected | M.S.C.S.E. | Definition and Optimization of a Parameterized High-Level Design for a Border Patrol System Featuring Autonomous Aerial Vehicles | thesis | GTA, GRA | Chair |
Funding, Honors, & Awards
| Submission Date | Title | Agency | What submitted | Funded? (yes/no/ pending) | Requested/Actual Amount | (Proposed) Period of Performance | Reyes's role | Other PIs/ coauthors |
| 2002/07/23 | CAREER: Automated Software Engineering at the Interface: Crossing Framework Boundaries in Complex Application Development | NSF CISE/CCR | proposal | NO | $558,364 | 2003-2008 | PI | |
| 2002/06/28 | A Proposal to Establish UTA Expertise in Developing HLA-Compatible Simulation Products | Lockheed-Martin Aeronautical Systems, Fort Worth, TX | proposal | YES | $7336.08 | 2003 | PI | |
| 2002/06/06 | Developing a Prototype Curriculum in Embedded Systems Engineering (revised & resubmited) | NSF DUE | proposal | NO | $74,873 | 2003-2005 | PI | Kung, Walker |
| 2001/06/06 | Developing a Prototype Curriculum in Embedded Systems Engineering | NSF DUE | proposal | NO | $142,329 | 2002 - 2004 | CoPI | Kung (PI), Walker (CoPI) |
| 2000/10/19 | Webification, Parallelization, and Domain-Specific Languages for Software Tool | NSF Nanoscience & Engineering (NSE) | white paper | NO | ? | 2001 - 2004 | CoPI | T.C.Yih (CoPI), S.Joshi (PI) |
| 2000/07/13 | Systems Engineering for Complex, Component-Based, Multifunctional, Software-Intensive (i.e., Next-Generation) MEMS | NSF IGERT | proposal | NO | ? | 2001 - 2004 | CoPI | Yih (PI) |
| 2000/07/11 | A Design Federation for Multi-Agent Systems | USAF AFOSR Multidisciplinary University Research Initiative (MURI) topic 31 | white paper | NO | $1,500,000 | 2001 - 2006 | PI | |
| 2000/03/17 | Development Methodology for Custom Software Test Support Tools | UTA Research Enhancement Program (REP) | proposal | YES | $10,000 | 2000/09/01 – 2001/05/15 | PI | |
| 2000/03 | Research & Development of Jewel Compression: Advanced Data Compression Architecture & Algorithm | U.S. Naval Air Systems Command (NAVAIR) | proposal | YES | $35,000 | 2000/06/01 – 2001/06/01 | CoPI | T.C. Yih (PI), S.K.Das, B.A.Shirazi (Co-Pis) |
| 2000/03 | Jewel Compression: Advanced Data Compression Algorithm | UTA Ronald E. McNair Scholars Program | proposal | YES | $500 | 2000/06/01 – 2000/08/31 | PI | |
| 2000/01/05 | ITR/SW+SII+ACS: UTA/NAWCAD JOINT R&D OF THE NOVEL JEWEL DATA COMPRESSION ALGORITHM | NSF ITR | proposal | NO | $1,712,385 | 2000/09/15 - 2004/09/14 | CoPI | Yih (PI), Das (CoPI), Prabakar (CoPI), Shirazi (CoPI) |
| 1999/09/30 | A Domain-Specific Language Approach to Incrementally and Economically Improve Software Test Processes for Digital Avionics and Flight Controls | ONR Young Investigators Program (YIP) | proposal | NO | $301,822 | 2000/04/01 – 2001/03/31 | PI | |
| 1999/09/22 | Siddhartha: A Domain-Specific Language (DSL) Approach to Incrementally Improving Program Test Processes via Custom, Efficient, Easy-to-Evolve Test Support Tools |
NSF, CISE, Software Engineering & Languages
|
proposal | NO | $311,447 | 2000/03/01 – 2001/02/28 | PI | |
| 1991 | University of California President’s Fellowship | University of California – Irvine | grant | YES | $20,000 | 1992 – 1993 | ||
| 1992 | NASA Graduate Students Researcher Fellowship | NASA | proposal | YES | $60,000 | 1993 - 1996 |
Scientific and professional societies of which a member
Learned Societies
American Institute of Aeronautics and Astronautics (AIAA) member
Association of Computing Machinery (ACM) member
Institute for Electrical and Electronics Engineers (IEEE) member
Association for Unmanned Vehicle Systems International (AUVSI) member
Honor Societies
Upsilon Pi Epsilon Computing Honor Society member
Sigma Gamma Tau Aerospace Engineering Honor Society member
Institutional and professional service in the last five years
2003-09-18: Hosted an "Industry on Campus" event: "Rational XDE" by Micky Holmes of Rational Software Corporation.
2003-09-16: Hosted an "Industry on Campus" event: "Microsoft SQL Server" by Vito Sabella of Microsoft Corporation.
2003-07-29 & 30: Hosted a two-day seminar on "Microsoft Visual Studio .NET" by Joe Homnick of Homnick Systems & Vito Sabella of Microsoft Corporation.
2003-04-02: Hosted an "Industry on Campus" event: "Rational Solutions" & "Integration Summary" by Dave Shuster & Micky Holmes of Rational Software Corporation.
2003-03-26: Hosted an "Industry on Campus" event: "eXtreme Programming @ Sabre" by Jay Packlick & Jacques Morel of Sabre.
2003-03-12: Hosted an "Industry on Campus" event: "Software Process Improvement" by Jill Brooks of Raytheon.
2002-11-14: Hosted an "Industry on Campus" event: "eXtreme Programming @ Sabre" by Jay Packlick.
2002-summer: Served on the Program Committee of the 17th IEEE International Conference on Automated Software Engineering, 23rd-27th September 2002, Edinburgh, UK
2002-05-13 & 14: Hosted a 2-day free seminar on Microsoft Visual Studio .NET attended by 222 students, faculty, and visitors.
2002-05-01: Hosted an "Industry on Campus" class event with Sabre, Inc. Test Coordinator Marilynn Jones.
2002-04-22: I Represented CSE at the Congressional Science Day and Field Hearing held at UTSW.
2002-03-20--22: I Represented UTA at the Second Annual Conference on Network Centric Warfare (NCW) at Patuxent River Naval Air Station in Maryland.
2002-03-11: I Hosted an "Industry on Campus" class event with Rational Software Corp.'s Tim Feeney. Feeney introduced Rational Unified Process (RUP) to CSE 4310 Software Engineering Processes students and explained Rational Rose/Visual Basic integration to CSE 5324 Software Engineering 1 students.
2001-04-24: I organized and hosted a panel discussion entitled "The Increasing Importance of Software Process to Successful Project Management." The panelists, all managers from Motorola (Fort Worth), later lectured Reyes's students in CSE 3310 Fundamentals of Software Engineering and CSE 5324 Software Engineering 1: Analysis, Design, Testing. 11 a.m. in Nedderman Hall, room 315. Free pizza and drinks were served. Students, faculty and staff were invited.
2001-present Served as Commander (then Councilman) for Royal Rangers, the Assembly of God analog to Boy Scouts of America.
2000-12-16: I accepted an invitation to serve on the Program Committee of the 2001 IEEE International Conference on Automated Software Engineering (http://ase.informatik.uni-essen.de/).
2000-11-06->09: I represented CSE@UTA at Supercomputing 2000 in Dallas, TX. Reyes's CSE 5324 Benchmark team represented their product at the Prism Parallel Technologies, Inc. booth.
2000-11-02: I was mentioned in UTA Shorthorn article as thesis advisor of Andrew Benjamin Allen, the second student on record to use the Internet teleconferencing during a thesis defense.
2000-09-29: I was mentioned in UTA Shorthorn article “Engineering: Grant dedicated to computer research” by Ty Allison, contributor to the Shorthorn. Article describes JC project with T.C.Yih.
2000: I was instrumental in bringing Ericsson into CSE@UTA IAC
2000-09: I served as ASE2000 Session Chairman "Synthesis".
2000-06: I served as ASE2000 Program Committee member.
1999-12-01: I helped complete the nondisclosure agreement between UTA and Lockheed-Martin regarding data interchange for the JSF program.
1999-2001 Demonstrated the use of e-mail listservers for CSE courses. Number of CSE courses using listserv.uta.edu grew from zero in 1999 to 10 on 2001/10/29.
1999-06: I served as ASE1999 Reviewer.
1996: I served as IEEE Transactions on Software Engineering (reviewer)
1996: I served as Information Systems Research (reviewer)
Professional development activities in the last five years
2003/11/05: I attended the workshop "Useful Concepts in Quantitative & Qualitative Assessment" @ the Foundations of Education conference in Westminster, Colorado.
2003/11/05: I attended the workshop "Fundamental Mathematics for Software Engineering" @ the Foundations of Education conference in Westminster, Colorado.
2003/09/14: I completed the tutorial "21st Century Aerial Robotics" by Lawrence "Nuke" Newcomb & Robert Michelson @ the AIAA Unmanned Unlimited conference in San Diego.
2002/05/18--19: I participated in the International Conference on Software Engineering (ICSE) workshop on Software Engineering for Large-scale, Multi-Agent Systems (SELMAS).
2002-03-14--15: I Attended a 2-day free seminar on Microsoft Visual Studio .NET at SMU and distributed 20 copies of the training material to UTA students & colleagues.
2001/01/26? Seminar, Dallas, TX, "Success Starts With Requirements Management", sponsored by Rational Software Corporation.
2000/10/29--31, I participated in the Second Conference on Simulation Methods and Applications: Parallel and Distributed Simulation (CSMA 2000), The Rosen Centre Hotel, Orlando, Florida, U.S.A.
2000/10/17 Seminar, Richardson, TX, “Real-Time Embedded Application Development Using the Unified Modeling Language (UML) and the Rhapsody Visual Programming Environment,” sponsored by I-Logix
2000 Spring EXSA 0107 MARTIAL ARTS grade "A"
2000 Spring EXSA 0170 SWIM-BEG & INT grade "A"
2000 Spring SPAN 1441 LEVEL I grade "A"
2000/09/11 Tutorial, 15th IEEE International Conference on Automated Software Engineering (ASE2000), Grenoble, France, “Synchronous Programming of Reactive Systems: Principles, Languages, Compilers, Program Validation” by Nicolas Halbwachs, VERIMAG
2000/09/11 Tutorial, 15th IEEE International Conference on Automated Software Engineering (ASE2000), Grenoble, France, “The Role of Graph Transformation in Software Engineering and Requirements Engineering” by Michael Goedicke, Torsten Meyer, and Babriele Taentzer
2000/09 I participated in ASE 2000.
1999/10 I participated in ASE 1997.
1999/05/17: I participated in the International Workshop on Software Transformation Systems, Los Angeles, CA, USA, (co-located with 21st International Conference on Software Engineering).
1998/10 I participated in ASE 1998.
1997/10 I participated in ASE 1997.
1999 Fall Semester, Audited UTA EE’s Frank Lewis’s course EE 5325.
Invited Speeches
2000-12-21: Ericsson Research @ Texas: Specification-Based Software Testing
2000-12-07: Ericsson Research @ Texas: Research/Teaching NSF Collaboration Kickoff
2000-08-17?: Lockheed-Martin, Fort Worth, TX, "Specification-Based Test Generation with Siddhartha"
1999-11-03 UTA ACM/IEEE Student Organization Research Presentation
1999-10-23 UTA ARRI New Engineering Faculty Presentation
1999-10 IEEE International Conference on Automated Software Engineering (ASE) 1999 panelist "Evaluation of ASE Tools and Methods"
1998 Summer: University of California at Irvine (UCI) Undergraduate Research Symposium: Computer Science Technical Session Chair
University, College, Department Committees (indicate if Chair)
CSE Industry Advisory Board (IAB) Undergraduate Committee Chairman
CSE Undergraduate Studies Committee
CSE Faculty Search Committee
CSE Software Engineering Committee
New courses, labs, or teaching methods that you have developed:
In Spring 2001, I began to move all my teaching content online via the WWW.
In Spring 2000, I introduced Personal Software Process (PSP) in CSE 3310 Fundamentals of Software Engineering.
In Fall 2000, I introduced Introduction to the Team Software Process (TSPi) in CSE 5324 Software Engineering: Analysis, Design, Testing
In Spring 2000, I introduced Erlang, a modern, concurrent, functional programming language, into CSE 3310 and CSE 5324 for modeling, analysis, and specification of software systems.
Research Keywords
Siddhartha; custom, specification-based, software testing tools; domain-specific languages
Technical Skills
| type | Skill Name |