Harald Rueß

Publikationen

Liste als BibTeX-Datei exportieren

• 2019 On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering Antoaneta Kondeva, Carmen Cârlan, Harald Rueß und Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE. Details 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 Künstliche Intelligenz – Chancen für Wirtschaft und Gesellschaft in Bayern Harald Rueß und Helmut Krcmar White Paper, Guerickestraße 25, 80805 München, März 2018. Details PDF 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
• 2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene und Harald Rueß In Formal Methods, Seiten 679-685, Cham, Springer International Publishing. Details 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
• 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 Certification 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, Details URL DOI 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 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan, Tewodros Beyene und Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 221–228, IEEE. 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
• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow, Jean Quilbeuf, Georgeta Igna und Harald Rueß In Smart Grid Security, Seiten 16–29, Springer International Publishing. Details 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
• Oktober 2013 Security policies for distributed systems Jean Quilbeuf, Georgeta Igna, Denis Bytschkow und Harald Rueß 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 On Behavioral Types for OSGi: From Theory to Implementation Jan Olaf Blech, Harald Rueß und Bernhard Schätz CoRR, abs/1306.6115():, 2013. Details URL BIB
• 2012 Behavioral specification based runtime monitors for OSGi services Jan 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, Details BIB
• 2012 Behavioral Specification Based Runtime Monitors for OSGi Services Jan 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, 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 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 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 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