Search Results - "Wehrheim, Heike"

Exchanging information in cooperative software validation.

Authors: Haltermann, Jan Wehrheim, Heike

Source: Software & Systems Modeling; Jun2024, Vol. 23 Issue 3, p695-719, 25p

Decomposing software verification into off-the-shelf components: an application to CEGAR.

Authors: Beyer, Dirk Haltermann, Jan Lemberger, Thomas et al.

Source: ICSE: International Conference on Software Engineering; 2022, p536-548, 13p

Unifying Operational Weak Memory Verification: An Axiomatic Approach.

Authors: DOHERTY, SIMON DALVANDI, SADEGH DONGOL, BRIJESH et al.

Source: ACM Transactions on Computational Logic; Oct2022, Vol. 23 Issue 4, p1-39, 39p

Mechanically Verified Proof Obligations for Linearizability.

Authors: Derrick, John Schellhorn, Gerhard Wehrheim, Heike

Source: ACM Transactions on Programming Languages & Systems; 2011, Vol. 33 Issue 1, p4-1-4-43, 43p

Algorithm selection for software validation based on graph kernels.

Authors: Richter, Cedric Hüllermeier, Eyke Jakobs, Marie-Christine et al.

Source: Automated Software Engineering; Jun2020, Vol. 27 Issue 1/2, p153-186, 34p

View-based axiomatic reasoning for the weak memory models PSO and SRA.

Authors: Bargmann, Lara Wehrheim, Heike

Source: Science of Computer Programming; Feb2025, Vol. 240, pN.PAG-N.PAG, 1p

Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.

Authors: JAKOBS, MARIE-CHRISTINE WEHRHEIM, HEIKE

Source: ACM Transactions on Programming Languages & Systems; 2017, Vol. 39 Issue 2, p7-7:56, 56p

Parallel program analysis on path ranges.

Authors: Haltermann, Jan Jakobs, Marie-Christine Richter, Cedric et al.

Source: Science of Computer Programming; Dec2024, Vol. 238, pN.PAG-N.PAG, 1p

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.

Authors: SCHELLHORN, GERHARD DERRICK, JOHN WEHRHEIM, HEIKE

Source: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-37, 37p

2016

Resource Type: eBook.

Subjects: Festschriften--Bibliography, Festschriften--Indexes

Categories: REFERENCE / Bibliographies & Indexes, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LITERARY CRITICISM / General, REFERENCE / General, SCIENCE / General

2011

Authors: Achstetter, Ulrike

Resource Type: eBook.

Subjects: Festschriften--Bibliography, Festschriften--Indexes

Categories: REFERENCE / General, SCIENCE / General