Lina Ye

According to our database, Lina Ye authored at least 39 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Analysis of recurrent neural networks via property-directed verification of surrogate models.

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

Int. J. Softw. Tools Technol. Transf., June, 2023

Analyzing Robustness of Angluin's L^* Algorithm in Presence of Noise.

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

CoRR, 2023

Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation.

Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye

CoRR, 2023

Introducing Divergence for Infinite Probabilistic Models.

Alain Finkel, Serge Haddad, Lina Ye

Proceedings of the Reachability Problems - 17th International Conference, 2023

Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels.

Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye

Proceedings of the Extraction et Gestion des Connaissances, 2023

About Decisiveness of Dynamic Probabilistic Models.

Alain Finkel, Serge Haddad, Lina Ye

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Natural Language Processing for Cognitive Analysis of Emotions.

Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye

CoRR, 2022

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.

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

Proceedings of the 13th International Symposium on Games, 2022

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

Proceedings of the 15th International Conference on Grammatical Inference, 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

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

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

Philippe Dague, Lulu He, Lina Ye

Innov. Syst. Softw. Eng., 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

CoRR, 2020

The HOL-CSP Refinement Toolkit.

Safouan Taha, Burkhart Wolff, Lina Ye

Arch. Formal Proofs, 2020

Philosophers May Dine - Definitively!

Safouan Taha, Burkhart Wolff, Lina Ye

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Active Prediction for Discrete Event Systems.

Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

A Coloured Petri Nets Based Attack Tolerance Framework.

Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

HOL-CSP Version 2.0.

Safouan Taha, Lina Ye, Burkhart Wolff

Arch. Formal Proofs, 2019

2018

How to Be Sure a Faulty System Does Not Always Appear Healthy?

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Automating Abstraction Computation of Hybrid Systems.

Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague

Proceedings of the Joint Proceedings of the CME-EI, 2018

2017

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures.

Lina Ye, Philippe Dague

IEEE Trans. Autom. Control., 2017

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Diagnosability Planning for Controllable Discrete Event Systems.

Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

VerChor: A Framework for the Design and Verification of Choreographies.

Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye

IEEE Trans. Serv. Comput., 2016

Automated Analysis of Asynchronously Communicating Systems.

Lakhdar Akroun, Gwen Salaün, Lina Ye

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Predictability in Probabilistic Discrete Event Systems.

Farid Nouioua, Philippe Dague, Lina Ye

Proceedings of the Soft Methods for Data Science, 2016

Fault Manifestability Verification for Discrete Event Systems.

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Debugging Process Algebra Specifications.

Gwen Salaün, Lina Ye

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Towards a Formal Semantics of the TESL Specification Language.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

A Predictability Algorithm for Distributed Discrete Event Systems.

Lina Ye, Philippe Dague, Farid Nouioua

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Quantifying the parallelism in BPMN processes using model checking.

Radu Mateescu, Gwen Salaün, Lina Ye

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013

Predictability analysis of distributed discrete event systems.

Lina Ye, Philippe Dague, Farid Nouioua

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems.

Lina Ye, Philippe Dague

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

Optimized diagnosability of distributed discrete event systems through abstraction. (Diagnosticabilité Optimisée des Systèmes Distribués à Evénements Discrets par Abstraction).

Lina Ye

PhD thesis, 2011

Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation.

Lina Ye, Guangwu Yan, Tingting Li

J. Sci. Comput., 2011

2010

An optimized algorithm for diagnosability of component-based systems.

Lina Ye, Philippe Dague

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Diagnosability Analysis of Discrete Event Systems with Autonomous Components.

Lina Ye, Philippe Dague

Proceedings of the ECAI 2010, 2010

2009

An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems.

Lina Ye, Philippe Dague, Yuhong Yan

Proceedings of the ICTAI 2009, 2009

A Decentralized Model-Based Diagnosis for BPEL Services.

Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti

Proceedings of the ICTAI 2009, 2009

2008

Decentralized Diagnosis for BPEL Web Services.

Lina Ye, Philippe Dague

Proceedings of the WEBIST 2008, 2008