Andrew J. Kornecki

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