Lina Ye - RankMe

44 papers A* 1A 2B 7C 4Journal 15Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An approximation-based incremental SMT approach for diagnosability analysis of real-time systems. Discret. Event Dyn. Syst. Lulu He, Philippe Dague, Lina Ye
2025	—	`conf`	Tightening the Frontier of Decidability for Decisiveness. QEST+FORMATS Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain, Alain Finkel
2024	J	`jnl`	Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023	B	`conf`	About Decisiveness of Dynamic Probabilistic Models. CONCUR Alain Finkel, Serge Haddad, Lina Ye
2023	J	`jnl`	About Decisiveness of Dynamic Probabilistic Models. CoRR Alain Finkel, Serge Haddad, Lina Ye
2023	J	`jnl`	Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023	J	`jnl`	Analyzing Robustness of Angluin's L CoRR Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023	—	`conf`	Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels. EGC Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye
2023	J	`jnl`	Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation. CoRR Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye
2023	—	`conf`	Introducing Divergence for Infinite Probabilistic Models. RP Alain Finkel, Serge Haddad, Lina Ye
2023	J	`jnl`	Introducing Divergence for Infinite Probabilistic Models. CoRR Alain Finkel, Serge Haddad, Lina Ye
2022	—	`conf`	Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2022	J	`jnl`	Natural Language Processing for Cognitive Analysis of Emotions. CoRR Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye
2021	—	`conf`	Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
2021	B	`conf`	Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2020	C	`conf`	A Coloured Petri Nets Based Attack Tolerance Framework. APSEC Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi
2020	—	`conf`	Active Prediction for Discrete Event Systems. FSTTCS Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye
2020	J	`jnl`	How to be sure a faulty system does not always appear healthy? Innov. Syst. Softw. Eng. Philippe Dague, Lulu He, Lina Ye
2020	B	`conf`	Philosophers May Dine - Definitively! IFM Safouan Taha, Burkhart Wolff, Lina Ye
2020	J	`jnl`	Property-Directed Verification of Recurrent Neural Networks. CoRR Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2020	J	`jnl`	The HOL-CSP Refinement Toolkit. Arch. Formal Proofs Safouan Taha, Burkhart Wolff, Lina Ye
2019	J	`jnl`	HOL-CSP Version 2.0. Arch. Formal Proofs Safouan Taha, Lina Ye, Burkhart Wolff
2018	—	`conf`	Automating Abstraction Computation of Hybrid Systems. CICM Workshops Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague
2018	C	`conf`	How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2017	J	`jnl`	An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. IEEE Trans. Autom. Control. Lina Ye, Philippe Dague
2017	C	`conf`	Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois
2017	A*	`conf`	Diagnosability Planning for Controllable Discrete Event Systems. AAAI Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon
2016	—	`conf`	Automated Analysis of Asynchronously Communicating Systems. SPIN Lakhdar Akroun, Gwen Salaün, Lina Ye
2016	A	`conf`	Fault Manifestability Verification for Discrete Event Systems. ECAI Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2016	—	`conf`	Predictability in Probabilistic Discrete Event Systems. SMPS Farid Nouioua, Philippe Dague, Lina Ye
2016	J	`jnl`	VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
2015	C	`conf`	A Predictability Algorithm for Distributed Discrete Event Systems. ICFEM Lina Ye, Philippe Dague, Farid Nouioua
2015	B	`conf`	Debugging Process Algebra Specifications. VMCAI Gwen Salaün, Lina Ye
2015	—	`conf`	Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
2014	—	`conf`	Quantifying the parallelism in BPMN processes using model checking. CBSE Radu Mateescu, Gwen Salaün, Lina Ye
2013	—	`conf`	Predictability analysis of distributed discrete event systems. CDC Lina Ye, Philippe Dague, Farid Nouioua
2012	B	`conf`	A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. ICTAI Lina Ye, Philippe Dague
2011	J	`jnl`	Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation. J. Sci. Comput. Lina Ye, Guangwu Yan, Tingting Li
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
2010	—	`conf`	An optimized algorithm for diagnosability of component-based systems. WODES Lina Ye, Philippe Dague
2010	A	`conf`	Diagnosability Analysis of Discrete Event Systems with Autonomous Components. ECAI Lina Ye, Philippe Dague
2009	B	`conf`	A Decentralized Model-Based Diagnosis for BPEL Services. ICTAI Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti
2009	B	`conf`	An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. ICTAI Lina Ye, Philippe Dague, Yuhong Yan
2008	—	`conf`	Decentralized Diagnosis for BPEL Web Services. WEBIST (1) Lina Ye, Philippe Dague