Harald Ruess

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 31

Top Topics

Deterministic Automata

Controller Synthesis

Causal Inferences

Top Venues

ISSRE Workshops

Publications

Harald Ruess
Causal Stream Inclusions. CoRR (2024)
Xin Ye, Harald Ruess
Efficient Reactive Synthesis. CoRR (2024)
Harald Ruess
A Decision Method for First-Order Stream Logic. IJCAR (2) (2024)
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. CoRR (2024)
Harald Ruess
A Decision Method for Elementary Stream Calculus. CoRR (2024)
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou
Safety Performance of Neural Networks in the Presence of Covariate Shift. VSTTE (2023)
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou
Safety Performance of Neural Networks in the Presence of Covariate Shift. CoRR (2023)
Harald Ruess
The Next Big Thing: From Embedded Systems to Embodied Actors. FM (2023)
Harald Ruess, Natarajan Shankar
Evidential Transactions with Cyberlogic. CoRR (2023)
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem
Towards Rigorous Design of OoD Detectors. CoRR (2023)
Harald Ruess
Systems Challenges for Trustworthy Embodied Systems. CoRR (2022)
Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
Proof Search and Certificates for Evidential Transactions. CADE (2021)
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
Security Engineering for ISO 21434. CoRR (2020)
Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. ISSRE Workshops (2019)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. CoRR (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). VSTTE (2018)
Vivek Nigam, Alexander Pretschner, Harald Ruess
Model-Based Safety and Security Engineering. CoRR (2018)
Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
Neural networks for safety-critical applications - Challenges, experiments and perspectives. DATE (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. MEMOCODE (2018)
Tewodros A. Beyene, Harald Ruess
Evidential and Continuous Integration of Software Verification Tools. FM (2018)
Chih-Hong Cheng, Edward A. Lee, Harald Ruess
autoCode4: Structural Controller Synthesis. TACAS (1) (2017)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Automated Analysis of Multi-View Software Architectures. APSEC (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Verification of Binarized Neural Networks. CoRR (2017)
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza, Gereon Hinz, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives. CoRR (2017)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Automated Analysis of Multi-View Software Architectures. CoRR (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Maximum Resilience of Artificial Neural Networks. ATVA (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Maximum Resilience of Artificial Neural Networks. CoRR (2017)
Carmen Cârlan, Tewodros A. Beyene, Harald Ruess
Integrated Formal Methods for Constructing Assurance Cases. ISSRE Workshops (2016)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
Compositional Parameter Synthesis. FM (2016)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Structural Synthesis for GXW Specifications. CoRR (2016)
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Structural Synthesis for GXW Specifications. CAV (1) (2016)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CAV (2014)
Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, Harald Ruess
Distributed MILS Architectural Approach for Secure Smart Grids. SmartGridSec (2014)
Martin Hofmann, Harald Ruess
Certification for mu-calculus with winning strategies. CoRR (2014)
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
G4LTL-ST: Automatic Generation of PLC Programs. CoRR (2014)
Chih-Hong Cheng, Harald Ruess, Natarajan Shankar
JBernstein: A Validity Checker for Generalized Polynomial Constraints. CAV (2013)
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem
EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR (2013)
Jean Quilbeuf, Georgeta Igna, Denis Bytschkow, Harald Ruess
Security policies for distributed systems. CoRR (2013)
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
MGSyn: Automatic Synthesis for Industrial Automation. CAV (2012)
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll
Game solving for industrial automation and control. ICRA (2012)
Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem
Distributed priority synthesis using knowledge. AGERE!@SPLASH (2012)
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
Distributed Priority Synthesis SSV (2012)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA (2011)
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess
Distributed Priority Synthesis and its Applications CoRR (2011)
Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess
Model Construction and Priority Synthesis for Simple Interaction Systems. NASA Formal Methods (2011)
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll
Algorithms for Synthesizing Priorities in Component-based Systems CoRR (2011)
Chih-Hong Cheng, Harald Ruess, Alois C. Knoll, Christian Buckl
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems CoRR (2010)