| 2007 | Error Prevention, Detection and Diffusion Algorithms for Cryptographic Hardware. | Maciej Nikodem |
| 2007 | Development of distributed planner for decision support systems. | A. Yu. Nedelina, Alexandr P. Eremeev, Wolfgang Fengler |
| 2007 | Testing Duration Systems using an approximation method. | Lotfi Majdoub, Riadh Robbana |
| 2007 | Analysis of Timing Requirements for Intrusion Detection System. | Jan Magott, Pawel Skrobanek, Marek Woda |
| 2007 | Building a predictive model from data in high dimensions with application to analysis of microarray experiments. | Henryk Maciejewski, Lukasz Konarski |
| 2007 | Problem of Model Selection for Estimation of Equipment Remaining Life. | Henryk Maciejewski, George J. Anders |
| 2007 | Error Recovery Problems. | A. Lesiak, Piotr Gawkowski, Janusz Sosnowski |
| 2007 | Methodology for Analysis of Networks Performance. | Leonid Abrosimov |
| 2007 | Technique for Analyzing Items Reliability by Simulating Their Behaviour over Time Intervals. | I. I. Ladygin, S. G. Yankov |
| 2007 | Dependability analysis of reconfigurable information systems. | Przemyslaw Krekora, Dariusz Caban |
| 2007 | An approach to change availability of the service by adding forecasting module to firewall. | Przemyslaw Krekora |
| 2007 | VoIP Availability and Service Reliability through Software Rejuvenation Policies. | Vasilis P. Koutras, Agapios N. Platis |
| 2007 | Methods of Efficiency Enhancement of Network Interaction in Distributed Systems of Virtual Reality. | Vasily Y. Kharitonov |
| 2007 | Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components. | Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Andriy V. Volkoviy |
| 2007 | A Hardware-Based Software Protection Systems - Analysis of Security Dongles with Time Meters. | Ireneusz J. Jozwiak, Krzysztof Marczak |
| 2007 | Towards Reliability and Fault-Tolerance of Distributed Stream Processing System. | Marcin Gorawski, Pawel Marks |
| 2007 | Duration Calculus for Analysis of Fault Trees with Time Dependencies. | Pawel Gluchowski |
| 2007 | Assurance of System Consistency During Independent Creation of UML Diagrams. | Lukasz Fryz, Leszek Kotulski |
| 2007 | Transient Fault Detection in State-Automata. | Bernhard Fechner, Andre Osterloh |
| 2007 | Methods and Tools for Reasoning by Analogy in Intelligent Decision Support Systems. | Alexandr P. Eremeev, Pavel R. Varshavsky |
| 2007 | The Influence of Relations among Different Levels of UML Diagrams onto Software Maintenance. | Dariusz Dymek, Leszek Kotulski |
| 2007 | An Overlay Simulator for Interdependent Critical Information Infrastructures. | Sandrine Duflos, Alpha Amadou Diallo, Gwendal Le Grand |
| 2007 | Evaluation of MDA/PSM database model quality in the context of selected non-functional requirements. | Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz |
| 2007 | Supporting Compliance with Security Standards by Trust Case Templates. | Lukasz Cyra, Janusz Grski |
| 2007 | Verification of Component Behavioral Compatibility. | Donald C. Craig, Wlodzimierz M. Zuberek |