D. Beyer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Software verification with PDR: an implementation of the state of the art Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Correction to: ``A unifying view on SMT-based software verification Journal of Automated Reasoning	2021-06-09	Paper
MetaVal: witness validation via verification	2021-02-09	Paper
Combining model checking and data-flow analysis Handbook of Model Checking	2018-07-20	Paper
A unifying view on SMT-based software verification Journal of Automated Reasoning	2018-03-01	Paper
Information reuse for multi-goal reachability analyses Programming Languages and Systems	2013-08-05	Paper
Can decision diagrams overcome state space explosion in real-time verification? Lecture Notes in Computer Science	2010-05-26	Paper
Markovian demand inventory models International Series in Operations Research & Management Science	2008-06-30	Paper
Invariant Synthesis for Combined Theories Lecture Notes in Computer Science	2008-04-04	Paper
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Computer Aided Verification	2007-11-29	Paper
Average Cost Optimality in Inventory Models with Markovian Demands and Lost Sales Analysis, Control and Optimization of Complex Dynamic Systems	2007-10-24	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 1852149 (Why is no real title available?)	2003-01-09	Paper
A proof of the EOQ formula using quasi-variational inequalities International Journal of Systems Science. Principles and Applications of Systems and Integration	2002-11-07	Paper
Stochastic multiproduct inventory models with limited storage Journal of Optimization Theory and Applications	2002-02-26	Paper
scientific article; zbMATH DE number 1693437 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1690140 (Why is no real title available?)	2002-01-14	Paper
The classical average-cost inventory models of Iglehart and Veinott-Wagner revisited Journal of Optimization Theory and Applications	2000-09-13	Paper
Inventory models with Markovian demands and cost functions of polynomial growth Journal of Optimization Theory and Applications	1999-02-28	Paper
Average cost optimality in inventory models with Markovian demands Journal of Optimization Theory and Applications	1997-06-04	Paper
Remarks on the Swiss premium principle on positive risks Insurance Mathematics & Economics	1994-03-27	Paper

Research outcomes over time

This page was built for person: D. Beyer