Khlestkov, Yu. A.; Sukhanova, L. A. Gravitational compactification of electrodynamic objects of wormhole type. (English) Zbl 07813389 Chin. J. Phys., Taipei 55, No. 5, 1794-1807 (2017). MSC: 83Cxx 53Zxx 83Dxx PDFBibTeX XMLCite \textit{Yu. A. Khlestkov} and \textit{L. A. Sukhanova}, Chin. J. Phys., Taipei 55, No. 5, 1794--1807 (2017; Zbl 07813389) Full Text: DOI
Chatterjee, Moutushi; Chakraborty, Ashis Kumar Unification of some multivariate process capability indices for asymmetric specification region. (English) Zbl 1528.62085 Stat. Neerl. 71, No. 4, 286-306 (2017). MSC: 62P30 PDFBibTeX XMLCite \textit{M. Chatterjee} and \textit{A. K. Chakraborty}, Stat. Neerl. 71, No. 4, 286--306 (2017; Zbl 1528.62085) Full Text: DOI
Mahdy, Mervat; Eltelbany, Dina S. Application of entropy measures to a failure times of electrical components models. (English) Zbl 1509.62391 Pak. J. Stat. Oper. Res. 13, No. 4, 909-930 (2017). MSC: 62P30 62B10 62N05 PDFBibTeX XMLCite \textit{M. Mahdy} and \textit{D. S. Eltelbany}, Pak. J. Stat. Oper. Res. 13, No. 4, 909--930 (2017; Zbl 1509.62391) Full Text: DOI
Mushtaq, Nadia; Aslam, Muhammad; Hussain, Jaffer Design of attribute control chart based on regression estimator. (English) Zbl 1509.62393 Pak. J. Stat. Oper. Res. 13, No. 3, 589-601 (2017). MSC: 62P30 PDFBibTeX XMLCite \textit{N. Mushtaq} et al., Pak. J. Stat. Oper. Res. 13, No. 3, 589--601 (2017; Zbl 1509.62393) Full Text: DOI
Mughal, Muhammad Anwar; Azam, Muhammad; Aslam, Muhammad Restricted repetitive sampling in designing of control charts. (English) Zbl 1509.62392 Pak. J. Stat. Oper. Res. 13, No. 2, 297-312 (2017). MSC: 62P30 PDFBibTeX XMLCite \textit{M. A. Mughal} et al., Pak. J. Stat. Oper. Res. 13, No. 2, 297--312 (2017; Zbl 1509.62392) Full Text: DOI
Okudono, Takamasa; Nishida, Yuki; Kojima, Kensuke; Suenaga, Kohei; Kido, Kengo; Hasuo, Ichiro Sharper and simpler nonlinear interpolants for program verification. (English) Zbl 1503.68184 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 491-513 (2017). MSC: 68Q60 03B70 03C40 14P05 68N30 PDFBibTeX XMLCite \textit{T. Okudono} et al., Lect. Notes Comput. Sci. 10695, 491--513 (2017; Zbl 1503.68184) Full Text: DOI arXiv
Díaz-Caro, Alejandro A lambda calculus for density matrices with classical and probabilistic controls. (English) Zbl 1503.68043 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 448-467 (2017). MSC: 68N30 03B40 68N18 81P68 PDFBibTeX XMLCite \textit{A. Díaz-Caro}, Lect. Notes Comput. Sci. 10695, 448--467 (2017; Zbl 1503.68043) Full Text: DOI arXiv
Pommellet, Adrien; Touili, Tayssir Static analysis of multithreaded recursive programs communicating via rendez-vous. (English) Zbl 1503.68047 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 235-254 (2017). MSC: 68N30 68N19 68Q85 PDFBibTeX XMLCite \textit{A. Pommellet} and \textit{T. Touili}, Lect. Notes Comput. Sci. 10695, 235--254 (2017; Zbl 1503.68047) Full Text: DOI arXiv
Matache, Cristina; Gomes, Victor B. F.; Mulligan, Dominic P. Programming and proving with classical types. (English) Zbl 1503.68046 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 215-234 (2017). MSC: 68N30 03B40 03B70 68N18 68V15 PDFBibTeX XMLCite \textit{C. Matache} et al., Lect. Notes Comput. Sci. 10695, 215--234 (2017; Zbl 1503.68046) Full Text: DOI
Kimura, Daisuke; Tatsuta, Makoto Decision procedure for entailment of symbolic heaps with arrays. (English) Zbl 1503.68045 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 169-189 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{D. Kimura} and \textit{M. Tatsuta}, Lect. Notes Comput. Sci. 10695, 169--189 (2017; Zbl 1503.68045) Full Text: DOI arXiv
Yan, Gaogao; Jiao, Li; Wang, Shuling; Zhan, Naijun Synthesizing SystemC code from delay hybrid CSP. (English) Zbl 1503.68186 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 21-41 (2017). MSC: 68Q60 68N30 93C15 93C43 PDFBibTeX XMLCite \textit{G. Yan} et al., Lect. Notes Comput. Sci. 10695, 21--41 (2017; Zbl 1503.68186) Full Text: DOI arXiv
Steinhöfel, Dominic; Wasser, Nathan A new invariant rule for the analysis of loops with non-standard control flows. (English) Zbl 1498.68083 Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 279-294 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{D. Steinhöfel} and \textit{N. Wasser}, Lect. Notes Comput. Sci. 10510, 279--294 (2017; Zbl 1498.68083) Full Text: DOI
Owe, Olaf; Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe Hoare-style reasoning from multiple contracts. (English) Zbl 1498.68168 Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 263-278 (2017). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{O. Owe} et al., Lect. Notes Comput. Sci. 10510, 263--278 (2017; Zbl 1498.68168) Full Text: DOI
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís S. On Kleene algebras for weighted computation. (English) Zbl 1498.68075 Cavalheiro, Simone (ed.) et al., Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10623, 271-286 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{L. Gomes} et al., Lect. Notes Comput. Sci. 10623, 271--286 (2017; Zbl 1498.68075) Full Text: DOI
Liu, Tianhai; Tyszberowicz, Shmuel; Beckert, Bernhard; Taghdiri, Mana Computing exact loop bounds for bounded program verification. (English) Zbl 1498.68076 Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 147-163 (2017). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{T. Liu} et al., Lect. Notes Comput. Sci. 10606, 147--163 (2017; Zbl 1498.68076) Full Text: DOI
Li, Yi Termination of semi-algebraic loop programs. (English) Zbl 1498.68078 Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 131-146 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{Y. Li}, Lect. Notes Comput. Sci. 10606, 131--146 (2017; Zbl 1498.68078) Full Text: DOI
Blazy, Sandrine; Pichardie, David; Trieu, Alix Verifying constant-time implementations by abstract interpretation. (English) Zbl 1496.68100 Foley, Simon N. (ed.) et al., Computer security – ESORICS 2017. 22nd European symposium on research in computer security, Oslo, Norway, September 11–15, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10492, 260-277 (2017). MSC: 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{S. Blazy} et al., Lect. Notes Comput. Sci. 10492, 260--277 (2017; Zbl 1496.68100) Full Text: DOI HAL
Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican Finding polynomial loop invariants for probabilistic programs. (English) Zbl 1495.68042 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 400-416 (2017). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{Y. Feng} et al., Lect. Notes Comput. Sci. 10482, 400--416 (2017; Zbl 1495.68042) Full Text: DOI arXiv
de Oliveira, Steven; Bensalem, Saddek; Prevosto, Virgile Synthesizing invariants by solving solvable loops. (English) Zbl 1495.68130 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 327-343 (2017). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{S. de Oliveira} et al., Lect. Notes Comput. Sci. 10482, 327--343 (2017; Zbl 1495.68130) Full Text: DOI arXiv
Mukherjee, Rajdeep; Schrammel, Peter; Haller, Leopold; Kroening, Daniel; Melham, Tom Lifting CDCL to template-based abstract domains for program verification. (English) Zbl 1495.68139 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 307-326 (2017). MSC: 68Q60 68N30 68Q32 68T20 PDFBibTeX XMLCite \textit{R. Mukherjee} et al., Lect. Notes Comput. Sci. 10482, 307--326 (2017; Zbl 1495.68139) Full Text: DOI arXiv Link
Diaz, Marcio; Touili, Tayssir Dealing with priorities and locks for concurrent programs. (English) Zbl 1495.68041 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 208-224 (2017). MSC: 68N30 68Q45 68Q85 PDFBibTeX XMLCite \textit{M. Diaz} and \textit{T. Touili}, Lect. Notes Comput. Sci. 10482, 208--224 (2017; Zbl 1495.68041) Full Text: DOI
Ben-Amram, Amir M.; Genaim, Samir On multiphase-linear ranking functions. (English) Zbl 1494.68049 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 601-620 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{A. M. Ben-Amram} and \textit{S. Genaim}, Lect. Notes Comput. Sci. 10427, 601--620 (2017; Zbl 1494.68049) Full Text: DOI arXiv
Unno, Hiroshi; Torii, Sho; Sakamoto, Hiroki Automating induction for solving Horn clauses. (English) Zbl 1494.68064 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 571-591 (2017). MSC: 68N30 68N18 68Q60 68V15 PDFBibTeX XMLCite \textit{H. Unno} et al., Lect. Notes Comput. Sci. 10427, 571--591 (2017; Zbl 1494.68064) Full Text: DOI arXiv
Dan, Andrei Marian; Sridharan, Manu; Chandra, Satish; Jeannin, Jean-Baptiste; Vechev, Martin Finding fix locations for CFL-reachability analyses via minimum cuts. (English) Zbl 1494.68054 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 521-541 (2017). MSC: 68N30 68Q45 68T20 PDFBibTeX XMLCite \textit{A. M. Dan} et al., Lect. Notes Comput. Sci. 10427, 521--541 (2017; Zbl 1494.68054) Full Text: DOI
Quang Loc Le; Tatsuta, Makoto; Sun, Jun; Chin, Wei-Ngan A decidable fragment in separation logic with inductive predicates and arithmetic. (English) Zbl 1497.03048 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 495-517 (2017). MSC: 03B70 03B25 68N30 PDFBibTeX XMLCite \textit{Quang Loc Le} et al., Lect. Notes Comput. Sci. 10427, 495--517 (2017; Zbl 1497.03048) Full Text: DOI Link
Conchon, Sylvain; Iguernlala, Mohamed; Ji, Kailiang; Melquiond, Guillaume; Fumex, Clément A three-tier strategy for reasoning about floating-point numbers in SMT. (English) Zbl 1494.68282 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 419-435 (2017). MSC: 68V15 65G50 65Y04 68N30 PDFBibTeX XMLCite \textit{S. Conchon} et al., Lect. Notes Comput. Sci. 10427, 419--435 (2017; Zbl 1494.68282) Full Text: DOI HAL
McClurg, Jedidiah; Hojjat, Hossein; Černý, Pavol Synchronization synthesis for network programs. (English) Zbl 1494.68060 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 301-321 (2017). MSC: 68N30 68M10 68Q85 PDFBibTeX XMLCite \textit{J. McClurg} et al., Lect. Notes Comput. Sci. 10427, 301--321 (2017; Zbl 1494.68060) Full Text: DOI
Grossman, Shelly; Cohen, Sara; Itzhaky, Shachar; Rinetzky, Noam; Sagiv, Mooly Verifying equivalence of Spark programs. (English) Zbl 1494.68058 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 282-300 (2017). MSC: 68N30 68N15 PDFBibTeX XMLCite \textit{S. Grossman} et al., Lect. Notes Comput. Sci. 10427, 282--300 (2017; Zbl 1494.68058) Full Text: DOI
Gascón, Adrià; Tiwari, Ashish; Carmer, Brent; Mathur, Umang Look for the proof to find the program: decorated-component-based program synthesis. (English) Zbl 1494.68057 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 86-103 (2017). MSC: 68N30 68Q60 94A60 PDFBibTeX XMLCite \textit{A. Gascón} et al., Lect. Notes Comput. Sci. 10427, 86--103 (2017; Zbl 1494.68057) Full Text: DOI
Carbonneaux, Quentin; Hoffmann, Jan; Reps, Thomas; Shao, Zhong Automated resource analysis with Coq proof objects. (English) Zbl 1494.68051 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 64-85 (2017). MSC: 68N30 68V15 PDFBibTeX XMLCite \textit{Q. Carbonneaux} et al., Lect. Notes Comput. Sci. 10427, 64--85 (2017; Zbl 1494.68051) Full Text: DOI
Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar Non-polynomial worst-case analysis of recursive programs. (English) Zbl 1494.68053 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 41-63 (2017). MSC: 68N30 68Q25 68W40 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 10427, 41--63 (2017; Zbl 1494.68053) Full Text: DOI arXiv
Touzeau, Valentin; Maïza, Claire; Monniaux, David; Reineke, Jan Ascertaining uncertainty for efficient exact cache analysis. (English) Zbl 1494.68063 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 22-40 (2017). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{V. Touzeau} et al., Lect. Notes Comput. Sci. 10427, 22--40 (2017; Zbl 1494.68063) Full Text: DOI arXiv
Dragomir, Ioana Roxana; Vlad, Adriana Statistical testing of the initializing stage of a block cipher, as part of the security assessment. (English) Zbl 1513.94029 Sci. Bull., Ser. A, Appl. Math. Phys., Politeh. Univ. Buchar. 79, No. 2, 207-222 (2017). MSC: 94A60 68P25 62P30 PDFBibTeX XMLCite \textit{I. R. Dragomir} and \textit{A. Vlad}, Sci. Bull., Ser. A, Appl. Math. Phys., Politeh. Univ. Buchar. 79, No. 2, 207--222 (2017; Zbl 1513.94029)
Windsor, Matt; Dodds, Mike; Simner, Ben; Parkinson, Matthew J. Starling: lightweight concurrency verification with views. (English) Zbl 1494.68065 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 544-569 (2017). MSC: 68N30 03B70 68N19 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Windsor} et al., Lect. Notes Comput. Sci. 10426, 544--569 (2017; Zbl 1494.68065) Full Text: DOI
Albert, Elvira; Arenas, Puri; de la Banda, María García; Gómez-Zamalloa, Miguel; Stuckey, Peter J. Context-sensitive dynamic partial order reduction. (English) Zbl 1494.68047 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 526-543 (2017). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{E. Albert} et al., Lect. Notes Comput. Sci. 10426, 526--543 (2017; Zbl 1494.68047) Full Text: DOI
Chasins, Sarah; Phothilimthana, Phitchaya Mangpo Data-driven synthesis of full probabilistic programs. (English) Zbl 1494.68052 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 279-304 (2017). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{S. Chasins} and \textit{P. M. Phothilimthana}, Lect. Notes Comput. Sci. 10426, 279--304 (2017; Zbl 1494.68052) Full Text: DOI
Drachsler-Cohen, Dana; Shoham, Sharon; Yahav, Eran Synthesis with abstract examples. (English) Zbl 1494.68056 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 254-278 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{D. Drachsler-Cohen} et al., Lect. Notes Comput. Sci. 10426, 254--278 (2017; Zbl 1494.68056) Full Text: DOI
Bielik, Pavol; Raychev, Veselin; Vechev, Martin Learning a static analyzer from data. (English) Zbl 1494.68050 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 233-253 (2017). MSC: 68N30 68T05 PDFBibTeX XMLCite \textit{P. Bielik} et al., Lect. Notes Comput. Sci. 10426, 233--253 (2017; Zbl 1494.68050) Full Text: DOI arXiv
Albarghouthi, Aws; D’Antoni, Loris; Drews, Samuel Repairing decision-making programs under uncertainty. (English) Zbl 1494.68046 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 181-200 (2017). MSC: 68N30 68Q87 68T05 PDFBibTeX XMLCite \textit{A. Albarghouthi} et al., Lect. Notes Comput. Sci. 10426, 181--200 (2017; Zbl 1494.68046) Full Text: DOI
Si, Xujie; Zhang, Xin; Grigore, Radu; Naik, Mayur Maximum satisfiability in software analysis: applications and techniques. (English) Zbl 1494.68062 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 68-94 (2017). MSC: 68N30 68T20 PDFBibTeX XMLCite \textit{X. Si} et al., Lect. Notes Comput. Sci. 10426, 68--94 (2017; Zbl 1494.68062) Full Text: DOI Link
Vafeiadis, Viktor Program verification under weak memory consistency using separation logic. (English) Zbl 1494.68175 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 30-46 (2017). MSC: 68Q60 03B70 68N30 68Q85 PDFBibTeX XMLCite \textit{V. Vafeiadis}, Lect. Notes Comput. Sci. 10426, 30--46 (2017; Zbl 1494.68175) Full Text: DOI
Raoul, R. Nigmatullin; Zhang, Wei; Domenico, Striccoli “Universal” fitting function for complex systems: case of the short samplings. (English) Zbl 1491.62075 J. Appl. Nonlinear Dyn. 6, No. 3, 427-443 (2017). MSC: 62J99 62P30 PDFBibTeX XMLCite \textit{R. N. Raoul} et al., J. Appl. Nonlinear Dyn. 6, No. 3, 427--443 (2017; Zbl 1491.62075) Full Text: DOI
Azam, Muhammad; Aslam, Muhammad; Jun, Chi-Hyuck An EWMA control chart for the exponential distribution using repetitive sampling plan. (English) Zbl 1492.62188 Oper. Res. Decis. 27, No. 2, 5-19 (2017). MSC: 62P30 62P10 PDFBibTeX XMLCite \textit{M. Azam} et al., Oper. Res. Decis. 27, No. 2, 5--19 (2017; Zbl 1492.62188) Full Text: Link
Wu, Chunjie; Wei, Yiqing; Yu, Miaomiao Improved robust-likelihood cumulative sum chart for the contaminated normal distributions. (Chinese. English summary) Zbl 1499.62457 Sci. Sin., Math. 47, No. 7, 853-868 (2017). MSC: 62P30 PDFBibTeX XMLCite \textit{C. Wu} et al., Sci. Sin., Math. 47, No. 7, 853--868 (2017; Zbl 1499.62457) Full Text: DOI
Deshpande, Ameet S. Bridging a gap in applied Kalman filtering: estimating outputs when measurements are correlated with the process noise. (English) Zbl 1477.93162 IEEE Control Syst. 37, No. 3, 87-93 (2017). MSC: 93E11 97M50 PDFBibTeX XMLCite \textit{A. S. Deshpande}, IEEE Control Syst. 37, No. 3, 87--93 (2017; Zbl 1477.93162) Full Text: DOI
Dimovski, Aleksandar S. Probabilistic analysis based on symbolic game semantics and model counting. (English) Zbl 1483.68077 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1-15 (2017). MSC: 68N30 68Q55 68Q60 68Q87 91A80 PDFBibTeX XMLCite \textit{A. S. Dimovski}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1--15 (2017; Zbl 1483.68077) Full Text: arXiv Link
Hoey, James; Ulidowski, Irek; Yuen, Shoji Reversing imperative parallel programs. (English) Zbl 1483.68079 Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 51-66 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{J. Hoey} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 51--66 (2017; Zbl 1483.68079) Full Text: arXiv Link
Qian, Lin; Duan, Zhenhua; Zhang, Nan; Tian, Cong A proof system for MSVL programs in Coq. (English) Zbl 1461.68058 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 121-143 (2017). MSC: 68N30 68N15 68Q60 68V20 PDFBibTeX XMLCite \textit{L. Qian} et al., Lect. Notes Comput. Sci. 10189, 121--143 (2017; Zbl 1461.68058) Full Text: DOI
Chakraborty, A. B.; Khurshid, A.; Acharjee, R. Measurement error effect on the power of control chart for zero truncated negative binomial distribution (ZTNBD). (English) Zbl 1474.62445 Yugosl. J. Oper. Res. 27, No. 4, 451-462 (2017). MSC: 62P30 62-08 PDFBibTeX XMLCite \textit{A. B. Chakraborty} et al., Yugosl. J. Oper. Res. 27, No. 4, 451--462 (2017; Zbl 1474.62445) Full Text: DOI
Zaryankin, Arkadiy; Rogalev, Andrey; Lisin, Evgeny; Khudyakova, Valentina Lengthwise finning surface as the method of influence on the flow separation in diffusers. (English) Zbl 07328071 J. Appl. Math. Comput. Mech. 16, No. 1, 127-138 (2017). MSC: 97M50 PDFBibTeX XMLCite \textit{A. Zaryankin} et al., J. Appl. Math. Comput. Mech. 16, No. 1, 127--138 (2017; Zbl 07328071) Full Text: DOI
Ronchi, Fabrizio; Salmaso, Luigi; De Dominicis, Mattia; Illert, Juergen; Krajewski, Krzysztof; Link, Rainer; Monti, Luca Optimal designs to develop and support an experimental strategy on innovation of thermoforming production process. (English) Zbl 1454.62520 Statistica 77, No. 2, 109-131 (2017). MSC: 62P30 62K05 PDFBibTeX XMLCite \textit{F. Ronchi} et al., Statistica 77, No. 2, 109--131 (2017; Zbl 1454.62520) Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter A weakest pre-expectation semantics for mixed-sign expectations. (English) Zbl 1458.68038 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 93, 12 p. (2017). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{B. L. Kaminski} and \textit{J.-P. Katoen}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 93, 12 p. (2017; Zbl 1458.68038) Full Text: arXiv Link
Hofmann, Martin; Ledent, Jérémy A Cartesian-closed category for higher-order model checking. (English) Zbl 1460.68061 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 60, 12 p. (2017). MSC: 68Q60 18D15 68N30 PDFBibTeX XMLCite \textit{M. Hofmann} and \textit{J. Ledent}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 60, 12 p. (2017; Zbl 1460.68061) Full Text: Link
Pavlovic, Dusko; Seidel, Peter-Michael Quotients in monadic programming: projective algebras are equivalent to coalgebras. (English) Zbl 1458.68123 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 50, 12 p. (2017). MSC: 68Q65 18C15 68N30 PDFBibTeX XMLCite \textit{D. Pavlovic} and \textit{P.-M. Seidel}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 50, 12 p. (2017; Zbl 1458.68123) Full Text: arXiv Link
Kammar, Ohad; Levy, Paul B.; Moss, Sean K.; Staton, Sam A monad for full ground reference cells. (English) Zbl 1458.68122 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017). MSC: 68Q65 18A25 18C15 68N30 68Q55 PDFBibTeX XMLCite \textit{O. Kammar} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017; Zbl 1458.68122) Full Text: arXiv Link
Belevantsev, A. A. Multilevel static analysis for improving program quality. (English. Russian original) Zbl 1455.68043 Program. Comput. Softw. 43, No. 6, 321-336 (2017); translation from Programmirovanie 43, No. 6, 3-25 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{A. A. Belevantsev}, Program. Comput. Softw. 43, No. 6, 321--336 (2017; Zbl 1455.68043); translation from Programmirovanie 43, No. 6, 3--25 (2017) Full Text: DOI
Kozachok, A. V. Formal logical language to set requirements for secure code execution. (English) Zbl 1455.68044 Program. Comput. Softw. 43, No. 5, 314-319 (2017). MSC: 68N30 03B70 68M25 PDFBibTeX XMLCite \textit{A. V. Kozachok}, Program. Comput. Softw. 43, No. 5, 314--319 (2017; Zbl 1455.68044) Full Text: DOI
Yamaka, Woraphon; Phetcharat, Chaowana; Teerakul, Nattamon; Navanugraha, Thaya The sample selection model: application on the farmers’ decision of rice acreage. (English) Zbl 1463.62368 Thai J. Math., Spec. Iss. on entropy in econometrics, 175-186 (2017). MSC: 62P20 91B84 62C25 62P30 PDFBibTeX XMLCite \textit{W. Yamaka} et al., Thai J. Math., 175--186 (2017; Zbl 1463.62368) Full Text: Link
Humenberger, Andreas; Jaroschek, Maximilian; Kovács, Laura Automated generation of non-linear loop invariants utilizing hypergeometric sequences. (English) Zbl 1457.68063 Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 221-228 (2017). MSC: 68N30 13P10 65Q30 68W30 PDFBibTeX XMLCite \textit{A. Humenberger} et al., in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. New York, NY: Association for Computing Machinery (ACM). 221--228 (2017; Zbl 1457.68063) Full Text: DOI arXiv
Nikiforov, Igor Bounding the risk probability. (English) Zbl 1459.62227 Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 20th international conference, DCCN 2017, Moscow, Russia, September 25–29, 2017. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 700, 135-145 (2017). MSC: 62P30 62M10 60K10 PDFBibTeX XMLCite \textit{I. Nikiforov}, Commun. Comput. Inf. Sci. 700, 135--145 (2017; Zbl 1459.62227) Full Text: DOI
Tizpaz-Niari, Saeid; Černý, Pavol; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram; Trivedi, Ashutosh Discriminating traces with time. (English) Zbl 1452.68055 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 21-37 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Tizpaz-Niari} et al., Lect. Notes Comput. Sci. 10206, 21--37 (2017; Zbl 1452.68055) Full Text: DOI arXiv
Wüstholz, Valentin; Olivo, Oswaldo; Heule, Marijn J. H.; Dillig, Isil Static detection of DoS vulnerabilities in programs that use regular expressions. (English) Zbl 1452.68060 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 3-20 (2017). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{V. Wüstholz} et al., Lect. Notes Comput. Sci. 10206, 3--20 (2017; Zbl 1452.68060) Full Text: DOI arXiv
Sanán, David; Zhao, Yongwang; Hou, Zhe; Zhang, Fuyuan; Tiu, Alwen; Liu, Yang CSimpl: a rely-guarantee-based framework for verifying concurrent programs. (English) Zbl 1452.68053 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 481-498 (2017). MSC: 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{D. Sanán} et al., Lect. Notes Comput. Sci. 10205, 481--498 (2017; Zbl 1452.68053) Full Text: DOI Link
Alur, Rajeev; Radhakrishna, Arjun; Udupa, Abhishek Scaling enumerative program synthesis via divide and conquer. (English) Zbl 1452.68043 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 319-336 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Comput. Sci. 10205, 319--336 (2017; Zbl 1452.68043) Full Text: DOI
Nguyen, Thanhvu; Weimer, Westley; Kapur, Deepak; Forrest, Stephanie Connecting program synthesis and reachability: automatic program repair using test-input generation. (English) Zbl 1452.68052 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 301-318 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{T. Nguyen} et al., Lect. Notes Comput. Sci. 10205, 301--318 (2017; Zbl 1452.68052) Full Text: DOI arXiv
Inala, Jeevana Priya; Polikarpova, Nadia; Qiu, Xiaokang; Lerner, Benjamin S.; Solar-Lezama, Armando Synthesis of recursive ADT transformations from reusable templates. (English) Zbl 1452.68050 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 247-263 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{J. P. Inala} et al., Lect. Notes Comput. Sci. 10205, 247--263 (2017; Zbl 1452.68050) Full Text: DOI arXiv Link
Borralleras, Cristina; Brockschmidt, Marc; Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert Proving termination through conditional termination. (English) Zbl 1452.68046 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 99-117 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{C. Borralleras} et al., Lect. Notes Comput. Sci. 10205, 99--117 (2017; Zbl 1452.68046) Full Text: DOI Link
Feldman, Yotam M. Y.; Padon, Oded; Immerman, Neil; Sagiv, Mooly; Shoham, Sharon Bounded quantifier instantiation for checking inductive invariants. (English) Zbl 1452.68119 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 76-95 (2017). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{Y. M. Y. Feldman} et al., Lect. Notes Comput. Sci. 10205, 76--95 (2017; Zbl 1452.68119) Full Text: DOI arXiv
Hedin, Daniel; Sjösten, Alexander; Piessens, Frank; Sabelfeld, Andrei A principled approach to tracking information flow in the presence of libraries. (English) Zbl 1444.68051 Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 49-70 (2017). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{D. Hedin} et al., Lect. Notes Comput. Sci. 10204, 49--70 (2017; Zbl 1444.68051) Full Text: DOI Link
Yanofsky, Noson S. Galois theory of algorithms. (English) Zbl 1439.68008 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 323-347 (2017). MSC: 68N30 03D20 18M05 68W01 PDFBibTeX XMLCite \textit{N. S. Yanofsky}, Outst. Contrib. Log. 11, 323--347 (2017; Zbl 1439.68008) Full Text: DOI arXiv
Başkent, Can A non-classical logical approach to social software. (English) Zbl 1437.03115 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 91-109 (2017). MSC: 03B70 03B53 68N30 PDFBibTeX XMLCite \textit{C. Başkent}, Outst. Contrib. Log. 11, 91--109 (2017; Zbl 1437.03115) Full Text: DOI
Verma, Hari Om; Peyada, Naba Kumar Modelling of aircraft’s dynamics using least square support vector machine regression. (English) Zbl 1444.93007 Giri, Debasis (ed.) et al., Mathematics and computing. Third international conference, ICMC 2017, Haldia, India, January 17–21, 2017. Proceedings. Singapore: Springer. Commun. Comput. Inf. Sci. 655, 132-140 (2017). MSC: 93B30 62P30 93C10 PDFBibTeX XMLCite \textit{H. O. Verma} and \textit{N. K. Peyada}, Commun. Comput. Inf. Sci. 655, 132--140 (2017; Zbl 1444.93007) Full Text: DOI
Morales, Víctor Hugo; Vargas, José Alberto Monitoring aggregated Poisson data for processes with time-varying sample sizes. (English) Zbl 1435.62437 Rev. Colomb. Estad. 40, No. 2, 243-262 (2017). MSC: 62P30 62P10 PDFBibTeX XMLCite \textit{V. H. Morales} and \textit{J. A. Vargas}, Rev. Colomb. Estad. 40, No. 2, 243--262 (2017; Zbl 1435.62437) Full Text: DOI
Baum, Moritz; Dibbelt, Julian; Wagner, Dorothea; Zündorf, Tobias Modeling and engineering constrained shortest path algorithms for battery electric vehicles. (English) Zbl 1442.90191 Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 11, 16 p. (2017). MSC: 90C35 05C38 68W05 90B20 PDFBibTeX XMLCite \textit{M. Baum} et al., LIPIcs -- Leibniz Int. Proc. Inform. 87, Article 11, 16 p. (2017; Zbl 1442.90191) Full Text: DOI arXiv
Datta, Samir; Mukherjee, Anish; Schwentick, Thomas; Vortmeier, Nils; Zeume, Thomas A strategy for dynamic programs: start over and muddle through. (English) Zbl 1442.68033 Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 98, 14 p. (2017). MSC: 68N30 03B70 68P15 68R10 PDFBibTeX XMLCite \textit{S. Datta} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 98, 14 p. (2017; Zbl 1442.68033) Full Text: DOI
Fiore, Marcelo; Saville, Philip List objects with algebraic structure. (English) Zbl 1441.68016 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 16, 18 p. (2017). MSC: 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{M. Fiore} and \textit{P. Saville}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 16, 18 p. (2017; Zbl 1441.68016) Full Text: DOI
Akshay, S.; Balaji, Nikhil; Vyas, Nikhil Complexity of restricted variants of Skolem and related problems. (English) Zbl 1441.68061 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 78, 14 p. (2017). MSC: 68Q17 11B37 68N30 PDFBibTeX XMLCite \textit{S. Akshay} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 78, 14 p. (2017; Zbl 1441.68061) Full Text: DOI
Kahn, David M. Undecidable problems for probabilistic network programming. (English) Zbl 1441.68019 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 68, 17 p. (2017). MSC: 68N19 68N30 68Q45 PDFBibTeX XMLCite \textit{D. M. Kahn}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 68, 17 p. (2017; Zbl 1441.68019) Full Text: DOI
Levin, Vladimir Anatol’evich Theory of repeated superposition of large strains. Development of this theory for solution of multidisciplinary problems. Methods of implementation of this theory for strength analysis in new branches of industry. (Russian. English summary) Zbl 1434.74035 Chebyshevskiĭ Sb. 18, No. 3(63), 524-542 (2017). MSC: 74C15 74-10 PDFBibTeX XMLCite \textit{V. A. Levin}, Chebyshevskiĭ Sb. 18, No. 3(63), 524--542 (2017; Zbl 1434.74035) Full Text: DOI MNR
Bezmozgiĭ, Iosif Mendelevich; Kazakova, Ol’ga Igorevna; Magzhanov, Rais Mukhtyasivovich; Smerdov, Alekseĭ Andreevich; Chernyavskiĭ, Aleksandr Grigor’evich; Chernyagin, Aleksandr Grigor’evich Results of testing and assessment of the possibility of building a system of specialized solutions for strength analysisbased on CAE Fidesys. (Russian. English summary) Zbl 1434.74100 Chebyshevskiĭ Sb. 18, No. 3(63), 88-107 (2017). MSC: 74S05 74A15 PDFBibTeX XMLCite \textit{I. M. Bezmozgiĭ} et al., Chebyshevskiĭ Sb. 18, No. 3(63), 88--107 (2017; Zbl 1434.74100) Full Text: DOI MNR Link
De Oliveira, Victor; Kedem, Benjamin Bayesian analysis of a density ratio model. (English. French summary) Zbl 1474.62081 Can. J. Stat. 45, No. 3, 274-289 (2017). MSC: 62F15 62P30 PDFBibTeX XMLCite \textit{V. De Oliveira} and \textit{B. Kedem}, Can. J. Stat. 45, No. 3, 274--289 (2017; Zbl 1474.62081) Full Text: DOI
Panza, C. A.; Vargas, J. A. Monitoring the parameter vector of regression models with time-to-event response in phase II processes. (English) Zbl 1492.62191 J. Stat. Comput. Simulation 87, No. 14, 2779-2798 (2017). MSC: 62P30 62J99 PDFBibTeX XMLCite \textit{C. A. Panza} and \textit{J. A. Vargas}, J. Stat. Comput. Simulation 87, No. 14, 2779--2798 (2017; Zbl 1492.62191) Full Text: DOI Link
Zhang, Lianyi; Lo, Kueiming; Qing, Duzheng; Wang, Weijing; Yu, Lixin Statistical model checking of stochastic component-based systems. (English) Zbl 07192076 J. Stat. Comput. Simulation 87, No. 13, 2509-2525 (2017). MSC: 68Q60 68N30 60J20 PDFBibTeX XMLCite \textit{L. Zhang} et al., J. Stat. Comput. Simulation 87, No. 13, 2509--2525 (2017; Zbl 07192076) Full Text: DOI
Balamurali, S.; Usha, M. Developing and designing of an efficient variables sampling system based on the process capability index. (English) Zbl 07192008 J. Stat. Comput. Simulation 87, No. 7, 1401-1415 (2017). MSC: 62P30 90C30 90C90 PDFBibTeX XMLCite \textit{S. Balamurali} and \textit{M. Usha}, J. Stat. Comput. Simulation 87, No. 7, 1401--1415 (2017; Zbl 07192008) Full Text: DOI
Hossain, M. Pear; Omar, M. Hafidz; Riaz, Muhammad New \(V\) control chart for the Maxwell distribution. (English) Zbl 07191958 J. Stat. Comput. Simulation 87, No. 3, 594-606 (2017). MSC: 60E05 60K99 62E10 62E15 62P30 62Q05 97K50 97K80 PDFBibTeX XMLCite \textit{M. P. Hossain} et al., J. Stat. Comput. Simulation 87, No. 3, 594--606 (2017; Zbl 07191958) Full Text: DOI
Govindaraju, K. Predictive design of single sampling attribute plans. (English) Zbl 07191948 J. Stat. Comput. Simulation 87, No. 3, 447-456 (2017). MSC: 62P30 60G25 90B50 PDFBibTeX XMLCite \textit{K. Govindaraju}, J. Stat. Comput. Simulation 87, No. 3, 447--456 (2017; Zbl 07191948) Full Text: DOI
Abbas, Sermad; Fried, Roland Control charts for the mean based on robust two-sample tests. (English) Zbl 1492.62187 J. Stat. Comput. Simulation 87, No. 1, 138-155 (2017). MSC: 62P30 62G10 62G35 62M10 62L10 62P10 PDFBibTeX XMLCite \textit{S. Abbas} and \textit{R. Fried}, J. Stat. Comput. Simulation 87, No. 1, 138--155 (2017; Zbl 1492.62187) Full Text: DOI Link
Nezhad, Mohammad Saber Fallah; Seifi, Sina Repetitive group sampling plan based on the process capability index for the lot acceptance problem. (English) Zbl 1492.62190 J. Stat. Comput. Simulation 87, No. 1, 29-41 (2017). MSC: 62P30 62D05 65C40 PDFBibTeX XMLCite \textit{M. S. F. Nezhad} and \textit{S. Seifi}, J. Stat. Comput. Simulation 87, No. 1, 29--41 (2017; Zbl 1492.62190) Full Text: DOI
Rivers, Derick L.; Boone, Edward L. Dynamic approach to linear statistical calibration with an application in microwave radiometry. (English) Zbl 1492.62192 J. Stat. Comput. Simulation 87, No. 1, 17-28 (2017). MSC: 62P30 62J99 PDFBibTeX XMLCite \textit{D. L. Rivers} and \textit{E. L. Boone}, J. Stat. Comput. Simulation 87, No. 1, 17--28 (2017; Zbl 1492.62192) Full Text: DOI arXiv
Hao, Peng; Wang, Yutian; Liu, Xuanxiu; Wang, Bo; Li, Gang; Wang, Lipeng An efficient adaptive-loop method for non-probabilistic reliability-based design optimization. (English) Zbl 1439.74252 Comput. Methods Appl. Mech. Eng. 324, 689-711 (2017). MSC: 74P05 65K10 74S99 PDFBibTeX XMLCite \textit{P. Hao} et al., Comput. Methods Appl. Mech. Eng. 324, 689--711 (2017; Zbl 1439.74252) Full Text: DOI
Hao, Peng; Wang, Yutian; Liu, Chen; Wang, Bo; Wu, Hao A novel non-probabilistic reliability-based design optimization algorithm using enhanced chaos control method. (English) Zbl 1439.74251 Comput. Methods Appl. Mech. Eng. 318, 572-593 (2017). MSC: 74P05 34H10 PDFBibTeX XMLCite \textit{P. Hao} et al., Comput. Methods Appl. Mech. Eng. 318, 572--593 (2017; Zbl 1439.74251) Full Text: DOI
Taentzer, Gabriele; Ohrndorf, Manuel; Lamo, Yngve; Rutle, Adrian Change-preserving model repair. (English) Zbl 1430.68029 Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 283-299 (2017). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{G. Taentzer} et al., Lect. Notes Comput. Sci. 10202, 283--299 (2017; Zbl 1430.68029) Full Text: DOI
Diskin, Zinovy; Gómez, Abel; Cabot, Jordi Traceability mappings as a fundamental instrument in model transformations. (English) Zbl 1430.68027 Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 247-263 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{Z. Diskin} et al., Lect. Notes Comput. Sci. 10202, 247--263 (2017; Zbl 1430.68027) Full Text: DOI Link
Leblebici, Erhan; Anjorin, Anthony; Schürr, Andy Inter-model consistency checking using triple graph grammars and linear optimization techniques. (English) Zbl 1430.68028 Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 191-207 (2017). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{E. Leblebici} et al., Lect. Notes Comput. Sci. 10202, 191--207 (2017; Zbl 1430.68028) Full Text: DOI
Yue, Jin; Liu, Liu Multivariate nonparametric control chart with variable sampling interval. (English) Zbl 1480.62253 Appl. Math. Modelling 52, 603-612 (2017). MSC: 62P30 62G10 PDFBibTeX XMLCite \textit{J. Yue} and \textit{L. Liu}, Appl. Math. Modelling 52, 603--612 (2017; Zbl 1480.62253) Full Text: DOI
Uyar, Kübra; Ülker, Erkan B-spline curve fitting with invasive weed optimization. (English) Zbl 1480.65039 Appl. Math. Modelling 52, 320-340 (2017). MSC: 65D10 65D07 68U07 90C59 PDFBibTeX XMLCite \textit{K. Uyar} and \textit{E. Ülker}, Appl. Math. Modelling 52, 320--340 (2017; Zbl 1480.65039) Full Text: DOI
Wu, Chien-Wei; Lee, Amy H. I.; Liu, Shih-Wen; Shih, Mei-Hsu Capability-based quick switching sampling system for lot disposition. (English) Zbl 1480.62251 Appl. Math. Modelling 52, 131-144 (2017). MSC: 62P30 90B25 PDFBibTeX XMLCite \textit{C.-W. Wu} et al., Appl. Math. Modelling 52, 131--144 (2017; Zbl 1480.62251) Full Text: DOI
Li, Qiuying; Pham, Hoang NHPP software reliability model considering the uncertainty of operating environments with imperfect debugging and testing coverage. (English) Zbl 1483.68084 Appl. Math. Modelling 51, 68-85 (2017). MSC: 68N30 PDFBibTeX XMLCite \textit{Q. Li} and \textit{H. Pham}, Appl. Math. Modelling 51, 68--85 (2017; Zbl 1483.68084) Full Text: DOI
Antkowiak, Aneta; Kaczmarz, Monika; Szajowski, Krzysztof Design of engineering systems in Polish mines in the third quarter of the 20th century. (English) Zbl 1437.01013 Antiq. Math. 11, 251-300 (2017). Reviewer: Christopher Hollings (Oxford) MSC: 01A60 01A73 01A70 PDFBibTeX XMLCite \textit{A. Antkowiak} et al., Antiq. Math. 11, 251--300 (2017; Zbl 1437.01013) Full Text: DOI arXiv
Tilindis, Justinas; Kleiza, Vytautas Learning curve parameter estimation beyond traditional statistics. (English) Zbl 1446.62325 Appl. Math. Modelling 45, 768-783 (2017). MSC: 62P30 PDFBibTeX XMLCite \textit{J. Tilindis} and \textit{V. Kleiza}, Appl. Math. Modelling 45, 768--783 (2017; Zbl 1446.62325) Full Text: DOI