I agree that this site is using cookies. You can find further informations here.
X
Yean-Ru Chen
348  results:
Search for persons X
?
1

Model-driven development of multi-core embedded software:

, In: Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering,
Hsiung, Pao-Ann ; Lin, Shang-Wei ; Yean-Ru Chen... - p. 9-16 , 2009
Link: https://dl.acm.org/doi/1..
 
?
2

A Parallel and Distributed Quantum SAT Solver Based on Enta..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Lin, Shang-Wei ; Wang, Tzu-Fan ; Chen, Yean-Ru... - p. 363-382 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Markov Clustering-Based Content Placement in Roadside-Unit ..:

Wang, Yu-Ting ; Lin, Ting-Yu ; Sou, Sok-Ian...
IEEE Transactions on Intelligent Transportation Systems.  , 2024
Link: https://doi.org/10.1109/..
 
?
4

SMT Solver With Hardware Acceleration:

Chen, Yean-Ru ; Chen, Si-Han ; Lin, Shang-Wei
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  6 - p. 2055-2068 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Robustness Analysis of Neural Network Designs for ReLU Fami..:

, In: 2022 International Conference on Technologies and Applications of Artificial Intelligence (TAAI),
Chen, Hang ; Su, Yi-Pei ; Chen, Yean-Ru.. - p. 1-6 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Empirical Study of Proposed Meltdown Attack Implementation ..:

, In: 2022 IEEE 65th International Midwest Symposium on Circuits and Systems (MWSCAS),
Lin, Chien-Hsiang ; Su, Yi-Pei ; Chen, Yean-Ru.. - p. 1-4 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Instruction Verification of Ethereum Virtual Machine by For..:

, In: 2020 Indo – Taiwan 2nd International Conference on Computing, Analytics and Networks (Indo-Taiwan ICAN),
Ke, Chun-Sheng ; Chen, Yean-Ru - p. 69-74 , 2020
Link: https://doi.org/10.1109/..
 
?
8

Accelerating Coverage Estimation Through Partial Model Chec..:

Chen, Yean-Ru ; Yeh, Jia-Jen ; Hsiung, Pao-Ann.
IEEE Transactions on Computers.  63 (2014)  7 - p. 1613-1625 , 2014
Link: https://doi.org/10.1109/..
 
?
9

Congestion-aware scheduling for NoC-based reconfigurable sy..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Chao, Hung-Lin ; Chen, Yean-Ru ; Tung, Sheng-Ya.. - p. 1561-1566 , 2012
Link: https://dl.acm.org/doi/1..
 
?
10

VERTAF/Multi-Core: A SysML-Based Application Framework for ..:

Lin, Chao-Sheng ; Lu, Chun-Hsien ; Lin, Shang-Wei..
Journal of Computer Science and Technology.  26 (2011)  3 - p. 448-462 , 2011
Link: https://doi.org/10.1007/..
 
?
11

Multicore hardware-software design and verification techniq..:

Hsiung, Pao-Ann ; Chen, Yean-Ru ; Lin, Chao-Sheng , 2011
Link: https://search.ebscohost..
 
?
12

Modeling and verification of real-time embedded systems wit..:

Hsiung, Pao-Ann ; Lin, Shang-Wei ; Chen, Yean-Ru...
Journal of Systems and Software.  82 (2009)  10 - p. 1627-1641 , 2009
Link: https://doi.org/10.1016/..
 
?
13

Safecharts Model Checking for the Verfication of Safety-Cri..:

, In: Verification, Validation and Testing in Software Engineering,
Hsiung, Pao-Ann. ; Lin, Yen-Hung ; Chen, Yean-Ru ,
Link: https://doi.org/10.4018/..
 
?
14

Empirical study on security verification and assessment of ..:

Chen, Yean Ru ; Wang, Tzu Fan ; Chen, Si-Han.
Microprocessors and Microsystems.  99 (2023)  - p. 104845 , 2023
Link: https://doi.org/10.1016/..
 
?
15

A Parallel and Distributed Quantum SAT Solver Based on Enta..:

Lin, Shang-Wei ; Wang, Tzu-Fan ; Chen, Yean-Ru...
http://arxiv.org/abs/2308.03344.  , 2023
Link: http://arxiv.org/abs/230..
 
1-15