Edit Profile (opens in new tab) Beyer, Dirk Co-Author Distance Author ID: beyer.dirk Published as: Beyer, Dirk; Beyer, D. Documents Indexed: 26 Publications since 1974, including 1 Book 8 Contributions as Editor Co-Authors: 28 Co-Authors with 27 Joint Publications 868 Co-Co-Authors all top 5 Co-Authors 7 single-authored 7 Sethi, Suresh P. 4 Huisman, Marieke 3 Dangl, Matthias 3 Henzinger, Thomas A. 2 Majumdar, Rupak 2 Taksar, Michael I. 2 Wendler, Philipp 1 Boreale, Michele 1 Cavalcanti, Ana 1 Cheng, Feng 1 Chlipala, Adam J. 1 Gulwani, Sumit 1 Holzer, Andreas 1 Jhala, Ranjit 1 Keller, Chantal 1 Kordon, Fabrice 1 Lewerentz, Claus 1 Noack, Andreas 1 Riedel, Manfred 1 Rybalchenko, Andrey 1 Schmidt, David A. 1 Simon, Frank U. 1 Spiessl, Martin 1 Steffen, Bernhard 1 Tautschnig, Michael 1 Théoduloz, Grégory 1 Veith, Helmut 1 Zufferey, Damien all top 5 Serials 7 Lecture Notes in Computer Science 4 Journal of Optimization Theory and Applications 3 Journal of Automated Reasoning 2 Moscow University Mathematics Bulletin 2 Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika 1 International Journal of Systems Science 1 Insurance Mathematics & Economics 1 Optimization 1 International Series in Operations Research & Management Science Fields 21 Computer science (68-XX) 8 General and overarching topics; collections (00-XX) 8 Operations research, mathematical programming (90-XX) 5 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 163 times in 129 Documents Cited by ▼ Year ▼ Markovian demand inventory models. Zbl 1222.90001 Beyer, Dirk; Cheng, Feng; Sethi, Suresh P.; Taksar, Michael 21 2010 Invariant synthesis for combined theories. Zbl 1132.68333 Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 20 2007 Inventory models with Markovian demands and cost functions of polynomial growth. Zbl 0908.90108 Beyer, D.; Sethi, S. P.; Taksar, M. 20 1998 Average cost optimality in inventory models with Markovian demands. Zbl 0873.90021 Beyer, D.; Sethi, S. P. 18 1997 Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466 Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory 13 2007 The classical average-cost inventory models of Iglehart and Veinott-Wagner revisited. Zbl 0943.90003 Beyer, D.; Sethi, S. P. 11 1999 The Blast query language for software verification. Zbl 1104.68408 Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008 9 2019 A unifying view on SMT-based software verification. Zbl 1426.68041 Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 7 2018 Combining model checking and data-flow analysis. Zbl 1392.68231 Beyer, Dirk; Gulwani, Sumit; Schmidt, David A. 5 2018 Improvements in BDD-based reachability analysis of timed automata. Zbl 0977.68677 Beyer, Dirk 4 2001 Information reuse for multi-goal reachability analyses. Zbl 1381.68148 Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut 4 2013 Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3–5, 2013. Proceedings. Zbl 1283.68029 4 2013 Impact of inheritance on metrics for size, coupling, and cohesion in object-oriented systems. Zbl 0977.68820 Beyer, Dirk; Lewerentz, Claus; Simon, Frank 3 2001 Stochastic multiproduct inventory models with limited storage. Zbl 0984.90001 Beyer, D.; Sethi, S. P.; Sridhar, R. 3 2001 Can decision diagrams overcome state space explosion in real-time verification? Zbl 1279.68196 Beyer, Dirk; Noack, Andreas 3 2003 An inventory model with Wiener demand process and positive lead time. Zbl 0818.90036 Beyer, D. 3 1994 A proof of the EOQ formula using quasi-variational inequalities. Zbl 1065.90501 Beyer, Dirk; Sethi, Suresh P. 3 1998 Software verification with PDR: an implementation of the state of the art. Zbl 1507.68178 Beyer, Dirk; Dangl, Matthias 2 2020 Average cost optimality in inventory models with Markovian demands and lost sales. Zbl 1149.90005 Beyer, Dirk; Sethi, Suresh P. 1 2005 MetaVal: witness validation via verification. Zbl 1478.68145 Beyer, Dirk; Spiessl, Martin 1 2020 Remarks on the Swiss premium principle on positive risks. Zbl 0789.62085 Beyer, Dirk; Riedel, Manfred 1 1993 Software verification with PDR: an implementation of the state of the art. Zbl 1507.68178 Beyer, Dirk; Dangl, Matthias 2 2020 MetaVal: witness validation via verification. Zbl 1478.68145 Beyer, Dirk; Spiessl, Martin 1 2020 Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part III. Zbl 1408.68008 9 2019 A unifying view on SMT-based software verification. Zbl 1426.68041 Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 7 2018 Combining model checking and data-flow analysis. Zbl 1392.68231 Beyer, Dirk; Gulwani, Sumit; Schmidt, David A. 5 2018 Information reuse for multi-goal reachability analyses. Zbl 1381.68148 Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut 4 2013 Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3–5, 2013. Proceedings. Zbl 1283.68029 4 2013 Markovian demand inventory models. Zbl 1222.90001 Beyer, Dirk; Cheng, Feng; Sethi, Suresh P.; Taksar, Michael 21 2010 Invariant synthesis for combined theories. Zbl 1132.68333 Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 20 2007 Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466 Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory 13 2007 Average cost optimality in inventory models with Markovian demands and lost sales. Zbl 1149.90005 Beyer, Dirk; Sethi, Suresh P. 1 2005 The Blast query language for software verification. Zbl 1104.68408 Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Can decision diagrams overcome state space explosion in real-time verification? Zbl 1279.68196 Beyer, Dirk; Noack, Andreas 3 2003 Improvements in BDD-based reachability analysis of timed automata. Zbl 0977.68677 Beyer, Dirk 4 2001 Impact of inheritance on metrics for size, coupling, and cohesion in object-oriented systems. Zbl 0977.68820 Beyer, Dirk; Lewerentz, Claus; Simon, Frank 3 2001 Stochastic multiproduct inventory models with limited storage. Zbl 0984.90001 Beyer, D.; Sethi, S. P.; Sridhar, R. 3 2001 The classical average-cost inventory models of Iglehart and Veinott-Wagner revisited. Zbl 0943.90003 Beyer, D.; Sethi, S. P. 11 1999 Inventory models with Markovian demands and cost functions of polynomial growth. Zbl 0908.90108 Beyer, D.; Sethi, S. P.; Taksar, M. 20 1998 A proof of the EOQ formula using quasi-variational inequalities. Zbl 1065.90501 Beyer, Dirk; Sethi, Suresh P. 3 1998 Average cost optimality in inventory models with Markovian demands. Zbl 0873.90021 Beyer, D.; Sethi, S. P. 18 1997 An inventory model with Wiener demand process and positive lead time. Zbl 0818.90036 Beyer, D. 3 1994 Remarks on the Swiss premium principle on positive risks. Zbl 0789.62085 Beyer, Dirk; Riedel, Manfred 1 1993 all cited Publications top 5 cited Publications all top 5 Cited by 279 Authors 7 Beyer, Dirk 7 Sethi, Suresh P. 5 Bensoussan, Alain 4 Feinberg, Eugene Aleksandrovich 3 Liang, Yan 3 Liu, Jingzhen 3 Lochmann, Alexander 3 Middeldorp, Aart 3 Nasr, Walid W. 3 Sharygina, Natasha 3 Yiu, Ka Fai Cedric 2 Bettini, Lorenzo 2 Bruttomesso, Roberto 2 Çakanyıldırım, Metin 2 Capecchi, Sara 2 Cárdenas-Barrón, Leopoldo Eduardo 2 Chakraborty, Supratik 2 Chen, Hongqiao 2 Cimatti, Alessandro 2 Dangl, Matthias 2 Ding, Xiaosong 2 Furia, Carlo Alberto 2 Gulwani, Sumit 2 Gupta, Ashutosh 2 Jakobs, Marie-Christine 2 Jhala, Ranjit 2 Karaesmen, Fikri 2 Kitaeva, Anna 2 Kröning, Daniel 2 Li, Xiaoming 2 Meyer, Bertrand 2 Mitterwallner, Fabian 2 Norman, Gethin 2 Parker, David F. 2 Podelski, Andreas 2 Seghir, Mohamed Nassim 2 Sofronie-Stokkermans, Viorica 2 Sproston, Jeremy 2 Unadkat, Divyesh 2 Veith, Helmut 2 Venneri, Betti 2 Weissenbacher, Georg 2 Zhang, Jihong 1 Aiken, Alex 1 Akhundov, Murad 1 Alberti, Francesco 1 Aliyev, Rovshan Telman 1 Andrianov, P. S. 1 Aouam, Tarik 1 Asăvoae, Irina Măriuca 1 Atalı, Aykut 1 Barone-Adesi, Katerina 1 Basile, Davide 1 Baurdoux, Erik Jan 1 Bayraktar, Erhan 1 Bechberger, Johannes 1 Benkherouf, Lakdere 1 Biere, Armin 1 Bisi, Arnab 1 Blicha, Martin 1 Bohlender, Dimitri 1 Bookbinder, James H. 1 Bouajjani, Ahmed 1 Braghin, Chiara 1 Cai, Qishu 1 Candeago, Lorenzo 1 Cassandras, Christos G. 1 Cassez, Franck 1 Cavalcanti, Ana 1 Chalupa, Marek 1 Chechik, Marsha 1 Chen, Jian 1 Chen, Xin 1 Chilimbi, Trishul M. 1 Chin, Wei-Ngan 1 Cleaveland, Rance 1 Cousot, Patrick 1 Dada, Maqbool 1 Damm, Werner 1 Dams, Dennis René 1 Danger, Jean-Luc 1 Daniel, Jakub 1 Debbabi, Mourad 1 Degano, Pierpaolo 1 Dekker, Rommert 1 Deligiannis, Michalis 1 Demyanova, Yulia 1 den Boer, Arnoud V. 1 Dierks, Henning 1 Disch, Stefan 1 Dragoi, Cezara 1 Duan, Zhenhua 1 Duenyas, Izak 1 Elshar, Ibrahim J. 1 Emmi, Michael 1 Endrullis, Jörg 1 Enea, Constantin 1 Ernst, Gidon 1 Evrard, Hugues 1 Felgenhauer, Bertram ...and 179 more Authors all top 5 Cited in 42 Serials 8 Journal of Optimization Theory and Applications 8 European Journal of Operational Research 6 Annals of Operations Research 5 Science of Computer Programming 5 Formal Methods in System Design 4 Journal of Automated Reasoning 3 Naval Research Logistics 3 Theoretical Computer Science 3 Operations Research Letters 3 Formal Aspects of Computing 3 Probability in the Engineering and Informational Sciences 2 ACM Computing Surveys 2 Operations Research 2 Programming and Computer Software 2 Computers & Operations Research 2 Discrete Event Dynamic Systems 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Journal of the Franklin Institute 1 Automatica 1 Blätter (Deutsche Gesellschaft für Versicherungsmathematik) 1 SIAM Journal on Control and Optimization 1 Acta Mathematicae Applicatae Sinica. English Series 1 International Journal of Parallel Programming 1 Information and Computation 1 Asia-Pacific Journal of Operational Research 1 Queueing Systems 1 Applied Mathematical Modelling 1 Stochastic Processes and their Applications 1 INFORMS Journal on Computing 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 RAIRO. Operations Research 1 Applied Stochastic Models in Business and Industry 1 Discrete and Continuous Dynamical Systems. Series B 1 Journal of Systems Science and Complexity 1 Computer Languages, Systems & Structures 1 Journal of Industrial and Management Optimization 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Science China. Information Sciences all top 5 Cited in 12 Fields 75 Computer science (68-XX) 48 Operations research, mathematical programming (90-XX) 11 Probability theory and stochastic processes (60-XX) 11 Systems theory; control (93-XX) 5 Mathematical logic and foundations (03-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 Statistics (62-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Partial differential equations (35-XX) 2 Information and communication theory, circuits (94-XX) 1 Algebraic geometry (14-XX) 1 Geometry (51-XX) Citations by Year