Andrew J. Kornecki

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 1

Top Topics

Safety Analysis

Top Venues

FedCSIS (Position Papers)

Publications

Janusz Zalewski, Ingrid A. Buckley, Bogdan D. Czejdo, Steven Drager, Andrew J. Kornecki, Nary Subramanian
A Framework for Measuring Security as a System Property in Cyberphysical Systems. Inf. 7 (2) (2016)
Justin Yapp, Andrew J. Kornecki
Safety analysis of Virtual Traffic Lights. MMAR (2015)
Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki, Bogdan D. Czejdo
Modeling Resiliency and Its Essential Components for Cyberphysical Systems. FedCSIS (Position Papers) (2015)
Wojciech Grega, Andrew J. Kornecki
Real-time Cyber-Physical Systems transatlantic engineering curricula framework. FedCSIS (2015)
Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki
Measuring Security: A Challenge for the Generation. FedCSIS (Position Papers) (2014)
Andrew J. Kornecki, Janusz Zalewski, Richard P. Anderson
Safety analysis of a rotorcraft health and usage monitoring system. MMAR (2014)
Daniel Reyes-Duran, Elliot Robinson, Andrew J. Kornecki, Janusz Zalewski
Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks Approach. FedCSIS (2013)
Andrew J. Kornecki, Slawomir T. Wierzchon, Janusz Zalewski
Reasoning under uncertainty with Bayesian Belief Networks Enhanced with Rough Sets. Int. J. Comput. 12 (1) (2013)
Andrew J. Kornecki, Nary Subramanian, Janusz Zalewski
Studying Interrelationships of Safety and Security for Software Assurance in Cyber-Physical Systems: Approach Based on Bayesian Belief Networks. FedCSIS (2013)
Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki
Threat modeling for security assessment in cyberphysical systems. CSIIRW (2013)
Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki
Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure. ENASE (2012)
Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki
Can we measure security and how? CSIIRW (2011)
Andrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson
Availability Assessment of Embedded Systems with Security Vulnerabilities. SEW (2011)
Andrew J. Kornecki, Wendy F. Stevenson
Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study. COMPSAC Workshops (2011)
Andrew J. Kornecki, Janusz Zalewski
Hardware certification for real-time safety-critical systems: State of the art. Annu. Rev. Control. 34 (1) (2010)
Nancy R. Mead, Julia H. Allen, Mark A. Ardis, Thomas B. Hilburn, Andrew J. Kornecki, Richard C. Linger, James McDonald
Development of a Master of Software Assurance Reference Curriculum. Int. J. Secur. Softw. Eng. 1 (4) (2010)
Andrew J. Kornecki, Janusz Zalewski
Safety and security in industrial control. CSIIRW (2010)
Adam Pilat, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Ondrej Rysavý
Inter-university project based on LEGO NXT. CCA/ISIC (2009)
Ondrej Rysavý, Miroslav Svéda, Andrew J. Kornecki, Thomas B. Hilburn, Wojciech Grega, Adam Pilat, Jean-Marc Thiriet
Designing and Implementing International RSIC Engineering Curriculum. ECBS-EERC (2009)
Andrew J. Kornecki, Janusz Zalewski
Hardware certification for safety-critical real-time systems. PDeS (2009)
Andrew J. Kornecki, Janusz Zalewski
Certification of software for real-time safety-critical systems: state of the art. Innov. Syst. Softw. Eng. 5 (2) (2009)
Brian Butka, Janusz Zalewski, Andrew J. Kornecki
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. SAFECOMP (2009)
Andrew J. Kornecki
Airborne Software: Communication and Certification. Scalable Comput. Pract. Exp. 9 (1) (2008)
Andrew J. Kornecki, Brian Butka, Janusz Zalewski
Software Tools for Safety-Critical Systems According to DO-254. Computer 41 (12) (2008)
Thomas B. Hilburn, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Miroslav Svéda
An RSIC-SE2004 curriculum framework. IMCSIT (2008)
Andrew J. Kornecki
Computing Curricula for the 21st Century. IEEE Distributed Syst. Online 9 (2) (2008)
Andrew J. Kornecki, Janusz Zalewski
Software certification for safety-critical systems: A status report. IMCSIT (2008)
Andrew J. Kornecki
Tutorial on System Safety for Software Engineers in Global Industry: Concepts and Implementation. ICGSE (2007)
David P. Gluch, Andrew J. Kornecki
Automated Code Generation for Safety-Related Applications: a Case Study. Comput. Sci. 8 (2007)
Farahzad Behi, Andrew J. Kornecki
Software Development with Automatic Code Generation: Observations from Novice Developer Viewpoint. Software Engineering Research and Practice (2006)
Andrew J. Kornecki, Sona Johri
Automatic Code Generation: Model-Code Semantic Consistency. Software Engineering Research and Practice (2006)
Andrew J. Kornecki, Nick Brixius, Ozeas V. Santana Filho
Performance Analysis of Web Servers: Apache and Microsoft IIS. WEBIST (2005)
Andrew J. Kornecki, Janusz Zalewski
Experimental evaluation of software development tools for safety-critical real-time systems. Innov. Syst. Softw. Eng. 1 (2) (2005)
Andrew J. Kornecki, Janusz Zalewski
Software Development for Real-Time Safety-Critical Applications. SEW Tutorial Notes (2005)
Andrew J. Kornecki, Janusz Zalewski
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. SEW (2005)
Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski
Evaluation of Software Development Tools for High Assurance Safety Critical Systems. HASE (2004)
Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch
A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. HASE (2004)
Andrew J. Kornecki, Kimberley Hall
Approaches to assure safety in fly-by-wire systems: Airbus vs. boeing. IASTED Conf. on Software Engineering and Applications (2004)
Janusz Zalewski, Wolfgang D. Ehrenberger, Francesca Saglietti, Janusz Górski, Andrew J. Kornecki
Safety of computer control systems: challenges and results in software development. Annu. Rev. Control. 27 (1) (2003)
Andrew J. Kornecki, Janusz Zalewski
Design Tool Assessment for Safety-Critical Software Development. SEW (2003)
Andrew J. Kornecki, Janusz Zalewski
Software Development for Real-Time Safety-Critical Applications. SEW Tutorial Notes (2003)
Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli
On a Partnership between Software Industry and Academia. CSEE&T (2003)
Andrew J. Kornecki
Software Reliability and Requirements Assessment of Software Safety Via Catastrophic Events Coverage. Applied Informatics (2003)
Andrew J. Kornecki
Teaching Object-oriented Simulation in a Software Engineering Framework. Simul. 76 (4) (2001)
Andrew J. Kornecki, Janusz Zalewski, Daniel Eyassu
Learning Real-Time Programming Concepts through VxWorks Lab Experiments. CSEE&T (2000)
Andrew J. Kornecki
Real-Time Computing in Software Engineering Education. CSEE&T (2000)
Andrew J. Kornecki, Iraj Hirmanpour, Massood Towhidnejad, Roger Boyd, Theresa Ghiorzi, Linda Margolis
Strengthening Software Engineering Education through Academic Industry Collaboration. CSEE&T (1997)
Iraj Hirmanpour, Thomas B. Hilburn, Andrew J. Kornecki
A domain centered curriculum: an alternative approach to computing education. SIGCSE (1995)
Thomas B. Hilburn, Iraj Hirmanpour, Andrew J. Kornecki
The Integration of Software Engineering into a Computer Science Curriculum. CSEE (1995)
Andrew J. Kornecki, Thomas B. Hilburn, Thomas W. Diefenbach, Massood Towhidnejad
Intelligent tutoring issues for air traffic control training. IEEE Trans. Control. Syst. Technol. 1 (3) (1993)
Andrew J. Kornecki
Object Oriented Simulation For Air Traffic Control Training. Annual Simulation Symposium (1993)
Andrew J. Kornecki, Jerzy Cieplak, A. Schneider
Real-time simulation of air traffic control radar terminal with trainer interface. Simul. 56 (6) (1991)
Andrew J. Kornecki
Operational knowledge acquisition problems for air traffic expert controller. SIGART Newsl. 108 (1989)