Harald Ruess
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
12
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RV | Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. | Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess |
| 2024 | IJCAR | A Decision Method for First-Order Stream Logic. | Harald Ruess |
| 2023 | FM | The Next Big Thing: From Embedded Systems to Embodied Actors. | Harald Ruess |
| 2021 | CADE | Proof Search and Certificates for Evidential Transactions. | Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess |
| 2019 | ISSRE | On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. | Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Crlan |
| 2018 | DATE | Neural networks for safety-critical applications - Challenges, experiments and perspectives. | Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nhrenberg, Markus Rickert, Harald Ruess, Michael Truong-Le |
| 2018 | FM | Evidential and Continuous Integration of Software Verification Tools. | Tewodros A. Beyene, Harald Ruess |
| 2018 | MEMOCODE | Towards Dependability Metrics for Neural Networks. | Chih-Hong Cheng, Georg Nhrenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka |
| 2017 | APSEC | Automated Analysis of Multi-View Software Architectures. | Chih-Hong Cheng, Yassine Hamza, Harald Ruess |
| 2017 | ATVA | Maximum Resilience of Artificial Neural Networks. | Chih-Hong Cheng, Georg Nhrenberg, Harald Ruess |
| 2017 | TACAS | autoCode4: Structural Controller Synthesis. | Chih-Hong Cheng, Edward A. Lee, Harald Ruess |
| 2016 | CAV | Structural Synthesis for GXW Specifications. | Chih-Hong Cheng, Yassine Hamza, Harald Ruess |
| 2016 | FM | Compositional Parameter Synthesis. | Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess |
| 2016 | ISSRE | Integrated Formal Methods for Constructing Assurance Cases. | Carmen Crlan, Tewodros A. Beyene, Harald Ruess |
| 2014 | CAV | G4LTL-ST: Automatic Generation of PLC Programs. | Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann |
| 2013 | CAV | JBernstein: A Validity Checker for Generalized Polynomial Constraints. | Chih-Hong Cheng, Harald Ruess, Natarajan Shankar |
| 2012 | CAV | MGSyn: Automatic Synthesis for Industrial Automation. | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2012 | ICRA | Game solving for industrial automation and control. | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2011 | ATVA | Algorithms for Synthesizing Priorities in Component-Based Systems. | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |