The SCEAS System
Navigation Menu

Search the dblp DataBase


Barbara J. Czerny: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill
    Checking properties of safety critical specifications using efficient decision procedures. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:34-43 [Conf]
  2. Mats Per Erik Heimdahl, Barbara J. Czerny
    Using PVS to analyze hierarchical state-based requirements for completeness and consistency. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:252-262 [Conf]
  3. Barbara J. Czerny, Mats Per Erik Heimdahl
    Identifying Domain Axioms Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:132-140 [Conf]
  4. Barbara J. Czerny, Mats Per Erik Heimdahl
    Automated Integrative Analysis of State-based Requirements. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:125-0 [Conf]
  5. Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny
    Specification and Analysis of Intercomponent Communication. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:4, pp:47-54 [Journal]
  6. Mats Per Erik Heimdahl, Barbara J. Czerny
    On the analysis needs when verifying state-based software requirements: an experience report. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:1, pp:65-96 [Journal]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002