The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steve Roach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]

  18. Verification of Automatically Generated Pattern-Based LTL Specifications. [Citation Graph (, )][DBLP]


  19. Model-Checker-Based Testing of LTL Specifications. [Citation Graph (, )][DBLP]


  20. Improving Pattern-Based LTL Formulas for Automata Model Checking. [Citation Graph (, )][DBLP]


  21. An Aspect-Based Approach to Checking Design Constraints at Run-Time. [Citation Graph (, )][DBLP]


  22. A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. [Citation Graph (, )][DBLP]


  23. PROTEF: Automatic Verification of Pattern-Based LTL Templates. [Citation Graph (, )][DBLP]


  24. Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002