default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLina Ye
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20(1) (2024)- 2023
- [j7]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie
, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25(3): 341-354 (2023) - [c27]Alain Finkel, Serge Haddad, Lina Ye:
About Decisiveness of Dynamic Probabilistic Models. CONCUR 2023: 14:1-14:17 - [c26]Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye:
Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels. EGC 2023: 665-666 - [c25]Alain Finkel, Serge Haddad, Lina Ye:
Introducing Divergence for Infinite Probabilistic Models. RP 2023: 127-140 - [i6]Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye:
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation. CoRR abs/2305.10446 (2023) - [i5]Alain Finkel, Serge Haddad, Lina Ye:
About Decisiveness of Dynamic Probabilistic Models. CoRR abs/2305.19564 (2023) - [i4]Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. CoRR abs/2306.08266 (2023) - [i3]Alain Finkel, Serge Haddad, Lina Ye:
Introducing Divergence for Infinite Probabilistic Models. CoRR abs/2308.08842 (2023) - 2022
- [c24]Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF 2022: 81-96 - [i2]Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye:
Natural Language Processing for Cognitive Analysis of Emotions. CoRR abs/2210.05296 (2022) - 2021
- [c23]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA 2021: 364-380 - [c22]Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye:
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI 2021: 113-129 - 2020
- [j6]Safouan Taha, Burkhart Wolff, Lina Ye:
The HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020) - [j5]Philippe Dague, Lulu He, Lina Ye:
How to be sure a faulty system does not always appear healthy? Innov. Syst. Softw. Eng. 16(2): 121-142 (2020) - [c21]Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi:
A Coloured Petri Nets Based Attack Tolerance Framework. APSEC 2020: 159-168 - [c20]Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye:
Active Prediction for Discrete Event Systems. FSTTCS 2020: 48:1-48:16 - [c19]Safouan Taha, Burkhart Wolff, Lina Ye:
Philosophers May Dine - Definitively! IFM 2020: 419-439 - [i1]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
Property-Directed Verification of Recurrent Neural Networks. CoRR abs/2009.10610 (2020)
2010 – 2019
- 2019
- [j4]Safouan Taha, Lina Ye, Burkhart Wolff:
HOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019) - 2018
- [c18]Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague:
Automating Abstraction Computation of Hybrid Systems. CICM Workshops 2018 - [c17]Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski:
How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS 2018: 114-129 - 2017
- [j3]Lina Ye, Philippe Dague:
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. IEEE Trans. Autom. Control. 62(4): 1768-1780 (2017) - [c16]Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon:
Diagnosability Planning for Controllable Discrete Event Systems. AAAI 2017: 1149-1155 - [c15]Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois:
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX 2017: 124-143 - 2016
- [j2]Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye:
VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. 9(4): 647-660 (2016) - [c14]Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski:
Fault Manifestability Verification for Discrete Event Systems. ECAI 2016: 1718-1719 - [c13]Farid Nouioua, Philippe Dague, Lina Ye:
Predictability in Probabilistic Discrete Event Systems. SMPS 2016: 381-389 - [c12]Lakhdar Akroun, Gwen Salaün, Lina Ye:
Automated Analysis of Asynchronously Communicating Systems. SPIN 2016: 1-18 - 2015
- [c11]Lina Ye, Philippe Dague, Farid Nouioua:
A Predictability Algorithm for Distributed Discrete Event Systems. ICFEM 2015: 201-216 - [c10]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye:
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS 2015: 14-19 - [c9]Gwen Salaün, Lina Ye:
Debugging Process Algebra Specifications. VMCAI 2015: 245-262 - 2014
- [c8]Radu Mateescu, Gwen Salaün, Lina Ye:
Quantifying the parallelism in BPMN processes using model checking. CBSE 2014: 159-168 - 2013
- [c7]Lina Ye, Philippe Dague, Farid Nouioua:
Predictability analysis of distributed discrete event systems. CDC 2013: 5009-5015 - 2012
- [c6]Lina Ye, Philippe Dague:
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. ICTAI 2012: 130-137 - 2011
- [b1]Lina Ye:
Optimized diagnosability of distributed discrete event systems through abstraction. (Diagnosticabilité Optimisée des Systèmes Distribués à Evénements Discrets par Abstraction). University of Paris-Sud, Orsay, France, 2011 - [j1]Lina Ye, Guangwu Yan, Tingting Li:
Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation. J. Sci. Comput. 49(2): 195-210 (2011) - 2010
- [c5]Lina Ye, Philippe Dague:
Diagnosability Analysis of Discrete Event Systems with Autonomous Components. ECAI 2010: 105-110 - [c4]Lina Ye, Philippe Dague:
An optimized algorithm for diagnosability of component-based systems. WODES 2010: 143-148
2000 – 2009
- 2009
- [c3]Lina Ye, Philippe Dague, Yuhong Yan:
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. ICTAI 2009: 123-130 - [c2]Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti:
A Decentralized Model-Based Diagnosis for BPEL Services. ICTAI 2009: 609-616 - 2008
- [c1]Lina Ye, Philippe Dague:
Decentralized Diagnosis for BPEL Web Services. WEBIST (1) 2008: 283-287
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
