Publications
Export list as BibTeX file
- November 2019nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving SystemsChih-Hong Cheng, Chung-Hao Huang and Georg Nührenberg
In
Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD),
DetailsBIB
- March 2019Runtime Monitoring Neuron Activation PatternsChih-Hong Cheng, Georg Nührenberg and Hirotoshi Yasuoka
In
Design, Automation & Test in Europe Conference & Exhibition,
pages 300–303,
Florence, Italy,
DetailsURLDOIBIB
- October 2018Quantitative Projection Coverage for Testing ML-enabled Autonomous SystemsChih-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,
DetailsURLDOIBIB
- October 2018Towards Dependability Metrics for Neural NetworksChih-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,
DetailsURLDOIBIB
- July 2018Verification 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,
DetailsURLDOIBIB
- March 2018Neural Networks for Safety-Critical Applications - Challenges, Experiments and PerspectivesChih-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,
DetailsDOIBIB
- December 2017Automated Analysis of Multi-View Software ArchitecturesChih-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,
DetailsURLDOIBIB
- September 2017Device Adapter Concept towards Enabling Plug&Produce Production EnvironmentsKirill 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),
DetailsBIB
- May 2017Just Formal Enough? Automated Analysis of EARS RequirementsLevi 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,
DetailsURLDOIBIB
- 2017autoCode4: Structural Controller SynthesisChih-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,
DetailsDOIBIB
- 2017Maximum Resilience of Artificial Neural NetworksChih-Hong Cheng, Georg Nührenberg and Harald Rueß
In
Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA,
DetailsBIB
- 2016Compositional 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,
DetailsDOIBIB
- 2016Digital transformation: How information and communication technology is fundamentally changing incumbent industriesAlejandro Arreola González, Klaus Becker, Chih-Hong Cheng, Volkmar Döricht, Markus Duchon, Marcus Fehling, Helmut von Grolman, Sebastian Hallensleben, Sebastian Hopf, Nicolas Ivandic, Cornel Klein, Elena Läßle, Jonas Linder, Rahild Neuburger, Christian Prehofer, Bernhard Schätz, Roman Scholdan, Konstantin Schorp, Joachim Sedlmeir, Iason Vittorias, Sofie Walckhoff, Monika Wenger and Alois ZoitlStudy,
DetailsURLBIB
- 2016Structural Synthesis for GXW SpecificationsChih-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,
DetailsURLDOIBIB
- 2014G4LTL-ST: Automatic Generation of PLC ProgramsChih-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,
DetailsURLDOIBIB
- August 2013Programme auf Knopfdruck?Michael Geisinger and Chih-Hong ChengComputer & Automation,
():32–35,
August 2013.
DetailsURLBIB
- 2013EFSMT: A Logical Framework for Cyber-Physical SystemsChih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek BensalemCoRR,
abs/1306.3456():,
2013.
DetailsURLBIB
- 2013EFSMT: A Logical Framework for Cyber-Physical SystemsChih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek BensalemarXiv preprint arXiv:1306.3456,
abs/1306.3456():,
2013.
DetailsBIB
- 2013JBernstein: A Validity Checker for Generalized Polynomial ConstraintsChih-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,
DetailsURLDOIBIB
- 2013Synthesizing Controllers for Automation Tasks with Performance GuaranteesChih-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,
DetailsURLDOIBIB
- 2012Distributed Priority SynthesisChih-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,
DetailsURLDOIBIB
- 2012Distributed priority synthesis using knowledgeChih-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,
DetailsURLDOIBIB
- 2012Game solving for industrial automation and controlChih-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,
DetailsURLDOIBIB
- 2012MGSyn: Automatic Synthesis for Industrial AutomationChih-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,
DetailsURLDOIBIB
- 2011GAVS+: An Open Platform for the Research of Algorithmic Game SolvingChih-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,
DetailsURLDOIBIB
- 2011Algorithms for Synthesizing Priorities in Component-Based SystemsChih-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,
DetailsURLDOIBIB
- 2011Model Construction and Priority Synthesis for Simple Interaction SystemsChih-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,
DetailsURLDOIBIB
- 2011On the Hardness of Priority SynthesisChih-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,
DetailsURLDOIBIB
- 2011Optimizations for Game-based Software SynthesisChih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll and Harald RueßTR-2011-12,
Verimag Research Report,
DetailsBIB
- 2011Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory
to PracticeChih-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,
DetailsURLDOIBIB
- 2010GAVS: Game Arena Visualization and SynthesisChih-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,
DetailsURLDOIBIB
- 2010A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded
SystemsChih-Hong Cheng, Harald Rueß, Alois Knoll and Christian BucklCoRR,
abs/1011.0268():,
2010.
DetailsURLBIB
- 2009Examining robotic systems with shape-adjustable manipulators under
dynamic environments: From simulation to verificationChih-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,
DetailsURLDOIBIB
- 2009FTOS-Verify: Analysis and Verification of Non-Functional Properties
for Fault-Tolerant SystemsChih-Hong Cheng, Christian Buckl, Javier Esparza and Alois KnollCoRR,
abs/0905.3946():,
2009.
DetailsURLBIB
- 2009Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with FinitenessChih-Hong Cheng, Christian Buckl, Javier Esparza and Alois KnollCoRR,
abs/0905.3951():,
2009.
DetailsURLBIB
- 2009Toward the Design of Robotic Software with Verifiable SafetyChih-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,
DetailsURLDOIBIB
