| Certification of software for real-time safety-critical systems: state of the art A Kornecki, J Zalewski Innovations in Systems and Software Engineering 5, 149-161, 2009 | 87 | 2009 |
| Studying interrelationships of safety and security for software assurance in cyber-physical systems: Approach based on bayesian belief networks AJ Kornecki, N Subramanian, J Zalewski 2013 federated conference on computer science and information systems, 1393-1399, 2013 | 67 | 2013 |
| Fault tree analysis for safety/security verification in aviation software AJ Kornecki, M Liu Electronics 2 (1), 41-56, 2013 | 64 | 2013 |
| Safety and security in industrial control AJ Kornecki, J Zalewski Proceedings of the sixth annual workshop on cyber security and information …, 2010 | 50 | 2010 |
| Software assurance curriculum project volume I: Master of software assurance reference curriculum NR Mead, JH Allen, M Ardis, TB Hilburn, AJ Kornecki, RC Linger, ... Carnegie Mellon University, 2010 | 47 | 2010 |
| On a partnership between software industry and academia AJ Kornecki, S Khajenoori, D Gluch, N Kameli Proceedings 16th Conference on Software Engineering Education and Training …, 2003 | 42 | 2003 |
| Safety of computer control systems: challenges and results in software development J Zalewski, W Ehrenberger, F Saglietti, J Gorski, A Kornecki Annual Reviews in Control 27 (1), 23-37, 2003 | 35 | 2003 |
| Experimental evaluation of software development tools for safety-critical real-time systems AJ Kornecki, J Zalewski Innovations in Systems and Software Engineering 1, 176-188, 2005 | 34 | 2005 |
| Threat modeling for security assessment in cyberphysical systems J Zalewski, S Drager, W McKeever, AJ Kornecki Proceedings of the Eighth Annual Cyber Security and Information Intelligence …, 2013 | 32 | 2013 |
| Software certification for safety-critical systems: A status report A Kornecki, J Zalewski 2008 International Multiconference on Computer Science and Information …, 2008 | 29 | 2008 |
| Threat modeling for aviation computer security AO Baquero, AJ Kornecki, J Zalewski crosstalk 28 (6), 21-27, 2015 | 28 | 2015 |
| Safety analysis of Autonomous Ground Vehicle optical systems: Bayesian belief networks approach DR Duran, E Robinson, AJ Kornecki, J Zalewski 2013 Federated Conference on Computer Science and Information Systems, 1419-1425, 2013 | 26 | 2013 |
| Hardware certification for real-time safety-critical systems: State of the art AJ Kornecki, J Zalewski Annual Reviews in Control 34 (1), 163-174, 2010 | 26 | 2010 |
| The integration of software engineering into a computer science curriculum TB Hilburn, I Hirmanpour, A Kornecki Conference on Software Engineering Education, 87-97, 1995 | 25 | 1995 |
| Real-time Cyber-Physical Systems transatlantic engineering curricula framework W Grega, AJ Kornecki 2015 Federated Conference on Computer Science and Information Systems …, 2015 | 24 | 2015 |
| Software assurance competency model T Hilburn, M Ardis, G Johnson, A Kornecki, N Mead tech. note CMU/SEI-2013-TN-004, Software Eng. Inst., Carnegie Mellon Univ, 2013 | 23 | 2013 |
| The qualification of software development tools from the DO-178B certification perspective AJ Kornecki, J Zalewski CrossTalk 19 (4), 19-22, 2006 | 20 | 2006 |
| Learning real-time programming concepts through VxWorks lab experiments AJ Kornecki, J Zalewski, D Eyassu Thirteenth Conference on Software Engineering Education and Training, 294-301, 2000 | 20 | 2000 |
| Software assurance curriculum project volume I: master of software assurance reference curriculum (CMU/SEI-2010-TR-005) N Mead, J Allen, M Ardis, T Hilburn, A Kornecki, R Linger, J McDonald Software Engineering Institute, Carnegie Mellon University, 2010 | 18 | 2010 |
| Safety issues in avionics and automotive databuses J Zalewski, D Trawczyński, J Sosnowski, A Kornecki, M Śnieżek IFAC Proceedings Volumes 38 (1), 26-31, 2005 | 18 | 2005 |
