Items where authors include "Fang, Xinwei"

Export as [feed] Atom [feed] RSS
Number of items: 7.


Fang, Xinwei and Bate, Iain John (2020) An Improved Sensor Calibration with Anomaly Detection and Removal. SENSORS AND ACTUATORS B-CHEMICAL. 127428. ISSN 0925-4005

Proceedings Paper

Fang, Xinwei, Calinescu, Radu, Paterson, Colin et al. (1 more author) (2022) PRESTO: Predicting System-level Disruptions through Parametric Model Checking. In: 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. UNSPECIFIED. . (In Press)

Gerasimou, Simos, Camara Moreno, Javier, Calinescu, Radu et al. (3 more authors) (2021) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. .

Fang, Xinwei, Bate, Iain John and Griffin, David Jack (2021) Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors. In: Science and Technologies for Smart Cities:6th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2020, Proceedings. UNSPECIFIED. Springer , LNICST , pp. 442-461.

Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos et al. (1 more author) (2021) Fast Parametric Model Checking through Model Fragmentation. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). UNSPECIFIED. ACM .

Johnson, Nikita Laura and Fang, Xinwei (2019) Three Reasons Why: Framing the Challenges of Assuring AI. In: Three Reasons Why: Framing the Challenges of Assuring AI. UNSPECIFIED. .

Fang, Xinwei and Bate, Iain John (2017) Issues of using wireless sensor network to monitor urban air quality. In: International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). UNSPECIFIED. ACM .

This list was generated on Sat Nov 26 11:37:42 2022 GMT.