NetWare 2018
September 16 - 20, 2018 - Venice, Italy

  • SENSORCOMM 2018, The Twelfth International Conference on Sensor Technologies and Applications
  • SENSORDEVICES 2018, The Ninth International Conference on Sensor Device Technologies and Applications
  • SECURWARE 2018, The Twelfth International Conference on Emerging Security Information, Systems and Technologies
  • AFIN 2018, The Tenth International Conference on Advances in Future Internet
  • CENICS 2018, The Eleventh International Conference on Advances in Circuits, Electronics and Micro-electronics
  • ICQNM 2018, The Twelfth International Conference on Quantum, Nano/Bio, and Micro Technologies
  • FASSI 2018, The Fourth International Conference on Fundamentals and Advances in Software Systems Integration
  • GREEN 2018, The Third International Conference on Green Communications, Computing and Technologies

SoftNet 2018
October 14 - 18, 2018 - Nice, France

  • ICSEA 2018, The Thirteenth International Conference on Software Engineering Advances
  • ICSNC 2018, The Thirteenth International Conference on Systems and Networks Communications
  • CENTRIC 2018, The Eleventh International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
  • VALID 2018, The Tenth International Conference on Advances in System Testing and Validation Lifecycle
  • SIMUL 2018, The Tenth International Conference on Advances in System Simulation
  • SOTICS 2018,The Eighth International Conference on Social Media Technologies, Communication, and Informatics
  • INNOV 2018, The Seventh International Conference on Communications, Computation, Networks and Technologies
  • HEALTHINFO 2018, The Third International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

NexTech 2018
November 18 - 22, 2018 - Athens, Greece

  • UBICOMM 2018, The Twelfth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
  • ADVCOMP 2018, The Twelfth International Conference on Advanced Engineering Computing and Applications in Sciences
  • SEMAPRO 2018, The Twelfth International Conference on Advances in Semantic Processing
  • AMBIENT 2018, The Eighth International Conference on Ambient Computing, Applications, Services and Technologies
  • EMERGING 2018, The Tenth International Conference on Emerging Networks and Systems Intelligence
  • DATA ANALYTICS 2018, The Seventh International Conference on Data Analytics
  • GLOBAL HEALTH 2018, The Seventh International Conference on Global Health Challenges
  • CYBER 2018, The Third International Conference on Cyber-Technologies and Cyber-Systems

DigitalWorld 2019
February 24 - 28, 2019 - Athens, Greece

  • ICDS 2019, The Thirteenth International Conference on Digital Society and eGovernments
  • ACHI 2019, The Twelfth International Conference on Advances in Computer-Human Interactions
  • GEOProcessing 2019, The Eleventh International Conference on Advanced Geographic Information Systems, Applications, and Services
  • eTELEMED 2019, The Eleventh International Conference on eHealth, Telemedicine, and Social Medicine
  • eLmL 2019, The Eleventh International Conference on Mobile, Hybrid, and On-line Learning
  • eKNOW 2019, The Eleventh International Conference on Information, Process, and Knowledge Management
  • ALLSENSORS 2019, The Fourth International Conference on Advances in Sensors, Actuators, Metering and Sensing
  • SMART ACCESSIBILITY 2019, The Fourth International Conference on Universal Accessibility in the Internet of Things and Smart Environments

NexComm 2019
March 24 - 28, 2019 - Valencia, Spain

  • ICDT 2019, The Fourteenth International Conference on Digital Telecommunications
  • SPACOMM 2019, The Eleventh International Conference on Advances in Satellite and Space Communications
  • ICN 2019, The Eighteenth International Conference on Networks
  • ICONS 2019, The Fourteenth International Conference on Systems
  • MMEDIA 2019, The Eleventh International Conference on Advances in Multimedia
  • PESARO 2019, The Ninth International Conference on Performance, Safety and Robustness in Complex Systems and Applications
  • CTRQ 2019, The Twelfth International Conference on Communication Theory, Reliability, and Quality of Service
  • ALLDATA 2019, The Fifth International Conference on Big Data, Small Data, Linked Data and Open Data
  • SOFTENG 2019, The Fifth International Conference on Advances and Trends in Software Engineering

ComputationWorld 2019
May 5 - 9, 2019 - Venice, Italy

  • SERVICE COMPUTATION 2019, The Eleventh International Conference on Advanced Service Computing
  • CLOUD COMPUTING 2019, The Tenth International Conference on Cloud Computing, GRIDs, and Virtualization
  • FUTURE COMPUTING 2019, The Eleventh International Conference on Future Computational Technologies and Applications
  • COGNITIVE 2019, The Eleventh International Conference on Advanced Cognitive Technologies and Applications
  • ADAPTIVE 2019, The Eleventh International Conference on Adaptive and Self-Adaptive Systems and Applications
  • CONTENT 2019, The Eleventh International Conference on Creative Content Technologies
  • PATTERNS 2019, The Eleventh International Conference on Pervasive Patterns and Applications
  • COMPUTATION TOOLS 2019, The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  • BUSTECH 2019, The Ninth International Conference on Business Intelligence and Technology

