Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (52)

Communication dans un congrès 06/09/2022

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye , Lina Ye

Poster de conférence 05/09/2022

Natural Language Processing for Cognitive Analysis of Emotions

Gustave Cortal , Alain Finkel , Patrick Paroubek , Lina Ye , Lina Ye

Communication dans un congrès 01/10/2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Xuan Xie , Benoît Barbot , Benedikt Bollig , Alain Finkel , Serge Haddad , Martin Leucker , Lina Ye , Lina Ye

Communication dans un congrès 01/08/2021

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search

Benoît Barbot , Benedikt Bollig , Alain Finkel , Serge Haddad , Igor Khmelnitsky , Martin Leucker , Daniel Neider , Rajarshi Roy , Lina Ye , Lina Ye

Communication dans un congrès 14/12/2020

Active Prediction for Discrete Event Systems

Stefan Haar , Serge Haddad , Stefan Schwoon , Lina Ye , Lina Ye

Communication dans un congrès 14/11/2020

Philosophers may Dine - Definitively!

Safouan Taha , Burkhart Wolff , Lina Ye , Safouan Taha , Lina Ye

22/09/2020

Property-Directed Verification of Recurrent Neural Networks

Igor Khmelnitsky , Daniel Neider , Rajarshi Roy , Benoît Barbot , Benedikt Bollig , Alain Finkel , Serge Haddad , Martin Leucker , Lina Ye , Lina Ye

Communication dans un congrès 01/01/2020

A Coloured Petri Nets Based Attack Tolerance Framework

Wenbo Zhou , Philippe Dague , Lei Liu , Lina Ye , Fatiha Zaidi , Lina Ye

Communication dans un congrès 11/11/2019

Manifestability Verification of Discrete Event Systems

Lina Ye , Philippe Dague , Lulu He , Lina Ye

Article dans une revue 01/01/2019

How to be sure a faulty system does not always appear healthy?

Philippe Dague , Lulu He , Lina Ye , Lina Ye