Harald Ruess

Orcid: 0000-0002-1405-2990

Affiliations:
  • fortiss, Munich, Germany
  • SRI International, Menlo Park, California, USA (former)


According to our database1, Harald Ruess authored at least 76 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Decision Method for Elementary Stream Calculus.
CoRR, 2024

Causal Stream Inclusions.
CoRR, 2024

2023
Safety Performance of Neural Networks in the Presence of Covariate Shift.
CoRR, 2023

Towards Rigorous Design of OoD Detectors.
CoRR, 2023

Evidential Transactions with Cyberlogic.
CoRR, 2023

The Next Big Thing: From Embedded Systems to Embodied Actors.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2022
Safe AI - How is this Possible?
CoRR, 2022

Systems Challenges for Trustworthy Embodied Systems.
CoRR, 2022

2021
Proof Search and Certificates for Evidential Transactions.
Proceedings of the Automated Deduction - CADE 28, 2021

2020
Security Engineering for ISO 21434.
CoRR, 2020

Knowledge as Invariance - History and Perspectives of Knowledge-augmented Machine Learning.
CoRR, 2020

2019
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018
Model-Based Safety and Security Engineering.
CoRR, 2018

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper).
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Towards Dependability Metrics for Neural Networks.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Evidential and Continuous Integration of Software Verification Tools.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Neural networks for safety-critical applications - Challenges, experiments and perspectives.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Verification of Binarized Neural Networks.
CoRR, 2017

autoCode4: Structural Controller Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Maximum Resilience of Artificial Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2017

Automated Analysis of Multi-View Software Architectures.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Certification for μ-Calculus with Winning Strategies.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Integrated Formal Methods for Constructing Assurance Cases.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Compositional Parameter Synthesis.
Proceedings of the FM 2016: Formal Methods, 2016

Structural Synthesis for GXW Specifications.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

2014
Certification for mu-calculus with winning strategies.
CoRR, 2014

Distributed MILS Architectural Approach for Secure Smart Grids.
Proceedings of the Smart Grid Security - Second International Workshop, 2014

G4LTL-ST: Automatic Generation of PLC Programs.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Security policies for distributed systems.
CoRR, 2013

EFSMT: A Logical Framework for Cyber-Physical Systems.
CoRR, 2013

On Behavioral Types for OSGi: From Theory to Implementation.
CoRR, 2013

JBernstein: A Validity Checker for Generalized Polynomial Constraints.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Distributed Priority Synthesis
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Behavioral Specification Based Runtime Monitors for OSGi Services.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Game solving for industrial automation and control.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

MGSyn: Automatic Synthesis for Industrial Automation.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Distributed priority synthesis using knowledge.
Proceedings of the 2nd edition on Programming systems, 2012

2011
Distributed Priority Synthesis and its Applications
CoRR, 2011

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Model Construction and Priority Synthesis for Simple Interaction Systems.
Proceedings of the NASA Formal Methods, 2011

Algorithms for Synthesizing Priorities in Component-Based Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
CoRR, 2010

2008
Non-functional Avionics Requirements.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2004
Justifying Equality.
Proceedings of the Selected Papers from the Workshops on Disproving, 2004

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

An Experimental Evaluation of Ground Decision Procedures.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

SAL 2.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

The ICS Decision Procedures for Embedded Deduction.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003
Simulation and verification I: from simulation to verification (and back).
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Monadic Second-Order Logics with Cardinalities.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Predicate Abstraction for Dense Real-Time System.
Proceedings of the Theory and Practice of Timed Systems, 2002

Combining Shostak Theories.
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.
Proceedings of the Automated Deduction, 2002

2001
A Technique for Invariant Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Deconstructing Shostak.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Proving Secrecy is Easy Enough.
Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

ICS: Integrated Canonizer and Solver.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Protocol-Independent Secrecy.
Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

Integrating WS1S with PVS.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Rigid <i>E</i>-Unification Revisited.
Proceedings of the Automated Deduction, 2000

1999
Modular Verification of SRT Division.
Formal Methods Syst. Des., 1999

Polytypic Proof Construction.
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998
Towards Light-Weight Verification and Heavy-Weight Testing.
Proceedings of the International Workshop Tool Support for System Specification, 1998

Case Studies in Meta-Level Theorem Proving.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Solving Bit-Vector Equations.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997
Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving.
Proceedings of the Typed Lambda Calculi and Applications, 1997

Formal Verification of Transformations for Peephole Optimization.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Hardware Verification Using PVS.
Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Reflection of Formal Tactics in a Deductive Reflection Framework.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

The TYPELAB Specification and Verification Environment.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Formal meta-programming in the calculus of constructions.
PhD thesis, 1995

Construction and Deduction Methods for the Formal Development of Software.
Proceedings of the KORSO, 1995


  Loading...