A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals

von Mamouras, Konstantinos
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

von Mamouras, Konstantinos
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

Dual-Motor Hybrid Dedicated Transmission Based on P1/P3 Architecture

von Tao, Jiayu
Veröffentlicht in Proceedings of China SAE Congress 2020: selected papers ; Volume 2 (2022)