D. Beyer

Available identifiers

List of research outcomes

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
Can decision diagrams overcome state space explosion in real-time verification?	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
Stochastic multiproduct inventory models with limited storage	2002-02-26	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

Research outcomes over time

This page was built for person: D. Beyer