| 2009 | Analysis of Possibilities and Effectiveness of Combine Rough Sets and Neighborhood Theories for Solving Dynamic Scheduling Problem. | Henryk Piech |
| 2009 | Application of Computations with Calculation Error Exclusion for Computation Geometry Algorithms. | Dmitry Orlov |
| 2009 | A Model Based Framework for Specifying and Executing Fault Injection Experiments. | Jnos Olh, Istvn Majzik |
| 2009 | Relational Approach Towards Feasibility Performance for Routing Algorithms in Wireless Sensor Network. | Jan Nikodem |
| 2009 | Reliability Centered Maintenance of Repairable Equipment. | Henryk Maciejewski |
| 2009 | UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study. | Zbigniew Lipinski |
| 2009 | A Domain Specific Language in Dependability Analysis. | Marcin Kowalski, Kazimierz Wilkosz |
| 2009 | Software Rejuvenation for Higher Levels of VoIP Availability and Mean Time to Failure. | Vasilis P. Koutras, Christoforos-Panagiotis S. Salagaras, Agapios N. Platis |
| 2009 | On Complexity of Coordination of Parallel Graph Transformations in GRADIS Framework. | Leszek Kotulski, Adam Sedziwy |
| 2009 | A Consistency Model for Distributed Virtual Reality Systems. | Vasily Y. Kharitonov |
| 2009 | Dependability of Safety-Critical Computer Systems through Component-Based Evolution. | Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Alexandr Siora |
| 2009 | Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. | Pawel Gluchowski |
| 2009 | On Hardware and Software Implementation of Arithmetic in Finite Fields of Characteristic 7 for Calculation of Pairings. | Sergej B. Gashkov, Anatoli A. Bolotov, Alexej A. Burtzev, Alexander Frolov, Sergei Zhebet |
| 2009 | A Tool for Dependable and Distributable Presentations. | Bernhard Fechner, Oliver Krber |
| 2009 | Fault-Masking Capabilities of Basic Circuit Structures. | Bernhard Fechner |
| 2009 | Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, Application. | Iraj Elyasi-Komari, Vyacheslav S. Kharchenko, Eugene Babeshko, Anatoliy Gorbenko, Alexandr Siora |
| 2009 | The Design and Implementation of a Documentation Generator for the PRISM Language. | Hugo Dworak |
| 2009 | A Concept of a Web Application Blending Thin and Fat Client Architectures. | Hugo Dworak |
| 2009 | Node Evaluation in the Chord P2P Systems. | Jacek Cichon, Krzysztof Cichon, Przemyslaw Kobylanski |
| 2009 | Minimal Bchi Automata for Certain Classes of LTL Formulas. | Jacek Cichon, Adam Czubak, Andrzej Jasinski |
| 2009 | Dependability of Large Reconfigurable Information Systems. | Dariusz Caban |
| 2009 | Model-Based Diagnostic Using Model Checking. | Mustapha Bourahla |
| 2009 | Inconsistent State Analysis of a Network Receiver with Colored Petri Nets. | Mohamed Bouali, Pavol Barger, Walter Schn |
| 2009 | UML 2 Interaction Overview Diagram Validation. | Thouraya Bouabana-Tebibel |
| 2009 | Dataflow Approach to Testing Java Programs. | Ilona Bluemke, Artur Rembiszewski |