Barbara J. Czerny

According to our database, Barbara J. Czerny authored at least 7 papers between 1996 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

On the analysis needs when verifying state-based software requirements: an experience report.

Mats Per Erik Heimdahl, Barbara J. Czerny

Sci. Comput. Program., 2000

Providing convincing evidence of safety in X-by-wire automotive systems.

Barbara J. Czerny, Joseph G. D'Ambrosio, Brian T. Murray

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999

Identifying Domain Axioms Using Binary Decision Diagrams.

Barbara J. Czerny, Mats Per Erik Heimdahl

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

Specification and Analysis of Intercomponent Communication.

Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny

Computer, 1998

Automated Integrative Analysis of State-based Requirements.

Barbara J. Czerny, Mats Per Erik Heimdahl

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Checking properties of safety critical specifications using efficient decision procedures.

David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1996

Using PVS to analyze hierarchical state-based requirements for completeness and consistency.

Mats Per Erik Heimdahl, Barbara J. Czerny

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996