Barbara J. Czerny

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Barbara J. Czerny, Joseph G. D'Ambrosio, Brian T. Murray
Providing convincing evidence of safety in X-by-wire automotive systems. HASE (2000)
Mats Per Erik Heimdahl, Barbara J. Czerny
On the analysis needs when verifying state-based software requirements: an experience report. Sci. Comput. Program. 36 (1) (2000)
Barbara J. Czerny, Mats Per Erik Heimdahl
Identifying Domain Axioms Using Binary Decision Diagrams. HASE (1999)
Barbara J. Czerny, Mats Per Erik Heimdahl
Automated Integrative Analysis of State-based Requirements. ASE (1998)
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. FMSP (1998)
Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny
Specification and Analysis of Intercomponent Communication. Computer 31 (4) (1998)
Mats Per Erik Heimdahl, Barbara J. Czerny
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE (1996)