{"id":3104,"date":"2020-07-31T16:28:24","date_gmt":"2020-07-31T08:28:24","guid":{"rendered":"https:\/\/www.fst.um.edu.mo\/personal\/?page_id=3104"},"modified":"2020-08-18T16:55:56","modified_gmt":"2020-08-18T08:55:56","slug":"publication","status":"publish","type":"page","link":"https:\/\/www.fst.um.edu.mo\/personal\/qwxu\/publication\/","title":{"rendered":"Publication &#8211; Qiwen XU, DPhil."},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"3104\" class=\"elementor elementor-3104\" data-elementor-post-type=\"page\">\n\t\t\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-f660d2b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f660d2b\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-89483e6\" data-id=\"89483e6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-2ac3edd elementor-widget elementor-widget-image\" data-id=\"2ac3edd\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"946\" height=\"121\" src=\"https:\/\/www.fst.um.edu.mo\/personal\/wp-content\/uploads\/2020\/07\/FST-logo-x2-1.png\" class=\"attachment-full size-full wp-image-2909\" alt=\"\" srcset=\"https:\/\/www.fst.um.edu.mo\/personal\/wp-content\/uploads\/2020\/07\/FST-logo-x2-1.png 946w, https:\/\/www.fst.um.edu.mo\/personal\/wp-content\/uploads\/2020\/07\/FST-logo-x2-1-300x38.png 300w, https:\/\/www.fst.um.edu.mo\/personal\/wp-content\/uploads\/2020\/07\/FST-logo-x2-1-768x98.png 768w\" sizes=\"(max-width: 946px) 100vw, 946px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-2772fb1\" data-id=\"2772fb1\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-9db6823 elementor-hidden-tablet elementor-hidden-phone elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"9db6823\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-16 elementor-top-column elementor-element elementor-element-b94a1cc\" data-id=\"b94a1cc\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-31a1902 elementor-widget elementor-widget-spacer\" data-id=\"31a1902\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-16 elementor-top-column elementor-element elementor-element-f23860f\" data-id=\"f23860f\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-c5ad220 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"c5ad220\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qwxu\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">HOME<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-16 elementor-top-column elementor-element elementor-element-75c2268\" data-id=\"75c2268\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-98cbfc5 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"98cbfc5\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qwxu\/biography\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">BIOGRAPHY<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-16 elementor-top-column elementor-element elementor-element-4908514\" data-id=\"4908514\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-8b55e8b elementor-align-center elementor-widget elementor-widget-button\" data-id=\"8b55e8b\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qwxu\/research\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">RESEARCH<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-16 elementor-top-column elementor-element elementor-element-4f5c919\" data-id=\"4f5c919\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3c625d7 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"3c625d7\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qwxu\/publication\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">PUBLICATIONS<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-16 elementor-top-column elementor-element elementor-element-c57c539\" data-id=\"c57c539\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-013623d elementor-align-center elementor-widget elementor-widget-button\" data-id=\"013623d\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qwxu\/misc\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">MISC<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-4954e11 elementor-hidden-desktop elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4954e11\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-20 elementor-top-column elementor-element elementor-element-70fecb9\" data-id=\"70fecb9\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-c3358b8 elementor-align-center elementor-tablet-align-justify elementor-widget elementor-widget-button\" data-id=\"c3358b8\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qiwenxu\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">HOME<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-20 elementor-top-column elementor-element elementor-element-6081fc8\" data-id=\"6081fc8\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-02fab00 elementor-align-center elementor-tablet-align-justify elementor-widget elementor-widget-button\" data-id=\"02fab00\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qiwenxu\/biography\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">BIOGRAPHY<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-20 elementor-top-column elementor-element elementor-element-8f1a293\" data-id=\"8f1a293\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-45c2a75 elementor-align-center elementor-tablet-align-justify elementor-widget elementor-widget-button\" data-id=\"45c2a75\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qiwenxu\/research\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">RESEARCH<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-20 elementor-top-column elementor-element elementor-element-04e24b0\" data-id=\"04e24b0\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3b4baa5 elementor-align-center elementor-tablet-align-justify elementor-widget elementor-widget-button\" data-id=\"3b4baa5\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qiwenxu\/publication\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">PUBLICATIONS<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-20 elementor-top-column elementor-element elementor-element-27a224f\" data-id=\"27a224f\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4d2548e elementor-align-center elementor-tablet-align-justify elementor-widget elementor-widget-button\" data-id=\"4d2548e\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/www.fst.um.edu.mo\/personal\/qiwenxu\/misc\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">MISC<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-327863a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"327863a\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-b7a6158\" data-id=\"b7a6158\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7424cfe elementor-widget elementor-widget-text-editor\" data-id=\"7424cfe\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4 style=\"color: #154dc4\">Selected Publications<\/h4><ul><li style=\"list-style-type: none\"><ul><li>The Rely\/Guarantee Approach to Verifying Concurrent BPEL Programs.<br \/>(With Huibiao Zhu, Chris Ma, Shengchao Qin, and Zongyan Qi).\u00a0<br \/>In Proceedings of the 10th International Conference on Software Engineering\u00a0 and Formal Methods. Greece, 1-5 October, LNCS 7504, Springer-Verlag, 2012.<\/li><li><a href=\"https:\/\/www.fst.um.edu.mo\/en\/staff\/documents\/fstqx\/RateMonotonic.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Rate Monotonic Scheduling Re-analysed<\/a>. (with N. Zhan). Information Processing Letters 110 (2010) 226-231. Elsevier.<\/li><li><a href=\"https:\/\/www.fst.um.edu.mo\/en\/staff\/documents\/fstqx\/FormalisingScheduling.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Formalising Scheduling Theories in Duration Calculus<\/a>\u00a0(with Zhan Jaijun). Nordic Journal of Computing 14(2008) 172-201.<\/li><li>QRDChecker\uff1a\u4e00\u4e2aQRDC\u6a21\u578b\u68c0\u9a8c\u5de5\u5177 (with Yu Pei, Xuandong Li, Guoliang Zheng). \u8f6f\u4ef6\u5b66\u62a516 (3):355-364 ,2005<\/li><li><a href=\"https:\/\/www.fst.um.edu.mo\/en\/staff\/documents\/fstqx\/CompletenessInfinite.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Completeness of temporal logics over infinite intervals<\/a>\u00a0(with Hanpin Wang).\u00a0<em>Discrete Applied Mathematics\u00a0<\/em>136(1): 87-103 (2004), Elsevier.<\/li><li><a href=\"https:\/\/www.fst.um.edu.mo\/en\/staff\/documents\/fstqx\/CheckingInterval.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Checking Interval Based Properties for Reactive Systems<\/a>\u00a0(with Yu Pei).\u00a0<em>In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation<\/em>. Venice, Italy. LNCS 2937, Springer-Verlag, 2004.<\/li><li><a href=\"https:\/\/www.fst.um.edu.mo\/en\/staff\/documents\/fstqx\/AdvancedDurational.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs<\/a>\u00a0(with Jifeng He).\u00a0<em>Formal Aspects of Computing\u00a0<\/em>15(1): 84-99(2003), Springer-Verlag.<\/li><\/ul><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<footer data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-821d8c4 elementor-section-content-bottom elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"821d8c4\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-bfa27a4\" data-id=\"bfa27a4\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-49599b7 elementor-widget elementor-widget-text-editor\" data-id=\"49599b7\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tCopyright \u00a92020 Qiwen XU\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/footer>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>HOME BIOGRAPHY RESEARCH PUBLICATIONS MISC HOME BIOGRAPHY RESEARCH PUBLICATIONS MISC Selected Publications The Rely\/Guarantee Approach to Verifying Concurrent BPEL Programs.(With Huibiao Zhu, Chris Ma, Shengchao Qin, and Zongyan Qi).\u00a0In Proceedings of the 10th International Conference on Software Engineering\u00a0 and Formal Methods. Greece, 1-5 October, LNCS 7504, Springer-Verlag, 2012. Rate Monotonic Scheduling Re-analysed. (with N. Zhan). &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/www.fst.um.edu.mo\/personal\/qwxu\/publication\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Publication &#8211; Qiwen XU, DPhil.&#8221;<\/span><\/a><\/p>\n","protected":false},"author":119,"featured_media":0,"parent":3074,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_canvas","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-3104","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/pages\/3104","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/users\/119"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/comments?post=3104"}],"version-history":[{"count":4,"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/pages\/3104\/revisions"}],"predecessor-version":[{"id":3955,"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/pages\/3104\/revisions\/3955"}],"up":[{"embeddable":true,"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/pages\/3074"}],"wp:attachment":[{"href":"https:\/\/www.fst.um.edu.mo\/personal\/wp-json\/wp\/v2\/media?parent=3104"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}