21 results  save search

tel-02437159v1  Habilitation à diriger des recherches
Christine Largouët. Intelligence Artificielle pour l'aide à la décision des systèmes dynamiques : Diagnostic, Prévision, Recommandation d'actions
Intelligence artificielle [cs.AI]. Université de Rennes 1, 2019
hal-00523597v1  Conference papers
Bartosz GrabiecLouis-Marie TraonouezClaude JardDidier LimeOlivier Roux. Diagnosis using unfoldings of parametric time Petri nets
8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), Sep 2010, Vienna, Austria. pp.137-151
inria-00511093v1  Conference papers
Yves Moinard. A formalism for causal explanations with an Answer Set Programming translation
4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Sep 2010, Belfast, United Kingdom
inria-00337614v1  Reports
Christophe MorvanSophie Pinchinat. Diagnosis of Pushdown Systems
[Research Report] PI 1904, 2008, pp.19
hal-01862964v1  Conference papers
Ludovic MoulineAmine BenelallamFrançois FouquetJohann BourcierOlivier Barais. A Temporal Model for Interactive Diagnosis of Adaptive Systems
ICAC 2018 - IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-6
inria-00000121v1  Conference papers
Alban GrastienMarie-Odile CordierChristine Largouët. Incremental Diagnosis of Discrete-Event Systems
DX, Richard Dearden et Sriram Narasimhan, Jun 2005, Pacific Grove, California, USA
inria-00086617v1  Conference papers
Alban GrastienMarie-Odile Cordier. Exploiting independence in a decentralised and incremental approach of diagnosis
17th International Workshop on Principles of Diagnosis (DX-06), Belarmino Pulido Junquera, Jun 2006, Peñaranda de Duero / Spain
inria-00589415v1  Conference papers
Benedikt BolligStefan HaarLoïc Hélouët. Diagnosis with Dynamic MSC Languages
Workshop on distributed Open timed Systems, Aug 2010, Paris, France
inria-00542880v1  Conference papers
Yves Moinard. Using ASP with recent extensions for causal explanations
ASPOCP10, Answer Set Programming and Other Computing Paradigms Workshop, associated with ICLP, Jul 2010, Edinburgh, United Kingdom
tel-01946840v1  Theses
Engel Lefaucheux. Controlling information in Probabilistic Systems
Computer Science [cs]. Université Rennes 1, 2018. English
hal-01537796v1  Conference papers
Loïc HélouëtHervé Marchand. On the cost of diagnosis with disambiguation
QEST 2017, Sep 2017, Berlin, France. pp.140-156
tel-01589972v1  Habilitation à diriger des recherches
Hervé Marchand. Contribution to the Analysis of Discrete Event Systems
Software Engineering [cs.SE]. Université de Rennes 1, 2017