Fault Tree Analysis for Safety/Security Verification in Aviation Software von Kornecki, Andrew, Liu, Mingye

Volltext

A Framework for Measuring Security as a System Property in Cyberphysical Systems von Zalewski, Janusz, Buckley, Ingrid, Czejdo, Bogdan, Drager, Steven, Kornecki, Andrew, Subramanian, Nary

Volltext

Computing Curricula for the 21st Century von Kornecki, Andrew J.

Volltext

Hardware certification for real-time safety-critical systems: State of the art von Kornecki, Andrew J., Zalewski, Janusz

Volltext

Teaching Object-oriented Simulation in a Software Engineering Framework von Kornecki, Andrew J.

Volltext

Automated Code Generation For Safety-Related Applications: A Case Study von David P. Gluch, Andrew J. Kornecki

Volltext

Real-time computing in software engineering education von Kornecki, A.J.

Volltext

Learning real-time programming concepts through VxWorks lab experiments von Kornecki, A.J., Zalewski, J., Eyassu, D.

Volltext

Experimental evaluation of software development tools for safety-critical real-time systems von Kornecki, Andrew J., Zalewski, Janusz

Volltext

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

Volltext

Intelligent tutoring issues for air traffic control training von Kornecki, A.J., Hilburn, T.B., Diefenbach, T.W., Towhidnejad, M.

Volltext

Teaching object-oriented simulation in a software engineering framework: Simulation in education and education in simulation von KORNECKI, Andrew J

Volltext

Development of a Master of Software Assurance Reference Curriculum von Mead, Nancy R, McDonald, James, Allen, Julia H, Ardis, Mark, Hilburn, Thomas B, Kornecki, Andrew J, Linger, Rick

Volltext

A Process For Performance Evaluation Of Real-Time Systems von Andrew J. Kornecki, Eric Sorton

Volltext

Real-time systems course in undergraduate CS/CE programs von Kornecki, A.J.

Volltext

Real-time structured methods. Systems analysis von Kornecki, Andrew J.

Volltext

On a partnership between software industry and academia von Kornecki, A.J., Khajenoori, S., Gluch, D., Kameli, N.

Volltext

Evaluation of software development tools for high assurance safety critical systems von Kornecki, A.J., Hall, K., Hearn, D., Lau, H., Zalewski, J.

Volltext

Hardware Certification for Safety-Critical Real-Time Systems von Kornecki, Andrew J., Zalewski, Janusz

Volltext

Al for air traffic von Kornecki, Andrew J

Volltext