The following pages link to Wolfgang Reif (Q539222):
Displayed 24 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- Reuse of proofs in software verification (Q1419888) (← links)
- Towards fully automated inspection of large components with UAVs: offline path planning and view angle dependent optimization strategies (Q2101726) (← links)
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- (Q2702602) (← links)
- (Q2709812) (← links)
- (Q2757838) (← links)
- Formal Verification of a Lock-Free Stack with Hazard Pointers (Q3105753) (← links)
- Verifying Concurrent Systems with Symbolic Execution (Q3146300) (← links)
- Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
- Interactive verification of concurrent systems using symbolic execution (Q3568235) (← links)
- Temporal Logic Verification of Lock-Freedom (Q3575281) (← links)
- (Q4281573) (← links)
- (Q4524764) (← links)
- (Q4524769) (← links)
- (Q4539647) (← links)
- (Q4858951) (← links)
- Partial Valuation Structures for Qualitative Soft Constraints (Q5256343) (← links)
- Bounded Relational Analysis of Free Data Types (Q5458813) (← links)
- Verification of Java Programs with Generics (Q5505432) (← links)
- Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning (Q6071197) (← links)