Laboratoire de Recherche en Informatique

• 
  Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. How to be Sure a Faulty System Does not Always Appear Healthy?. 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Sep 2018, Grenoble, France. ⟨hal-01818314⟩
• 
  Lina Ye, Philippe Dague, Lulu He. Manifestability Verification of Discrete Event Systems. DX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9. ⟨hal-02425146⟩
• 
  Philippe Dague, Lulu He, Lina Ye. How to be sure a faulty system does not always appear healthy?: Fault manifestability analysis for discrete event and timed systems. Innovations in Systems and Software Engineering, Springer Verlag, In press, ⟨10.1007/s11334-019-00357-z⟩. ⟨hal-02425142⟩
• 
  Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana. Queries and Updates on Big XML Documents (Extended Abstract). SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy. ⟨hal-01169269⟩
• 
  Maroua Bahri, Bernhard Pfahringer, Albert Bifet, Silviu Maniu. Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams. IDA 2020 - 18th International Symposium on Intelligent Data Analysis, Apr 2020, Konstanz / Virtual, Germany. pp.40-53, ⟨10.1007/978-3-030-44584-3_4⟩. ⟨hal-03190032⟩
• 
  Maroua Bahri, Silviu Maniu, Albert Bifet, Rodrigo Fernandes de Mello, Nikolaos Tziortziotis. Compressed k-Nearest Neighbors Ensembles for Evolving Data Streams. ECAI 2020 - 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostella / Virtual, Spain. ⟨hal-03189997⟩
• 
  Maroua Bahri, Heitor Murilo Gomes, Albert Bifet, Silviu Maniu. CS-ARF: Compressed Adaptive Random Forests for Evolving Data Stream Classification. IJCNN 2020 - International Joint Conference on Neural Networks, Jul 2020, Glasgow / Virtual, United Kingdom. pp.1-8, ⟨10.1109/IJCNN48605.2020.9207188⟩. ⟨hal-03189967⟩
• 
  Manuel Atencia, Jérôme David, Jérôme Euzenat, Liliana Ibanescu, Nathalie Pernelle, et al.. Discovering expressive rules for complex ontology matching and data interlinking. OM 2019 - 14th ISWC workshop on ontology matching, Oct 2019, Auckland, New Zealand. pp.199-200. ⟨hal-02984943⟩
• 
  Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther. Computing Minimal Projection Modules for ELHr -Terminologies. European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. pp.355-370, ⟨10.1007/978-3-030-19570-0_23⟩. ⟨hal-02930238⟩
• 
  Luis Palacios Medinacelli, Yue Ma, Chantal Reynaud, Gaëlle Lortal. Knowledge Based Situation Discovery for Avionics Maintenance. K-CAP '19: Knowledge Capture Conference, Nov 2019, Marina Del Rey CA, United States. pp.155-162, ⟨10.1145/3360901.3364430⟩. ⟨hal-02930192⟩

180

129