( en | de | ru )

 

Disambiguation of "Rueß, Harald"

Author of the publication

copydeleteadd this publication to your clipboard
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.

, , , , and . ICSE, page 304-313. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Harald Rueß

Liliane Rueß

Ambros Rueß

Johannes Rueß

Barbara Rueß

 

Other publications of authors with the same name

Combining Shostak Theories., and . RTA, volume 2378 of Lecture Notes in Computer Science, page 1-18. Springer, (2002)Monadic Second-Order Logics with Cardinalities., and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 681-696. Springer, (2003)A Technique for Invariant Generation., , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 113-127. Springer, (2001)Proving Secrecy is Easy Enough., , and . CSFW, page 97-108. IEEE Computer Society, (2001)Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems., and . MILS@HiPEAC, Zenodo, (2015)Modular Verification of SRT Division., , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 123-134. Springer, (1996)An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 60-71. Springer, (1997)Hardware Verification Using PVS., , and . Formal Hardware Verification, volume 1287 of Lecture Notes in Computer Science, page 156-205. Springer, (1997)Rigid E-Unification Revisited., , and . CADE, volume 1831 of Lecture Notes in Computer Science, page 220-234. Springer, (2000)The ICS Decision Procedures for Embedded Deduction., , , , and . IJCAR, volume 3097 of Lecture Notes in Computer Science, page 218-222. Springer, (2004)