Steve Roach

Publication Activity (10 Years)

Years Active: 1998-2015
Publications (10 Years): 1

Top Topics

Special Session

Computer Science

Top Venues

ACM SIGCSE Bull.

Publications

Steve Roach, Mehran Sahami
CS2013: Computer Science Curricula 2013. Computer 48 (3) (2015)
Mehran Sahami, Steve Roach
Computer science curricula 2013 released. Commun. ACM 57 (6) (2014)
Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Elizabeth K. Hawthorne, Amruth Kumar, Richard LeBlanc, David Reed, Remzi Seker
ACM/IEEE-CS computer science curricula 2013: implementing the final report. SIGCSE (2014)
Steve Roach, Mehran Sahami, Richard LeBlanc, Remzi Seker
Special session: The CS2013 Computer Science curriculum guidelines project. FIE (2013)
Mehran Sahami, Steve Roach
Computer Science curricula 2013: getting involved and getting ready. ACM SIGCSE Bull. 45 (2) (2013)
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)
Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Richard LeBlanc
ACM/IEEE-CS computer science curriculum 2013: reviewing the ironman report. SIGCSE (2013)
Steve Roach, Mehran Sahami, Richard LeBlanc
Special session: The CS2013 Computer Science curriculum guidelines project. FIE (2012)
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)
Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Softw. Eng. 2011 (2011)
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)
Mehran Sahami, Steve Roach, Richard LeBlanc
Special session - The CS2013 computer science curriculum guidelines project. FIE (2011)
Steve Roach
Retrospectives in a software engineering project course: Getting students to get the most from a project experience. CSEE&T (2011)
Cuauhtemoc Munoz, Steve Roach
Automated Testing of LTL Formula Generation by Prospec. HASE (2010)
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)
Salamah Salamah, Ann Q. Gates, Steve Roach
Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG (2008)
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)
Luis García, Steve Roach, Salamah Salamah
PROTEF: Automatic Verification of Pattern-Based LTL Templates. SEKE (2008)
Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
Generating Properties for Runtime Monitoring from Software Specification Patterns. Int. J. Softw. Eng. Knowl. Eng. 17 (1) (2007)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Verification of Automatically Generated Pattern-Based LTL Specifications. HASE (2007)
Luis García, Steve Roach
Model-Checker-Based Testing of LTL Specifications. HASE (2007)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. ATVA (2007)
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)
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. Embed. Comput. Syst. 5 (4) (2006)
Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS (2005)
Zubin Balsara, Steve Roach
Prediction of inherited and genetic mutations using the software model checker SPIN. SAC (2005)
Steve Roach, Jeffrey Van Baalen
Automated Procedure Construction for Deductive Synthesis. Autom. Softw. Eng. 12 (4) (2005)
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)
Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN (2005)
Victor L. Winter, Steve Roach, Fares Fraij
Higher-order strategic programming: A road to software assurance. IASTED Conf. on Software Engineering and Applications (2004)
Nelly Delgado, Ann Q. Gates, Steve Roach
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Trans. Software Eng. 30 (12) (2004)
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter
The SSP: An Example of High-Assurance Systems Engineering. HASE (2004)
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
Instrumentation of Intermediate Code for Runtime Verification. SEW (2003)
Patricia J. Teller, Manuel Nieto, Steve Roach
Combining learning strategies and tools in a first course in computer architecture. WCAE (2003)
Victor L. Winter, Steve Roach, Gregory L. Wickstrom
Transformation-oriented programming: A development methodology for high assurance software. Adv. Comput. 58 (2003)
Oscar Mondragon, Ann Q. Gates, Steve Roach
Prospec: Support for Elicitation and Formal Specification of Software Properties. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Steve Roach, Jeffrey Van Baalen
Experience Report on Automated Procedure Construction for Deductive Synthesis. ASE (2002)
Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado
DynaMICs: Comprehensive Support for Run-Time Monitoring. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)
Jeffrey Van Baalen, Steve Roach
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. LOPSTR (1998)