Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
PéTer Elek
Kseniya Garaschuk
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Akanksha Bagchi
Home
/
Author
/
LINA YE
Author Info
Open Visualization
Name
Affiliation
Papers
LINA YE
Univ Paris 11, CNRS, LRI, Parc Club Orsay Univ,4 Rue Jacques Monod,Bat G, F-91893 Orsay, France
24
Collaborators
Citations
PageRank
44
26
8.75
Referers
Referees
References
59
201
118
Search Limit
100
201
Publications (24 rows)
Collaborators (44 rows)
Referers (59 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
0
0.34
2021
How to be sure a faulty system does not always appear healthy?: Fault manifestability analysis for discrete event and timed systems
0
0.34
2020
A Coloured Petri Nets Based Attack Tolerance Framework
0
0.34
2020
Active Prediction for Discrete Event Systems.
0
0.34
2020
Philosophers May Dine - Definitively!
0
0.34
2020
HOL-CSP Version 2.0.
0
0.34
2019
How To Be Sure A Faulty System Does Not Always Appear Healthy?
0
0.34
2018
Automating Abstraction Computation of Hybrid Systems.
0
0.34
2018
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.
0
0.34
2017
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures.
1
0.35
2017
Diagnosability Planning for Controllable Discrete Event Systems.
0
0.34
2017
Predictability in Probabilistic Discrete Event Systems.
0
0.34
2016
Automated Analysis of Asynchronously Communicating Systems.
3
0.38
2016
Fault Manifestability Verification for Discrete Event Systems.
0
0.34
2016
Debugging Process Algebra Specifications
0
0.34
2015
Towards a Formal Semantics of the TESL Specification Language.
0
0.34
2015
Quantifying the parallelism in BPMN processes using model checking
4
0.38
2014
Predictability analysis of distributed discrete event systems
4
0.46
2013
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems
2
0.37
2012
Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation
1
0.37
2011
An optimized algorithm for diagnosability of component-based systems.
1
0.36
2010
Diagnosability Analysis of Discrete Event Systems with Autonomous Components
3
0.45
2010
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems
3
0.49
2009
A Decentralized Model-Based Diagnosis for BPEL Services
4
0.40
2009
1
