Construction and Deduction Methods for the Formal Development of Software. - Friedrich W. von Henke; Axel Dold; Harald Rueß; Detlef Schwier (KORSO Book, 1995)

Formal meta-programming in the calculus of constructions. - Harald Rueß (1995)

The TYPELAB Specification and Verification Environment. - Friedrich W. von Henke; Marko Luther; Holger Pfeifer; Harald Rueß; Detlef Schwier; Martin Strecker; Matthias Wagner 001 (AMAST, 1996)

Reflection of Formal Tactics in a Deductive Reflection Framework. - Harald Rueß (CADE, 1996)

Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study. - Harald Rueß (FMCAD, 1996)

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. - David Cyrluk; M. Oliver Möller; Harald Rueß (CAV, 1997)

Hardware Verification Using PVS. - Mandayam K. Srivas; Harald Rueß; David Cyrluk (Formal Hardware Verification, 1997)

Formal Verification of Transformations for Peephole Optimization. - Axel Dold; Friedrich W. von Henke; Holger Pfeifer; Harald Rueß (FME, 1997)

Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. - Harald Rueß (TLCA, 1997)

Solving Bit-Vector Equations. - M. Oliver Möller; Harald Rueß (FMCAD, 1998)

Case Studies in Meta-Level Theorem Proving. - Friedrich W. von Henke; Stephan Pfab; Holger Pfeifer; Harald Rueß (TPHOLs, 1998)

Towards Light-Weight Verification and Heavy-Weight Testing. - Stephan Pfab; Harald Rueß; Sam Owre; Friedrich W. von Henke (Tool Support for System Specification, Development and Verification, 1998)

Polytypic Proof Construction. - Holger Pfeifer; Harald Rueß (TPHOLs, 1999)

Modular Verification of SRT Division. - Harald Rueß; Natarajan Shankar; Mandayam K. Srivas (Formal Methods Syst. Des., 1999)

Rigid E-Unification Revisited. - Ashish Tiwari 001; Leo Bachmair; Harald Rueß (CADE, 2000)

Integrating WS1S with PVS. - Sam Owre; Harald Rueß (CAV, 2000)

Protocol-Independent Secrecy. - Jonathan K. Millen; Harald Rueß (S&P, 2000)

ICS: Integrated Canonizer and Solver. - Jean-Christophe Filliâtre; Sam Owre; Harald Rueß; Natarajan Shankar (CAV, 2001)

Proving Secrecy is Easy Enough. - Véronique Cortier; Jonathan K. Millen; Harald Rueß (CSFW, 2001)

Deconstructing Shostak. - Harald Rueß; Natarajan Shankar (LICS, 2001)

A Technique for Invariant Generation. - Ashish Tiwari 001; Harald Rueß; Hassen Saïdi; Natarajan Shankar (TACAS, 2001)

Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. - Leonardo Mendonça de Moura; Harald Rueß; Maria Sorea (CADE, 2002)

Combining Shostak Theories. - Natarajan Shankar; Harald Rueß (RTA, 2002)

Predicate Abstraction for Dense Real-Time System. - M. Oliver Möller; Harald Rueß; Maria Sorea (Theory and Practice of Timed Systems @ ETAPS, 2002)

Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). - Leonardo Mendonça de Moura; Harald Rueß; Maria Sorea (CAV, 2003)

Monadic Second-Order Logics with Cardinalities. - Felix Klaedtke; Harald Rueß (ICALP, 2003)

Simulation and verification I: from simulation to verification (and back). - Harald Rueß; Leonardo Mendonça de Moura (WSC, 2003)

The ICS Decision Procedures for Embedded Deduction. - Leonardo Mendonça de Moura; Sam Owre; Harald Rueß; John M. Rushby; Natarajan Shankar (IJCAR, 2004)

SAL 2. - Leonardo Mendonça de Moura; Sam Owre; Harald Rueß; John M. Rushby; Natarajan Shankar; Maria Sorea; Ashish Tiwari 001 (CAV, 2004)

An Experimental Evaluation of Ground Decision Procedures. - Leonardo Mendonça de Moura; Harald Rueß (CAV, 2004)

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. - Vu Ha; Murali Rangarajan; Darren D. Cofer; Harald Rueß; Bruno Dutertre (ICSE, 2004)

Justifying Equality. - Leonardo Mendonça de Moura; Harald Rueß; Natarajan Shankar (D/PDPAR@IJCAR, 2004)

Non-functional Avionics Requirements. - Michael Paulitsch; Harald Rueß; Maria Sorea (ISoLA, 2008)

A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems - Chih-Hong Cheng; Harald Ruess; Alois C. Knoll; Christian Buckl (CoRR, 2010)

Algorithms for Synthesizing Priorities in Component-Based Systems. - Chih-Hong Cheng; Saddek Bensalem; Yu-Fang Chen 001; Rongjie Yan; Barbara Jobstmann; Harald Ruess; Christian Buckl; Alois C. Knoll (ATVA, 2011)

Model Construction and Priority Synthesis for Simple Interaction Systems. - Chih-Hong Cheng; Saddek Bensalem; Barbara Jobstmann; Rongjie Yan; Alois C. Knoll; Harald Ruess (NASA Formal Methods, 2011)

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. - Chih-Hong Cheng; Harald Rueß; Alois C. Knoll; Christian Buckl (VMCAI, 2011)

Distributed Priority Synthesis and its Applications - Chih-Hong Cheng; Saddek Bensalem; Rongjie Yan; Harald Ruess (CoRR, 2011)

