DISTRIBCOM - 2012 - Annual activity report

DISTRIBCOM

DISTRIBCOM - 2012

Project-Team Distribcom

Members

Overall Objectives

Objectives of the team

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
PLASMA
LotrecScheme

New Results

Fundamental results and algorithms: distributed planning
Fundamental results and algorithms: communication with messages and scenarios
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: network maintenance
Specific studies: network and service diagnosis

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2012 Project-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 Oriented Architecture, Workflow