| 2007 | Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2007 | Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2007 | An Artificial Immune System Approach for Fault Prediction in Object-Oriented Software. | Cagatay Catal, Banu Diri, Bulent Ozumut |
| 2007 | Detection Methods of Dynamic Spammers' Behavior. | Radoslaw Brendel, Henryk Krawczyk |
| 2007 | Metrics for Object-Oriented Design Focusing on Class Inheritance Metrics. | Kadhim M. Breesam |
| 2007 | Semiformal Approach to the IT Security Development. | Andrzej Bialas |
| 2007 | Dependability in Software Component Deployment. | Meriem Belguidoum, Fabien Dagnat |
| 2006 | Introduction to the Dependability Modeling of Computer Systems. | Wojciech Zamojski, Dariusz Caban |
| 2006 | Evaluation of Dependability of Multi-tier Internet Business Applications with Queueing Networks. | Andrzej Zalewski, Andrzej Ratkowski |
| 2006 | Security Enhancement of Java Remote Method Invocation. | Dominik Zalewski |
| 2006 | An Approach for Evaluating Trust in IT Infrastructure. | Marek Zagorski, Janusz Grski |
| 2006 | Preface. | |
| 2006 | Organizing Committee. | |
| 2006 | Program Committee. | |
| 2006 | Conception of Composing Learning Content into Learning Tree to Ensure Reliability of Learning Material. | Marek Woda |
| 2006 | Fuzzy approach to economic analysis of dispatcher driven discrete transport systems. | Tomasz Walkowiak, Jacek Mazurkiewicz |
| 2006 | A Fault Tolerant Optimization Algorithm based on Evolutionary Computation. | Francisco Fernndez de Vega |
| 2006 | Residue Arithmetic in FPGA Matrices. | Tadeusz Tomczak |
| 2006 | Formal Semantics and Reasoning about UML Class Diagram. | Marcin Szlenk |
| 2006 | Fault Tolerant Topological Design for Computer Networks. | Ewa Szlachcic |
| 2006 | Bandwidth control in redundant news server links. | Tomasz R. Surmacz |
| 2006 | Enhancing Fault Injection Testbench. | Janusz Sosnowski, Piotr Gawkowski, Przemyslaw Zygulski, Andrzej Tymoczko |
| 2006 | Normalization as a Preprocessing Engine for Data Mining and the Approach of Preference Matrix. | Luai A. Al Shalabi, Zyad Shaaban |
| 2006 | Security Aspects of SCADA and Corporate Network Interconnection: An Overview. | Paulo S. Motta Pires, Luiz Affonso H. G. Oliveira |
| 2006 | d-HMAC Dynamic HMAC function. | Mohannad Najjar, Firas Najjar |