Dirk Beyer

Available identifiers

Publication	Date of Publication	Type
Software Verification with PDR: An Implementation of the State of the Art	2022-10-13	Paper
Correction to: ``A unifying view on SMT-based software verification	2021-06-09	Paper
MetaVal: witness validation via verification	2021-02-09	Paper
Combining Model Checking and Data-Flow Analysis	2018-07-20	Paper
A unifying view on SMT-based software verification	2018-03-01	Paper
Information Reuse for Multi-goal Reachability Analyses	2013-08-05	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Markovian demand inventory models	2008-06-30	Paper
Invariant Synthesis for Combined Theories	2008-04-04	Paper
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis	2007-11-29	Paper
Average Cost Optimality in Inventory Models with Markovian Demands and Lost Sales	2007-10-24	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4787215	2003-01-09	Paper
A proof of the EOQ formula using quasi-variational inequalities	2002-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q2763979	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2763199	2002-01-14	Paper
The classical average-cost inventory models of Iglehart and Veinott-Wagner revisited	2000-09-13	Paper
Inventory models with Markovian demands and cost functions of polynomial growth	1999-02-28	Paper
Average cost optimality in inventory models with Markovian demands	1997-06-04	Paper
Remarks on the Swiss premium principle on positive risks	1994-03-27	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dirk Beyer