Andrew J. Kornecki

According to our database, Andrew J. Kornecki authored at least 53 papers between 1989 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Framework for Measuring Security as a System Property in Cyberphysical Systems.

Janusz Zalewski, Ingrid A. Buckley, Bogdan D. Czejdo, Steven Drager, Andrew J. Kornecki, Nary Subramanian

Inf., 2016

2015

Safety analysis of Virtual Traffic Lights.

Justin Yapp, Andrew J. Kornecki

Proceedings of the 20th International Conference on Methods and Models in Automation and Robotics, 2015

Modeling Resiliency and Its Essential Components for Cyberphysical Systems.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki, Bogdan D. Czejdo

Proceedings of the Position Papers of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Real-time Cyber-Physical Systems transatlantic engineering curricula framework.

Wojciech Grega, Andrew J. Kornecki

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Safety analysis of a rotorcraft health and usage monitoring system.

Andrew J. Kornecki, Janusz Zalewski, Richard P. Anderson

Proceedings of the 19th International Conference On Methods and Models in Automation and Robotics, 2014

Measuring Security: A Challenge for the Generation.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the Position Papers of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013

Reasoning under uncertainty with Bayesian Belief Networks Enhanced with Rough Sets.

Andrew J. Kornecki, Slawomir T. Wierzchon, Janusz Zalewski

Int. J. Comput., 2013

Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks Approach.

Daniel Reyes-Duran, Elliot Robinson, Andrew J. Kornecki, Janusz Zalewski

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 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

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Threat modeling for security assessment in cyberphysical systems.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure.

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the ENASE 2012, 2012

2011

Availability Assessment of Embedded Systems with Security Vulnerabilities.

Andrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Can we measure security and how?

Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study.

Andrew J. Kornecki, Wendy F. Stevenson

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

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

Hardware certification for real-time safety-critical systems: State of the art.

Andrew J. Kornecki, Janusz Zalewski

Annu. Rev. Control., 2010

Safety and security in industrial control.

Andrew J. Kornecki, Janusz Zalewski

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2009

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

Andrew J. Kornecki, Janusz Zalewski

Innov. Syst. Softw. Eng., 2009

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.

Brian Butka, Janusz Zalewski, Andrew J. Kornecki

Proceedings of the Computer Safety, 2009

Hardware certification for safety-critical real-time systems.

Andrew J. Kornecki, Janusz Zalewski

Proceedings of the 9th IFAC Workshop on Programmable Devices and Embedded Systems, 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

Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009

Inter-university project based on LEGO NXT.

Adam Pilat, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Ondrej Rysavý

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

Software Safety.

Andrew J. Kornecki

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Airborne Software: Communication and Certification.

Andrew J. Kornecki

Scalable Comput. Pract. Exp., 2008

Computing Curricula for the 21st Century.

Andrew J. Kornecki

IEEE Distributed Syst. Online, 2008

Software Tools for Safety-Critical Systems According to DO-254.

Andrew J. Kornecki, Brian Butka, Janusz Zalewski

Computer, 2008

Software certification for safety-critical systems: A status report.

Andrew J. Kornecki, Janusz Zalewski

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

An RSIC-SE2004 curriculum framework.

Thomas B. Hilburn, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Miroslav Svéda

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

2007

Automated Code Generation for Safety-Related Applications: a Case Study.

David P. Gluch, Andrew J. Kornecki

Comput. Sci., 2007

Tutorial on System Safety for Software Engineers in Global Industry: Concepts and Implementation.

Andrew J. Kornecki

Proceedings of the 2nd IEEE International Conference on Global Software Engineering, 2007

2006

Automatic Code Generation: Model-Code Semantic Consistency.

Andrew J. Kornecki, Sona Johri

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Software Development with Automatic Code Generation: Observations from Novice Developer Viewpoint.

Farahzad Behi, Andrew J. Kornecki

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

2005

Experimental evaluation of software development tools for safety-critical real-time systems.

Andrew J. Kornecki, Janusz Zalewski

Innov. Syst. Softw. Eng., 2005

Performance Analysis of Web Servers: Apache and Microsoft IIS.

Andrew J. Kornecki, Nick Brixius, Ozeas V. Santana Filho

Proceedings of the WEBIST 2005, 2005

Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development.

Andrew J. Kornecki, Janusz Zalewski

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

2004

Approaches to assure safety in fly-by-wire systems: Airbus vs. boeing.

Andrew J. Kornecki, Kimberley Hall

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Evaluation of Software Development Tools for High Assurance Safety Critical Systems.

Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

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

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

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

Software Development for Real-Time Safety-Critical Applications.

Andrew J. Kornecki, Janusz Zalewski

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Design Tool Assessment for Safety-Critical Software Development.

Andrew J. Kornecki, Janusz Zalewski

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

On a Partnership between Software Industry and Academia.

Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

Software Reliability and Requirements Assessment of Software Safety Via Catastrophic Events Coverage.

Andrew J. Kornecki

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2001

Teaching Object-oriented Simulation in a Software Engineering Framework.

Andrew J. Kornecki

Simul., 2001

2000

Learning Real-Time Programming Concepts through VxWorks Lab Experiments.

Andrew J. Kornecki, Janusz Zalewski, Daniel Eyassu

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

Real-Time Computing in Software Engineering Education.

Andrew J. Kornecki

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1997

Strengthening Software Engineering Education through Academic Industry Collaboration.

Andrew J. Kornecki, Iraj Hirmanpour, Massood Towhidnejad, Roger Boyd, Theresa Ghiorzi, Linda Margolis

Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997

1995

A domain centered curriculum: an alternative approach to computing education.

Iraj Hirmanpour, Thomas B. Hilburn, Andrew J. Kornecki

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

The Integration of Software Engineering into a Computer Science Curriculum.

Thomas B. Hilburn, Iraj Hirmanpour, Andrew J. Kornecki

Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

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

Object Oriented Simulation For Air Traffic Control Training.

Andrew J. Kornecki

Proceedings of the Proceedings 26th Annual Simulation Symposium, ANSS 1993, 1993

1991

Real-time simulation of air traffic control radar terminal with trainer interface.

Andrew J. Kornecki, James J. Cieplak, Anthony Schneider

Simul., 1991

1989

Operational knowledge acquisition problems for air traffic expert controller.

Andrew J. Kornecki

SIGART Newsl., 1989