Harald Rueß

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 4

Top Venues

CoRR

MILS@HiPEAC

SPIN

ISoLA (1)

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Harald Rueß, Simon Burton
Safe AI - How is this Possible? CoRR (2022)
Alexander Sagel, Amit Sahu, Stefan Matthes, Holger Pfeifer, Tianming Qiu, Harald Rueß, Hao Shen, Julian Wörmann
Knowledge as Invariance - History and Perspectives of Knowledge-augmented Machine Learning. CoRR (2020)
Martin Hofmann, Christian Neukirchen, Harald Rueß
Certification for μ-Calculus with Winning Strategies. SPIN (2016)
Harald Rueß, Stefano Tonetta
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. MILS@HiPEAC (2015)
Jan Olaf Blech, Harald Rueß, Bernhard Schätz
On Behavioral Types for OSGi: From Theory to Implementation. CoRR (2013)
Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz
Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) (2012)
Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. VMCAI (2011)
Michael Paulitsch, Harald Rueß, Maria Sorea
Non-functional Avionics Requirements. ISoLA (2008)
Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar
Justifying Equality. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
SAL 2. CAV (2004)
Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE (2004)
Leonardo Mendonça de Moura, Harald Rueß
An Experimental Evaluation of Ground Decision Procedures. CAV (2004)
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
The ICS Decision Procedures for Embedded Deduction. IJCAR (2004)
Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). CAV (2003)
Felix Klaedtke, Harald Rueß
Monadic Second-Order Logics with Cardinalities. ICALP (2003)
Harald Rueß, Leonardo Mendonça de Moura
Simulation and verification I: from simulation to verification (and back). WSC (2003)
Natarajan Shankar, Harald Rueß
Combining Shostak Theories. RTA (2002)
M. Oliver Möller, Harald Rueß, Maria Sorea
Predicate Abstraction for Dense Real-Time System. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE (2002)
Harald Rueß, Natarajan Shankar
Deconstructing Shostak. LICS (2001)
Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
A Technique for Invariant Generation. TACAS (2001)
Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
ICS: Integrated Canonizer and Solver. CAV (2001)
Véronique Cortier, Jonathan K. Millen, Harald Rueß
Proving Secrecy is Easy Enough. CSFW (2001)
Sam Owre, Harald Rueß
Integrating WS1S with PVS. CAV (2000)
Ashish Tiwari, Leo Bachmair, Harald Rueß
-Unification Revisited. CADE (2000)
Jonathan K. Millen, Harald Rueß
Protocol-Independent Secrecy. IEEE Symposium on Security and Privacy (2000)
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. Formal Methods Syst. Des. 14 (1) (1999)
Holger Pfeifer, Harald Rueß
Polytypic Proof Construction. TPHOLs (1999)
Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
Case Studies in Meta-Level Theorem Proving. TPHOLs (1998)
Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke
Towards Light-Weight Verification and Heavy-Weight Testing. Tool Support for System Specification, Development and Verification (1998)
M. Oliver Möller, Harald Rueß
Solving Bit-Vector Equations. FMCAD (1998)
Mandayam K. Srivas, Harald Rueß, David Cyrluk
Hardware Verification Using PVS. Formal Hardware Verification (1997)
Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
Formal Verification of Transformations for Peephole Optimization. FME (1997)
David Cyrluk, M. Oliver Möller, Harald Rueß
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. CAV (1997)
Harald Rueß
Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. TLCA (1997)
Harald Rueß
Reflection of Formal Tactics in a Deductive Reflection Framework. CADE (1996)
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. CAV (1996)
Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
The TYPELAB Specification and Verification Environment. AMAST (1996)
Harald Rueß
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study. FMCAD (1996)

Harald Rueß.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Harald Rueß