pith. sign in

Chih-Hong Cheng

Identifiers

  • name variant Chih-Hong Cheng 0.60 · backfill

Papers (22)

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

Mentions

  • 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