Distributed priority synthesis using knowledge. - Chih-Hong Cheng; Rongjie Yan; Harald Ruess; Saddek Bensalem (AGERE!@SPLASH, 2012)

MGSyn: Automatic Synthesis for Industrial Automation. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (CAV, 2012)

Game solving for industrial automation and control. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (ICRA, 2012)

Behavioral Specification Based Runtime Monitors for OSGi Services. - Jan Olaf Blech; Yliès Falcone; Harald Rueß; Bernhard Schätz (ISoLA (1), 2012)

Distributed Priority Synthesis - Chih-Hong Cheng; Rongjie Yan; Saddek Bensalem; Harald Ruess (SSV, 2012)

JBernstein: A Validity Checker for Generalized Polynomial Constraints. - Chih-Hong Cheng; Harald Ruess; Natarajan Shankar (CAV, 2013)

On Behavioral Types for OSGi: From Theory to Implementation. - Jan Olaf Blech; Harald Rueß; Bernhard Schätz (CoRR, 2013)

EFSMT: A Logical Framework for Cyber-Physical Systems. - Chih-Hong Cheng; Natarajan Shankar; Harald Ruess; Saddek Bensalem (CoRR, 2013)

Security policies for distributed systems. - Jean Quilbeuf; Georgeta Igna; Denis Bytschkow; Harald Ruess (CoRR, 2013)

G4LTL-ST: Automatic Generation of PLC Programs. - Chih-Hong Cheng; Chung-Hao Huang; Harald Ruess; Stefan Stattelmann (CAV, 2014)

Distributed MILS Architectural Approach for Secure Smart Grids. - Denis Bytschkow; Jean Quilbeuf; Georgeta Igna; Harald Ruess (SmartGridSec, 2014)

Certification for mu-calculus with winning strategies. - Martin Hofmann 001; Harald Ruess (CoRR, 2014)

Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. - Harald Rueß; Stefano Tonetta (MILS@HiPEAC, 2015)

Structural Synthesis for GXW Specifications. - Chih-Hong Cheng; Yassine Hamza; Harald Ruess (CAV (1), 2016)

Compositional Parameter Synthesis. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Chih-Hong Cheng; Harald Ruess (FM, 2016)

Integrated Formal Methods for Constructing Assurance Cases. - Carmen Cârlan; Tewodros A. Beyene; Harald Ruess (ISSRE Workshops, 2016)

Certification for μ-Calculus with Winning Strategies. - Martin Hofmann 001; Christian Neukirchen; Harald Rueß (SPIN, 2016)

Automated Analysis of Multi-View Software Architectures. - Chih-Hong Cheng; Yassine Hamza; Harald Ruess (APSEC, 2017)

Maximum Resilience of Artificial Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Harald Ruess (ATVA, 2017)

autoCode4: Structural Controller Synthesis. - Chih-Hong Cheng; Edward A. Lee; Harald Ruess (TACAS (1), 2017)

Verification of Binarized Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Harald Ruess (CoRR, 2017)

Neural networks for safety-critical applications - Challenges, experiments and perspectives. - Chih-Hong Cheng; Frederik Diehl; Gereon Hinz; Yassine Hamza; Georg Nührenberg; Markus Rickert 001; Harald Ruess; Michael Truong-Le (DATE, 2018)

Evidential and Continuous Integration of Software Verification Tools. - Tewodros A. Beyene; Harald Ruess (FM, 2018)

Towards Dependability Metrics for Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess; Hirotoshi Yasuoka (MEMOCODE, 2018)

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess (VSTTE, 2018)

Model-Based Safety and Security Engineering. - Vivek Nigam; Alexander Pretschner; Harald Ruess (CoRR, 2018)

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. - Antoaneta Kondeva; Vivek Nigam; Harald Ruess; Carmen Cârlan (ISSRE Workshops, 2019)

Knowledge as Invariance - History and Perspectives of Knowledge-augmented Machine Learning. - Alexander Sagel; Amit Sahu; Stefan Matthes; Holger Pfeifer; Tianming Qiu; Harald Rueß; Hao Shen 002; Julian Wörmann (CoRR, 2020)

Security Engineering for ISO 21434. - Yuri Gil Dantas; Vivek Nigam; Harald Ruess (CoRR, 2020)

Proof Search and Certificates for Evidential Transactions. - Vivek Nigam; Giselle Reis; Samar Rahmouni; Harald Ruess (CADE, 2021)

Systems Challenges for Trustworthy Embodied Systems. - Harald Ruess (CoRR, 2022)

Safe AI - How is this Possible? - Harald Rueß; Simon Burton 001 (CoRR, 2022)

The Next Big Thing: From Embedded Systems to Embodied Actors. - Harald Ruess (FM, 2023)

Safety Performance of Neural Networks in the Presence of Covariate Shift. - Chih-Hong Cheng; Harald Ruess; Konstantinos Theodorou (VSTTE, 2023)

Evidential Transactions with Cyberlogic. - Harald Ruess; Natarajan Shankar (CoRR, 2023)

Towards Rigorous Design of OoD Detectors. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Saddek Bensalem (CoRR, 2023)

A Decision Method for First-Order Stream Logic. - Harald Ruess (IJCAR (2), 2024)

Causal Stream Inclusions. - Harald Ruess (CoRR, 2024)

A Decision Method for Elementary Stream Calculus. - Harald Ruess (CoRR, 2024)

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Xingyu Zhao 001; Saddek Bensalem (CoRR, 2024)

Efficient Reactive Synthesis. - Xin Ye; Harald Ruess (CoRR, 2024)

Fairness Analysis with Shapley-Owen Effects. - Harald Ruess (CoRR, 2024)