Harald Ruess

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