Lost password ? Create account

Home
Call for papers
Committees
Authors
Program
DX series
Registration
Contacts
Awards
Proceedings

Program

Week Mon. 31 Tue. 01 Wed. 02 Thu. 03 List

Monday, August 31, 2015 ›

12:00

13:00

14:00

15:00

16:00

17:00

18:00

›12:00 (30min)

DX registration

12:00 - 12:30 (30min)

DX registration

Main entrance of ENSAM

›12:30 (1h15)

Lunch

› Cours Pinel

12:30 - 13:45 (1h15)

Lunch

Cours Pinel

›13:45 (15min)

Opening Session
DX15 chairs

› Amphi Pinel

13:45 - 14:00 (15min)

Opening Session

Amphi Pinel

DX15 chairs

›14:00 (2h)

Discrete Event System Diagnosis

› Amphi Pinel

14:00 - 16:00 (2h)

Discrete Event System Diagnosis

Amphi Pinel

› Formulating Event-Based Critical Observations in Diagnostic Problems - Cody Christopher, National ICT Australia, Australian National University - Alban Grastien, National ICT Australia, Australian National University 14:00-14:30 (30min)

› Using Incremental SAT for Testing Diagnosability of Distributed DES - Hassan IBRAHIM, Laboratoire de Recherche en Informatique 14:30-15:00 (30min)

› Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems - Alban Grastien, National ICT Australia 15:00-15:30 (30min)

› Random generator of k-diagnosable discrete event systems - Yannick Pencolé, Laboratoire d'analyse et d'architecture des systèmes [Toulouse] 15:30-16:00 (30min)

›16:00 (30min)

Coffee break

› Cours Pinel

16:00 - 16:30 (30min)

Coffee break

Cours Pinel

›16:30 (2h)

Consistency-based Diagnosis

› Amphi Pinel

16:30 - 18:30 (2h)

Consistency-based Diagnosis

Amphi Pinel

› A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis - Kostyantyn Shchekotykhin, Alpen-Adria University Klagenfurt - Dietmar Jannach, TU Dortmund - Thomas Schmitz, TU Dortmund 16:30-17:00 (30min)

› ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication - Cédric Herpson, Laboratoire d'Informatique de Paris 6 17:00-17:30 (30min)

› Configuration as Diagnosis: Generating Configurations with Conflict-Directed A* - An Application to Training Plan Generation - - Florian Grigoleit, Technische Universtät München - Peter Struss, Technische Universtät München 17:30-18:00 (30min)

› Implementing Troubleshooting with Batch Repair - Roni Stern, Ben Gurion University of the Negev - Meir Kalech, Ben Gurion University of the Negev - Hilla Shinitzky, Ben Gurion University of the Negev 18:00-18:30 (30min)

Session

Speech

Logistics

Break

Tour

Online user: 1