Publikationen
Liste als BibTeX-Datei exportieren
- Oktober 2018Towards Dependability Metrics for Neural NetworksChih-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,
DetailsURLDOIBIB
- Juli 2018Verification 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,
DetailsURLDOIBIB
- März 2018Künstliche Intelligenz – Chancen für Wirtschaft und Gesellschaft in BayernHarald Rueß und Helmut KrcmarWhite Paper,
Guerickestraße 25, 80805 München,
März 2018.
DetailsPDFBIB
- März 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ß und Michael Truong Le
In
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE),
Seiten 1005–1006,
Dresden, Germany,
DetailsDOIBIB
- 2018Evidential and Continuous Integration of Software Verification ToolsTewodros Beyene und Harald Rueß
In
Formal Methods,
Seiten 679-685,
Cham,
Springer International Publishing.
DetailsBIB
- Dezember 2017Automated Analysis of Multi-View Software ArchitecturesChih-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,
DetailsURLDOIBIB
- 2017autoCode4: Structural Controller SynthesisChih-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,
DetailsDOIBIB
- 2017Maximum Resilience of Artificial Neural NetworksChih-Hong Cheng, Georg Nührenberg und Harald Rueß
In
Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA,
DetailsBIB
- 2016Certification for u-Calculus with Winning Strategies Martin Hofmann, Christian Neukirchen und Harald Rueß
In
Model Checking Software - 23rd International Symposium, SPIN 2016,
Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings,
Seiten 111–128,
DetailsURLDOIBIB
- 2016Compositional 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,
DetailsDOIBIB
- 2016Integrated Formal Methods for Constructing Assurance CasesCarmen Carlan, Tewodros Beyene und Harald Rueß
In
2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Seiten 221–228,
IEEE,
DetailsBIB
- 2016Structural Synthesis for GXW SpecificationsChih-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,
DetailsURLDOIBIB
- 2014G4LTL-ST: Automatic Generation of PLC ProgramsChih-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,
DetailsURLDOIBIB
- 2014Distributed MILS architectural approach for secure smart gridsDenis Bytschkow, Jean Quilbeuf, Georgeta Igna und Harald Rueß
In
Smart Grid Security,
.
Springer International Publishing,
DetailsBIB
- 2013EFSMT: A Logical Framework for Cyber-Physical SystemsChih-Hong Cheng, Natarajan Shankar, Harald Rueß und Saddek BensalemCoRR,
abs/1306.3456():,
2013.
DetailsURLBIB
- 2013EFSMT: A Logical Framework for Cyber-Physical SystemsChih-Hong Cheng, Natarajan Shankar, Harald Rueß und Saddek BensalemarXiv preprint arXiv:1306.3456,
abs/1306.3456():,
2013.
DetailsBIB
- 2013JBernstein: A Validity Checker for Generalized Polynomial ConstraintsChih-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,
DetailsURLDOIBIB
- 2013On Behavioral Types for OSGi: From Theory to ImplementationJan Olaf Blech, Harald Rueß und Bernhard SchätzCoRR,
abs/1306.6115():,
2013.
DetailsURLBIB
- 2013Security policies for distributed systemsJean Quilbeuf, Georgeta Igna, Denis Bytschkow und Harald RueßarXiv preprint arXiv:1310.3723,
():,
2013.
DetailsBIB
- 2013Security policies for distributed systemsJean Quilbeuf, Georgeta Igna, Denis Bytschkow und Harald RueßCoRR,
abs/1310.3723():,
2013.
DetailsURLBIB
- 2012Behavioral specification based runtime monitors for OSGi servicesJan Olaf Blech, Yliès Falcone, Harald Rueß und Bernhard Schätz
In
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,
.
Springer,
DetailsBIB
- 2012Behavioral Specification Based Runtime Monitors for OSGi ServicesJan Olaf Blech, Yliès Falcone, Harald Rueß und Bernhard Schätz
In
Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
P,
Seiten 405–419,
DetailsURLDOIBIB
- 2012Distributed Priority SynthesisChih-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,
DetailsURLDOIBIB
- 2012Distributed priority synthesis using knowledgeChih-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,
DetailsURLDOIBIB
- 2012Game solving for industrial automation and controlChih-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,
DetailsURLDOIBIB
- 2012MGSyn: Automatic Synthesis for Industrial AutomationChih-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,
DetailsURLDOIBIB
- 2011Algorithms for Synthesizing Priorities in Component-Based SystemsChih-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,
DetailsURLDOIBIB
- 2011Model Construction and Priority Synthesis for Simple Interaction SystemsChih-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,
DetailsURLDOIBIB
- 2011Optimizations for Game-based Software SynthesisChih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll und 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 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,
DetailsURLDOIBIB
- 2010A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded
SystemsChih-Hong Cheng, Harald Rueß, Alois Knoll und Christian BucklCoRR,
abs/1011.0268():,
2010.
DetailsURLBIB
