default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteve Roach
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[j9]Steve Roach, Mehran Sahami:
CS2013: Computer Science Curricula 2013. Computer 48(3): 114-116 (2015)- 2014
- [j8]Mehran Sahami, Steve Roach:
Computer science curricula 2013 released. Commun. ACM 57(6): 5 (2014) - [c30]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: 175-176 - 2013
- [j7]Mehran Sahami, Steve Roach:
Computer Science curricula 2013: getting involved and getting ready. ACM SIGCSE Bull. 45(2): 5-6 (2013) - [c29]Steve Roach, Mehran Sahami, Richard LeBlanc, Remzi Seker:
Special session: The CS2013 Computer Science curriculum guidelines project. FIE 2013: 1311-1313 - [c28]Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Richard LeBlanc:
ACM/IEEE-CS computer science curriculum 2013: reviewing the ironman report. SIGCSE 2013: 13-14 - [c27]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
- [c26]Steve Roach, Mehran Sahami, Richard LeBlanc:
Special session: The CS2013 Computer Science curriculum guidelines project. FIE 2012: 1-2 - [c25]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
- [j6]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: 869182:1-869182:13 (2011) - [c24]Steve Roach:
Retrospectives in a software engineering project course: Getting students to get the most from a project experience. CSEE&T 2011: 467-471 - [c23]Mehran Sahami, Steve Roach, Richard LeBlanc:
Special session - The CS2013 computer science curriculum guidelines project. FIE 2011: 2 - [c22]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
- [c21]Cuauhtemoc Munoz, Steve Roach:
Automated Testing of LTL Formula Generation by Prospec. HASE 2010: 168-169
2000 – 2009
- 2009
- [c20]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
- [c19]Salamah Salamah, Ann Q. Gates, Steve Roach:
Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG 2008: 9-14 - [c18]Luis García, Steve Roach, Salamah Salamah:
PROTEF: Automatic Verification of Pattern-Based LTL Templates. SEKE 2008: 261-266 - [c17]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
- [j5]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): 107-126 (2007) - [c16]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 - [c15]Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach:
Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348 - [c14]Luis García, Steve Roach:
Model-Checker-Based Testing of LTL Specifications. HASE 2007: 417-418 - [c13]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
- [j4]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): 773-818 (2006) - 2005
- [j3]Steve Roach, Jeffrey Van Baalen:
Automated Procedure Construction for Deductive Synthesis. Autom. Softw. Eng. 12(4): 393-414 (2005) - [c12]Zubin Balsara, Steve Roach:
Prediction of inherited and genetic mutations using the software model checker SPIN. SAC 2005: 208-209 - [c11]Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon:
Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220 - [c10]Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112 - [c9]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
- [j2]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) - [c8]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 - [c7]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
- [j1]Victor L. Winter, Steve Roach, Gregory L. Wickstrom:
Transformation-oriented programming: A development methodology for high assurance software. Adv. Comput. 58: 47-116 (2003) - [c6]Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach:
Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66 - [c5]Patricia J. Teller, Manuel Nieto, Steve Roach:
Combining learning strategies and tools in a first course in computer architecture. WCAE 2003: 8 - [c4]Oscar Mondragon, Ann Q. Gates, Steve Roach:
Prospec: Support for Elicitation and Formal Specification of Software Properties. RV@CAV 2003: 67-88 - 2002
- [c3]Steve Roach, Jeffrey Van Baalen:
Experience Report on Automated Procedure Construction for Deductive Synthesis. ASE 2002: 69- - 2001
- [c2]Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado:
DynaMICs: Comprehensive Support for Run-Time Monitoring. RV@CAV 2001: 164-180
1990 – 1999
- 1998
- [c1]Jeffrey Van Baalen, Steve Roach:
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. LOPSTR 1998: 61-70
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
