Obserwuj
Andrew J. Kornecki
Andrew J. Kornecki
Professor Emeritus, Electrical, Computer, Software and System Engineering, Embry Riddle Aeronautical
Zweryfikowany adres z erau.edu - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
862009
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
662013
Fault tree analysis for safety/security verification in aviation software
AJ Kornecki, M Liu
Electronics 2 (1), 41-56, 2013
642013
Safety and security in industrial control
AJ Kornecki, J Zalewski
Proceedings of the sixth annual workshop on cyber security and information …, 2010
502010
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
472010
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
422003
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
352003
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
342005
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
322013
Software certification for safety-critical systems: A status report
A Kornecki, J Zalewski
2008 International Multiconference on Computer Science and Information …, 2008
292008
Threat modeling for aviation computer security
AO Baquero, AJ Kornecki, J Zalewski
crosstalk 28 (6), 21-27, 2015
282015
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
262013
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
262010
The integration of software engineering into a computer science curriculum
TB Hilburn, I Hirmanpour, A Kornecki
Conference on Software Engineering Education, 87-97, 1995
251995
Real-time Cyber-Physical Systems transatlantic engineering curricula framework
W Grega, AJ Kornecki
2015 Federated Conference on Computer Science and Information Systems …, 2015
242015
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
232013
The qualification of software development tools from the DO-178B certification perspective
AJ Kornecki, J Zalewski
CrossTalk 19 (4), 19-22, 2006
202006
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
202000
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
182010
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
182005
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20