| 2006 | An Empirical Study on a Specification-Based Program Review Approach. | Fumiko Nagoya, Yuting Chen, Shaoying Liu |
| 2006 | Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. | Zoltn Micskei, Istvn Majzik |
| 2006 | Computer modeling and simulation of discrete transport system with dispatcher for reliability and economic analysis. | Jacek Mazurkiewicz, Tomasz Walkowiak |
| 2006 | Partially automatic generation of fault-trees with time dependencies. | Jan Magott, Pawel Skrobanek |
| 2006 | Estimation of Impact of Maintenance Policies on Equipment Risk of Failure. | Henryk Maciejewski, George J. Anders |
| 2006 | State Model of Service Reliability. | Zbigniew Lipinski |
| 2006 | Embedded Systems Modeling Language. | Artur Krystosik |
| 2006 | Security of Web Services. | Henryk Krawczyk, M. Wiel |
| 2006 | Applying Software Rejuvenation in a Two Node Cluster System for High Availabilit. | Vasilis P. Koutras, Agapios N. Platis |
| 2006 | Efficiency of Reliability Evaluation of Large Electric Power Systems. | B. Kalinowski, George J. Anders |
| 2006 | Survey of Recovery Schemes in MPLS Networks. | Lusa Jorge, Teresa Gomes |
| 2006 | Digital Instrumentation and Control Failure Events Derivation and Analysis for Advanced Boiling Water Reactor. | Hui-Wen Huang, Wei-Yi Yang, Chunkuan Shih, Chun-Yu Chen, Swu Yih, Chang Tzeng, Cherng-Tsong Kuo, Ming-Huei Chen, Yuan-Chang Yu, Li-Hsin Wang, Hsun-Ho Wang, Wan-Tsz Tu |
| 2006 | CAD software for designing of Totally Self Checking Sequential Circuits. | Jerzy W. Greblicki |
| 2006 | Low-cost and Universal Secure Scan: a Design- Architecture for Crypto Chips. | Marcin Gomulkiewicz, Maciej Nikodem, Tadeusz Tomczak |
| 2006 | Hazard Prevention by Forced Time Constraints. | Grzegorz Golaszewski, Janusz Grski |
| 2006 | Feasibility Analysis of MDA-based Database Design. | Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz |
| 2006 | Transparent Checkpointing for Applications with Graphical User Interfaces and Thread Support on Linux Systems. | Jan-Thomas Czornack, Carsten Trinitis, Max Walter |
| 2006 | Compatibility of Software Components - Modeling and Verification. | Donald C. Craig, Wlodzimierz M. Zuberek |
| 2006 | A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management. | I-Hsin Chou, Chin-Feng Fan |
| 2006 | Selecting Technology for Disaster Recovery. | Rafal Cegiela |
| 2006 | Transparent Checkpointing for Applications with Graphical User Interfaces and Thread Support on Linux Systems. | Radoslaw Brendel, Henryk Krawczyk |
| 2006 | A Distributed Firewall using Autonomous Agents. | Dalila Boughaci, Habiba Drias, Brahim Oubeka, Abdelkader Aissioui, Belaid Benhamou |
| 2006 | Distributed Intrusion Detection Framework based on Autonomous and Mobile Agents. | Dalila Boughaci, Habiba Drias, Ahmed Bendib, Youcef Bouznit, Belaid Benhamou |
| 2006 | A Multi-tier Architecture to Safely Share Digital Medical Images. | Samia Boucherkha, Mohamed Benmohamed |
| 2006 | Building Dependable Intrusion Prevention Systems. | Jakub Botwicz, Piotr Buciak, Piotr Sapiecha |