Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. - Mireille Ducassé; Laurence Rozé (LOPSTR, 1999)

A Decentralized Model-Based Diagnostic Tool for Complex Systems. - Yannick Pencolé; Marie-Odile Cordier; Laurence Rozé (ICTAI, 2001)

Incremental decentralized diagnosis approach for the supervision of a telecommunication network. - Yannick Pencolé; Yannick Cordier; Laurence Rozé (CDC, 2002)

Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks. - Laurence Rozé; Marie-Odile Cordier (Discret. Event Dyn. Syst., 2002)

Chronicles for On-line Diagnosis of Distributed Systems. - Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé (ECAI, 2008)

Surveillance de compositions de web services. Deux approches distribuées à base de chroniques pour la surveillance et le diagnostic. - Xavier Le Guillou; Marie-Odile Cordier; Sophie Robin; Laurence Rozé (Rev. d'Intelligence Artif., 2010)

Adapting Web Services to Maintain QoS Even When Faults Occur. - Marie-Odile Cordier; Roberto Micalizio; Sophie Robin; Laurence Rozé (ICWS, 2013)

Improving Time-Series Rule Matching Performance for Detecting Energy Consumption Patterns. - Maël Guillemé; Laurence Rozé; Véronique Masson; Cérès Carton; René Quiniou; Alexandre Termier (DARE@PKDD/ECML, 2017)

Day-ahead time series forecasting: application to capacity planning. - Colin Leverger; Vincent Lemaire 001; Simon Malinowski; Thomas Guyet; Laurence Rozé (CoRR, 2018)

Agnostic Local Explanation for Time Series Classification. - Maël Guillemé; Véronique Masson; Laurence Rozé; Alexandre Termier (ICTAI, 2019)

Prediction-Based Fleet Relocation for Free Floating Car Sharing Services. - Gregory Martin; Matthieu Donain; Élisa Fromont; Tias Guns; Laurence Rozé; Alexandre Termier (ICTAI, 2021)

Online forecasting of daily feed intake in lactating sows supported by offline time-series clustering, for precision livestock farming. - Raphaël Gauthier; Christine Largouët; Laurence Rozé; Jean-Yves Dourmad (Comput. Electron. Agric., 2021)

TAG: Learning Timed Automata from Logs. - Lénaïg Cornanguer; Christine Largouët; Laurence Rozé; Alexandre Termier (AAAI, 2022)

s-LIME: Reconciling Locality and Fidelity in Linear Explanations. - Romaric Gaudel; Luis Galárraga; Julien Delaunay; Laurence Rozé; Vaishnavi Bhargava (IDA, 2022)

Persistence-Based Discretization for Learning Discrete Event Systems from Time Series. - Lénaïg Cornanguer; Christine Largouët; Laurence Rozé; Alexandre Termier (CoRR, 2023)

Shaping Up SHAP: Enhancing Stability through Layer-Wise Neighbor Selection. - Gwladys Kelodjou; Laurence Rozé; Véronique Masson; Luis Galárraga; Romaric Gaudel; Maurice Tchuenté; Alexandre Termier (AAAI, 2024)