DISTRIBCOM - 2011 - Annual activity report

DISTRIBCOM

DISTRIBCOM - 2011

Project Team Distribcom

Members

Overall Objectives

Objectives of the team
Highlights

Scientific Foundations

Overview of the needed paradigms
Models of concurrency: nets, scenarios, event structures, and their variants
Modal logics for distributed systems
Statistical Model Checking

Application Domains

Telecommunication network management
Web services and active structured documents

Software

SOFAT

New Results

Fundamental results and algorithms: distributed planning
Fundamental results and algorithms: communication with messages and senarios
Fundamental results and algorithms: timed models
Fundamental results and algorithms: dynamic epistemic logic
Fundamental results and algorithms: statistical model checking
Fundamental results and algorithms: quantitative model checking and quantitative specification Theories
Specific studies: Web services orchestrations
Specific studies: active documents and web services
Specific studies: security and privacy
Specific studies: network maintenance
Specific studies: network and service diagnosis

Contracts and Grants with Industry

Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

DISTRIBCOM

Distributed and Iterative Algorithms for the Management of Telecommunications Systems

Research centre: Rennes - Bretagne-Atlantique

In partnership with: CNRS, Université Rennes 1, Ecole normale supérieure de Cachan

In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)

Field: Networks, Systems and Services, Distributed Computing

Theme: Networks and Telecommunications

Keywords: Quality Of Service, Distributed Algorithms, Monitoring, Optical Networks, Service Orchestration, Workflow