Harald Ruess
Orcid: 0000000214052990Affiliations:
 fortiss, Munich, Germany
 SRI International, Menlo Park, California, USA (former)
According to our database^{1},
Harald Ruess
authored at least 80 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on csl.sri.com
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
Proceedings of the Automated Reasoning  12th International Joint Conference, 2024
2023
CoRR, 2023
CoRR, 2023
Proceedings of the Verified Software. Theories, Tools and Experiments, 2023
Proceedings of the Formal Methods  25th International Symposium, 2023
2022
CoRR, 2022
CoRR, 2022
2021
Proceedings of the Automated Deduction  CADE 28, 2021
2020
CoRR, 2020
Knowledge as Invariance  History and Perspectives of Knowledgeaugmented Machine Learning.
CoRR, 2020
2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
2018
CoRR, 2018
Verification of Binarized Neural Networks via Interneuron Factoring  (Short Paper).
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the Formal Methods  22nd International Symposium, 2018
Neural networks for safetycritical applications  Challenges, experiments and perspectives.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
CoRR, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
Proceedings of the 24th AsiaPacific Software Engineering Conference, 2017
2016
Proceedings of the Model Checking Software  23rd International Symposium, 2016
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the Computer Aided Verification  28th International Conference, 2016
2015
Distributed MILS (DMILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015
2014
CoRR, 2014
Proceedings of the Smart Grid Security  Second International Workshop, 2014
Proceedings of the Computer Aided Verification  26th International Conference, 2014
2013
CoRR, 2013
CoRR, 2013
CoRR, 2013
Proceedings of the Computer Aided Verification  25th International Conference, 2013
2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the Computer Aided Verification  24th International Conference, 2012
Proceedings of the 2nd edition on Programming systems, 2012
2011
CoRR, 2011
Synthesis of FaultTolerant Embedded Systems Using Games: From Theory to Practice.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the NASA Formal Methods, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
CoRR, 2010
2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
FeatureBased Decomposition of Inductive Proofs Applied to RealTime Avionics Software: An Experience Report.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Reasoning  Second International Joint Conference, 2004
2003
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003
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
Proceedings of the Theory and Practice of Timed Systems, 2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW14 2001), 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
Proceedings of the Automated Deduction, 2000
1999
Formal Methods Syst. Des., 1999
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
1998
Proceedings of the International Workshop Tool Support for System Specification, 1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Proceedings of the Formal Methods in ComputerAided 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
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
Proceedings of the Formal Hardware Verification  Methods and Systems in Comparison, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Hierarchical Verification of TwoDimensional HighSpeed Multiplication in PVS: A Case Study.
Proceedings of the Formal Methods in ComputerAided Design, First International Conference, 1996
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
PhD thesis, 1995
Proceedings of the KORSO, 1995