Items where Author / Artist / Editor is "Chen, Taolue"

Article

Zhou, Yu, Tong, Yanxiang, Chen, Taolue and Han, Jin (2017) Augmenting bug localization with part-of-speech and invocation. International Journal of Software Engineering and Knowledge Engineering, 27 (06) . pp. 925-949. ISSN 0128-1940 [Article] (doi:10.1142/s0218194017500346)

Martin, Barnaby, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Martin, Jos (2017) The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics, 225 . pp. 136-142. ISSN 0166-218X [Article] (doi:10.1016/j.dam.2017.03.013)

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4) . pp. 679-703. ISSN 0039-3215 [Article] (doi:10.1007/s11225-015-9621-4)

Su, Guoxin, Feng, Yuan, Chen, Taolue and Rosenblum, David S. (2016) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering, 42 (7) . pp. 623-639. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2015.2508444)

Chen, Taolue, Fokkink, Wan and Van Glabbeek, Rob J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science, 11 (3) . pp. 1-30. ISSN 1860-5974 [Article] (doi:10.2168/LMCS-11(3:17)2015)

Chen, Taolue, Yu, Nengkun and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters, 115 (1) . pp. 11-14. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2014.08.004)

Chen, Taolue, Diciolla, Marco, Kwiatkowska, Marta Z. and Mereacre, Alexandru (2014) Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation, 236 . pp. 87-101. ISSN 0890-5401 [Article] (doi:10.1016/j.ic.2014.01.014)

Chen, Taolue, Forejt, Vojtěch, Kwiatkowska, Marta, Parker, David and Simaitis, Aistis (2013) Automatic verification of competitive stochastic systems. Formal Methods in System Design, 43 (1) . pp. 61-92. ISSN 0925-9856 [Article] (doi:10.1007/s10703-013-0183-7)

Aceto, Luca, Chen, Taolue, Ingolfsdottir, Anna, Luttik, Bas and Van de Pol, Jaco (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28) . pp. 3035-3044. ISSN 0304-3975 [Article] (doi:10.1016/j.tcs.2011.02.033)

Chen, Taolue, Han, Tingting, Katoen, Joost-Pieter, Mereacre, Alexandru and Jagadeesan, Radha (2011) Model checking of continuous-time Markov chains against timed automata specifications. Logical Methods in Computer Science, 7 (1) . ISSN 1860-5974 [Article] (doi:10.2168/LMCS-7(1:12)2011)

Chen, Taolue, Fokkink, Wan and Van Glabbeek, Rob (2008) Ready to preorder: the case of weak process semantics. Information Processing Letters, 109 (2) . pp. 104-111. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2008.09.003)

Chen, Taolue, Fokkink, Wan, Luttik, Bas and Nain, Sumit (2008) On finite alphabets and infinite bases. Information and Computation, 206 (5) . pp. 492-519. ISSN 0890-5401 [Article] (doi:10.1016/j.ic.2007.09.003)

Conference or Workshop Item

Zhou, Yu, Gu, Ruihang, Chen, Taolue, Huang, Zhiqiu, Panichella, Sebastiano and Gall, Harald C. (2017) Analyzing APIs documentation and code to detect directive defects. ICSE '17: Proceedings of the 39th International Conference on Software Engineering. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina. ISBN 9781538638682. ISSN 1558-1225 [Conference or Workshop Item] (doi:10.1109/ICSE.2017.11)

Su, Guoxin, Chen, Taolue, Feng, Yuan and Rosenblum, David S. (2017) ProEva: runtime proactive performance evaluation based on continuous-time markov chains. ICSE '17 Proceedings of the 39th International Conference on Software Engineering. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina. ISBN 9781538638682. ISSN 1558-1225 [Conference or Workshop Item] (doi:10.1109/ICSE.2017.51)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2017) A proof-theoretic trust and reputation model for VANET. 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France. ISBN 9781538622445. [Conference or Workshop Item] (doi:10.1109/EuroSPW.2017.64)

