- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c23 |      | Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Richard LeBlanc: ACM/IEEE-CS computer science curriculum 2013: reviewing the ironman report. SIGCSE 2013: 13-14 |
| c22 | | Andrea Danyluk, Steve Roach, Elizabeth K. Hawthorne, Henry MacKay Walker, Ruth E. Anderson, Christa M. Chewar: ACM/IEEE computer science 2013 exemplar-fest. SIGCSE 2013: 285-286 |
| 2012 | ||
| c21 | | Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, David Reed: Computer science curriculum 2013: reviewing the strawman report from the ACM/IEEE-CS task force. SIGCSE 2012: 3-4 |
| 2011 | ||
| j8 | | Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow: Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Software Engineering 2011 (2011) |
| c20 | | Steve Roach: Retrospectives in a software engineering project course: Getting students to get the most from a project experience. CSEE&T 2011: 467-471 |
| c19 | | Mehran Sahami, Mark Guzdial, Andrew D. McGettrick, Steve Roach: Setting the stage for computing curricula 2013: computer science - report from the ACM/IEEE-CS joint task force. SIGCSE 2011: 161-162 |
| 2010 | ||
| c18 | | Cuauhtemoc Munoz, Steve Roach: Automated Testing of LTL Formula Generation by Prospec. HASE 2010: 168-169 |
| 2009 | ||
| c17 | | Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo: An Aspect-Based Approach to Checking Design Constraints at Run-Time. ITNG 2009: 223-228 |
| 2008 | ||
| c16 | | Salamah Salamah, Ann Q. Gates, Steve Roach: Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG 2008: 9-14 |
| c15 |  | Luis García, Steve Roach, Salamah Salamah: PROTEF: Automatic Verification of Pattern-Based LTL Templates. SEKE 2008: 261-266 |
| c14 | | Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela: A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. SEKE 2008: 273-278 |
| p1 | | Steve Roach, Jules Simon: Teaching and Assessing Graduate Ethics in Engineering, Science, and Technology. Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education 2008: 509-513 |
| 2007 | ||
| j7 | | Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. International Journal of Software Engineering and Knowledge Engineering 17(1): 107-126 (2007) |
| c13 | | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. ATVA 2007: 533-542 |
| c12 | | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348 |
| c11 | | |
| c10 | | Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates: Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. RV 2007: 75-86 |
| 2006 | ||
| j6 | | Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom: A transformational perspective into the core of an abstract class loader for the SSP. ACM Trans. Embedded Comput. Syst. 5(4): 773-818 (2006) |
| 2005 | ||
| j5 | | Steve Roach, Jeffrey Van Baalen: Automated Procedure Construction for Deductive Synthesis. Autom. Softw. Eng. 12(4): 393-414 (2005) |
| c9 | | Zubin Balsara, Steve Roach: Prediction of inherited and genetic mutations using the software model checker SPIN. SAC 2005: 208-209 |
| c8 | | Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon: Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220 |
| c7 | | Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112 |
| c6 | | Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach: A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. WORDS 2005: 301-311 |
| 2004 | ||
| j4 | | Nelly Delgado, Ann Q. Gates, Steve Roach: A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Trans. Software Eng. 30(12): 859-872 (2004) |
| c5 | | Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter: The SSP: An Example of High-Assurance Systems Engineering. HASE 2004: 167-177 |
| c4 | | Victor L. Winter, Steve Roach, Fares Fraij: Higher-order strategic programming: A road to software assurance. IASTED Conf. on Software Engineering and Applications 2004: 350-355 |
| 2003 | ||
| j3 | | Victor L. Winter, Steve Roach, Gregory L. Wickstrom: Transformation-oriented programming: A development methodology for high assurance software. Advances in Computers 58: 47-116 (2003) |
| j2 | | Oscar Mondragon, Ann Q. Gates, Steve Roach: Prospec: Support for Elicitation and Formal Specification of Software Properties. Electr. Notes Theor. Comput. Sci. 89(2): 67-88 (2003) |
| c3 | | Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach: Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66 |
| 2002 | ||
| c2 | | Steve Roach, Jeffrey Van Baalen: Experience Report on Automated Procedure Construction for Deductive Synthesis. ASE 2002: 69- |
| 2001 | ||
| j1 | | Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado: DynaMICs: Comprehensive Support for Run-Time Monitoring. Electr. Notes Theor. Comput. Sci. 55(2): 164-180 (2001) |
| 1998 | ||
| c1 | | Jeffrey Van Baalen, Steve Roach: Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. LOPSTR 1998: 61-70 |
Colors in the list of coauthors
Last update Thu May 23 03:49:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page