盈如 陳

View Scopus Profile

Yean-Ru Chen

Associate Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20052024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation

    Lin, S. W., Wang, T. F., Chen, Y. R., Hou, Z., Sanán, D. & Teo, Y. S., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 363-382 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14571 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2022

    Dynamic Assertions for Quantum Circuits Based on Stabilizers

    Lin, C. N., Lin, S. W. & Chen, Y. R., 2022, Quantum Technologies 2022. Diamanti, E., Ducci, S., Treps, N. & Whitlock, S. (eds.). SPIE, 121330I. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12133).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Empirical Study of Proposed Meltdown Attack Implementation on BOOM v3

    Lin, C. H., Su, Y. P., Chen, Y. R., Chou, Y. T. & Chen, S. J., 2022, MWSCAS 2022 - 65th IEEE International Midwest Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc., (Midwest Symposium on Circuits and Systems; vol. 2022-August).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Robustness Analysis of Neural Network Designs for ReLU Family and Batch Normalization

    Chen, H., Su, Y. P., Chen, Y. R., Chiu, C. C. & Chen, S. J., 2022, Proceedings - 2022 International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (Proceedings - 2022 International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2020

    Instruction Verification of Ethereum Virtual Machine by Formal Method

    Ke, C. S. & Chen, Y. R., 2020 Feb, Indo - Taiwan 2nd International Conference on Computing, Analytics and Networks, Indo-Taiwan ICAN 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 69-74 6 p. 9181334. (Indo - Taiwan 2nd International Conference on Computing, Analytics and Networks, Indo-Taiwan ICAN 2020 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)
  • 2014

    Unified security and safety risk assessment - A case study on nuclear power plant

    Chen, Y. R., Chen, S. J., Hsiung, P. A. & Chou, I. H., 2014 Nov 13, Proceedings - 1st International Conference on Trustworthy Systems and Their Applications, TSA 2014. Institute of Electrical and Electronics Engineers Inc., p. 22-28 7 p. 6956707. (Proceedings - 1st International Conference on Trustworthy Systems and Their Applications, TSA 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Citations (Scopus)
  • 2013

    Backward probing deadlock detection for networks-on-chip

    Chen, Y. R., Wangt, Z. R., Hsiunqt, P. A., Chen, S. J. & Tsai, M. H., 2013, 2013 7th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2013. 6558396. (2013 7th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2012

    Congestion-aware scheduling for NoC-based reconfigurable systems

    Chao, H. L., Chen, Y. R., Tung, S. Y., Hsiung, P. A. & Chen, S. J., 2012, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2012. p. 1561-1566 6 p. 6176721. (Proceedings -Design, Automation and Test in Europe, DATE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)
  • 2010

    Formal modeling and verification for Network-on-chip

    Chen, Y.-R., Su, W. T., Hsiung, P. A., Lan, Y. C., Hu, Y. H. & Chen, S. J., 2010 Sept 20, 1st International Conference on Green Circuits and Systems, ICGCS 2010. p. 299-304 6 p. 5543050. (1st International Conference on Green Circuits and Systems, ICGCS 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Citations (Scopus)
  • 2009

    Model-driven development of multi-core embedded software

    Hsiung, P. A., Lin, S. W., Chen, Y. R., Hsueh, N. L., Chang, C. H., Shih, C. H., Koong, C. S., Lin, C. S., Lu, C. H., Tong, S. Y., Su, W. T. & Chu, W. C., 2009, Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009. p. 9-16 8 p. 5071378. (Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, IWMSE 2009).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)

  • VERTAF/Multi-core: A SysML-Based application framework for multi-core embedded software development

    Hsiung, P. A., Lin, C. S., Lin, S. W., Chen, Y. R., Lu, C. H., Tong, S. Y., Su, W. T., Shih, C., Koong, C. S., Hsueh, N. L., Chang, C. H. & Chu, W. C., 2009, Algorithms and Architectures for Parallel Processing - 9th International Conference, ICA3PP 2009, Proceedings. p. 303-314 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5574 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)
  • 2007

    Modeling and automatic failure analysis of safety-critical systems using extended safecharts

    Chen, Y. R., Hsiung, P. A. & Chen, S. J., 2007, Computer Safety, Reliability, and Security - 26th International Conference, SAFECOMP 2007, Proceedings. Springer Verlag, p. 451-464 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4680 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Sequential color LED backlight driving system for LCD panels with area control

    Wu, T. F., Chen, C. C., Wu, C. Y., Lu, P. C. & Chen, Y. R., 2007, PESC 07 - IEEE 38th Annual Power Electronics Specialists Conference. p. 2947-2952 6 p. 4342490. (PESC Record - IEEE Annual Power Electronics Specialists Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)
  • 2006

    Model checking timed systems with urgencies

    Hsiung, P. A., Lin, S. W., Chen, Y. R., Huang, C. H., Yeh, J. J., Sun, H. Y., Lin, C. S. & Liao, H. W., 2006, Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006, Proceedings. Springer Verlag, p. 67-81 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4218 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)
  • 2005

    Model checking prioritized timed automata

    Lin, S. W., Hsiung, P. A., Huang, C. H. & Chen, Y.-R., 2005 Dec 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 370-384 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3707 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Citations (Scopus)