Andrew J. Kornecki

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2015
Safety analysis of Virtual Traffic Lights.
Proceedings of the 20th International Conference on Methods and Models in Automation and Robotics, 2015

Modeling Resiliency and Its Essential Components for Cyberphysical Systems.
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.
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014
Safety analysis of a rotorcraft health and usage monitoring system.
Proceedings of the 19th International Conference On Methods and Models in Automation and Robotics, 2014

Measuring Security: A Challenge for the Generation.
Proceedings of the Position Papers of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013
Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks Approach.
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.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Threat modeling for security assessment in cyberphysical systems.
Proceedings of the Cyber Security and Information Intelligence, 2013

2012
Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure.
Proceedings of the ENASE 2012, 2012

2011
Availability Assessment of Embedded Systems with Security Vulnerabilities.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Can we measure security and how?
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.
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.
Int. J. Secur. Softw. Eng., 2010

Hardware certification for real-time safety-critical systems: State of the art.
Annu. Rev. Control., 2010

Safety and security in industrial control.
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.
Innov. Syst. Softw. Eng., 2009

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.
Proceedings of the Computer Safety, 2009

Hardware certification for safety-critical real-time systems.
Proceedings of the 9th IFAC Workshop on Programmable Devices and Embedded Systems, 2009

Designing and Implementing International RSIC Engineering Curriculum.
Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009

Inter-university project based on LEGO NXT.
Proceedings of the IEEE International Conference on Control Applications, 2009

2008
Software Safety.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Airborne Software: Communication and Certification.
Scalable Comput. Pract. Exp., 2008

Computing Curricula for the 21st Century.
IEEE Distributed Syst. Online, 2008

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

Software certification for safety-critical systems: A status report.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

An RSIC-SE2004 curriculum framework.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

2007
Automated Code Generation for Safety-Related Applications: a Case Study.
Comput. Sci., 2007

Tutorial on System Safety for Software Engineers in Global Industry: Concepts and Implementation.
Proceedings of the 2nd IEEE International Conference on Global Software Engineering, 2007

2006
Automatic Code Generation: Model-Code Semantic Consistency.
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.
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.
Innov. Syst. Softw. Eng., 2005

Performance Analysis of Web Servers: Apache and Microsoft IIS.
Proceedings of the WEBIST 2005, 2005

Software Development for Real-Time Safety-Critical Applications.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development.
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.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Evaluation of Software Development Tools for High Assurance Safety Critical Systems.
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.
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.
Annu. Rev. Control., 2003

Design Tool Assessment for Safety-Critical Software Development.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

On a Partnership between Software Industry and Academia.
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.
Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2001
Teaching Object-oriented Simulation in a Software Engineering Framework.
Simul., 2001

2000
Learning Real-Time Programming Concepts through VxWorks Lab Experiments.
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

Real-Time Computing in Software Engineering Education.
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1997
Strengthening Software Engineering Education through Academic Industry Collaboration.
Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997

1995
A domain centered curriculum: an alternative approach to computing education.
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

The Integration of Software Engineering into a Computer Science Curriculum.
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.
IEEE Trans. Control. Syst. Technol., 1993

Object Oriented Simulation For Air Traffic Control Training.
Proceedings of the Proceedings 26th Annual Simulation Symposium, ANSS 1993, 1993

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

1989
Operational knowledge acquisition problems for air traffic expert controller.
SIGART Newsl., 1989


  Loading...