Papers

Papers 2006

• A framework for dependable adaptation in probabilistic environments
• Algorithms for Efficient Broadcasting in Wireless Multi-hop Networks
• Comparing Robustness of AIS Based Middleware Implementations
• Cooperation of Network and service layer in Wireless Ad-hoc Networks
• Dependability Evaluation of Cooperative Backup Strategies for Mobile devices
• Dependability Evaluation of Web Service-Based Processes
• Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution
• Inconsistency Evaluation in a Replicated IP-Based Call Control System
• Integration of an MPS Modelling Approach into Möbius
• Mobile system from a Validation Perspective a Case Study
• On the development of dependable embedded applications using specialized wormholes
• Performability Models for Multi-Server Systems with High-Variance Repari Durations
• Profiles and Multi-Topology Routing in Highly Heterogeneous Ad Hoc Networks
• Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
• Test des Systèmes Mobiles
• The tangled webs of Critical Information Infrastructures
• Towards Making NekoStat a Measurement Tool for the Validation of Distributed Systems
• Quantitative analysis of access strategies to remote information in network services

Papers 2007

• An Eclipse-based framework for AIS service configurations
• A New Selection Metric for backup group creation in Inter-Vehiculare Networks
• Architecture and Implementation of an Embedded Wormhole
• A Self-Aware Clock for Pervasive Computing Systems
• A Simulation Approach to a Robust Multi-radio Multi-channel Wireless Ad Hoc Network
• Circuit Elimination based Link State Routing in Mobile Ad-hoc Networks
• Client-centric Performance Analysis of a High-Availability Cluster
• Comparing Robustness of AIS Based Middleware Implementations
• Experimental Evaluation of Resilience for Ubiquitous Mobile Systems
• Extending the Applicability of the Neko Framework for the Validation and Verification of Distributed Algorithms
• Fast Proactive Recovery from Concurrent Failures
• Fast Reroute During Link Failures in Proactive Link-State Routed Wireless Ad Hoc Networks
• Foundations of measurement theory applied to the evaluation of dependability attributes
• Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
• Localized algorithms for virtual backbone formation in wireless multi-hop networks with uni-dirctional links
• Mobile Systems from a Validation Perspective
• Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks
• Performability models for cluster systems with high-variance repair time
• Reliable Broadcast in Error-prone Multi-hop Wireless Networks: Algorithms and Evaluation
• Security Rationale for a Cooperative Backup Service for Mobile Devices

Papers 2008

• Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults
• Applying MDA approach for the SA forum platform
• Assuring Resilient Time Synchronization
• Connectivity analysis of one-demensional ad-hoc networks
• Could Proactive Link-State Routed Wireless Networks Benefit from Local Fasr Reroute?
• Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks
• Experimental Evaluation of Ubiquitous Systems - Why and how to reduce WiFi communication range
• Modeling the Resilience of Large and Evolving Systems
• Modélisation et Evaluation de la Sûreté de Fonctionnement d'un système d'autoroute automatisée
• Scalable Emulation of Dynamic Multi-hop Topologies
• Testing mobile computing applications: toward a scenario language and tools
• Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions