Chih-Hong Cheng

Publications

Export list as BibTeX file

• November 2019 nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems Chih-Hong Cheng, Chung-Hao Huang and Georg Nührenberg In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD), Details BIB
• March 2019 Runtime Monitoring Neuron Activation Patterns Chih-Hong Cheng, Georg Nührenberg and Hirotoshi Yasuoka In Design, Automation & Test in Europe Conference & Exhibition, pages 300–303, Florence, Italy, Details URL DOI BIB
• October 2018 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems Chih-Hong Cheng, Chung-Hao Huang and Hirotoshi Yasuoka In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pages 126–142, Details URL DOI BIB
• October 2018 Towards Dependability Metrics for Neural Networks Chih-Hong Cheng, Georg Nührenberg, Harald Rueß and Hirotoshi Yasuoka In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, pages 43–46, Details URL DOI BIB
• July 2018 Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang and Harald Rueß In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pages 279–290, Details URL DOI BIB
• March 2018 Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives Chih-Hong Cheng, Frederik Diehl, Gereon Michael Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Rueß and Michael Truong Le In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1005–1006, Dresden, Germany, Details DOI BIB
• December 2017 Automated Analysis of Multi-View Software Architectures Chih-Hong Cheng, Yassine Hamza and Harald Rueß In 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pages 725–730, Details URL DOI BIB
• September 2017 Device Adapter Concept towards Enabling Plug&Produce Production Environments Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter and Alois Zoitl In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details BIB
• May 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng and Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 427–434, Details URL DOI BIB
• 2017 autoCode4: Structural Controller Synthesis Chih-Hong Cheng, Edward A. Lee and Harald Rueß In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, pages 398–404, Details DOI BIB
• 2017 Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng, Georg Nührenberg and Harald Rueß In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, Details BIB
• 2016 Compositional Parameter Synthesis Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, Chih-Hong Cheng and Harald Rueß In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 60–68, Details DOI BIB
• 2016 Structural Synthesis for GXW Specifications Chih-Hong Cheng, Yassine Hamza and Harald Rueß In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pages 95–117, Details URL DOI BIB
• 2014 G4LTL-ST: Automatic Generation of PLC Programs Chih-Hong Cheng, Chung-Hao Huang, Harald Rueß and Stefan Stattelmann In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pages 541–549, Details URL DOI BIB
• August 2013 Programme auf Knopfdruck? Michael Geisinger and Chih-Hong Cheng Computer & Automation, ():32–35, August 2013. Details URL BIB
• 2013 EFSMT: A Logical Framework for Cyber-Physical Systems Chih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek Bensalem CoRR, abs/1306.3456():, 2013. Details URL BIB
• 2013 EFSMT: A Logical Framework for Cyber-Physical Systems Chih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek Bensalem arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BIB
• 2013 JBernstein: A Validity Checker for Generalized Polynomial Constraints Chih-Hong Cheng, Harald Rueß and Natarajan Shankar In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pages 656–661, Details URL DOI BIB
• 2013 Synthesizing Controllers for Automation Tasks with Performance Guarantees Chih-Hong Cheng, Michael Geisinger and Christian Buckl In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pages 154–159, Details URL DOI BIB
• 2012 Distributed Priority Synthesis Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem and Harald Rueß In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pages 57–72, Details URL DOI BIB
• 2012 Distributed priority synthesis using knowledge Chih-Hong Cheng, Rongjie Yan, Harald Rueß and Saddek Bensalem In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA, pages 129–132, Details URL DOI BIB
• 2012 Game solving for industrial automation and control Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 4367–4372, Details URL DOI BIB
• 2012 MGSyn: Automatic Synthesis for Industrial Automation Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pages 658–664, Details URL DOI BIB
• 2011 GAVS+: An Open Platform for the Research of Algorithmic Game Solving Chih-Hong Cheng, Alois Knoll, Michael Luttenberger and Christian Buckl In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, , pages 258–261, Details URL DOI BIB
• 2011 Algorithms for Synthesizing Priorities in Component-Based Systems Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Rueß, Christian Buckl and Alois Knoll In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pages 150–167, Details URL DOI BIB
• 2011 Model Construction and Priority Synthesis for Simple Interaction Systems Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll and Harald Rueß In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pages 466–471, Details URL DOI BIB
• 2011 On the Hardness of Priority Synthesis Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl and Alois Knoll In Radu Calinescu and David Garlan, editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, pages 110–117, Details URL DOI BIB
• 2011 Optimizations for Game-based Software Synthesis Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll and Harald Rueß TR-2011-12, Verimag Research Report, Details BIB
• 2011 Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice Chih-Hong Cheng, Harald Rueß, Alois Knoll and Christian Buckl In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, pages 118–133, Details URL DOI BIB
• 2010 GAVS: Game Arena Visualization and Synthesis Chih-Hong Cheng, Christian Buckl, Michael Luttenberger and Alois Knoll In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pages 347–352, Details URL DOI BIB
• 2010 A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems Chih-Hong Cheng, Harald Rueß, Alois Knoll and Christian Buckl CoRR, abs/1011.0268():, 2010. Details URL BIB
• 2009 Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification Chih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza and Yang Chen In MariaSimonetta Balsamo, William J. Knottenbelt and Andrea Marin, editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, pages 72–77, Details URL DOI BIB
• 2009 FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems Chih-Hong Cheng, Christian Buckl, Javier Esparza and Alois Knoll CoRR, abs/0905.3946():, 2009. Details URL BIB
• 2009 Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness Chih-Hong Cheng, Christian Buckl, Javier Esparza and Alois Knoll CoRR, abs/0905.3951():, 2009. Details URL BIB
• 2009 Toward the Design of Robotic Software with Verifiable Safety Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee and Alois Knoll In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pages 622–623, Details URL DOI BIB