Chen, Taolue, Song, Fu and Wu, Zhilin (2017) Formal reasoning on infinite data values: an ongoing quest. Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China. ISBN 9783319568409. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-56841-6_6)

Chen, Taolue, Han, Tingting, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Nemli, Ibrahim and Probst, Christian (2016) Model based analysis of insider threats. Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security). In: 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), 13-14 Jun 2016, London, United Kingdom. ISBN 978-1-5090-0709-7. [Conference or Workshop Item] (doi:10.1109/CyberSecPODS.2016.7502350)

Chen, Taolue, Song, Fu and Wu, Zhilin (2016) Verifying pushdown multi-agent systems against strategy logics. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). In: IJCAI 2016: 25th International Joint Conferences on Artificial Intelligence (IJCAI), 09-15 Jul 2016, New York, New York, USA. ISBN 9781577357704 (volumes 1-3), 9781577357711 (volumes 4-6). [Conference or Workshop Item]

Gu, Xincai, Chen, Taolue and Wu, Zhilin (2016) A complete decision procedure for linearly compositional separation logic with data constraints. Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal. ISBN 9783319402284. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-40229-1_36)

Su, Guoxin, Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Thiagarajan, P. S. (2016) An iterative decision-making scheme for Markov decision processes and its application to self-adaptive systems. Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. In: 19th International Conference Fundamental Approaches to Software Engineering (FASE 2016), 02-08 Apr 2016, Eindhoven, The Netherlands. pbk-ISBN 9783662496640, e-ISBN 9783662496657. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-662-49665-7_16)

Chen, Taolue, Song, Fu and Wu, Zhilin (2016) Global model checking on pushdown multi-agent systems. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). In: Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), 12-17 Feb 2016, Phoenix, Arizona, USA. . [Conference or Workshop Item]

Tong, Yanxiang, Zhou, Yu, Fang, Lisheng and Chen, Taolue (2015) Towards a novel approach for defect localization based on part-of-speech and invocation. Internetware '15: Proceedings of the 7th Asia-Pacific Symposium on Internetware. In: Internetware 2015: 7th Asia-Pacific Symposium on Internetware, 06 Nov 2016, Wuhan, China. ISBN 978-1-4503-3641-3. [Conference or Workshop Item] (doi:10.1145/2875913.2875919)

Gu, Jiayi, Zhou, Yu, Wu, Weigang and Chen, Taolue (2015) Analyzing eventual leader election protocols for dynamic systems by probabilistic model checking. Cloud Computing and Security: First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers. In: First International Conference on Cloud Computing and Security (ICCCS 2015), 13-15 Aug 2015, Nanjing, China. ISBN 9783319270500. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-27051-7_17)

Chen, Taolue, Song, Fu and Wu, Zhilin (2015) On the satisfiability of indexed linear temporal logics. 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015. In: 26th International Conference on Concurrency Theory, CONCUR 2015, 1-4 Sept 2015, Madrid, Spain. ISBN 9783939897910. ISSN 1868-8969 [Conference or Workshop Item] (doi:10.4230/LIPIcs.CONCUR.2015.254)

Chen, Taolue, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Nemli, Ibrahim and Probst, Christian (2015) A probabilistic analysis framework for malicious insider threats. Human Aspects of Information Security, Privacy, and Trust: Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings. In: 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015, held as part of HCI International 2015, 2-7 Aug 2015, Los Angeles, California, USA. ISBN 9783319203751. ISSN 0302-9743 [Conference or Workshop Item]

Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Su, Guoxin (2014) Perturbation analysis in verification of discrete-time Markov chains. CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. In: 25th Conference on Concurrency Theory (CONCUR 2014), 2-5 Sept 2014, Rome, Italy. ISBN 9783662445839. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-662-44584-6_16)

Chen, Taolue and Kiefer, Stefan (2014) On the total variation distance of labelled Markov chains. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria. ISBN 9781450328869. [Conference or Workshop Item] (doi:10.1145/2603088.2603099)

Chen, Taolue and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian models. 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, 15-17 Dec 2014, New Delhi, India. ISBN 9783939897774. ISSN 1868-8969 [Conference or Workshop Item]