Operational knowledge acquisition problems for air traffic expert controller. - Andrew J. Kornecki (SIGART Newsl., 1989)

Real-time simulation of air traffic control radar terminal with trainer interface. - Andrew J. Kornecki; James J. Cieplak; Anthony Schneider (Simul., 1991)

Object Oriented Simulation For Air Traffic Control Training. - Andrew J. Kornecki (Annual Simulation Symposium, 1993)

Intelligent tutoring issues for air traffic control training. - Andrew J. Kornecki; Thomas B. Hilburn; Thomas W. Diefenbach; Massood Towhidnejad (IEEE Trans. Control. Syst. Technol., 1993)

The Integration of Software Engineering into a Computer Science Curriculum. - Thomas B. Hilburn; Iraj Hirmanpour; Andrew J. Kornecki (CSEE, 1995)

A domain centered curriculum: an alternative approach to computing education. - Iraj Hirmanpour; Thomas B. Hilburn; Andrew J. Kornecki (SIGCSE, 1995)

Strengthening Software Engineering Education through Academic Industry Collaboration. - Andrew J. Kornecki; Iraj Hirmanpour; Massood Towhidnejad; Roger Boyd; Theresa Ghiorzi; Linda Margolis (CSEE&T, 1997)

Real-Time Computing in Software Engineering Education. - Andrew J. Kornecki (CSEE&T, 2000)

Learning Real-Time Programming Concepts through VxWorks Lab Experiments. - Andrew J. Kornecki; Janusz Zalewski; Daniel Eyassu (CSEE&T, 2000)

Teaching Object-oriented Simulation in a Software Engineering Framework. - Andrew J. Kornecki (Simul., 2001)

Software Reliability and Requirements Assessment of Software Safety Via Catastrophic Events Coverage. - Andrew J. Kornecki (Applied Informatics, 2003)

On a Partnership between Software Industry and Academia. - Andrew J. Kornecki; Soheil Khajenoori; David P. Gluch; Nader Kameli (CSEE&T, 2003)

Design Tool Assessment for Safety-Critical Software Development. - Andrew J. Kornecki; Janusz Zalewski (SEW, 2003)

Software Development for Real-Time Safety-Critical Applications. - Andrew J. Kornecki; Janusz Zalewski (SEW Tutorial Notes, 2003)

Safety of computer control systems: challenges and results in software development. - Janusz Zalewski; Wolfgang D. Ehrenberger; Francesca Saglietti; Janusz Górski; Andrew J. Kornecki (Annu. Rev. Control., 2003)

A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. - Lazar Crawford; Jared Erwin; Steafano Grimaldi; Soma Mitra; Andrew J. Kornecki; David P. Gluch (HASE, 2004)

Evaluation of Software Development Tools for High Assurance Safety Critical Systems. - Andrew J. Kornecki; Kimberley Hall; Darryl Hearn; Herman Lau; Janusz Zalewski (HASE, 2004)

Approaches to assure safety in fly-by-wire systems: Airbus vs. boeing. - Andrew J. Kornecki; Kimberley Hall (IASTED Conf. on Software Engineering and Applications, 2004)

Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. - Andrew J. Kornecki; Janusz Zalewski (SEW, 2005)

Performance Analysis of Web Servers: Apache and Microsoft IIS. - Andrew J. Kornecki; Nick Brixius; Ozeas V. Santana Filho (WEBIST, 2005)

Experimental evaluation of software development tools for safety-critical real-time systems. - Andrew J. Kornecki; Janusz Zalewski (Innov. Syst. Softw. Eng., 2005)

Software Development with Automatic Code Generation: Observations from Novice Developer Viewpoint. - Farahzad Behi; Andrew J. Kornecki (Software Engineering Research and Practice, 2006)

Automatic Code Generation: Model-Code Semantic Consistency. - Andrew J. Kornecki; Sona Johri (Software Engineering Research and Practice, 2006)

Tutorial on System Safety for Software Engineers in Global Industry: Concepts and Implementation. - Andrew J. Kornecki (ICGSE, 2007)

Automated Code Generation for Safety-Related Applications: a Case Study. - David P. Gluch; Andrew J. Kornecki (Comput. Sci., 2007)

