Steve Roach

40 papers A* 1A 5B 2C 7Misc 2Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2015 J jnl
CS2013: Computer Science Curricula 2013.
Computer
Steve Roach, Mehran Sahami
2014 A conf
ACM/IEEE-CS computer science curricula 2013: implementing the final report.
SIGCSE
Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Elizabeth K. Hawthorne, Amruth Kumar, Richard LeBlanc, David Reed, Remzi Seker
2014 J jnl
Computer science curricula 2013 released.
Commun. ACM
Mehran Sahami, Steve Roach
2013 A conf
ACM/IEEE computer science 2013 exemplar-fest.
SIGCSE
Andrea Danyluk, Steve Roach, Elizabeth K. Hawthorne, Henry MacKay Walker, Ruth E. Anderson, Christa M. Chewar
2013 A conf
ACM/IEEE-CS computer science curriculum 2013: reviewing the ironman report.
SIGCSE
Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Richard LeBlanc
2013 J jnl
Computer Science curricula 2013: getting involved and getting ready.
ACM SIGCSE Bull.
Mehran Sahami, Steve Roach
2013 C conf
Special session: The CS2013 Computer Science curriculum guidelines project.
FIE
Steve Roach, Mehran Sahami, Richard LeBlanc, Remzi Seker
2012 A conf
Computer science curriculum 2013: reviewing the strawman report from the ACM/IEEE-CS task force.
SIGCSE
Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, David Reed
2012 C conf
Special session: The CS2013 Computer Science curriculum guidelines project.
FIE
Steve Roach, Mehran Sahami, Richard LeBlanc
2011 — conf
Retrospectives in a software engineering project course: Getting students to get the most from a project experience.
CSEE&T
Steve Roach
2011 A conf
Setting the stage for computing curricula 2013: computer science - report from the ACM/IEEE-CS joint task force.
SIGCSE
Mehran Sahami, Mark Guzdial, Andrew D. McGettrick, Steve Roach
2011 C conf
Special session - The CS2013 computer science curriculum guidelines project.
FIE
Mehran Sahami, Steve Roach, Richard LeBlanc
2011 J jnl
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications.
Adv. Softw. Eng.
Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow
2010 — conf
Automated Testing of LTL Formula Generation by Prospec.
HASE
Cuauhtemoc Munoz, Steve Roach
2009 — conf
An Aspect-Based Approach to Checking Design Constraints at Run-Time.
ITNG
Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo
2008 C conf
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.
SEKE
Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela
2008 — conf
Improving Pattern-Based LTL Formulas for Automata Model Checking.
ITNG
Salamah Salamah, Ann Q. Gates, Steve Roach
2008 C conf
PROTEF: Automatic Verification of Pattern-Based LTL Templates.
SEKE
Luis García, Steve Roach, Salamah Salamah
2008 — ch.
Teaching and Assessing Graduate Ethics in Engineering, Science, and Technology.
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education
Steve Roach, Jules Simon
2007 J jnl
Generating Properties for Runtime Monitoring from Software Specification Patterns.
Int. J. Softw. Eng. Knowl. Eng.
Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
2007 — conf
Model-Checker-Based Testing of LTL Specifications.
HASE
Luis García, Steve Roach
2007 B conf
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.
RV
Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates
2007 B conf
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.
ATVA
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
2007 — conf
Verification of Automatically Generated Pattern-Based LTL Specifications.
HASE
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
2006 J jnl
A transformational perspective into the core of an abstract class loader for the SSP.
ACM Trans. Embed. Comput. Syst.
Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom
2005 — conf
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP.
WORDS
Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach
2005 J jnl
Automated Procedure Construction for Deductive Synthesis.
Autom. Softw. Eng.
Steve Roach, Jeffrey Van Baalen
2005 — conf
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.
WORDS
Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
2005 Misc conf
Prediction of inherited and genetic mutations using the software model checker SPIN.
SAC
Zubin Balsara, Steve Roach
2005 — conf
Verifying Pattern-Generated LTL Formulas: A Case Study.
SPIN
Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
2004 J jnl
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.
IEEE Trans. Software Eng.
Nelly Delgado, Ann Q. Gates, Steve Roach
2004 — conf
Higher-order strategic programming: A road to software assurance.
IASTED Conf. on Software Engineering and Applications
Victor L. Winter, Steve Roach, Fares Fraij
2004 — conf
The SSP: An Example of High-Assurance Systems Engineering.
HASE
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter
2003 Misc conf
Combining learning strategies and tools in a first course in computer architecture.
WCAE
Patricia J. Teller, Manuel Nieto, Steve Roach
2003 C conf
Instrumentation of Intermediate Code for Runtime Verification.
SEW
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
2003 — conf
Prospec: Support for Elicitation and Formal Specification of Software Properties.
RV@CAV
Oscar Mondragon, Ann Q. Gates, Steve Roach
2003 J jnl
Transformation-oriented programming: A development methodology for high assurance software.
Adv. Comput.
Victor L. Winter, Steve Roach, Gregory L. Wickstrom
2002 A* conf
Experience Report on Automated Procedure Construction for Deductive Synthesis.
ASE
Steve Roach, Jeffrey Van Baalen
2001 — conf
DynaMICs: Comprehensive Support for Run-Time Monitoring.
RV@CAV
Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado
1998 C conf
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.
LOPSTR
Jeffrey Van Baalen, Steve Roach