pith. sign in

Chih-Hong Cheng

Identifiers

  • name variant Chih-Hong Cheng 0.60 · backfill

Papers (23)

  1. Safety-Aligned 3D Object Detection: Single-Vehicle, Cooperative, and End-to-End Perspectives cs.CV · 2026 · author #2
  2. ProGRank: Probe-Gradient Reranking to Defend Dense-Retriever RAG from Corpus Poisoning cs.AI · 2026 · author #3
  3. Architecting Dependable Learning-enabled Autonomous Systems: A Survey cs.SE · 2019 · author #1
  4. nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems cs.LG · 2018 · author #1
  5. Runtime Monitoring Neuron Activation Patterns cs.LG · 2018 · author #1
  6. Towards Dependability Metrics for Neural Networks cs.LG · 2018 · author #1
  7. Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems cs.SE · 2018 · author #1
  8. Verification of Binarized Neural Networks via Inter-Neuron Factoring cs.SE · 2017 · author #1
  9. Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives cs.SE · 2017 · author #1
  10. Maximum Resilience of Artificial Neural Networks cs.LG · 2017 · author #1
  11. Automated Analysis of Multi-View Software Architectures cs.SE · 2017 · author #1
  12. Structural Synthesis for GXW Specifications cs.LO · 2016 · author #1
  13. Semantic Degrees for Industrie 4.0 cs.SE · 2015 · author #1
  14. Timed Orchestration for Component-based Systems cs.FL · 2015 · author #1
  15. Formal Consistency Checking over Specifications in Natural Languages cs.SE · 2014 · author #2
  16. G4LTL-ST: Automatic Generation of PLC Programs cs.LO · 2014 · author #1
  17. Numerical LTL Synthesis for Cyber-Physical Systems cs.SE · 2013 · author #1
  18. EFSMT: A Logical Framework for Cyber-Physical Systems cs.LO · 2013 · author #1
  19. Distributed Priority Synthesis and its Applications cs.LO · 2011 · author #1
  20. Algorithms for Synthesizing Priorities in Component-based Systems cs.LO · 2011 · author #1
  21. A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems cs.GT · 2010 · author #1
  22. FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems cs.DC · 2009 · author #1
  23. Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness cs.DC · 2009 · author #1

Mentions

  • 2603.22934 #3 · arxiv_oai · confidence 0.70 Chih-Hong Cheng
  • 1902.10590 #1 · arxiv_oai · confidence 0.70 Chih-Hong Cheng
  • 1307.3722 #1 · arxiv_oai · confidence 0.70 Chih-Hong Cheng
  • 1107.1383 #1 · arxiv_oai · confidence 0.70 Chih-Hong Cheng
  • 1505.05625 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1504.05513 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1405.5003 #2 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1405.2409 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1307.3722 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1306.3456 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1112.1783 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1107.1383 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 1011.0268 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 0905.3951 #1 · backfill · confidence 0.70 Chih-Hong Cheng
  • 0905.3946 #1 · backfill · confidence 0.70 Chih-Hong Cheng

Frequent Coauthors