InfoSys 2019
June 2 - 6, 2019 - Athens, Greece

  • ICNS 2019, The Fiteenth International Conference on Networking and Services
  • ICAS 2019, The FIfteenth International Conference on Autonomic and Autonomous Systems
  • ENERGY 2019, The Ninth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies
  • WEB 2019, The Sseventh International Conference on Building and Exploring Web Based Environments
  • DBKDA 2019, The Eleventh International Conference on Advances in Databases, Knowledge, and Data Applications
  • SIGNAL 2019, The Fourth International Conference on Advances in Signal, Image and Video Processing
  • BIOTECHNO 2019, The Eleventh International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies

(to be completed)

 


ThinkMind // DEPEND 2011, The Fourth International Conference on Dependability

Type: conference

Download: DEPEND 2011 cover page

Download: DEPEND 2011 foreword page

Download: DEPEND 2011 committee page

Download: DEPEND 2011 table of contents

Download: DEPEND 2011 full proceedings

Notes: IARIA Conference.

Editors:
Pascal Lorenz, University of Haute Alsace, France
Syed Naqvi, CETIC, Belgium

Event editions: - there are 6 editions.

ISSN: 2308-4324

ISBN: 978-1-61208-149-6

Location: Nice/Saint Laurent du Var, France

Dates: from August 21, 2011 to August 27, 2011

Articles: there are 17 articles

Towards Virtual Fault-based Attacks for Security Validation
Regis Leveugle, Mohamed Ben Jrad, and Paolo Maistri
keywords: security, dependability, design time robustness evaluation, SRAM-based FPGAs, ASICs

On Time, Conflict, Weighting, and Dependency Aspects of Assessing the Trustworthiness of Digital Records
Jianqiang Ma, Habtamu Abie, Torbjørn Skramstad, and Mads Nygård
keywords: trustworthiness assessment, trust, digital record management

Specification and Verification of the Triple-Modular Redundancy Fault Tolerant System using CSP
Tan Lanfang, Tan Qingping, and Li Jianli
keywords: TMR System; fault tolerance; verification; CSP

Efficient and scalable steady-state dependability verification
Diana El Rabih and Nihal Pekergin
keywords: Statistical model checking, Perfect simulation, Dependability verification, Continuous Stochastic Logic (CSL)

A Dependable Microcontroller-based Embedded System
Amir Rajabzadeh and Mahdi Vosoughifar
keywords: dependable system; control flow checking method; concurrent error detection; microcontroller-based system; embedded system.

Dependable Ordering Policies for Distributed Consistent Systems
Matei Dobrescu, Manuela Stoian, and Cosmin Leoveanu
keywords: temporal ordering; distributed systems; causal consistency; events structure; clock-vectors

Fuzzy Event Assignment for Robust Context-Aware Workflows
Hannes Wolf, Jonas Palauro, and Klaus Herrmann
keywords: context-aware workflows, dependable event assignment, fuzzy logic

An Automated Wrapper-based Approach to the Design of Dependable Software
Matthew Leeke and Arshad Jhumka
keywords: Importance, Metric, Replication, Variable, Wrappers

An Approach for the Reliability Analysis of Automotive Control Systems
Mikhail Glukhikh, Mikhail Moiseev, and Harald Richter
keywords: reliability analysis; automotive control system

Methodology and Experience for Designing Safety-Related Systems in IEC 61508
Zhe Chen and Gilles Motet
keywords: safety-related system; IEC 61508; functional validity; verification; model checking; formal method; SPIN

Supporting Synthetic Data-Driven Diagnosis through Automated Fault-Injection
Patrick E. Lanigan, Thomas E. Fuhrman, and Priya Narasimhan
keywords: diagnosis, fault-injection, flexray

On Methods for the Formal Specification of Fault Tolerant Systems
Manuel Mazzara
keywords: Methods; Layered Fault Tolerant Specification; Problem Frames; Rely/Guarantee.

Failure Modes and Effect Analysis of Use Cases: A Structured Approach to Engineering Fault Tolerance Requirements
Elena Troubitsyna
keywords: use cases; failure modes and effect analysis (FMEA); fault tolerance; requirements

Timing Failures Caused by Resource Starvation in Virtual Machines
Sune Jakobsson
keywords: Java virtual machines; garbage collection; application servers; resource starvation.

Video Surveillance in the Cloud: Dependability Analysis
Aleksandra Karimaa
keywords: surveillance; cloud; dependability

Diagnostic Fusion for Dependable Vehicle Architectures
Patrick E. Lanigan, Priya Narasimhan, and Thomas E. Fuhrman
keywords: diagnosis; dependable computing; automotive; data fusion

Downtime Analysis of Virtual Machine Live Migration
Felix Salfner, Peter Tröger, and Andreas Polze
keywords: virtual machine, live migration, downtime, load model

SERVICES CONTACT
2010 - 2017 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.