Chih-Hong Cheng

Publikationen

Liste als BibTeX-Datei exportieren

• November 2019 nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems Chih-Hong Cheng, Chung-Hao Huang und Georg Nührenberg In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD), Details BIB
• März 2019 Runtime Monitoring Neuron Activation Patterns Chih-Hong Cheng, Georg Nührenberg und Hirotoshi Yasuoka In Design, Automation & Test in Europe Conference & Exhibition, Seiten 300–303, Florence, Italy, Details URL DOI BIB
• Oktober 2018 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems Chih-Hong Cheng, Chung-Hao Huang und Hirotoshi Yasuoka In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Seiten 126–142, Details URL DOI BIB
• Oktober 2018 Towards Dependability Metrics for Neural Networks Chih-Hong Cheng, Georg Nührenberg, Harald Rueß und Hirotoshi Yasuoka In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, Seiten 43–46, Details URL DOI BIB
• Juli 2018 Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang und Harald Rueß In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Seiten 279–290, Details URL DOI BIB
• März 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ß und Michael Truong Le In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), Seiten 1005–1006, Dresden, Germany, Details DOI BIB
• Dezember 2017 Automated Analysis of Multi-View Software Architectures Chih-Hong Cheng, Yassine Hamza und Harald Rueß In 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, Seiten 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 und Alois Zoitl In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details BIB
• Mai 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng und Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Seiten 427–434, Details URL DOI BIB
• 2017 autoCode4: Structural Controller Synthesis Chih-Hong Cheng, Edward A. Lee und Harald Rueß In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, Seiten 398–404, Details DOI BIB
• 2017 Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng, Georg Nührenberg und 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 und Harald Rueß In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Seiten 60–68, Details DOI BIB
• 2016 Structural Synthesis for GXW Specifications Chih-Hong Cheng, Yassine Hamza und Harald Rueß In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, Seiten 95–117, Details URL DOI BIB
• 2014 G4LTL-ST: Automatic Generation of PLC Programs Chih-Hong Cheng, Chung-Hao Huang, Harald Rueß und 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, Seiten 541–549, Details URL DOI BIB
• August 2013 Programme auf Knopfdruck? Michael Geisinger und 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ß und 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ß und 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ß und Natarajan Shankar In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Seiten 656–661, Details URL DOI BIB
• 2013 Synthesizing Controllers for Automation Tasks with Performance Guarantees Chih-Hong Cheng, Michael Geisinger und Christian Buckl In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, Seiten 154–159, Details URL DOI BIB
• 2012 Distributed Priority Synthesis Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem und Harald Rueß In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., Seiten 57–72, Details URL DOI BIB
• 2012 Distributed priority synthesis using knowledge Chih-Hong Cheng, Rongjie Yan, Harald Rueß und 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, Seiten 129–132, Details URL DOI BIB
• 2012 Game solving for industrial automation and control Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, Seiten 4367–4372, Details URL DOI BIB
• 2012 MGSyn: Automatic Synthesis for Industrial Automation Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, Seiten 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 und 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, , Seiten 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 und Alois Knoll In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Seiten 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 und Harald Rueß In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, Seiten 466–471, Details URL DOI BIB
• 2011 On the Hardness of Priority Synthesis Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl und Alois Knoll In Radu Calinescu und David Garlan, Editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, Seiten 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 und 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 und Christian Buckl In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, Seiten 118–133, Details URL DOI BIB
• 2010 GAVS: Game Arena Visualization and Synthesis Chih-Hong Cheng, Christian Buckl, Michael Luttenberger und Alois Knoll In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, Seiten 347–352, Details URL DOI BIB
• 2010 A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems Chih-Hong Cheng, Harald Rueß, Alois Knoll und 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 und Yang Chen In MariaSimonetta Balsamo, William J. Knottenbelt und Andrea Marin, Editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, Seiten 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 und 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 und 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 und 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, Seiten 622–623, Details URL DOI BIB