default search action
Andrew J. Kornecki
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [j15]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): 33 (2016) - 2015
- [c38]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: 107-114 - [c37]Wojciech Grega
Real-time Cyber-Physical Systems transatlantic engineering curricula framework. FedCSIS 2015: 755-762 - [c36]Justin Yapp, Andrew J. Kornecki:
Safety analysis of Virtual Traffic Lights. MMAR 2015: 505-510 - 2014
- [c35]Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki:
Measuring Security: A Challenge for the Generation. FedCSIS (Position Papers) 2014: 131-140 - [c34]Andrew J. Kornecki, Janusz Zalewski, Richard P. Anderson:
Safety analysis of a rotorcraft health and usage monitoring system. MMAR 2014: 645-650 - 2013
- [j14]Andrew J. Kornecki, Slawomir T. Wierzchon, Janusz Zalewski:
Reasoning under uncertainty with Bayesian Belief Networks Enhanced with Rough Sets. Int. J. Comput. 12(1): 16-31 (2013) - [c33]Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki:
Threat modeling for security assessment in cyberphysical systems. CSIIRW 2013: 10 - [c32]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: 1381-1387 - [c31]Daniel Reyes-Duran, Elliot Robinson, Andrew J. Kornecki, Janusz Zalewski:
Safety Analysis of Autonomous Ground Vehicle Optical Systems: Bayesian Belief Networks Approach. FedCSIS 2013: 1407-1413 - 2012
- [c30]Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki:
Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure. ENASE 2012: 207-212 - 2011
- [c29]Andrew J. Kornecki, Wendy F. Stevenson:
Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study. COMPSAC Workshops 2011: 116-121 - [c28]Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki:
Can we measure security and how? CSIIRW 2011: 46 - [c27]Andrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson:
Availability Assessment of Embedded Systems with Security Vulnerabilities. SEW 2011: 42-47 - 2010
- [j13]Andrew J. Kornecki, Janusz Zalewski:
Hardware certification for real-time safety-critical systems: State of the art. Annu. Rev. Control. 34(1): 163-174 (2010) - [j12]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): 18-34 (2010) - [c26]Andrew J. Kornecki, Janusz Zalewski:
Safety and security in industrial control. CSIIRW 2010: 77
2000 – 2009
- 2009
- [j11]Andrew J. Kornecki, Janusz Zalewski:
Certification of software for real-time safety-critical systems: state of the art. Innov. Syst. Softw. Eng. 5(2): 149-161 (2009) - [c25]Adam Pilat, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Ondrej Rysavý:
Inter-university project based on LEGO NXT. CCA/ISIC 2009: 1248-1253 - [c24]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: 71-76 - [c23]Andrew J. Kornecki, Janusz Zalewski:
Hardware certification for safety-critical real-time systems. PDeS 2009: 1-12 - [c22]Brian Butka, Janusz Zalewski, Andrew J. Kornecki:
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. SAFECOMP 2009: 201-214 - 2008
- [j10]Andrew J. Kornecki, Brian Butka, Janusz Zalewski:
Software Tools for Safety-Critical Systems According to DO-254. Computer 41(12): 112-115 (2008) - [j9]Andrew J. Kornecki:
Computing Curricula for the 21st Century. IEEE Distributed Syst. Online 9(2) (2008) - [j8]Andrew J. Kornecki:
Airborne Software: Communication and Certification. Scalable Comput. Pract. Exp. 9(1) (2008) - [c21]Thomas B. Hilburn, Andrew J. Kornecki, Jean-Marc Thiriet, Wojciech Grega, Miroslav Svéda:
An RSIC-SE2004 curriculum framework. IMCSIT 2008: 633-638 - [c20]Andrew J. Kornecki, Janusz Zalewski:
Software certification for safety-critical systems: A status report. IMCSIT 2008: 665-672 - [p1]Andrew J. Kornecki:
Software Safety. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j7]David P. Gluch, Andrew J. Kornecki:
Automated Code Generation for Safety-Related Applications: a Case Study. Comput. Sci. 8: 37-48 (2007) - [c19]Andrew J. Kornecki:
Tutorial on System Safety for Software Engineers in Global Industry: Concepts and Implementation. ICGSE 2007: 299 - 2006
- [c18]Andrew J. Kornecki, Sona Johri:
Automatic Code Generation: Model-Code Semantic Consistency. Software Engineering Research and Practice 2006: 191-197 - [c17]Farahzad Behi, Andrew J. Kornecki:
Software Development with Automatic Code Generation: Observations from Novice Developer Viewpoint. Software Engineering Research and Practice 2006: 289-295 - 2005
- [j6]Andrew J. Kornecki, Janusz Zalewski:
Experimental evaluation of software development tools for safety-critical real-time systems. Innov. Syst. Softw. Eng. 1(2): 176-188 (2005) - [c16]Andrew J. Kornecki, Janusz Zalewski:
Software Development for Real-Time Safety-Critical Applications. SEW Tutorial Notes 2005: 1-95 - [c15]Andrew J. Kornecki, Janusz Zalewski:
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. SEW 2005: 193-200 - [c14]Andrew J. Kornecki, Nick Brixius, Ozeas V. Santana Filho:
Performance Analysis of Web Servers: Apache and Microsoft IIS. WEBIST 2005: 293-298 - 2004
- [c13]Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski:
Evaluation of Software Development Tools for High Assurance Safety Critical Systems. HASE 2004: 273-274 - [c12]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: 287-288 - [c11]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: 471-476 - 2003
- [j5]Janusz Zalewski, Wolfgang D. Ehrenberger, Francesca Saglietti, Janusz Górski
Safety of computer control systems: challenges and results in software development. Annu. Rev. Control. 27(1): 23-37 (2003) - [c10]Andrew J. Kornecki:
Software Reliability and Requirements Assessment of Software Safety Via Catastrophic Events Coverage. Applied Informatics 2003: 1139-1144 - [c9]Andrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli:
On a Partnership between Software Industry and Academia. CSEE&T 2003: 60-69 - [c8]Andrew J. Kornecki, Janusz Zalewski:
Software Development for Real-Time Safety-Critical Applications. SEW Tutorial Notes 2003: 1 - [c7]Andrew J. Kornecki, Janusz Zalewski:
Design Tool Assessment for Safety-Critical Software Development. SEW 2003: 105 - 2001
- [j4]Andrew J. Kornecki:
Teaching Object-oriented Simulation in a Software Engineering Framework. Simul. 76(4): 232-238 (2001) - 2000
- [c6]Andrew J. Kornecki:
Real-Time Computing in Software Engineering Education. CSEE&T 2000: 197-198 - [c5]Andrew J. Kornecki, Janusz Zalewski, Daniel Eyassu:
Learning Real-Time Programming Concepts through VxWorks Lab Experiments. CSEE&T 2000: 294-
1990 – 1999
- 1997
- [c4]Andrew J. Kornecki, Iraj Hirmanpour, Massood Towhidnejad, Roger Boyd, Theresa Ghiorzi, Linda Margolis:
Strengthening Software Engineering Education through Academic Industry Collaboration. CSEE&T 1997: 204- - 1995
- [c3]Thomas B. Hilburn, Iraj Hirmanpour, Andrew J. Kornecki:
The Integration of Software Engineering into a Computer Science Curriculum. CSEE 1995: 87-97 - [c2]Iraj Hirmanpour, Thomas B. Hilburn, Andrew J. Kornecki:
A domain centered curriculum: an alternative approach to computing education. SIGCSE 1995: 126-130 - 1993
- [j3]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): 204-211 (1993) - [c1]Andrew J. Kornecki:
Object Oriented Simulation For Air Traffic Control Training. Annual Simulation Symposium 1993: 275-284 - 1991
- [j2]Andrew J. Kornecki, James J. Cieplak, Anthony Schneider:
Real-time simulation of air traffic control radar terminal with trainer interface. Simul. 56(6): 381-389 (1991)
1980 – 1989
- 1989
- [j1]Andrew J. Kornecki:
Operational knowledge acquisition problems for air traffic expert controller. SIGART Newsl. 108: 165-166 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-16 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: