Concepedia

Barbara J. Czerny

BJ

Statistics

Publications

8

Citations

168

H-Index

8

Active since

1998

Affiliations

Aptiv (United States)(Current)

University of Minnesota

Michigan State University

Barbara J. Czerny is an author at Aptiv (United States) specializing in computer engineering, system software, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareFormal VerificationSystems EngineeringComputer EngineeringReliability EngineeringCommunicationSoftware Design

Publications per year

1998–2013

8

Publications

8

A System-Safety Process For By-Wire Automotive Systems

Sanket Amberkar, Joseph D’Ambrosio, B.T. Murray et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2000 · 38 citations

Survey of Software Failsafe Techniques for Safety-Critical Automotive Applications

Eldon G. Leaphart, Barbara J. Czerny, Joseph D’Ambrosio et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2005 · 25 citations

A Comprehensive Hazard Analysis Technique for Safety-Critical Automotive Systems

Sanket Amberkar, Barbara J. Czerny, Joseph D’Ambrosio et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2001 · 23 citations

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

Mats P. E. Heimdahl, Barbara J. Czerny · 2002 · 19 citations

Hierarchical State, Hierarchical State-based Requirements, Engineering +24

Effective Application of Software Safety Techniques for Automotive Embedded Control Systems

Barbara J. Czerny, Joseph D’Ambrosio, B.T. Murray et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2005 · 19 citations

1–5 of 8