| 2014 | Mathematical Model of Task Scheduling in Educational Cloud. | Agata Brzozowska, Jerzy W. Greblicki |
| 2014 | An Approach for Planning and Analysis of the Sewage Sanitary Networks Using Some Calculation Formulas and Computer Simulation. | Lucyna Bogdan, Grazyna Petriczek, Jan Studzinski |
| 2014 | Reductions of Operators in Java Mutation Testing. | Ilona Bluemke, Karol Kulesza |
| 2014 | Computer Support for the Railway Safety Management System - First Validation Results. | Andrzej Bialas |
| 2014 | Computer Support for the Railway Safety Management System - Requirements Analysis. | Andrzej Bialas |
| 2014 | A Formal Approach for Preventive Maintenance Workload Balancing. | Ammar Bessam |
| 2014 | Entropy-Based Internet Traffic Anomaly Detection: A Case Study. | Przemyslaw Berezinski, Jzef Pawelec, Marek Malowidzki, Rafal Piotrowski |
| 2014 | Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation. | Tomasz Babczynski, Jan Magott |
| 2014 | The Role of Enterprise Social Networking (ESN) on Business: Five Effective Recommendations for ESN. | Saeed M. Alqahtani, Sultan Alanazi, Derek McAuley |
| 2014 | Analysis of Statistical Characteristics of User Arrival Process to the Testing Service. | Artem Adzhemov, Nikolay Albov, Irina S. Sineva |
| 2014 | Framework for the Distributed Computing of the Application Components. | Razvan-Mihai Aciu, Horia Ciocarlie |
| 2013 | Shuffle-Based Verification of Component Compatibility. | Wlodzimierz M. Zuberek |
| 2013 | Verification of Infocommunication System Components for Modeling and Control of Saturated Traffic in Megalopolis. | Marina V. Yashina, Andrew V. Provorov |
| 2013 | Life Cycle Cost through Reliability. | Yann-Guirec Manac'h, Khaled Benfriha, Amziane Aoussat |
| 2013 | Dependability Aspects of Autonomic Cooperative Computing Systems. | Michal Wdczak |
| 2013 | System for Estimation of Patient's State - Discussion of the Approach. | Wojciech Tylman, Tomasz Waszyrowski, Andrzej Napieralski, Marek Kaminski, Zbigniew Kulesza, Rafal Kotas, Pawel Marciniak, Radoslaw Tomala, Maciej Wenerski |
| 2013 | SCADA Intrusion Detection Based on Modelling of Allowed Communication Patterns. | Wojciech Tylman |
| 2013 | Native Support for Modbus RTU Protocol in Snort Intrusion Detection System. | Wojciech Tylman |
| 2013 | K-Induction Based Verification of Real-Time Safety Critical Systems. | Tams Tth, Andrs Vrs, Istvn Majzik |
| 2013 | Slot Selection Algorithms for Economic Scheduling in Distributed Computing with High QoS Rates. | Victor V. Toporkov, Anna S. Toporkova, Alexey Tselishchev, Dmitry Yemelyanov |
| 2013 | Towards Precise Architectural Decision Models. | Marcin Szlenk |
| 2013 | On Testing Wireless Sensor Networks. | Tomasz R. Surmacz, Bartosz Wojciechowski, Maciej Nikodem, Mariusz Slabicki |
| 2013 | Implementing Salsa20 vs. AES and Serpent Ciphers in Popular-Grade FPGA Devices. | Jaroslaw Sugier |
| 2013 | Automatic Load Testing of Web Application in SaaS Model. | Emil Stupiec, Tomasz Walkowiak |
| 2013 | Proposal of Cost-Effective Tenant-Based Resource Allocation Model for a SaaS System. | Wojciech Stolarz, Marek Woda |