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
Tactical theorem proving in program verification	2023-04-28	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
Theorem proving in large theories	2001-11-06	Paper
Correctness of efficient real-time model checking	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

This page was built for person: Wolfgang Reif