Andrew J. Kornecki

Certification of software for real-time safety-critical systems: state of the art

Andrew J. Kornecki, Janusz Zalewski · Innovations in Systems and Software Engineering · 2009 · 51 citations

Engineering, Verification, Safety Science +17

Fault Tree Analysis for Safety/Security Verification in Aviation Software

Andrew J. Kornecki, Mingye Liu · Electronics · 2013 · 42 citations · Full text

Engineering, Verification, Software Engineering +23

Studying interrelationships of safety and security for software assurance in cyber-physical systems: Approach based on bayesian belief networks

Andrew J. Kornecki, Nary Subramanian, Janusz Zalewski · Scholarly Commons (Embry–Riddle Aeronautical University) · 2013 · 41 citations

Engineering, Information Security, Verification +20

Safety and security in industrial control

Andrew J. Kornecki, Janusz Zalewski · 2010 · 35 citations

Engineering, Complementary View, Industrial Engineering +13

On a partnership between software industry and academia

Andrew J. Kornecki, S. Khajenoori, David P. Gluch et al. · 2003 · 30 citations

Education, Software Engineering, Law +16