DISCLAIMER:
Some of the links on this page are to PDF files of papers that may be covered
by copyright. You are free to browse the papers at will (as you would e.g. read
a proceeding article in a public library). However, copying and distributing
these files may violate the copyright protection law. Please, do follow
relevant copyright protection law when accessing these links.
Journals
o Zalewski, J., Buckley, I., Czejdo, B., Drager, S., KORNECKI, A., Subramanian, N., (2016), “A
Framework for Measuring Security as a System Property in Cyberphysical
Systems”, Information, June 2016, 7(2):33, DOI 10.3390/info7020033
o Baquero, A.O., Kornecki, A.J., Zalewski,
J., (2015),
"Threat
Modeling for Aviation Computer Security", Crosstalk: the Journal of
Defense Software Engineering, Vol. 28, No. 6, Nov/Dec 2015, pp. 21-27
o KORNECKI, A., Wierzchon, S., Zalewski, J., (2013), “Reasoning
under Uncertainly with Bayesian Belief Networks Enhanced with Rough Sets”, International Journal
of Computing, ISSN 1727-6209, 2013, vol. 12, issue 1, pp. 16-31
o KORNECKI, A., Liu, M., (2013), “Fault
Tree Analysis for Safety/Security Verification in Aviation Software”, Electronics 2013,
doi:10.3390/electronics2010041, January 2013, Volume 2, Issue 1, pp. 41-56
o Mead, N., Allen, J., Ardis, M., Hilburn, T., KORNECKI, A.,
Linger, R., McDonald, J., (2010), "Development
of a Master of Software Assurance Reference Curriculum", IJSSE
-International Journal of Secure Software Engineering, ISSN: 1947-3036,
vol. 1, Issue 4, 2010, pp. 18-34
o Hilburn, T., KORNECKI, A., (2010), “Graduate
Curricula in Software Engineering and Software Assurance: Need and
Recommendations”, Elektronika ir Elektrotechnika, ISSN 1392–1215, Kaunas: Technologija, 2010, No. 6(102). pp.67–70
o KORNECKI, A., Zalewski, J., (2010), “Hardware
Certification for Real-time Safety-Critical Systems: State of the Art”, Annual Reviews in Control, Volume 34, Issue 1, April 2010, Pages 163-174,
o Zalewski, J., KORNECKI, A.,
Butka, B., (2009), “Issues in Hardware Certification for Safety-Critical
Embedded Systems", AUTOMA, Issue 04/09, April 2009 (in Czech)
o KORNECKI, A., Zalewski, J., (2009), “Certification
of Software for Real-time Safety-Critical Systems: State of the Art”, NASA Journal
Innovations in Systems and Software Engineering, Volume 5, Number 2, June,
2009, pp. 149-161
o KORNECKI, A., Hilburn, T., Grega, W., Sveda, M., Thiriet,
J-M., (2009), “ILERT -
International Learning Environment for Real-Time Software-Intensive Control
Systems", Journal of Automation,
Mobile Robotics & Intelligent Systems, vol 3,
No. 1, 2009, ISSN 1897-8649, pp. 66-71
o KORNECKI, A., Butka, B.,Zalewski,
J., (2008), “Software Tools
for Safety-Critical Systems According to DO-254", IEEE Computer, vol.
41, no. 12, December 2008, pp. 112-115
o KORNECKI, A.,
(2008),
“Dependable
and Certifiable Real-world Systems – Issue of Software Engineering
Education", Bulletin
of Polish Academy of Sciences, Technical Sciences, Vol. 56, No. 4, 2008, pp
395 - 401
o KORNECKI, A., (2008), “Airborne
Software: Communication and Certification”, Scalable
Computing: Practice and Experience, ISSN 1895-1767, Vol. 9, No. 1, pp. 77-82
o KORNECKI, A., (2008), "Computing
Curricula for the 21st Century", Education Column, IEEE Distributed
Systems Online, DOI Bookmark: 10.1109/MDSO.2008.5,
February
2008
o KORNECKI, A., Johri, S. (2007), “Automatic
Code Generation: Model – Code Semantic Consistency”, Journal of Scientific
and Practical Computing, Vol. 1, No. 2, pp. 41-50
o KORNECKI, A., Gluch, D. (2007),
"Automated
Code Generation for Safety-Related Applications: A Case Study",
Scientific Journals - Computer Science, Akademia Górniczo-Hutnicza, Kraków, Vol. 8, 2007, ISSN
1508-2808
o KORNECKI, A., Zalewski, J., (2006),
“The
Qualification of Software Development Tools from the DO-178B Certification
Perspective” , Crosstalk:
the Journal of Defense Software Engineering, Vol. 19, No. 4, April 2006,
pp. 19-22
o KORNECKI, A., Zalewski, J., Sosnowski,
J., Trawczynski, D. (2005), “A Study
on Avionics and Automotive Databus Safety Evaluation”,
Archives of Transport, Polish Academy of Science, PAB, No. 3-4, 2005, pp.
107-131
o KORNECKI, A., Zalewski, J., (2005),
“Experimental
Evaluation of Software Development Tools for Safety Critical Real-Time Systems”
NASA Journal
Innovations in Systems and Software Engineering, Volume 1, Number 2 /
September, 2005, pp. 176-188
o
Zalewski,
J., Ehrenberger, W., Saglietti,
F., Gorski, J., KORNECKI, A., (2003), “Safety
of Computer Control Systems: Challenges and Results in Software Development”,
Annual
Reviews in Control, Vol. 27, No. 1, 2003, pp. 23-37
o
KORNECKI, A., Sorton,
E. (2003), “A Process for Performance Evaluation of Real-Time
Systems”, Journal
of Systemics, Cybernetics and Informatics, vol 1, No 6; 2003, pp. 5-10
o
KORNECKI, A. (2001),
"Teaching
Object-oriented Simulation in a Software Engineering Framework", SCS Simulation Journal, April 2001, pp.
233-239
o
Sorton,
E., KORNECKI, A. (1998), "Hands-on Software Design", IEEE Potentials, vol.
17 (2), April/May 1998, pp. 42-44
o
KORNECKI, A. (1997),
"Real-Time Systems
Course in Undergraduate CS/CE Program" , IEEE Transactions on
Education, Vol. 40, No. 4, November 1997, pp. 295-296
o
Hilburn, T., Hirmanpour,
I., KORNECKI, A. (1995), "The
Integration of Software Engineering into a Computer Science Curriculum"
, Lecture Notes in Computer Science, R.L. Ibrahim, Ed. no. 895, Springer-Verlag, Berlin, pp. 87-98
o
Hirmanpour,
I., Hilburn, T., KORNECKI, A. (1995), "A
Domain Centered Curriculum: An Alternative Approach to Computing
Education", ACM Press, SIGCSE Bulletin, vol. 27 (1), pp. 126-130
o
KORNECKI, A. (1995),
“Review: Real-time structured methods. Systems analysis, by Keith Edwards”,
Control Engineering Practice, Volume 3, Issue 2, February 1995, pp. 293-294
o
KORNECKI, A. (1994),
"Artificial
Intelligence for Air Traffic", IEEE Potentials, vol.
13 (3), August/September 1994, pp. 11-14
o
KORNECKI, A., Hilburn, T., Diefenbach, T., Towhidnajad, M.
(1993), "Intelligent
Tutoring Issues for ATC Training System", IEEE Transactions on Control
Systems Technology, vol. 1 (3), September 1993, pp. 204-211
o
KORNECKI, A. (1993),
"Knowledge-Based Methodologies for Air Traffic Control Operations and
Training", in Human
Factors and Advanced Aviation Technologies, D.J. Garland, J.A. Wise, Ed., Aviation
Human Factors Series from CAHFA, ERAU Press, pp. 73-74
o
KORNECKI, A, Cieplak,
J, Schneider, A. (1991), "Real-Time Simulation of
ATC Radar Terminal with Flight Trainer Interface", SCS Simulation
Journal, June 1991, pp. 381-390
o
Galotti, V., KORNECKI, A. (1991),
"ATC Simulators Do Not Have To Replicate Operational Systems
Physically", ICAO
Journal, May 1991, pp. 6-8
Book
Chapters
o KORNECKI, A., Zalewski, J., (2015), " Aviation Software: Safety and
Security", a chapter in Encyclopedia
of Computer Science and Computer Engineering, John G. Webster, Ed., John
Wiley & Sons, Inc, New York, NY
o
KORNECKI, A., Grega,
W., Hilburn, T., Thiriet, J-M., Sveda, M., Rysavy, O., Pilat,
A., (2009), “Transatlantic
Engineering Programs: An Experience in International Cooperation",
Chapter 5 in book "Engineering the Computer Science and IT", In-Tech
Publishing,
o Butka, B.,
Zalewski, J., KORNECKI, A., (2009), “Issues in
Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and
Cannot Do”, Computer Safety,
Reliability, and Security, Lecture Notes in Computer Science, 2009, Volume
5775/2009, pp. 201-214
o
Hilburn, T., Thiriet,
J-M., KORNECKI, A., Grega, W., Sveda, M., (2008), “Credits and
Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-National
Engineering Degrees", iNEER
2008, Innovations 2008 - World Innovations in Engineering Education and
Research, Ed. Wing Aung, Begell House Publishing,
ISBN 978-0-9741252-8-2, Chapter 4, pp. 29-42
o
KORNECKI, A., (2007), "Software
Safety", a chapter in Encyclopedia
of Computer Science and Computer Engineering, John G. Webster, Ed., John
Wiley & Sons, Inc, New York, NY
o
KORNECKI,
A., Behi, F. (2007), "Real-Time
Software Course for Undergraduate Computing Programs: Experience Report",
World Innovations in Engineering Education and Research, iNEER
2007, Begell House Publishing, Chapter 23, pp.
247-256
o
Committee on Aging Avionics in Military
Aircraft (2001), “Aging Avionics in
Military Aircraft”. The National Academies Press, ISBN-10: 0-309-07671-4.
76 pages
o
KORNECKI, A., Blanchard, J. (1999),
"Aerospace
Expert Systems", Encyclopedia
of Electrical and Electronics Engineering, Volume 1, John G. Webster, Ed.,
John Wiley & Sons, Inc, New York, NY, ISBN
0471-13946-7, pp. 303-313
o
KORNECKI, A. (1994), "Simulation and AI in Aviation
Training", Chapter 4 in the Progress
in Simulation, Vol. 2, G.W. Zobrist, J. V. Leonard, Ed., Ablex Publishing, pp. 91-122
o
Gonzalez, A., KORNECKI, A., Ransom, A., Bauert, P., Phinney, R. (1989), "A
Simulation Based Expert System for Training Air Traffic Controllers", in
Advances in AI Research, Vol.1, M.B. Fishman, Ed., JAI Press, Inc., Greenwich,
CT, pp. 295-308
o
Hebda-Borek,
A, KORNECKI, A., Niwicki, J. (1979),
"CSSL-3 Continuous System Simulation Language and Problem Solving in
System CYBER 72", Scientific Papers of University of Mining and Metallurgy
(AGH), No.714, Krakow, Poland, 197 pages (in Polish)
Technical
Reports
o KORNECKI, A., Butka, B. Zalewski,
J.,(2014), “Qualification
of Tools for Airborne Electronic Hardware”, Technical Report DOT/FAA/AR-12/21
o Hilburn, T., Ardis, M., Johnson, G., KORNECKI, A., Mead, N., (2013), “Software
Assurance Competency Model”, Software Engineering Institute, March 2013,
CMU/SEI-2013-TN-004
o Mead, N., Allen, J., Ardis, M., Hilburn, T., KORNECKI, A.,
Linger, R., McDonald, J., (2011), “Software
Assurance Curriculum Project Volume III: Master of Software Assurance Course
Syllabi”, Software Engineering Institute, March 2011, CMU/SEI-2010-TR-005,
ESC-TR-2010-013
o Mead, N., Allen, J., Ardis, M., Hilburn, T., KORNECKI, A.,
Linger, R., McDonald, J., (2010), “Software Assurance
Curriculum Project Volume I: Master of Software Assurance Reference Curriculum”,
Software Engineering Institute, June 2010, CMU/SEI-2010-TR-005, ESC-TR-2010-005
o KORNECKI, A., Brixius, N., Zalewski, J., Linardon, JP., Labbe, J., Hearn,
D., Hall, K., Crawford, L.,(2007), “Assessment
of Software Development Tools for Safety-Critical, Real-Time Systems”,
Technical Report DOT/FAA/AR-06/36, July
2007
o KORNECKI, A., (2007), “Software
Development Tools for Safety-Critical, Real-Time Systems Handbook”,
Technical Report DOT/FAA/AR-06/35, June
2007
Conference Proceedings
o Grega, W., KORNECKI, A.J. (2015), “Real-Time Cyber-Physical Systems
Transatlantic Engineering Curricula Framework”, International Workshop on
Cyber-Physical Systems, Proceedings
of the 2015 Federated Conference on Computer Science and Information Systems,
Lodz, Poland, September 13-16, 2015, pp. 767 – 774
o Zalewski, J., Drager, S., KORNECKI, A.J.,
Czejdo, B. (2015), “Modeling Resiliency and Its
Essential Components for Cyberphysical Systems”,
Position Paper in International Workshop on Cyber-Physical Systems, Proceedings of the 2015
Federated Conference on Computer Science and Information Systems, Lodz,
Poland, September 13-16, 2015, pp. 107 – 114
o Yapp, J., KORNECKI, A.J., (2015), "Safety
Analysis of Virtual Traffic Lights", Proceedings
of the MMAR-2015 Conference, Miedzyzdroje,
Poland, paper 7164/A7L-E, August 24-27, 2015
o KORNECKI, A.J., Zalewski, J.,
Anderson, R.
(2014), “Safety Analysis
of a Rotorcraft Health and Usage Monitoring System”, Proceedings
of the MMAR-2014 Conference, Miedzyzdroje,
Poland, Sep. 3-5. 2014
o Zalewski, J., Drager, S., McKeever, W.,
KORNECKI, A.J. (2014), “Measuring Security: A Challenge for the Generation”, Position papers of
the 2014 Federated Conference on Computer Science and Information Systems,
Warsaw, Poland, September 7-10, 2014, pp. 131 – 140
o KORNECKI, A.J., Zalewski, J.,
Subramanian, N., (2013), "Studying
Interrelationships of Safety and Security for Software Assurance in
Cyber-Physical Systems: Approach Based on Bayesian Belief Networks",
Proceedings of International Workshop
on Cyber-Physical Systems, September 8–11, 2013. Krakow, Poland, in
Preprints of the Federated Conference on
Computer Science and Information Systems, Warszawa, 2013, pp. 1443 – 1449
o Reyes-Duran, D., Robinson, E., KORNECKI, A.J., Zalewski,
J., (2013),
"Safety
Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks
Approach", Proceedings of
International Workshop on Cyber-Physical Systems, September 8–11, 2013.
Krakow, Poland, in Preprints of the Federated
Conference on Computer Science and Information Systems, Warszawa, 2013, pp.
1469 – 1475
o KORNECKI, A.J., Zalewski, J., (2013), "Dependability
Study: Antilock Braking System (ABS) - Application of Bayesian Belief Networks",
Proceedings of 19th International
Conference on Soft Computing, MENDEL’13, Brno, Czech Republic, June 26-28,
2013, ISBN 978-80-214-4755-4, pp. 259-264
o Zalewski, J., Drager, S., KORNECKI, A.J., (2012), "Threat Modeling for Security Assessment
in Cyberphysical Systems", CSIIRW'2012, ACM
978-1-4503-1687-3/12/10, Oak Ridge, Tenn., USA, October 30 - November 1, 2012
o Zalewski, J., Drager, S., McKeever, W., KORNECKI, A.J.
(2012), “Towards
Experimental Assessment of Security Threats in Protecting the Critical
Infrastructure”, ENASE 2012, Wrocław,
Poland, June 29-30, 2012, pp. 91-96, Proceedings of ENASE, SciTePress,
pp. 207-212
o KORNECKI, A., Stevenson, W., (2011), "Impact
of Adding Security to Safety-Critical Real-Time Systems: A Case Study",
proceedings of 35th IEEE Signature Conference on Computer Software and
Applications, STPSA 2011: The
6th IEEE International Workshop on Security, Trust, and Privacy for Software
Applications in conjunction with COMPSAC2011,
Munich, Germany, July 18-22, 2011
o KORNECKI, A., Stevenson, W., Zalewski, J. (2011), "Availability
Assessment of Embedded Systems with Security Vulnerabilities", proceedings
of 34th IEEE
Software Engineering Workshop SEW 2011, Limerick, Ireland, June 20-21, 2011
o
KORNECKI, A., Zalewski, J., (2010),
“A Novel View on Quality Measurements in Real-time Computer Control Systems” (“Nowe spojrzenie na pomiary jakosci w
systemach komputerowych czasu rzeczywistego i systemach krytycznych dla
bezpieczenstwa”), KKIO - XII
Krajowa Konferencja Inzynierii Oprogramowania, Inzynieria Oprogramowania w
Procesach Integracji Systemów Informatycznych, Gdansk, Poland, Sep 2010 (in
Polish)
o KORNECKI, A.J., Grega, W.,
Gonzalez, A., (2010),
“Europe/USA
Mobility Exchange in Information Engineering: Why Is It Less Attractive to the
American Students?”, Proceedings of EIEAEE, June 2010 Palanga,
Lithuania, (CD-edition)
o Hilburn, T.,KORNECKI, A.J., (2010), “Graduate
Curricula in Software Engineering and Software Assurance: Need and
Recommendations”, Proceedings of EIEAEE, June 2010, Palanga,
Lithuania, (CD-edition)
o KORNECKI,A.J., Voelmle, J.,
Zalewski, J., (2010),
“Safety
Critical Systems Certification: Tool Qualification for Hardware and Software”,
Proceedings of the Fourth
IAASS Conference “Making Safety Matter”, Huntsville, AL, USA, ESA SP-680,
ISBN 978-92-9221-244-5, September 2010
o KORNECKI, A., Zalewski, J., (2010), “Safety and
Security in Industrial Control”, Proceedings of the Sixth Annual Workshop
on Cyber Security and Information Intelligence Research, Oak Ridge, TN, Apr
2010 (link)
o Rysavy, O., Sveda, M., KORNECKI, A.J., Hilburn, T., Grega,
W., Pilat, A. Thiriet, J-M., (2009), “Designing
and Implementing International RSIC Engineering Curriculum”, Proceedings of
the First IEEE Eastern European Conference on the Engineering of Computer Based
Systems, Novi Sad, Serbia, September 2009, ISBN: 978-0-7695-3759-7
o Butka, B., Zalewski, J., KORNECKI, A., (2009), “Issues
in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can
and Cannot Do”, SafeComp2009, The International
Conference on Computer Safety, Reliability and Security,
o Grega, W., Hilburn, T., KORNECKI, A., Rysavy, O., Sveda,
M., Thiriet, J-M., (2009), “Methodology
for Creation of Multidisciplinary, Transatlantic Engineering Program in
Information Technology", 20th
EAEEIE Annual
o Sveda, M., Grega, W., Hilburn, T., KORNECKI, A., Rysavy,
O., Thiriet, J-M., (2009), “Real-Time
Software-Intensive Systems Engineering in an International Perspective", 20th EAEEIE Annual
o Pilat, A., KORNECKI, A., Thiriet, J-M., Grega, W., Rysavy, O., (2009), “Inter-university
Project Based on LEGO NXT" , 3rd IEEE Multi-conference on
Systems and Control,
o Zalewski, J., KORNECKI, A., Nogiec,
J., (2009), “Teaching
Software Development for Modern Real-Time Data Acquisition and Control",
Paper No. AC 2009-2378, Proc. ASEE Annual Conference,
o Butka, B., KORNECKI, A., Zalewski, J., (2009), “Tool
Qualification and Hardware Certification for Avionics and Aerospace
Applications", Cyber Physical Systems Week 2009 – Workshop on Mixed
Criticality: Roadmap to Evolving UAV Certification, 15th IEEE Real-Time and
Embedded Technology and Applications Symposium (RTAS '09), San Francisco,
Calif., April 13-16, 2009
o KORNECKI, A., Zalewski, J.,(2009), "Hardware
Certification for Safety Related Real-Time Systems", (2009),
Proceedings of PDES-2009, IFAC Workshop on Programmable Devices and Embedded
Systems, Roznov, Czech Republic, Feb 10-12, 2009, pp.
1-12
o Hilburn, T., KORNECKI, A., Thiriet, J-M., Grega, W., Sveda,
M., (2008),
“An RSIC-SE2004
Curriculum Framework”, Proceedings of RTS’08 - International Conference on
Computer Science and Information Technology, Wisla, Poland, Oct 2008
(CD-Edition)
o KORNECKI, A., Zalewski, J.,(2008), “Software
Certification for Safety-Critical Systems: A Status Report”, Proceedings of
RTS’08 - International Conference on Computer Science and Information
Technology, Wisla, Poland, Oct 2008 (CD-Edition)
o KORNECKI, A., Zalewski, J., (2008), “Safety
Assurance for Safety-Critical Embedded Systems: Qualification of Tools for
Complex Electronic Hardware”, 1st International/6th
National Conference of Information Technology,
o KORNECKI, A., Zalewski, J., Butka, B., (2008), “Safety
Concerns for Tool Use in the Design of Complex Electronic Hardware”, 7th
European Dependable Computing Conference,
o Pilat, A., KORNECKI, A., Thiriet, J-M., Grega, W., Sveda,
M., (2008), “Industry
Feedback on Skills and Knowledge in Real-Time Software Engineering”, 19th
EAEEIE Annual Conference,
o Thiriet, J-M., Hilburn, T., KORNECKI, A., Grega, W., Sveda,
M., (2008), “Implementation
for a US-European Trans-national Degree in Real-Time Software Engineering”,
19th EAEEIE Annual Conference,
o KORNECKI, A., Hilburn, T., Grega, W., Thiriet,
J-M.Sveda, M. ,(2008), "A
Common US-Europe Curriculum: an Approach for Real-Time Software Intensive
Systems", International Division of 2008 ASEE Annual Conference &
Exposition, Pittsburgh, PA, Jun 2008
o KORNECKI, A., Hilburn, T., Grega, W.,
Sveda, M., Thiriet, J-M.,(2007), “ILERT – International
Learning Environment for Real-Time Software Intensive Control Systems”,
Proceedings of RTS’07 - International Conference on Computer Science and
Information Technology, Wisla, Poland, Oct 2007 (ISSN 1896-7094, CD-Edition)
o Anderson, R., KORNECKI, A., Rajnicek, R., (2007),
"Life
Limiting Rationale for a Level D HUMS Utilized for Maintenance Credits",
(2007), Proceedings
of Structural Health Monitoring 2007,
o Anderson, R., KORNECKI, A., Rajnicek, R., (2007),
"Certification
Issues for a Level D HUMS Utilized for Usage Credits", (2007), Proceedings
of Structural Health Monitoring 2007,
o Grega, W., KORNECKI, A., Sveda, M.,
Thiriet, J-M.,(2007), “Developing
Interdisciplinary and Multinational Software Engineering Curriculum”,
Proceedings of the ICEE’07,
o KORNECKI, A., Pfister,
H., Zalewski, J., (2007), "Bayesian
Belief Networks for Safety Analysis and their Enhancement with Rough Sets",
paper and presentation in the Proceedings of RQR’07, Risk, Quality and
Reliability Conference, VSB Ostrava, Czech Republic, pp. 107-112
o KORNECKI, A., Zalewski, J., (2007),
"Selected
Issues in Computer Systems Safety", position paper and presentation in
Proceedings of the First IEEE International Workshop on Safety of Systems,
o Zalewski, J., KORNECKI, A., Pfister H. (2006), “Numerical Assessment of
Software Development Tools in Real-Time Safety Critical Systems using Bayesian
Belief Networks”, Proceedings of the RTSCS’06 - International Conference on
Computer Science and Information Technology, Wisla, Poland, Nov 2006 (CD-Edition)
o Gluch D., KORNECKI, A.(2006) "Automated Code
Generation for Safety-Related Applications: A Case Study”, Proceedings of
the RTSCS’06 - International Conference on Computer Science and Information
Technology,
o KORNECKI, A., Behi, F.
(2006), “Software
Development with Automatic Code Generation: Observations from Novice Developer
Viewpoint”. Proceedings of WORLDCOMP'06
Software Engineering Research & Practice (SERP'06),
o KORNECKI, A., Johri, S. (2006),
“Automatic
Code Generation: Model – Code Semantic Consistency”. Proceedings of
WORLDCOMP'06 Software Engineering
Research & Practice (SERP'06),
o KORNECKI, A., Brixius, N., Santana-Filho, O.V., (2005),
"Performance
Analysis of Web Servers: Apache and Microsoft IIS", Proceedings of
WEBIST 2005, May 2005, pp. 293-298
o KORNECKI, A., Zalewski, J., (2005),
“Process-Based
Experiment for Design Tool Assessment in Real-Time Safety-Critical Software
Development”, Proceedings of 29th
Annual IEEE/NASA Software Engineering Workshop,
o Zalewski J.;
Trawczynski D.; Sosnowski J.; KORNECKI,
A., (2005),
“Safety Issues in
Avionics and Automotive Databuses”, Proceedings of
International Federation for Automatic Control (FAC) Congress, Paper
Tu-A15-TO/3, Praha, Czech Republic, July 2005, CD-edition
o
KORNECKI,
A., Zalewski J., (2005), "Avionics
Databus Safety Criteria and Certification"
Proceedings of ESREL’05 Conference, Advances in Safety and
Reliability, Gdansk, Poland, June 2005, ISBN-0415383404, pp. 1149-1155
o
KORNECKI, A., Hall, K., (2004), “Approaches
to Assure Safety in Fly-by-wire Systems: Airbus vs. Boeing”, Proceeding of
the Eight IASTED
International Conference on Software Engineering and Applications (SEA
2004), ISBN: 0-88986-427-6, MIT,
o
KORNECKI, A., Zalewski, J., (2004), “Criteria
for Software Tools Evaluation in the Development of Safety-Critical Real-Time
Systems”, Proceeding of 28th PSAM7-ESREL’04 Conference, Berlin,
Germany, June 2004, pp. 2364-2370
o
KORNECKI, A., Gluch, D., Seker, R. Kameli, N. (2004), “Technology Transition and Safety Critical Research”,
Proceedings of the 22nd International System Safety Conference,
System Safety Society, ISBN 0-9721385-4-4, Providence, RI, August 2004,
CD-edition
o
KORNECKI, A., Erwin, J. (2004), “Characteristics of Safety Critical Software”,
Proceedings of the 22nd International System Safety Conference,
System Safety Society, ISBN 0-9721385-4-4, Providence, RI, August 2004, CD-edition
o
KORNECKI, A., Hall, K., Hearn, D., Lau,
H., Zalewski, J., (2004), “Evaluation
of Software Development Tools for High Assurance Safety Critical Systems”, fast
Abstract in Proceedings of 8th IEEE International Symposium on High
Assurance Systems Engineering, HASE’04, ISSN 1530-2059, March 2004, pp. 273-274
o
Crawford, L., Erwin, J., Grimaldi, S., Mitra, S.,
KORNECKI, A., Gluch, D., (2004), “A
Study of Automatic Code Generation for Safety-Critical Software: Preliminary
Report”, fast Abstract in Proceedings of 8th IEEE International
Symposium on High Assurance Systems Engineering, HASE’04, ISSN 1530-2059, March
2004, pp. 287-288
o
KORNECKI, A., Zalewski, J., (2003), “Design
Tool Assessment for Safety-Critical Software Development”, Proceeding of 28th
NASA/IEEE Software Engineering Workshop, December 2003, pp. 105-113
o
KORNECKI, A., Sorton,
E. (2003), “A Process for Performance Evaluation of Real-Time
Systems”, Proceedings of the International
Conference on Computer, Communication, and Control Technologies CCCT’03,
Orlando, Fl, July/August 2003, vol.VI , pp. 88-93
o
KORNECKI, A., Lewis, J. (2003), “Software Tragedies: Case Studies in Software Safety”,
Proceedings of the 21st International System Safety Conference,
System Safety Society, ISBN 0-9721365-2-8, August 2003, pp. 896-905
o
KORNECKI, A., Cunningham, B. (2003), “Software Safety
– Ethics, Professionalism, and Legal Issues”, Proceedings of the 21st
International System Safety Conference, System Safety Society, ISBN
0-9721365-2-8, August 2003, pp. 952-961
o
KORNECKI, A., Khajenoori, S., Gluch, D., Kameli, N. (2003), “On a
Partnership between Software Industry and Academia” , Proceedings of the
Conference on Software Engineering Education and Training CSEE&T 2003, March
2003, pp. 60-69
o
KORNECKI, A., Zalewski, J., (2003), “Assessment of
Software Development Tools for Safety Critical Real Time Systems” Invited
Paper in IFAC Workshop on Programmable Devices and Systems,
o KORNECKI,
A. (2003), “Assessment of Software
Safety via Catastrophic Events Coverage”, Proceeding of the 21st
IASTED International Conference on Applied Informatics (AI2003),
ISBN 0-88986-341-5, February 2003,
pp.
1139-1144
o
Jonnalagadda
V., Mathure M., KORNECKI, A.
Zalewski J., (2003), “Considering Local
Bus Traffic in Network Performance Simulations”, Proceedings of the Winter
Simulation Multiconference 2003, Communication
Networks and Distributed Systems Modeling and Simulation (CNDS 2003), The
Society for Modeling and Simulation International, ISBN:1-56555-261-X, January
2003, pp. 109-114
o
Zalewski, J., Ehrenberger,
W., Saglietti, F., KORNECKI A. (2001),
"Safety
of Computer Control Systems: Challenges and Results in Software
Development", IFAC Conference on New
Technologies for Computer Control. Hong Kong, P.R. of
o
Li, H., KORNECKI, A., Gluch, D. (2000),
"SM2SMV - A
Tool for Facilitating Dependable Software Requirements Analysis Using Model
Checking", Fast Abstract in Proceeding of International Conference on
Dependable Systems and Network, New York, NY, June 2000, pp B.36-37
o
KORNECKI, A., Zalewski, J., Eyassu, D. (2000), "Learning
Real-Time Programming Concepts through VxWorks Lab Experiments ",
Proceedings of 13th SEE&T Conference, Austin, TX, March 2000, pp. 294-301
o
KORNECKI, A., (2000), "Real-Time
Computing in Software Engineering Education", Proceedings of 13th
SEE&T Conference,
o
KORNECKI, A., Vargas, D. (2000),
"Simulation-Based
Training for Airline Controller Operations",
Proceedings of Society of Computer Simulation 2000 Advanced Simulation
Technologies Conference,
o
KORNECKI, A., Khajenoori, S., Thabet, W., Li, H., Chapman, J., (1999),
"Reliability
Assessment through Certification Activities", Fast Abstracts and
Industry Practices Proceeding of the International Symposium on Software
Reliability, ISSRE'99, Boca Raton, FL, November 1999, pp 41-42
o
KORNECKI, A, Wojcicki,
H., Peltier, L., Zalewski, J., Kruszynska, N. (1999),
"Teaching
Device Drivers Technology in Real-Time Systems Curriculum", in
Proceeding of IEEE Workshop on Real-Time Systems Education III, IEEE Computer
Society Press, Los Alamitos, CA, pp. 42-48, (posted on WindRiver
Scholar page)
o
KORNECKI A., Zalewski J. (1998),
"Simulation of
Multiprocessor Bus System for Real-Time Applications", Proceedings of
the 1998 Conference on Simulation Methods and Applications, The Society for
Computer Simulation, San Diego, CA, pp. 74-81
o
KORNECKI, A., Nasah,
B., Zalewski, J. (1998), "TCAS Safety Analysis Using Timed
Environment-Relationship Petri Nets", Proceedings of 9th
International Symposium on Software Reliability Engineering, Paderborn,
Germany, pp. 161-170
o
Chen-Jimenez I., KORNECKI, A., Zalewski,
J. (1998), "Software
Safety Analysis Using Rough Sets", Proceedings of IEEE Sutheastcon'98,
Orlando, FL, IEEE Publ. 0-7803-4391-3/98, pp. 15-19
o
Whetten
F.L., KORNECKI A. (1997) ,
"Distance Teaming: A Bi-located Undergraduate Program in Computer
Engineering", Proceedings of 13th Annual Conference on Distance Teaching
and Learning, (Madison WI.) 1997, pp. 361-364.
o
KORNECKI, A., Hirmanpour
I., Towhidnajad M., Boyd R., Ghiorzi
T., Margolis L. (1997), "Strengthening Software
Engineering Education through Academic Industry Collaboration",
Proceedings of Tenth Conference on Software Engineering Education &
Training (CSEE&T), IEEE Computer Society Press,Los
Alamitos, CA, pp. 204-211,
o
KORNECKI, A., Zalewski J. (1996),
"Real-Time Laboratory in a Computer Science/Engineering Program", in
Proceeding of IEEE Workshop on Real-Time Systems Education, IEEE Computer
Society Press, Los Alamitos, CA, pp. 73-79,
o
KORNECKI, A., Zalewski J. (1996),
"Projects for Real-Time Systems Classes", in Proceeding of IEEE
Workshop on Real-Time Systems Education, IEEE Computer Society Press,Los Alamitos, CA, pp. 80-89,
o
KORNECKI, A., Zalewski J. (1996),
"A Real-Time Systems Track in the Master of Software Engineering
Program", in Proceeding of IEEE Workshop on Real-Time Systems Education,
IEEE Computer Society Press, Los Alamitos, CA, pp. 90-97,
o
KORNECKI, A. (1996),
"Spiral Software Development as a Methodology for Teaching Object-Oriented
Simulation", in Proceedings of Object-Oriented Simulation Conference, San
Diego, CA, The Society for Computer Simulation, ISBN# 1-56555-086-2, pp. 151-156
o
KORNECKI, A. (1994),
"Object-Oriented Methodology in Simulation Education", in Proceedings
of IASTED International Conference on Applied Modeling and Simulation, Lugano,
Switzerland, IASTED - Acta Press, Anaheim, CA, pp.
48-50
o
KORNECKI, A. (1993),
"Object-Oriented
Simulation of Air Traffic Control Training", in Proceedings of 26-th Annual
Simulation Symposium, Arlington, VA, IEEE Computer Society Press, pp. 275-284
o
KORNECKI, A. (1993),
"Global Positioning System as a Real-Time Software Engineering Project in
an Undergraduate CS Curriculum", in Proceedings of Software Engineering
Research Symposium, SERF'93, Orlando, FL, R. Guha,
Ed., pp. 126-129
o
KORNECKI, A. (1992),
"SMARTFLO - Knowledge Based System to Support Central Flow
Operations", in Proceedings of 37-th Annual Annual
Air Traffic Control Association Conference, pp. 862-869
o
Galotti, V., KORNECKI, A. (1991),
"Knowledge Engineering for an Air Traffic Expert System", in
Proceedings of 36-th Annual Air Traffic Control Association Conference, pp.
207-211
o
Hirmanpour,
o
KORNECKI, A., Malo,
E. (1989), "Acquisition of Air Traffic Control
Expertise", in Proceedings of 34-th Annual Air Traffic Control Association
Conference, pp. 14-19
o
KORNECKI, A., Malinowski, C. (1989),
"Stack Based Processor Architecture for Real Time Implementation of
Declarative Programming Languages", in Proceedings of the 2-nd FLAIRS,
M.B. Fishman, Ed., pp. 163-167
o
KORNECKI, A. (1988),
"Microprocessor Laboratory in a Software Oriented Computer Science College
Program", in Proceedings of the National Educational Computing Conference,
NECC'88, Dallas, TX, p. 237
o
KORNECKI, A. (1988),
"Simulation and AI as Tools in Aviation Education", in AI Papers,
Simulation Series, vol. 20 (1), R.J. Uttamsingh, Ed.,
SCS Press,
o
KORNECKI, A. (1988),
"Air Traffic Control Expert/Simulator in Prolog", in Proceedings of
the 1-st FLAIRS, M.B. Fishman, Ed., pp. 236-240
o
KORNECKI, A. (1987),
"Simulation of Digital Logic Using AI Techniques", in Proceedings of
Applied Identification, Modeling, and Simulation Symposium, AIMS'87, New
Orleans, IASTED - ACTA Press, pp. 204-206
o
KORNECKI, A. (1987),
"A Descriptive Approach to Digital Logic Simulation", in Proceedings
of the Southeastern Computer Simulation Conference, M.L. Padgett, Ed., SCS
Press, La Jolla, CA, pp. 37-41
o
KORNECKI, A. (1984),
"On Simulation of Microcomputer Controlled DDC Systems", in
Proceedings of the Summer Computer Simulation Conference, vol. 1, W.D. Wade,
Ed., North-Holland, Amsterdam, pp. 472-476
o
KORNECKI, A. (1982),
"Traffic Network Modeling - BASIC Approach", in Proceedings of
Applied Identification, Modeling, and Simulation Symposium, AMS'82,
o
KORNECKI, A. (1980),
"Microprocessor-Based Process Controllers", in Proceedings of 3-rd
Polish-English Seminar on Real-Time Process Control, Technical University of
Warsaw, pp. 174-185