|
Search the dblp DataBase
Steve Roach:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter
The SSP: An Example of High-Assurance Systems Engineering. [Citation Graph (0, 0)][DBLP] HASE, 2004, pp:167-177 [Conf]
- Steve Roach, Jeffrey Van Baalen
Experience Report on Automated Procedure Construction for Deductive Synthesis. [Citation Graph (0, 0)][DBLP] ASE, 2002, pp:69-0 [Conf]
- Jeffrey Van Baalen, Steve Roach
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. [Citation Graph (0, 0)][DBLP] LOPSTR, 1998, pp:61-70 [Conf]
- Zubin Balsara, Steve Roach
Prediction of inherited and genetic mutations using the software model checker SPIN. [Citation Graph (0, 0)][DBLP] SAC, 2005, pp:208-209 [Conf]
- Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
Verifying Pattern-Generated LTL Formulas: A Case Study. [Citation Graph (0, 0)][DBLP] SPIN, 2005, pp:200-220 [Conf]
- Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. [Citation Graph (0, 0)][DBLP] WORDS, 2005, pp:105-112 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] WORDS, 2005, pp:301-311 [Conf]
- Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
Instrumentation of Intermediate Code for Runtime Verification. [Citation Graph (0, 0)][DBLP] SEW, 2003, pp:66- [Conf]
- Victor L. Winter, Steve Roach, Gregory L. Wickstrom
Transformation-oriented programming: A development methodology for high assurance software. [Citation Graph (0, 0)][DBLP] Advances in Computers, 2003, v:58, n:, pp:49-117 [Journal]
- Steve Roach, Jeffrey Van Baalen
Automated Procedure Construction for Deductive Synthesis. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:4, pp:393-414 [Journal]
- Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado
DynaMICs: Comprehensive Support for Run-Time Monitoring. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
- Oscar Mondragon, Ann Q. Gates, Steve Roach
Prospec: Support for Elicitation and Formal Specification of Software Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
- Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2007, v:17, n:1, pp:107-126 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] ACM Trans. Embedded Comput. Syst., 2006, v:5, n:4, pp:773-818 [Journal]
- Nelly Delgado, Ann Q. Gates, Steve Roach
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:12, pp:859-872 [Journal]
- Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:533-542 [Conf]
- Victor L. Winter, Steve Roach, Fares Fraij
Higher-order strategic programming: A road to software assurance. [Citation Graph (0, 0)][DBLP] IASTED Conf. on Software Engineering and Applications, 2004, pp:350-355 [Conf]
Verification of Automatically Generated Pattern-Based LTL Specifications. [Citation Graph (, )][DBLP]
Model-Checker-Based Testing of LTL Specifications. [Citation Graph (, )][DBLP]
Improving Pattern-Based LTL Formulas for Automata Model Checking. [Citation Graph (, )][DBLP]
An Aspect-Based Approach to Checking Design Constraints at Run-Time. [Citation Graph (, )][DBLP]
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. [Citation Graph (, )][DBLP]
PROTEF: Automatic Verification of Pattern-Based LTL Templates. [Citation Graph (, )][DBLP]
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.304secs
|