Andrew J. Kornecki Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Janusz Zalewski: Certification of software for real-time safety-critical systems: state of the art. ISSE 5(2): 149-161 (2009)
2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki: Software Safety. Wiley Encyclopedia of Computer Science and Engineering 2008
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Brian Butka, Janusz Zalewski: Software Tools for Safety-Critical Systems According to DO-254. IEEE Computer 41(12): 112-115 (2008)
2006
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Sona Johri: Automatic Code Generation: Model-Code Semantic Consistency. Software Engineering Research and Practice 2006: 191-197
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarahzad Behi, Andrew J. Kornecki: Software Development with Automatic Code Generation: Observations from Novice Developer Viewpoint. Software Engineering Research and Practice 2006: 289-295
2005
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Janusz Zalewski: Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. SEW 2005: 193-200
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Janusz Zalewski: Software Development for Real-Time Safety-Critical Applications. SEW Tutorial Notes 2005: 1-95
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Nick Brixius, Ozeas V. Santana Filho: Performance Analysis of Web Servers: Apache and Microsoft IIS. WEBIST 2005: 293-298
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Janusz Zalewski: Experimental evaluation of software development tools for safety-critical real-time systems. ISSE 1(2): 176-188 (2005)
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLazar 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki: Software Reliability and Requirements Assessment of Software Safety Via Catastrophic Events Coverage. Applied Informatics 2003: 1139-1144
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Soheil Khajenoori, David P. Gluch, Nader Kameli: On a Partnership between Software Industry and Academia. CSEE&T 2003: 60-69
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Janusz Zalewski: Design Tool Assessment for Safety-Critical Software Development. SEW 2003: 105
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Janusz Zalewski: Software Development for Real-Time Safety-Critical Applications. SEW Tutorial Notes 2003: 1
2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki: Teaching Object-oriented Simulation in a Software Engineering Framework. Simulation 76(4): 232-238 (2001)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki: Real-Time Computing in Software Engineering Education. CSEE&T 2000: 197-198
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Janusz Zalewski, Daniel Eyassu: Learning Real-Time Programming Concepts through VxWorks Lab Experiments. CSEE&T 2000: 294-
1995
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas B. Hilburn, Iraj Hirmanpour, Andrew J. Kornecki: The Integration of Software Engineering into a Computer Science Curriculum. CSEE 1995: 87-97
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIraj Hirmanpour, Thomas B. Hilburn, Andrew J. Kornecki: A domain centered curriculum: an alternative approach to computing education. SIGCSE 1995: 126-130

Coauthor Index

1Farahzad Behi [17]
2Nick Brixius [14]
3Brian Butka [19] [22]
4Lazar Crawford [11]
5Jared Erwin [11]
6Daniel Eyassu [3]
7Ozeas V. Santana Filho [14]
8David P. Gluch [8] [11]
9Steafano Grimaldi [11]
10Kimberley Hall [10] [12]
11Darryl Hearn [12]
12Thomas B. Hilburn [1] [2]
13Iraj Hirmanpour [1] [2]
14Sona Johri [18]
15Nader Kameli [8]
16Soheil Khajenoori [8]
17Herman Lau [12]
18Soma Mitra [11]
19Janusz Zalewski [3] [6] [7] [12] [13] [15] [16] [19] [21] [22]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)