An RSIC-SE2004 curriculum framework. - Thomas B. Hilburn; Andrew J. Kornecki; Jean-Marc Thiriet; Wojciech Grega; Miroslav Svéda (IMCSIT, 2008)

Software certification for safety-critical systems: A status report. - Andrew J. Kornecki; Janusz Zalewski (IMCSIT, 2008)

Software Tools for Safety-Critical Systems According to DO-254. - Andrew J. Kornecki; Brian Butka; Janusz Zalewski (Computer, 2008)

Computing Curricula for the 21st Century. - Andrew J. Kornecki (IEEE Distributed Syst. Online, 2008)

Airborne Software: Communication and Certification. - Andrew J. Kornecki (Scalable Comput. Pract. Exp., 2008)

Software Safety. - Andrew J. Kornecki (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Inter-university project based on LEGO NXT. - Adam Pilat; Andrew J. Kornecki; Jean-Marc Thiriet; Wojciech Grega; Ondrej Rysavý (CCA/ISIC, 2009)

Designing and Implementing International RSIC Engineering Curriculum. - Ondrej Rysavý; Miroslav Svéda; Andrew J. Kornecki; Thomas B. Hilburn; Wojciech Grega; Adam Pilat; Jean-Marc Thiriet (ECBS-EERC, 2009)

Hardware certification for safety-critical real-time systems. - Andrew J. Kornecki; Janusz Zalewski (PDeS, 2009)

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. - Brian Butka; Janusz Zalewski; Andrew J. Kornecki (SAFECOMP, 2009)

Certification of software for real-time safety-critical systems: state of the art. - Andrew J. Kornecki; Janusz Zalewski (Innov. Syst. Softw. Eng., 2009)

Safety and security in industrial control. - Andrew J. Kornecki; Janusz Zalewski (CSIIRW, 2010)

Hardware certification for real-time safety-critical systems: State of the art. - Andrew J. Kornecki; Janusz Zalewski (Annu. Rev. Control., 2010)

Development of a Master of Software Assurance Reference Curriculum. - Nancy R. Mead; Julia H. Allen; Mark A. Ardis; Thomas B. Hilburn; Andrew J. Kornecki; Richard C. Linger; James McDonald (Int. J. Secur. Softw. Eng., 2010)

Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study. - Andrew J. Kornecki; Wendy F. Stevenson (COMPSAC Workshops, 2011)

Can we measure security and how? - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (CSIIRW, 2011)

Availability Assessment of Embedded Systems with Security Vulnerabilities. - Andrew J. Kornecki; Janusz Zalewski; Wendy F. Stevenson (SEW, 2011)

Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (ENASE, 2012)

Threat modeling for security assessment in cyberphysical systems. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (CSIIRW, 2013)

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 (FedCSIS, 2013)

Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks Approach. - Daniel Reyes-Duran; Elliot Robinson; Andrew J. Kornecki; Janusz Zalewski (FedCSIS, 2013)

Reasoning under uncertainty with Bayesian Belief Networks Enhanced with Rough Sets. - Andrew J. Kornecki; Slawomir T. Wierzchon; Janusz Zalewski (Int. J. Comput., 2013)

Measuring Security: A Challenge for the Generation. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki (FedCSIS (Position Papers), 2014)

Safety analysis of a rotorcraft health and usage monitoring system. - Andrew J. Kornecki; Janusz Zalewski; Richard P. Anderson (MMAR, 2014)

Real-time Cyber-Physical Systems transatlantic engineering curricula framework. - Wojciech Grega; Andrew J. Kornecki (FedCSIS, 2015)

Modeling Resiliency and Its Essential Components for Cyberphysical Systems. - Janusz Zalewski; Steven Drager 001; William McKeever; Andrew J. Kornecki; Bogdan D. Czejdo (FedCSIS (Position Papers), 2015)

Safety analysis of Virtual Traffic Lights. - Justin Yapp; Andrew J. Kornecki (MMAR, 2015)

A Framework for Measuring Security as a System Property in Cyberphysical Systems. - Janusz Zalewski; Ingrid A. Buckley; Bogdan D. Czejdo; Steven Drager 001; Andrew J. Kornecki; Nary Subramanian (Inf., 2016)