 | 2009 |
| 31 |  | 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 |
| 30 |  | Andrew J. Kornecki,
Janusz Zalewski:
Certification of software for real-time safety-critical systems: state of the art.
ISSE 5(2): 149-161 (2009) |
| 29 |  | Janusz Zalewski:
Special section on real-time safety-critical systems.
ISSE 5(2): 95-96 (2009) |
| 2008 |
| 28 |  | Janusz Sosnowski,
Dawid Trawczynski,
Janusz Zalewski:
Safety Issues in Modern Bus Standards.
IEEE Computer 41(1): 97-99 (2008) |
| 27 |  | Andrew J. Kornecki,
Brian Butka,
Janusz Zalewski:
Software Tools for Safety-Critical Systems According to DO-254.
IEEE Computer 41(12): 112-115 (2008) |
| 2007 |
| 26 |  | Dawid Trawczynski,
Janusz Sosnowski,
Janusz Zalewski:
The Effect of Large Clock Drifts on Performance of Event and Time Triggered Network Interfaces.
DepCoS-RELCOMEX 2007: 344-351 |
| 2006 |
| 25 |  | Dawid Trawczynski,
Janusz Sosnowski,
Janusz Zalewski:
Dependability Evaluation of Real-Time Network Interfaces.
ARCS Workshops 2006: 86-94 |
| 24 |  | Dawid Trawczynski,
Janusz Sosnowski,
Janusz Zalewski:
A Tool for Databus Safety Analysis Using Fault Injection.
SAFECOMP 2006: 261-274 |
| 23 |  | Bo Sandén,
Janusz Zalewski:
Designing state-based systems with entity-life modeling.
Journal of Systems and Software 79(1): 69-78 (2006) |
| 2005 |
| 22 |  | Elias T. Kirche,
Janusz Zalewski,
Teresa Tharp:
Real-Time Sales & Operations Planning with Corba: Linking Demand Management with Production Planning.
ICEIS (1) 2005: 122-129 |
| 21 |  | Andrew J. Kornecki,
Janusz Zalewski:
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development.
SEW 2005: 193-200 |
| 20 |  | Andrew J. Kornecki,
Janusz Zalewski:
Software Development for Real-Time Safety-Critical Applications.
SEW Tutorial Notes 2005: 1-95 |
| 19 |  | Andrew J. Kornecki,
Janusz Zalewski:
Experimental evaluation of software development tools for safety-critical real-time systems.
ISSE 1(2): 176-188 (2005) |
| 2004 |
| 18 |  | 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 |
| 2003 |
| 17 |  | Mandar A. Mathuré,
Vinay Jonnalagadda,
Janusz Zalewski:
Heterogeneous Architecture and Testbed for Simulation of Large-Scale Real-Time Systems.
DS-RT 2003: 37-42 |
| 16 |  | Andrew J. Kornecki,
Janusz Zalewski:
Design Tool Assessment for Safety-Critical Software Development.
SEW 2003: 105 |
| 15 |  | Janusz Zalewski:
Software Dynamics: A New Measure of Performance for Real-Time Software.
SEW 2003: 120 |
| 14 |  | Andrew J. Kornecki,
Janusz Zalewski:
Software Development for Real-Time Safety-Critical Applications.
SEW Tutorial Notes 2003: 1 |
| 2001 |
| 13 |  | Janusz Zalewski:
Developing Component-Based Software for Real-Time Systems.
EUROMICRO 2001: 80- |
| 12 |  | César Muñoz,
Janusz Zalewski:
Archictecture and Performance of Java-Based Distributed Object Models: CORBA vs RMI.
Real-Time Systems 21(1-2): 43-75 (2001) |
| 2000 |
| 11 |  | Janusz Zalewski:
Automatic Development Tools in Software Engineering Courses.
CSEE&T 2000: 200- |
| 10 |  | Andrew J. Kornecki,
Janusz Zalewski,
Daniel Eyassu:
Learning Real-Time Programming Concepts through VxWorks Lab Experiments.
CSEE&T 2000: 294- |
| 9 |  | Jan van Katwijk,
Hans Toetenel,
Abd-El-Kader Sahraoui,
Eric Anderson,
Janusz Zalewski:
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.
SAFECOMP 2000: 37-52 |
| 8 |  | Janusz Zalewski:
Object Orientation vs. Real-Time Systems - Response to Alan C. Shaw's Contribution.
Real-Time Systems 18(1): 75-77 (2000) |
| 1998 |
| 7 |  | Reiner Lichtenecker,
Klaus Gotthardt,
Janusz Zalewski:
Automated Verification of Communication Protocols Using CCS and BDDs.
IPPS/SPDP Workshops 1998: 1057-1066 |
| 6 |  | Christos Christodoulou,
Javier Gomez Tangle,
Janusz Zalewski:
Applying MPI to Electromagnetic Field Calculations.
Informatica (Slovenia) 22(4): (1998) |
| 1995 |
| 5 |  | Marcin Paprzycki,
Ryszard Wasniowski,
Janusz Zalewski:
Parallel and Distributed Computing Education: A Software Engineering Approach.
CSEE 1995: 187-204 |
| 4 |  | Bonaventure Tchouaffe,
Janusz Zalewski:
Fully Deterministic Real-Time Protocol for a CSMA/CD Type Local Area Network.
Informatica (Slovenia) 19(1): (1995) |
| 3 |  | Marcin Paprzycki,
Janusz Zalewski:
Parallel and Distributed Real-Time Systems: Introduction to the Special Issue.
Informatica (Slovenia) 19(1): (1995) |
| 1994 |
| 2 |  | Janusz Zalewski:
Cohesive Use of Commercial Tools in a Classroom.
CSEE 1994: 65-75 |
| 1992 |
| 1 |  | Janusz Zalewski:
AI in Real Time: Is This Feasible?
ICCI 1992: 286-289 |