Steve Roach

According to our database, Steve Roach authored at least 39 papers between 1998 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

CS2013: Computer Science Curricula 2013.

Steve Roach, Mehran Sahami

Computer, 2015

2014

Computer science curricula 2013 released.

Mehran Sahami, Steve Roach

Commun. ACM, 2014

ACM/IEEE-CS computer science curricula 2013: implementing the final report.

Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Elizabeth K. Hawthorne, Amruth Kumar, Richard LeBlanc, David Reed, Remzi Seker

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013

Computer Science curricula 2013: getting involved and getting ready.

Mehran Sahami, Steve Roach

ACM SIGCSE Bull., 2013

ACM/IEEE-CS computer science curriculum 2013: reviewing the ironman report.

Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Richard LeBlanc

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

ACM/IEEE computer science 2013 exemplar-fest.

Andrea Danyluk, Steve Roach, Elizabeth K. Hawthorne, Henry MacKay Walker, Ruth E. Anderson, Christa M. Chewar

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Special session: The CS2013 Computer Science curriculum guidelines project.

Steve Roach, Mehran Sahami, Richard LeBlanc, Remzi Seker

Proceedings of the IEEE Frontiers in Education Conference, 2013

2012

Computer science curriculum 2013: reviewing the strawman report from the ACM/IEEE-CS task force.

Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, David Reed

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Special session: The CS2013 Computer Science curriculum guidelines project.

Steve Roach, Mehran Sahami, Richard LeBlanc

Proceedings of the IEEE Frontiers in Education Conference, 2012

2011

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications.

Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow

Adv. Softw. Eng., 2011

Setting the stage for computing curricula 2013: computer science - report from the ACM/IEEE-CS joint task force.

Mehran Sahami, Mark Guzdial, Andrew D. McGettrick, Steve Roach

Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Retrospectives in a software engineering project course: Getting students to get the most from a project experience.

Steve Roach

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

Automated Testing of LTL Formula Generation by Prospec.

Cuauhtemoc Munoz, Steve Roach

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

An Aspect-Based Approach to Checking Design Constraints at Run-Time.

Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008

Teaching and Assessing Graduate Ethics in Engineering, Science, and Technology.

Steve Roach, Jules Simon

Proceedings of the Innovative Techniques in Instruction Technology, 2008

PROTEF: Automatic Verification of Pattern-Based LTL Templates.

Luis García, Steve Roach, Salamah Salamah

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.

Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Improving Pattern-Based LTL Formulas for Automata Model Checking.

Salamah Salamah, Ann Q. Gates, Steve Roach

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2007

Generating Properties for Runtime Monitoring from Software Specification Patterns.

Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky

Int. J. Softw. Eng. Knowl. Eng., 2007

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.

Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Verification of Automatically Generated Pattern-Based LTL Specifications.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Model-Checker-Based Testing of LTL Specifications.

Luis García, Steve Roach

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A transformational perspective into the core of an abstract class loader for the SSP.

Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom

ACM Trans. Embed. Comput. Syst., 2006

2005

Automated Procedure Construction for Deductive Synthesis.

Steve Roach, Jeffrey Van Baalen

Autom. Softw. Eng., 2005

A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP.

Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.

Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Verifying Pattern-Generated LTL Formulas: A Case Study.

Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon

Proceedings of the Model Checking Software, 2005

Prediction of inherited and genetic mutations using the software model checker SPIN.

Zubin Balsara, Steve Roach

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.

Nelly Delgado, Ann Q. Gates, Steve Roach

IEEE Trans. Software Eng., 2004

Higher-order strategic programming: A road to software assurance.

Victor L. Winter, Steve Roach, Fares Fraij

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

The SSP: An Example of High-Assurance Systems Engineering.

Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Prospec: Support for Elicitation and Formal Specification of Software Properties.

Oscar Mondragon, Ann Q. Gates, Steve Roach

Proceedings of the Third Workshop on Run-time Verification, 2003

Transformation-oriented programming: A development methodology for high assurance software.

Victor L. Winter, Steve Roach, Gregory L. Wickstrom

Adv. Comput., 2003

Combining learning strategies and tools in a first course in computer architecture.

Patricia J. Teller, Manuel Nieto, Steve Roach

Proceedings of the 2003 workshop on Computer architecture education, 2003

Instrumentation of Intermediate Code for Runtime Verification.

Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

2002

Experience Report on Automated Procedure Construction for Deductive Synthesis.

Steve Roach, Jeffrey Van Baalen

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

DynaMICs: Comprehensive Support for Run-Time Monitoring.

Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado

Proceedings of the Workshop on Runtime Verification, 2001

1998

Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.

Jeffrey Van Baalen, Steve Roach

Proceedings of the Logic Programming Synthesis and Transformation, 1998