Wolfgang Reif

Available identifiers

zbMath Open reif.wolfgangMaRDI QIDQ539222

List of research outcomes

Publication	Date of Publication	Type
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning	2023-11-22	Paper
Towards fully automated inspection of large components with UAVs: offline path planning and view angle dependent optimization strategies	2022-12-06	Paper
Flashix: modular verification of a concurrent and crash-safe flash file system	2022-03-22	Paper
MiniBrass: soft constraints for MiniZinc	2019-10-25	Paper
Partial Valuation Structures for Qualitative Soft Constraints	2015-06-22	Paper
RGITL: a temporal logic framework for compositional reasoning about interleaved programs	2014-07-11	Paper
Formal Verification of a Lock-Free Stack with Hazard Pointers	2012-01-06	Paper
Proving linearizability with temporal logic	2011-05-27	Paper
Automated flaw detection in algebraic specifications	2011-01-12	Paper
Temporal Logic Verification of Lock-Freedom	2010-07-26	Paper
Interactive verification of concurrent systems using symbolic execution	2010-06-17	Paper
Verification of Java Programs with Generics	2009-01-27	Paper
Automating Algebraic Specifications of Non-freely Generated Data Types	2008-11-20	Paper
Bounded Relational Analysis of Free Data Types	2008-04-24	Paper
Reuse of proofs in software verification	2004-01-27	Paper
Verifying Concurrent Systems with Symbolic Execution	2002-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4539647	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2757838	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2702602	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2709812	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4524764	2001-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4524769	2001-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4858951	1995-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4281573	1995-11-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wolfgang Reif