Huang, Xiaowei; van der Meyden, Ron An epistemic strategy logic (extended abstract). (English) Zbl 1464.03016 Mogavero, Fabio (ed.) et al., Proceedings of the 2nd international workshop on strategic reasoning, SR’14, Grenoble, France, April 5–6, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 146, 35-41 (2014). MSC: 03B42 03B44 68Q25 68Q60 68T27 68T42 91A10 PDFBibTeX XMLCite \textit{X. Huang} and \textit{R. van der Meyden}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 146, 35--41 (2014; Zbl 1464.03016) Full Text: arXiv Link
Belardinelli, Francesco Reasoning about knowledge and strategies: epistemic strategy logic. (English) Zbl 1464.03015 Mogavero, Fabio (ed.) et al., Proceedings of the 2nd international workshop on strategic reasoning, SR’14, Grenoble, France, April 5–6, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 146, 27-33 (2014). MSC: 03B42 03B44 68Q25 68Q60 68T27 68T42 91A10 PDFBibTeX XMLCite \textit{F. Belardinelli}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 146, 27--33 (2014; Zbl 1464.03015) Full Text: arXiv Link
Li, Lei; Wang, Licheng; Chen, Jing; Wang, Ruiming; Zhang, Zhihong Fairness analysis for multiparty nonrepudiation protocols based on improved strand space. (English) Zbl 1419.68050 Discrete Dyn. Nat. Soc. 2014, Article ID 904717, 7 p. (2014). MSC: 68P25 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{L. Li} et al., Discrete Dyn. Nat. Soc. 2014, Article ID 904717, 7 p. (2014; Zbl 1419.68050) Full Text: DOI
Sun, Cong; Xi, Ning; Gao, Sheng; Chen, Zhong; Ma, Jianfeng Automated enforcement for relaxed information release with reference points. (English) Zbl 1456.68023 Sci. China, Inf. Sci. 57, No. 11, Article ID 112110, 19 p. (2014). MSC: 68M25 68N99 PDFBibTeX XMLCite \textit{C. Sun} et al., Sci. China, Inf. Sci. 57, No. 11, Article ID 112110, 19 p. (2014; Zbl 1456.68023) Full Text: DOI Link
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad A compositional model to reason about end-to-end QoS in stochastic Reo connectors. (English) Zbl 1412.68065 Sci. Comput. Program. 80, Part A, 3-24 (2014). MSC: 68Q10 68N15 68Q45 68Q55 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y.-J. Moon} et al., Sci. Comput. Program. 80, Part A, 3--24 (2014; Zbl 1412.68065) Full Text: DOI arXiv
van Eijck, Jan; Schwarzentruber, François Epistemic probability logic simplified. (English) Zbl 1385.03037 Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 158-177 (2014). MSC: 03B70 03B48 03B45 68Q60 68Q25 PDFBibTeX XMLCite \textit{J. van Eijck} and \textit{F. Schwarzentruber}, in: Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5--8, 2014. London: College Publications. 158--177 (2014; Zbl 1385.03037)
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire Hyper-Ackermannian bounds for pushdown vector addition systems. (English) Zbl 1392.68307 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 63, 10 p. (2014). MSC: 68Q85 68Q25 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Leroux} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 63, 10 p. (2014; Zbl 1392.68307) Full Text: DOI HAL
Koskinen, Eric; Terauchi, Tachio Local temporal reasoning. (English) Zbl 1401.68203 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 59, 10 p. (2014). MSC: 68Q60 03B44 68N30 PDFBibTeX XMLCite \textit{E. Koskinen} and \textit{T. Terauchi}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 59, 10 p. (2014; Zbl 1401.68203) Full Text: DOI
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun Probably safe or live. (English) Zbl 1394.68231 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014). MSC: 68Q60 03B44 68Q85 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 55, 10 p. (2014; Zbl 1394.68231) Full Text: DOI arXiv Link
Chen, Hubie; Müller, Moritz One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. (English) Zbl 1394.68172 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 32, 10 p. (2014). MSC: 68Q25 05C60 05C75 68P15 68Q60 PDFBibTeX XMLCite \textit{H. Chen} and \textit{M. Müller}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 32, 10 p. (2014; Zbl 1394.68172) Full Text: DOI arXiv
Chen, Hubie The tractability frontier of graph-like first-order query sets. (English) Zbl 1394.68171 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 31, 9 p. (2014). MSC: 68Q25 03C13 68P15 68Q60 PDFBibTeX XMLCite \textit{H. Chen}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 31, 9 p. (2014; Zbl 1394.68171) Full Text: DOI arXiv Link
Brotherston, James; Fuhs, Carsten; Pérez, Juan A. Navarro; Gorogiannis, Nikos A decision procedure for satisfiability in separation logic with inductive predicates. (English) Zbl 1401.68111 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 25, 10 p. (2014). MSC: 68Q25 03B25 03B70 68Q17 68Q60 PDFBibTeX XMLCite \textit{J. Brotherston} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 25, 10 p. (2014; Zbl 1401.68111) Full Text: DOI
Brenguier, Romain; Raskin, Jean-François; Sassolas, Mathieu The complexity of admissibility in omega-regular games. (English) Zbl 1401.68110 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 23, 10 p. (2014). MSC: 68Q25 68Q45 68Q60 91A43 PDFBibTeX XMLCite \textit{R. Brenguier} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 23, 10 p. (2014; Zbl 1401.68110) Full Text: DOI arXiv
Bova, Simone; Ganian, Robert; Szeider, Stefan Model checking existential logic on partially ordered sets. (English) Zbl 1401.68187 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 21, 10 p. (2014). MSC: 68Q60 03B70 06A06 68Q25 PDFBibTeX XMLCite \textit{S. Bova} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 21, 10 p. (2014; Zbl 1401.68187) Full Text: DOI arXiv
Bojanczyk, Mikolaj; Dittmann, Christoph; Kreutzer, Stephan Decomposition theorems and model-checking for the modal \(\mu\)-calculus. (English) Zbl 1394.68222 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 17, 10 p. (2014). MSC: 68Q60 03B45 68Q25 PDFBibTeX XMLCite \textit{M. Bojanczyk} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 17, 10 p. (2014; Zbl 1394.68222) Full Text: DOI arXiv
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha Weight monitoring with linear temporal logic: complexity and decidability. (English) Zbl 1401.68182 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 11, 10 p. (2014). MSC: 68Q60 03B44 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 11, 10 p. (2014; Zbl 1401.68182) Full Text: DOI
Cousot, Patrick; Cousot, Radhia Abstract interpretation: past, present and future. (English) Zbl 1401.68037 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 2, 10 p. (2014). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{P. Cousot} and \textit{R. Cousot}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 2, 10 p. (2014; Zbl 1401.68037) Full Text: DOI
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha Trade-off analysis meets probabilistic model checking. (English) Zbl 1401.68181 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 1, 10 p. (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 1, 10 p. (2014; Zbl 1401.68181) Full Text: DOI
Boldo, Sylvie; Clément, François; Filliâtre, Jean-Christophe; Mayero, Micaela; Melquiond, Guillaume; Weis, Pierre Trusting computations: a mechanized proof from partial differential equations to actual program. (English) Zbl 1369.35051 Comput. Math. Appl. 68, No. 3, 325-352 (2014). MSC: 35Q35 65M06 68Q60 65G20 68T15 65M12 PDFBibTeX XMLCite \textit{S. Boldo} et al., Comput. Math. Appl. 68, No. 3, 325--352 (2014; Zbl 1369.35051) Full Text: DOI arXiv
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng \(\mathrm{LTL}_{f}\) satisfiability checking. (English) Zbl 1366.68177 Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 513-518 (2014). MSC: 68Q60 68Q25 PDFBibTeX XMLCite \textit{J. Li} et al., Front. Artif. Intell. Appl. 263, 513--518 (2014; Zbl 1366.68177) Full Text: arXiv Link
Bogomolov, Sergiy; Herrera, Christian; Muñiz, Marco; Westphal, Bernd; Podelski, Andreas Quasi-dependent variables in hybrid automata. (English) Zbl 1361.68118 Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 93-102 (2014). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{S. Bogomolov} et al., in: Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15--17, 2014. New York, NY: Association for Computing Machinery (ACM). 93--102 (2014; Zbl 1361.68118) Full Text: DOI Link
Chen, Taolue; Han, Tingting On the complexity of computing maximum entropy for Markovian models. (English) Zbl 1360.68501 Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 571-583 (2014). MSC: 68Q25 68P30 68Q60 68Q87 PDFBibTeX XMLCite \textit{T. Chen} and \textit{T. Han}, LIPIcs -- Leibniz Int. Proc. Inform. 29, 571--583 (2014; Zbl 1360.68501) Full Text: DOI
Raskin, Jean-François; Sankur, Ocan Multiple-environment Markov decision processes. (English) Zbl 1360.68598 Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 531-543 (2014). MSC: 68Q60 68N30 68Q87 90C40 PDFBibTeX XMLCite \textit{J.-F. Raskin} and \textit{O. Sankur}, LIPIcs -- Leibniz Int. Proc. Inform. 29, 531--543 (2014; Zbl 1360.68598) Full Text: DOI arXiv
Berkholz, Christoph; Elberfeld, Michael Parameterized complexity of fixed variable logics. (English) Zbl 1360.68491 Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 109-120 (2014). MSC: 68Q25 68Q15 68Q60 PDFBibTeX XMLCite \textit{C. Berkholz} and \textit{M. Elberfeld}, LIPIcs -- Leibniz Int. Proc. Inform. 29, 109--120 (2014; Zbl 1360.68491) Full Text: DOI
Esparza, Javier Keeping a crowd safe: on the complexity of parameterized verification (invited talk). (English) Zbl 1359.68189 Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 1-10 (2014). MSC: 68Q60 68Q25 68Q45 PDFBibTeX XMLCite \textit{J. Esparza}, LIPIcs -- Leibniz Int. Proc. Inform. 25, 1--10 (2014; Zbl 1359.68189) Full Text: DOI arXiv
Seref, Onur; Fan, Ya-Ju; Chaovalitwongse, Wanpracha Art Mathematical programming formulations and algorithms for discrete \(k\)-median clustering of time-series data. (English) Zbl 1356.62082 INFORMS J. Comput. 26, No. 1, 160-172 (2014). MSC: 62H30 62M10 90C11 PDFBibTeX XMLCite \textit{O. Seref} et al., INFORMS J. Comput. 26, No. 1, 160--172 (2014; Zbl 1356.62082) Full Text: DOI
Chen, Sheng; Erwig, Martin Type-based parametric analysis of program families. (English) Zbl 1345.68099 Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 39-51 (2014). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Chen} and \textit{M. Erwig}, in: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP '14, Gothenburg, Sweden, September 1--3, 2014. New York, NY: Association for Computing Machinery (ACM). 39--51 (2014; Zbl 1345.68099) Full Text: DOI
Calder, Muffy; Sevegnani, Michele Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. (English) Zbl 1342.68205 Formal Asp. Comput. 26, No. 3, 537-561 (2014). MSC: 68Q60 68M12 68Q87 68R10 PDFBibTeX XMLCite \textit{M. Calder} and \textit{M. Sevegnani}, Formal Asp. Comput. 26, No. 3, 537--561 (2014; Zbl 1342.68205) Full Text: DOI
Maisonneuve, Vivien; Hermant, Olivier; Irigoin, François Computing invariants with transformers: experimental scalability and accuracy. (English) Zbl 1337.68168 Simon, Axel (ed.) et al., Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 307, 17-31, electronic only (2014). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{V. Maisonneuve} et al., Electron. Notes Theor. Comput. Sci. 307, 17--31 (2014; Zbl 1337.68168) Full Text: DOI
Samanta, S.; Chattopadhyay, J. Effect of awareness program in disease outbreak – a slow-fast dynamics. (English) Zbl 1334.92366 Appl. Math. Comput. 237, 98-109 (2014). MSC: 92D25 PDFBibTeX XMLCite \textit{S. Samanta} and \textit{J. Chattopadhyay}, Appl. Math. Comput. 237, 98--109 (2014; Zbl 1334.92366) Full Text: DOI
Wu, Zhenke; Frangakis, Constantine E.; Louis, Thomas A.; Scharfstein, Daniel O. Estimation of treatment effects in matched-pair cluster randomized trials by calibrating covariate imbalance between clusters. (English) Zbl 1393.62108 Biometrics 70, No. 4, 1014-1022 (2014). MSC: 62P10 62D05 PDFBibTeX XMLCite \textit{Z. Wu} et al., Biometrics 70, No. 4, 1014--1022 (2014; Zbl 1393.62108) Full Text: DOI arXiv Link
Zhang, Yan; Sankaranarayanan, Sriram; Somenzi, Fabio Statistically sound verification and optimization for complex systems. (English) Zbl 1448.68322 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 411-427 (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y. Zhang} et al., Lect. Notes Comput. Sci. 8837, 411--427 (2014; Zbl 1448.68322) Full Text: DOI
Su, Guoxin; Rosenblum, David S. Nested reachability approximation for discrete-time Markov chains with univariate parameters. (English) Zbl 1448.68320 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 364-379 (2014). MSC: 68Q60 60J20 68Q87 PDFBibTeX XMLCite \textit{G. Su} and \textit{D. S. Rosenblum}, Lect. Notes Comput. Sci. 8837, 364--379 (2014; Zbl 1448.68320) Full Text: DOI
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz Verification of Markov decision processes using learning algorithms. (English) Zbl 1448.68290 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 98-114 (2014). MSC: 68Q60 68Q87 68T05 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 8837, 98--114 (2014; Zbl 1448.68290) Full Text: DOI arXiv
Mahdi, Ahmed; Fränzle, Martin Generalized Craig interpolation for stochastic satisfiability modulo theory problems. (English) Zbl 1448.68308 Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8762, 203-215 (2014). MSC: 68Q60 03C40 68Q45 68Q87 68R07 PDFBibTeX XMLCite \textit{A. Mahdi} and \textit{M. Fränzle}, Lect. Notes Comput. Sci. 8762, 203--215 (2014; Zbl 1448.68308) Full Text: DOI
Jovanović, Aleksandra; Kwiatkowska, Marta Parameter synthesis for probabilistic timed automata using stochastic game abstractions. (English) Zbl 1393.68095 Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11438-5/pbk). Lecture Notes in Computer Science 8762, 176-189 (2014). MSC: 68Q45 68Q60 68Q87 91A15 PDFBibTeX XMLCite \textit{A. Jovanović} and \textit{M. Kwiatkowska}, Lect. Notes Comput. Sci. 8762, 176--189 (2014; Zbl 1393.68095) Full Text: DOI
Haddad, Serge; Monmege, Benjamin Reachability in MDPs: refining convergence of value iteration. (English) Zbl 1393.68102 Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11438-5/pbk). Lecture Notes in Computer Science 8762, 125-137 (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{S. Haddad} and \textit{B. Monmege}, Lect. Notes Comput. Sci. 8762, 125--137 (2014; Zbl 1393.68102) Full Text: DOI HAL
Schmitz, Sylvain Complexity bounds for ordinal-based termination (invited talk). (English) Zbl 1448.68318 Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8762, 1-19 (2014). MSC: 68Q60 03F15 68Q25 PDFBibTeX XMLCite \textit{S. Schmitz}, Lect. Notes Comput. Sci. 8762, 1--19 (2014; Zbl 1448.68318) Full Text: DOI arXiv
Lucas, Salvador; Meseguer, José 2D dependency pairs for proving operational termination of CTRSs. (English) Zbl 1367.68145 Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 195-212 (2014). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 8663, 195--212 (2014; Zbl 1367.68145) Full Text: DOI
Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín Efficient analysis of probabilistic programs with an unbounded counter. (English) Zbl 1321.68186 J. ACM 61, No. 6, Article No. 41, 35 p. (2014). MSC: 68N30 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{T. Brázdil} et al., J. ACM 61, No. 6, Article No. 41, 35 p. (2014; Zbl 1321.68186) Full Text: DOI arXiv
Malkis, Alexander; Banerjee, Anindya On automation in the verification of software barriers: experience report. (English) Zbl 1314.68186 J. Autom. Reasoning 52, No. 3, 275-329 (2014). MSC: 68Q60 03B70 68T15 03B35 68W40 68Q55 68Q10 68W10 PDFBibTeX XMLCite \textit{A. Malkis} and \textit{A. Banerjee}, J. Autom. Reasoning 52, No. 3, 275--329 (2014; Zbl 1314.68186) Full Text: DOI
Schreiner, Wolfgang; Bérczes, Tamás; Sztrik, János Probabilistic model checking on HPC systems for the performance analysis of mobile networks. (English) Zbl 1324.68026 Ann. Math. Inform. 43, 123-144 (2014). MSC: 68M20 68Q60 PDFBibTeX XMLCite \textit{W. Schreiner} et al., Ann. Math. Inform. 43, 123--144 (2014; Zbl 1324.68026) Full Text: Link
Ko, Yoonseok; Heo, Kihong; Oh, Hakjoo A sparse evaluation technique for detailed semantic analyses. (English) Zbl 1308.68043 Comput. Lang. Syst. Struct. 40, No. 3-4, 99-111 (2014). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{Y. Ko} et al., Comput. Lang. Syst. Struct. 40, No. 3--4, 99--111 (2014; Zbl 1308.68043) Full Text: DOI
Hoang, T. S.; McIver, A. K.; Meinicke, L.; Morgan, C. C.; Sloane, A.; Susatyo, E. Abstractions of non-interference security: probabilistic versus possibilistic. (English) Zbl 1323.68212 Formal Asp. Comput. 26, No. 1, 169-194 (2014). MSC: 68N30 68Q87 PDFBibTeX XMLCite \textit{T. S. Hoang} et al., Formal Asp. Comput. 26, No. 1, 169--194 (2014; Zbl 1323.68212) Full Text: DOI
Lvov, M. S. A method of proving the invariance of linear inequalities for linear loops. (English. Russian original) Zbl 1323.68381 Cybern. Syst. Anal. 50, No. 4, 643-648 (2014); translation from Kibern. Sist. Anal. No. 4, 180-187 (2014). MSC: 68Q60 15A39 68N30 68W30 PDFBibTeX XMLCite \textit{M. S. Lvov}, Cybern. Syst. Anal. 50, No. 4, 643--648 (2014; Zbl 1323.68381); translation from Kibern. Sist. Anal. No. 4, 180--187 (2014) Full Text: DOI
McClintock, Brett T.; Bailey, Larissa L.; Dreher, Brian P.; Link, William A. Probit models for capture-recapture data subject to imperfect detection, individual heterogeneity and misidentification. (English) Zbl 1454.62364 Ann. Appl. Stat. 8, No. 4, 2461-2484 (2014). MSC: 62P10 PDFBibTeX XMLCite \textit{B. T. McClintock} et al., Ann. Appl. Stat. 8, No. 4, 2461--2484 (2014; Zbl 1454.62364) Full Text: DOI arXiv Euclid
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf Counterexample generation for discrete-time Markov models: an introductory survey. (English) Zbl 1445.68130 Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 65-121 (2014). MSC: 68Q60 60J22 68Q45 68Q87 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 8483, 65--121 (2014; Zbl 1445.68130) Full Text: DOI
Choi, Jiwoong; Choi, In-Chan Identifying redundancy in multi-dimensional knapsack constraints based on surrogate constraints. (English) Zbl 1309.90052 Int. J. Comput. Math. 91, No. 12, 2470-2482 (2014). MSC: 90C08 65K05 PDFBibTeX XMLCite \textit{J. Choi} and \textit{I.-C. Choi}, Int. J. Comput. Math. 91, No. 12, 2470--2482 (2014; Zbl 1309.90052) Full Text: DOI
Abdulla, Parosh Aziz; Clemente, Lorenzo; Mayr, Richard; Sandberg, Sven Stochastic parity games on lossy channel systems. (English) Zbl 1448.68282 Log. Methods Comput. Sci. 10, No. 4, Paper No. 21, 21 p. (2014). MSC: 68Q60 68Q87 91A15 91A43 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 21, 21 p. (2014; Zbl 1448.68282) Full Text: DOI
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin Stochastic timed automata. (English) Zbl 1448.68256 Log. Methods Comput. Sci. 10, No. 4, Paper No. 6, 73 p. (2014). MSC: 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{N. Bertrand} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 6, 73 p. (2014; Zbl 1448.68256) Full Text: DOI arXiv
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. Bisimulations and logical characterizations on continuous-time Markov decision processes. (English) Zbl 1428.68191 McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 98-117 (2014). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Lect. Notes Comput. Sci. 8318, 98--117 (2014; Zbl 1428.68191) Full Text: DOI arXiv
Kolesnichenko, Anna; Senni, Valerio; Pourranjabar, Alireza; Remke, Anne Applying mean-field approximation to continuous time Markov chains. (English) Zbl 1426.68011 Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 242-280 (2014). MSC: 68M10 60J27 68Q60 68Q87 PDFBibTeX XMLCite \textit{A. Kolesnichenko} et al., Lect. Notes Comput. Sci. 8453, 242--280 (2014; Zbl 1426.68011) Full Text: DOI Link
Dehnert, Christian; Gebler, Daniel; Volpato, Michele; Jansen, David N. On abstraction of probabilistic systems. (English) Zbl 1426.68167 Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 87-116 (2014). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Dehnert} et al., Lect. Notes Comput. Sci. 8453, 87--116 (2014; Zbl 1426.68167) Full Text: DOI
Naish, Lee; Søndergaard, Harald Truth versus information in logic programming. (English) Zbl 1302.68053 Theory Pract. Log. Program. 14, No. 6, 803-840 (2014). MSC: 68N17 03B50 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Naish} and \textit{H. Søndergaard}, Theory Pract. Log. Program. 14, No. 6, 803--840 (2014; Zbl 1302.68053) Full Text: DOI arXiv
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari Budget-bounded model-checking pushdown systems. (English) Zbl 1317.68106 Form. Methods Syst. Des. 45, No. 2, 273-301 (2014). MSC: 68Q60 68Q85 68Q25 68Q45 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Form. Methods Syst. Des. 45, No. 2, 273--301 (2014; Zbl 1317.68106) Full Text: DOI
Türker, Uraz Cengiz; Yenigün, Hüsnü Hardness and inapproximability of minimizing adaptive distinguishing sequences. (English) Zbl 1317.68125 Form. Methods Syst. Des. 44, No. 3, 264-294 (2014). MSC: 68Q60 68Q25 68Q45 PDFBibTeX XMLCite \textit{U. C. Türker} and \textit{H. Yenigün}, Form. Methods Syst. Des. 44, No. 3, 264--294 (2014; Zbl 1317.68125) Full Text: DOI
Lange, Martin; Lozes, Etienne; Vargas Guzmán, Manuel Model-checking process equivalences. (English) Zbl 1303.68085 Theor. Comput. Sci. 560, Part 3, 326-347 (2014). MSC: 68Q60 68Q25 68Q85 PDFBibTeX XMLCite \textit{M. Lange} et al., Theor. Comput. Sci. 560, Part 3, 326--347 (2014; Zbl 1303.68085) Full Text: DOI arXiv
Rollin, Yann; Tipler, Carl Deformations of extremal toric manifolds. (English) Zbl 1301.32016 J. Geom. Anal. 24, No. 4, 1929-1958 (2014). MSC: 32Q15 32Q26 53C55 14M25 PDFBibTeX XMLCite \textit{Y. Rollin} and \textit{C. Tipler}, J. Geom. Anal. 24, No. 4, 1929--1958 (2014; Zbl 1301.32016) Full Text: DOI arXiv
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej Maximizing entropy over Markov processes. (English) Zbl 1371.68175 J. Log. Algebr. Methods Program. 83, No. 5-6, 384-399 (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{F. Biondi} et al., J. Log. Algebr. Methods Program. 83, No. 5--6, 384--399 (2014; Zbl 1371.68175) Full Text: DOI
Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin On the complexity of symbolic verification and decision problems in bit-vector logic. (English) Zbl 1426.68127 Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8635, 481-492 (2014). MSC: 68Q25 03B25 03B70 68Q15 68Q17 68Q60 PDFBibTeX XMLCite \textit{G. Kovásznai} et al., Lect. Notes Comput. Sci. 8635, 481--492 (2014; Zbl 1426.68127) Full Text: DOI
Chen, Yijia; Müller, Moritz Bounded variable logic, parameterized logarithmic space, and Savitch’s theorem. (English) Zbl 1425.68141 Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part I. Berlin: Springer. Lect. Notes Comput. Sci. 8634, 183-195 (2014). MSC: 68Q25 03B10 03D15 68Q15 68Q60 PDFBibTeX XMLCite \textit{Y. Chen} and \textit{M. Müller}, Lect. Notes Comput. Sci. 8634, 183--195 (2014; Zbl 1425.68141) Full Text: DOI
Jansen, Christina; Noll, Thomas Generating abstract graph-based procedure summaries for pointer programs. (English) Zbl 1423.68100 Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 49-64 (2014). MSC: 68N30 68P05 68Q42 68Q60 PDFBibTeX XMLCite \textit{C. Jansen} and \textit{T. Noll}, Lect. Notes Comput. Sci. 8571, 49--64 (2014; Zbl 1423.68100) Full Text: DOI
Lee, Kyungsik; Kim, Norman; Jeong, Myong K. The sparse signomial classification and regression model. (English) Zbl 1381.62179 Ann. Oper. Res. 216, 257-286 (2014). MSC: 62H30 62G08 68T05 PDFBibTeX XMLCite \textit{K. Lee} et al., Ann. Oper. Res. 216, 257--286 (2014; Zbl 1381.62179) Full Text: DOI
Reichardt, Ben W. Span programs are equivalent to quantum query algorithms. (English) Zbl 1298.68093 SIAM J. Comput. 43, No. 3, 1206-1219 (2014). MSC: 68Q12 68Q05 81P68 68Q25 PDFBibTeX XMLCite \textit{B. W. Reichardt}, SIAM J. Comput. 43, No. 3, 1206--1219 (2014; Zbl 1298.68093) Full Text: DOI
Chakraborty, Souymodip; Katoen, Joost-Pieter Parametric LTL on Markov chains. (English) Zbl 1417.68099 Diaz, Josep (ed.) et al., Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8705, 207-221 (2014). MSC: 68Q60 03B44 68Q87 PDFBibTeX XMLCite \textit{S. Chakraborty} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 8705, 207--221 (2014; Zbl 1417.68099) Full Text: DOI arXiv
Lin, Anthony Widjaja; Zhou, Sanming A linear-time algorithm for the orbit problem over cyclic groups. (English) Zbl 1417.68137 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 327-341 (2014). MSC: 68Q85 20B40 68Q25 68Q60 PDFBibTeX XMLCite \textit{A. W. Lin} and \textit{S. Zhou}, Lect. Notes Comput. Sci. 8704, 327--341 (2014; Zbl 1417.68137) Full Text: DOI
Chen, Taolue; Feng, Yuan; Rosenblum, David S.; Su, Guoxin Perturbation analysis in verification of discrete-time Markov chains. (English) Zbl 1417.68100 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 218-233 (2014). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{T. Chen} et al., Lect. Notes Comput. Sci. 8704, 218--233 (2014; Zbl 1417.68100) Full Text: DOI Link
Chatterjee, Krishnendu; Henzinger, Monika Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. (English) Zbl 1295.91019 J. ACM 61, No. 3, Article No. 15, 40 p. (2014). MSC: 91A43 05C85 68Q60 68Q87 68R10 91A10 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{M. Henzinger}, J. ACM 61, No. 3, Article No. 15, 40 p. (2014; Zbl 1295.91019) Full Text: DOI
Kim, Deok-Soo; Cho, Youngsong; Kim, Jae-Kwan; Ryu, Joonghyun; Lee, Mokwon; Cha, Jehyun; Song, Chanyoung BULL! – the molecular geometry engine based on Voronoi diagram, quasi-triangulation, and beta-complex. (English) Zbl 1434.65010 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 206-213 (2014). MSC: 65-04 65D18 68U05 PDFBibTeX XMLCite \textit{D.-S. Kim} et al., Lect. Notes Comput. Sci. 8592, 206--213 (2014; Zbl 1434.65010) Full Text: DOI
Basin, David; Cotrini Jiménez, Carlos; Klaedtke, Felix; Zălinescu, Eugen Deciding safety and liveness in TPTL. (English) Zbl 1371.68101 Inf. Process. Lett. 114, No. 12, 680-688 (2014). MSC: 68Q25 03B44 68Q60 PDFBibTeX XMLCite \textit{D. Basin} et al., Inf. Process. Lett. 114, No. 12, 680--688 (2014; Zbl 1371.68101) Full Text: DOI
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd Minimal counterexamples for linear-time probabilistic verification. (English) Zbl 1360.68604 Theor. Comput. Sci. 549, 61-100 (2014). MSC: 68Q60 60J20 68Q87 90C11 90C40 PDFBibTeX XMLCite \textit{R. Wimmer} et al., Theor. Comput. Sci. 549, 61--100 (2014; Zbl 1360.68604) Full Text: DOI
Zhao, Yongxin; Xiao, Hao; Wang, Zheng; Pu, Geguang; Su, Ting The semantics and verification of timed service choreography. (English) Zbl 1373.68127 Int. J. Comput. Math. 91, No. 3, 384-402 (2014). MSC: 68M14 68M11 68Q55 68Q60 PDFBibTeX XMLCite \textit{Y. Zhao} et al., Int. J. Comput. Math. 91, No. 3, 384--402 (2014; Zbl 1373.68127) Full Text: DOI
Lok, Y. Y.; Pop, I. Stretching or shrinking sheet problem for unsteady separated stagnation-point flow. (English) Zbl 1361.76010 Meccanica 49, No. 6, 1479-1492 (2014). MSC: 76D10 76M55 76M25 PDFBibTeX XMLCite \textit{Y. Y. Lok} and \textit{I. Pop}, Meccanica 49, No. 6, 1479--1492 (2014; Zbl 1361.76010) Full Text: DOI
Fijalkow, Nathanaël; Zimmermann, Martin Parity and Streett games with costs. (English) Zbl 1335.68137 Log. Methods Comput. Sci. 10, No. 2, Paper No. 14, 29 p. (2014). MSC: 68Q60 03D05 68Q25 68Q45 91A43 91A05 PDFBibTeX XMLCite \textit{N. Fijalkow} and \textit{M. Zimmermann}, Log. Methods Comput. Sci. 10, No. 2, Paper No. 14, 29 p. (2014; Zbl 1335.68137) Full Text: DOI arXiv
Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie Specification theories for probabilistic and real-time systems. (English) Zbl 1416.68112 Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8415, 98-117 (2014). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{U. Fahrenberg} et al., Lect. Notes Comput. Sci. 8415, 98--117 (2014; Zbl 1416.68112) Full Text: DOI
Choi, Kwanghoon; Chang, Byeong-Mo A type and effect system for activation flow of components in Android programs. (English) Zbl 1366.68020 Inf. Process. Lett. 114, No. 11, 620-627 (2014). MSC: 68N25 68Q55 PDFBibTeX XMLCite \textit{K. Choi} and \textit{B.-M. Chang}, Inf. Process. Lett. 114, No. 11, 620--627 (2014; Zbl 1366.68020) Full Text: DOI
Kelter, Timon; Falk, Heiko; Marwedel, Peter; Chattopadhyay, Sudipta; Roychoudhury, Abhik Static analysis of multi-core TDMA resource arbitration delays. (English) Zbl 1291.68085 Real-Time Syst. 50, No. 2, 185-229 (2014). MSC: 68M20 PDFBibTeX XMLCite \textit{T. Kelter} et al., Real-Time Syst. 50, No. 2, 185--229 (2014; Zbl 1291.68085) Full Text: DOI
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha; Leuschner, Linda Energy-utility analysis for resilient systems using probabilistic model checking. (English) Zbl 1407.68280 Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 20-39 (2014). MSC: 68Q60 60J20 68M20 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 8489, 20--39 (2014; Zbl 1407.68280) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent Games with a weak adversary. (English) Zbl 1409.68169 Esparza, Javier (ed.) et al., Automata, languages, and programming. 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8573, 110-121 (2014). MSC: 68Q60 68Q25 68Q45 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{L. Doyen}, Lect. Notes Comput. Sci. 8573, 110--121 (2014; Zbl 1409.68169) Full Text: DOI arXiv
White, Paul-James \(p\)-adic Langlands functoriality for the definite unitary group. (English) Zbl 1297.22007 J. Reine Angew. Math. 691, 1-27 (2014). Reviewer: Min Ho Lee (Cedar Falls) MSC: 22E35 22E57 11S37 PDFBibTeX XMLCite \textit{P.-J. White}, J. Reine Angew. Math. 691, 1--27 (2014; Zbl 1297.22007) Full Text: DOI arXiv
Yu, Fang; Alkhalaf, Muath; Bultan, Tevfik; Ibarra, Oscar H. Automata-based symbolic string analysis for vulnerability detection. (English) Zbl 1291.68272 Form. Methods Syst. Des. 44, No. 1, 44-70 (2014). MSC: 68Q60 68Q45 68M11 PDFBibTeX XMLCite \textit{F. Yu} et al., Form. Methods Syst. Des. 44, No. 1, 44--70 (2014; Zbl 1291.68272) Full Text: DOI
Duarte, Elisa; De Sousa, Bruno; Cadarso-Suarez, Carmen; Rodrigues, Vitor; Kneib, Thomas Structured additive regression modeling of age of menarche and menopause in a breast cancer screening program. (English) Zbl 1441.62333 Biom. J. 56, No. 3, 416-427 (2014). MSC: 62P10 PDFBibTeX XMLCite \textit{E. Duarte} et al., Biom. J. 56, No. 3, 416--427 (2014; Zbl 1441.62333) Full Text: DOI
Casagrande, A.; Dreossi, T.; Fabriková, J.; Piazza, C. \(\epsilon\)-semantics computations on biological systems. (English) Zbl 1312.68127 Inf. Comput. 236, 35-51 (2014). MSC: 68Q55 68Q45 68Q60 92C42 PDFBibTeX XMLCite \textit{A. Casagrande} et al., Inf. Comput. 236, 35--51 (2014; Zbl 1312.68127) Full Text: DOI
Klebanov, Vladimir Precise quantitative information flow analysis – a symbolic approach. (English) Zbl 1359.68195 Theor. Comput. Sci. 538, 124-139 (2014). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{V. Klebanov}, Theor. Comput. Sci. 538, 124--139 (2014; Zbl 1359.68195) Full Text: DOI
Hansen, Henri; Timmer, Mark A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. (English) Zbl 1359.68194 Theor. Comput. Sci. 538, 103-123 (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{H. Hansen} and \textit{M. Timmer}, Theor. Comput. Sci. 538, 103--123 (2014; Zbl 1359.68194) Full Text: DOI
Giro, Sergio; D’Argenio, Pedro R.; Ferrer Fioriti, Luis María Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms. (English) Zbl 1359.68168 Theor. Comput. Sci. 538, 84-102 (2014). MSC: 68Q45 68Q10 68Q60 68Q87 PDFBibTeX XMLCite \textit{S. Giro} et al., Theor. Comput. Sci. 538, 84--102 (2014; Zbl 1359.68168) Full Text: DOI
Giro, Sergio Optimal schedulers vs optimal bases: an approach for efficient exact solving of Markov decision processes. (English) Zbl 1359.68193 Theor. Comput. Sci. 538, 70-83 (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{S. Giro}, Theor. Comput. Sci. 538, 70--83 (2014; Zbl 1359.68193) Full Text: DOI
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014). MSC: 68Q60 60J20 60J25 68M20 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 8464, 96--123 (2014; Zbl 1407.68279) Full Text: DOI
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. (English) Zbl 1407.68275 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 40-58 (2014). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{A. Abate} et al., Lect. Notes Comput. Sci. 8464, 40--58 (2014; Zbl 1407.68275) Full Text: DOI
Fraczak, Wojciech; Georgiadis, Loukas; Miller, Andrew; Tarjan, Robert E. Corrections to “Finding dominators via disjoint set union”. (English) Zbl 1294.05147 J. Discrete Algorithms 26, 106-110 (2014). MSC: 05C85 05C20 05C69 68P05 68Q25 PDFBibTeX XMLCite \textit{W. Fraczak} et al., J. Discrete Algorithms 26, 106--110 (2014; Zbl 1294.05147) Full Text: DOI
Naish, Lee Transforming floundering into success. (English) Zbl 1295.68058 Theory Pract. Log. Program. 14, No. 2, 215-238 (2014). Reviewer: Alberto Pettorossi (Roma) MSC: 68N17 PDFBibTeX XMLCite \textit{L. Naish}, Theory Pract. Log. Program. 14, No. 2, 215--238 (2014; Zbl 1295.68058) Full Text: DOI arXiv
D’Argenio, Pedro R.; Gebler, Daniel; Lee, Matias David Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules. (English) Zbl 1405.68182 Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 289-303 (2014). MSC: 68Q60 68Q55 68Q85 68Q87 PDFBibTeX XMLCite \textit{P. R. D'Argenio} et al., Lect. Notes Comput. Sci. 8412, 289--303 (2014; Zbl 1405.68182) Full Text: DOI
Tsukada, Takeshi; Kobayashi, Naoki Complexity of model-checking call-by-value programs. (English) Zbl 1405.68189 Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 180-194 (2014). MSC: 68Q60 68N18 68Q17 68Q25 PDFBibTeX XMLCite \textit{T. Tsukada} and \textit{N. Kobayashi}, Lect. Notes Comput. Sci. 8412, 180--194 (2014; Zbl 1405.68189) Full Text: DOI
Bertrand, Nathalie; Fabre, Éric; Haar, Stefan; Haddad, Serge; Hélouët, Loïc Active diagnosis for probabilistic systems. (English) Zbl 1405.68223 Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 29-42 (2014). MSC: 68Q87 68Q25 68Q60 68Q85 PDFBibTeX XMLCite \textit{N. Bertrand} et al., Lect. Notes Comput. Sci. 8412, 29--42 (2014; Zbl 1405.68223) Full Text: DOI
Chen, Hubie On the complexity of existential positive queries. (English) Zbl 1288.68161 ACM Trans. Comput. Log. 15, No. 1, Article No. 9, 20 p. (2014). MSC: 68Q60 03B20 68Q17 68Q25 PDFBibTeX XMLCite \textit{H. Chen}, ACM Trans. Comput. Log. 15, No. 1, Article No. 9, 20 p. (2014; Zbl 1288.68161) Full Text: DOI arXiv Link
Benton, Nick; Hofmann, Martin; Nigam, Vivek Abstract effects and proof-relevant logical relations. (English) Zbl 1284.68371 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 619-631 (2014). MSC: 68Q55 68Q60 03B70 PDFBibTeX XMLCite \textit{N. Benton} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 619--631 (2014; Zbl 1284.68371) Full Text: DOI arXiv
Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Symbolic optimization with SMT solvers. (English) Zbl 1284.68410 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 607-618 (2014). MSC: 68Q60 68N30 68T20 68W05 90C99 PDFBibTeX XMLCite \textit{Y. Li} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 607--618 (2014; Zbl 1284.68410) Full Text: DOI
Zhang, Danfeng; Myers, Andrew C. Toward general diagnosis of static errors. (English) Zbl 1284.68141 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 569-581 (2014). MSC: 68N18 68N30 68N20 68Q60 PDFBibTeX XMLCite \textit{D. Zhang} and \textit{A. C. Myers}, in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 569--581 (2014; Zbl 1284.68141) Full Text: DOI
Chaudhuri, Swarat; Farzan, Azadeh; Kincaid, Zachary Consistency analysis of decision-making programs. (English) Zbl 1284.68386 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 555-567 (2014). MSC: 68Q60 68N30 68M15 68U05 PDFBibTeX XMLCite \textit{S. Chaudhuri} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 555--567 (2014; Zbl 1284.68386) Full Text: DOI Link
Sergey, Ilya; Vytiniotis, Dimitrios; Peyton Jones, Simon Modular, higher-order cardinality analysis in theory and practice. (English) Zbl 1284.68151 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 335-347 (2014). MSC: 68N20 68N18 03B70 PDFBibTeX XMLCite \textit{I. Sergey} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 335--347 (2014; Zbl 1284.68151) Full Text: DOI Link