Publications

2025

  1. Dong, X., & Yi, W. (2025). Utilization-Based Safety Aware Scheduling of Mixed-Criticality Real-Time System With Gradual Performance Degradation. IEEE Access, 13, 169220–169235. https://doi.org/10.1109/ACCESS.2024.3404818
  2. Luo, X., Jiang, X., Tang, Y., Liang, H., Guan, N., & Yi, W. (2025). Analysis and optimization of communication delay in multi-subscriber environments of ROS 2. J. Syst. Archit., 164, 103428. https://doi.org/10.1016/J.SYSARC.2025.103428
  3. Liang, H., Jiang, X., Liu, J., Luo, X., Liu, S., Guan, N., & Yi, W. (2025). New Scheduling Algorithm and Analysis for Partitioned Periodic DAG Tasks on Multiprocessors. IEEE Trans. Parallel Distributed Syst., 36(12), 2621–2634. https://doi.org/10.1109/TPDS.2025.3611446
  4. Graf, S., Jonsson, B., Khodabandeloo, B., Huang, C., Huber, N., Rümmer, P., & Yi, W. (2025). Timing is All You Need. In M. Hinchey & B. Steffen (Eds.), The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Vol. 15240, pp. 259–279). Springer. https://doi.org/10.1007/978-3-031-73887-6_18
  5. Huang, C., Khodabandeloo, B., Nguyen, D. A., Yi, W., An, J., & Zhenya, Z. (2025). Causality Monitoring for MIMOS. In N. Bertrand, C. Dubslaff, & S. Klüppelholz (Eds.), Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday (Vol. 15760, pp. 284–300). Springer. https://doi.org/10.1007/978-3-031-97439-7_14
  6. Huber, N., Graf, S., Rümmer, P., & Yi, W. (2025). Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. In C. D. Giusto & A. Ravara (Eds.), Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings (Vol. 15731, pp. 90–113). Springer. https://doi.org/10.1007/978-3-031-95589-1_5
  7. Huber, N., Graf, S., Rümmer, P., & Yi, W. (2025). Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. CoRR, abs/2503.02557. https://doi.org/10.48550/ARXIV.2503.02557
  8. Liu, J., Jiang, X., Mu, Y., Yi, W., & Guan, N. (2025). Exploring Busy Period for Worst-Case Deadline Failure Probability Analysis. CoRR, abs/2509.10479. https://doi.org/10.48550/ARXIV.2509.10479
  9. Huber, N., Graf, S., Rümmer, P., & Yi, W. (2025). Compiling the Mimosa programming language to RTOS tasks. CoRR, abs/2510.20547. https://doi.org/10.48550/ARXIV.2510.20547

2024

  1. Tang, Y., Jiang, X., Guan, N., Luo, X., Yang, M., & Yi, W. (2024). Timing analysis of processing chains with data refreshing in ROS 2. J. Syst. Archit., 155, 103259. https://doi.org/10.1016/J.SYSARC.2024.103259
  2. Liu, S., Jiang, X., Guan, N., Wang, Z., Yu, M., & Yi, W. (2024). RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43(9), 2578–2591. https://doi.org/10.1109/TCAD.2024.3380551
  3. Pang, W., Jiang, X., Liu, S., Qiao, L., Fu, K., Gao, L., & Yi, W. (2024). Control Flow Divergence Optimization by Exploiting Tensor Cores. In V. De (Ed.), Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024 (pp. 216:1–216:6). ACM. https://doi.org/10.1145/3649329.3658462
  4. Luo, X., Liang, H., Tang, Y., Jiang, X., Guan, N., & Yi, W. (2024). Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals. In T. Bourke, L. Chen, & A. K. Goharshady (Eds.), Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings (Vol. 15469, pp. 275–292). Springer. https://doi.org/10.1007/978-981-96-0602-3_15
  5. Huber, N., & Yi, W. (2024). An Encoding of Interaction Nets in OCaml. In J. Endrullis, D. Grzelak, T. Heindel, & J. Kosiol (Eds.), Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, GCM 2024, Leicester, UK and Enschede, the Netherlands, 18 July 2023 and 9 July 2024 (Vol. 417, pp. 1–16). https://doi.org/10.4204/EPTCS.417.1

2023

  1. Ma, Y., Jiang, X., Guan, N., & Yi, W. (2023). Anomaly detection based on multi-teacher knowledge distillation. J. Syst. Archit., 138, 102861. https://doi.org/10.1016/J.SYSARC.2023.102861
  2. Pang, W., Luo, X., Chen, K., Ji, D., Qiao, L., & Yi, W. (2023). Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. J. Syst. Archit., 139, 102888. https://doi.org/10.1016/J.SYSARC.2023.102888
  3. Chen, G., Zheng, Y., Zhou, Z., He, S., & Yi, W. (2023). A GPU-accelerated real-time human voice separation framework for mobile phones. J. Syst. Archit., 145, 103005. https://doi.org/10.1016/J.SYSARC.2023.103005
  4. Jiang, X., Chen, Z., Yang, M., Guan, N., Tang, Y., & Yi, W. (2023). A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling. IEEE Trans. Computers, 72(1), 15–28. https://doi.org/10.1109/TC.2022.3198634
  5. Tang, Y., Jiang, X., Guan, N., Ji, D., Luo, X., & Yi, W. (2023). Comparing Communication Paradigms in Cause-Effect Chains. IEEE Trans. Computers, 72(1), 82–96. https://doi.org/10.1109/TC.2022.3197082
  6. Wang, Y., Li, Y., Peng, X., Ji, D., Guan, N., & Yi, W. (2023). Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42(11), 3720–3732. https://doi.org/10.1109/TCAD.2023.3264729
  7. Jiang, X., Liang, H., Guan, N., Tang, Y., Qiao, L., & Yi, W. (2023). Scheduling Parallel Real-Time Tasks on Virtual Processors. IEEE Trans. Parallel Distributed Syst., 34(1), 33–47. https://doi.org/10.1109/TPDS.2022.3213024
  8. Jiang, X., Sun, J., & Yi, W. (2023). Characterizations of Parallel Real-Time Workloads. In J. P. Bowen, Q. Li, & Q. Xu (Eds.), Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Vol. 14080, pp. 235–256). Springer. https://doi.org/10.1007/978-3-031-40436-8_9
  9. Liang, H., Jiang, X., Guan, N., He, Q., & Yi, W. (2023). Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution. 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, 1–6. https://doi.org/10.1109/DAC56929.2023.10247927
  10. Tang, Y., Guan, N., Jiang, X., Dong, Z., & Yi, W. (2023). Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing. 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, 1–6. https://doi.org/10.1109/DAC56929.2023.10248012
  11. Jiang, X., Luo, X., Guan, N., Dong, Z., Liu, S., & Yi, W. (2023). Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, 1–6. https://doi.org/10.23919/DATE56975.2023.10137138
  12. Liu, S., Lv, M., Zhang, W., Jiang, X., Gu, C., Yang, T., Yi, W., & Guan, N. (2023). Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, 1–6. https://doi.org/10.23919/DATE56975.2023.10136990
  13. Tang, Y., Guan, N., Jiang, X., Luo, X., & Yi, W. (2023). Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, 80–92. https://doi.org/10.1109/RTAS58335.2023.00014
  14. Luo, X., Jiang, X., Guan, N., Liang, H., Liu, S., & Yi, W. (2023). Modeling and Analysis of Inter-Process Communication Delay in ROS 2. IEEE Real-Time Systems Symposium, RTSS 2023, Taipei, Taiwan, December 5-8, 2023, 198–209. https://doi.org/10.1109/RTSS59052.2023.00026
  15. Tang, Y., Jiang, X., Guan, N., Liu, S., Luo, X., & Yi, W. (2023). Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance. IEEE Real-Time Systems Symposium, RTSS 2023, Taipei, Taiwan, December 5-8, 2023, 411–422. https://doi.org/10.1109/RTSS59052.2023.00042

2022

  1. Wang, D., Wei, Y., Zhang, K., Ji, D., & Yi, W. (2022). Automatic Speech Recognition Performance Improvement for Mandarin Based on Optimizing Gain Control Strategy. Sensors, 22(8), 3027. https://doi.org/10.3390/S22083027
  2. Pang, W., Jiang, X., Lv, M., Gao, T., Liu, D., & Yi, W. (2022). Toward the Predictability of Dynamic Real-Time DNN Inference. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41(9), 2849–2862. https://doi.org/10.1109/TCAD.2021.3120329
  3. Dai, G., Mohaqeqi, M., Voudouris, P., & Yi, W. (2022). Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41(11), 3673–3684. https://doi.org/10.1109/TCAD.2022.3200527
  4. Wang, D., Wei, Y., Ji, D., Ma, Y., & Yi, W. (2022). Optimized Volume Control Architecture for Cascaded Audio System. IEEE Trans. Consumer Electron., 68(2), 170–180. https://doi.org/10.1109/TCE.2022.3175709
  5. Jiang, X., Guan, N., Yang, M., Wang, Y., Tang, Y., & Yi, W. (2022). Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices. IEEE Trans. Parallel Distributed Syst., 33(10), 4117–4133. https://doi.org/10.1109/TPDS.2022.3179328
  6. Yi, W., Mohaqeqi, M., & Graf, S. (2022). MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. In M. H. ter Beek & M. Sirjani (Eds.), Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings (Vol. 13271, pp. 17–34). Springer. https://doi.org/10.1007/978-3-031-08143-9_2
  7. Wang, Y., Jiang, X., Guan, N., Lv, M., Ji, D., & Yi, W. (2022). Scheduling and analysis of real-time tasks with parallel critical sections. In R. Oshana (Ed.), DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022 (pp. 1255–1260). ACM. https://doi.org/10.1145/3489517.3530611
  8. Mohaqeqi, M., Dai, G., & Yi, W. (2022). Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. In C. Bolchini, I. Verbauwhede, & E.-I. Vatajelu (Eds.), 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022 (pp. 1281–1286). IEEE. https://doi.org/10.23919/DATE54114.2022.9774673
  9. Chen, G., Zhou, Z., He, S., Zheng, Y., & Yi, W. (2022). VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile Phones. 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application, HPCC/DSS/SmartCity/DependSys 2022, Hainan, China, December 18-20, 2022, 1987–1994. https://doi.org/10.1109/HPCC-DSS-SMARTCITY-DEPENDSYS57074.2022.00296
  10. Jiang, X., Ji, D., Guan, N., Li, R., Tang, Y., & Yi, W. (2022). Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2. IEEE Real-Time Systems Symposium, RTSS 2022, Houston, TX, USA, December 5-8, 2022, 27–39. https://doi.org/10.1109/RTSS55097.2022.00013
  11. Tang, Y., Guan, N., & Yi, W. (2022). Real-Time Task Models. In Y.-C. Tian & D. C. Levy (Eds.), Handbook of Real-Time Computing (pp. 469–487). Springer. https://doi.org/10.1007/978-981-287-251-7_29
  12. Ekberg, P., & Yi, W. (2022). Complexity of Uniprocessor Scheduling Analysis. In Y.-C. Tian & D. C. Levy (Eds.), Handbook of Real-Time Computing (pp. 489–506). Springer. https://doi.org/10.1007/978-981-287-251-7_35

2021

  1. Dong, X., Chen, G., Lv, M., Pang, W., & Yi, W. (2021). Flexible Mixed-Criticality Scheduling with Dynamic Slack Management. J. Circuits Syst. Comput., 30(10), 2150306:1–2150306:20. https://doi.org/10.1142/S0218126621503060
  2. Du, H., Jiang, X., Lv, M., Yang, T., & Yi, W. (2021). Scheduling and analysis of real-time task graph models with nested locks. J. Syst. Archit., 114, 101969. https://doi.org/10.1016/J.SYSARC.2020.101969
  3. Jiang, X., Guan, N., Du, H., Liu, W., & Yi, W. (2021). On the Analysis of Parallel Real-Time Tasks With Spin Locks. IEEE Trans. Computers, 70(2), 199–211. https://doi.org/10.1109/TC.2020.2987300
  4. Sun, J., Guan, N., Shi, R., Tan, G., & Yi, W. (2021). Schedulability Analysis for Timed Automata With Tasks. ACM Trans. Embed. Comput. Syst., 20(5s), 89:1–89:26. https://doi.org/10.1145/3477020
  5. Ma, Y., Chen, G., Lv, M., Yi, W., Liu, X., Chen, H., & Zhu, B. (2021). Efficient and Effective Dimension Control in Automotive Applications. IEEE Trans. Ind. Informatics, 17(3), 1583–1591. https://doi.org/10.1109/TII.2020.2990168
  6. Wang, Y., Jiang, X., Guan, N., Guo, Z., Liu, X., & Yi, W. (2021). Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks. IEEE Trans. Parallel Distributed Syst., 32(6), 1322–1339. https://doi.org/10.1109/TPDS.2020.3048373
  7. Olderog, E.-R., Steffen, B., & Yi, W. (2021). Model Checking, Synthesis, and Learning. In E.-R. Olderog, B. Steffen, & W. Yi (Eds.), Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Vol. 13030, pp. 1–7). Springer. https://doi.org/10.1007/978-3-030-91384-7_1
  8. Abdullah, J., & Yi, W. (2021). Cause-Effect Reaction Latency in Real-Time Systems. In E.-R. Olderog, B. Steffen, & W. Yi (Eds.), Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Vol. 13030, pp. 41–56). Springer. https://doi.org/10.1007/978-3-030-91384-7_3
  9. Tang, Y., Guan, N., Feng, Z., Jiang, X., & Yi, W. (2021). Response Time Analysis of Lazy Round Robin. Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, 258–263. https://doi.org/10.23919/DATE51398.2021.9474242
  10. Dai, G., Mohaqeqi, M., & Yi, W. (2021). Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2021, Houston, TX, USA, August 18-20, 2021, 119–128. https://doi.org/10.1109/RTCSA52859.2021.00022
  11. Jiang, X., Guan, N., Liang, H., Tang, Y., Qiao, L., & Yi, W. (2021). Virtually-Federated Scheduling of Parallel Real-Time Tasks. 42nd IEEE Real-Time Systems Symposium, RTSS 2021, Dortmund, Germany, December 7-10, 2021, 482–494. https://doi.org/10.1109/RTSS52674.2021.00050
  12. Olderog, E.-R., Steffen, B., & Yi, W. (Eds.). (2021). Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Vol. 13030). Springer. https://doi.org/10.1007/978-3-030-91384-7

2020

  1. Ji, D., Lv, M., Yang, J., & Yi, W. (2020). Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. IEEE Access, 8, 112772–112782. https://doi.org/10.1109/ACCESS.2020.3003071
  2. Chen, G., Guan, N., Huang, K., & Yi, W. (2020). Fault-tolerant real-time tasks scheduling with dynamic fault handling. J. Syst. Archit., 102. https://doi.org/10.1016/J.SYSARC.2019.101688
  3. Feng, Z., Guan, N., Lv, M., Liu, W., Deng, Q., Liu, X., & Yi, W. (2020). Efficient drone hijacking detection using two-step GA-XGBoost. J. Syst. Archit., 103, 101694. https://doi.org/10.1016/J.SYSARC.2019.101694
  4. Sun, J., Guan, N., Li, F., Gao, H., Shi, C., & Yi, W. (2020). Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. IEEE Trans. Computers, 69(9), 1335–1348. https://doi.org/10.1109/TC.2020.2972385
  5. Sun, J., Guan, N., Chang, S., Li, F., Deng, Q., & Yi, W. (2020). Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39(12), 4537–4548. https://doi.org/10.1109/TCAD.2020.2966486
  6. Sun, J., Li, F., Guan, N., Zhu, W., Xiang, M., Guo, Z., & Yi, W. (2020). On Computing Exact WCRT for DAG Tasks\textdagger. 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, 1–6. https://doi.org/10.1109/DAC18072.2020.9218744
  7. Sun, J., Chi, Y., Xu, T., Cao, L., Guan, N., Guo, Z., & Yi, W. (2020). On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms\(^\mbox*\). 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, 204–209. https://doi.org/10.23919/DATE48585.2020.9116559
  8. Du, H., Jiang, X., Yang, T., Lv, M., & Yi, W. (2020). Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks. 26th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2020, Hong Kong, December 2-4, 2020, 99–108. https://doi.org/10.1109/ICPADS51040.2020.00023
  9. Tang, Y., Feng, Z., Guan, N., Jiang, X., Lv, M., Deng, Q., & Yi, W. (2020). Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. 41st IEEE Real-Time Systems Symposium, RTSS 2020, Houston, TX, USA, December 1-4, 2020, 231–243. https://doi.org/10.1109/RTSS49844.2020.00030
  10. Jiang, X., Guan, N., Du, H., Liu, W., & Yi, W. (2020). On the Analysis of Parallel Real-Time Tasks with Spin Locks. CoRR, abs/2003.08233. https://arxiv.org/abs/2003.08233
  11. Jiang, X., Guan, N., Yang, M., Tang, Y., & Yi, W. (2020). Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling. CoRR, abs/2011.06762. https://arxiv.org/abs/2011.06762
  12. Yi, W., Mohaqeqi, M., & Graf, S. (2020). MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. CoRR, abs/2011.13234. https://arxiv.org/abs/2011.13234

2019

  1. Liu, Y., Wei, Y., & Yi, W. (2019). Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision. Clust. Comput., 22(Suppl 1), 1459–1467. https://doi.org/10.1007/S10586-018-1810-2
  2. Liu, S., Guan, N., Ji, D., Liu, W., Liu, X., & Yi, W. (2019). Leaking your engine speed by spectrum analysis of real-Time scheduling sequences. J. Syst. Archit., 97, 455–466. https://doi.org/10.1016/J.SYSARC.2019.01.004
  3. Du, H., Zhang, W., Guan, N., & Yi, W. (2019). Scope-aware data cache analysis for OpenMP programs on multi-core processors. J. Syst. Archit., 98, 443–452. https://doi.org/10.1016/J.SYSARC.2019.04.001
  4. Feng, Z., Guan, N., Lv, M., Liu, W., Deng, Q., Liu, X., & Yi, W. (2019). An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. ACM Trans. Embed. Comput. Syst., 17(6), 96:1–96:19. https://doi.org/10.1145/3289390
  5. Abdullah, J., Dai, G., & Yi, W. (2019). Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. In J. Teich & F. Fummi (Eds.), Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019 (pp. 1625–1630). IEEE. https://doi.org/10.23919/DATE.2019.8715264
  6. Hao, X., Lv, M., Zheng, J., Zhang, Z., & Yi, W. (2019). Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. 37th IEEE International Conference on Computer Design, ICCD 2019, Abu Dhabi, United Arab Emirates, November 17-20, 2019, 237–245. https://doi.org/10.1109/ICCD46524.2019.00037
  7. Wang, D., Wei, Y., Zhang, K., & Yi, W. (2019). Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition. 12th International Symposium on Computational Intelligence and Design, ISCID 2019, Hangzhou, China, December 14-15, 2019, Volume 2, 279–284. https://doi.org/10.1109/ISCID.2019.10147
  8. Yi, W. (2019). Design and Dynamic Update of Real-Time Systems. IEEE Real-Time Systems Symposium, RTSS 2019, Hong Kong, SAR, China, December 3-6, 2019, 1–3. https://doi.org/10.1109/RTSS46320.2019.00011

2018

  1. Chen, G., Guan, N., Liu, D., He, Q., Huang, K., Stefanov, T. P., & Yi, W. (2018). Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers, 67(4), 543–558. https://doi.org/10.1109/TC.2017.2763133
  2. Liu, D., Guan, N., Spasic, J., Chen, G., Liu, S., Stefanov, T. P., & Yi, W. (2018). Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers, 67(7), 975–991. https://doi.org/10.1109/TC.2018.2789879
  3. Sun, J., Guan, N., Jiang, X., Chang, S., Guo, Z., Deng, Q., & Yi, W. (2018). A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37(11), 2200–2211. https://doi.org/10.1109/TCAD.2018.2857362
  4. Chen, G., Guan, N., Hu, B., & Yi, W. (2018). EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37(11), 2393–2403. https://doi.org/10.1109/TCAD.2018.2857359
  5. An, J., Zhan, N., Li, X., Zhang, M., & Yi, W. (2018). Model Checking Bounded Continuous-time Extended Linear Duration Invariants. In M. Prandini & J. V. Deshmukh (Eds.), Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018 (pp. 81–90). ACM. https://doi.org/10.1145/3178126.3178147
  6. Abdullah, J., Dai, G., Mohaqeqi, M., & Yi, W. (2018). Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. In R. Pellizzoni (Ed.), IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, 11-13 April 2018, Porto, Portugal (pp. 261–270). IEEE Computer Society. https://doi.org/10.1109/RTAS.2018.00034
  7. He, Q., Guan, N., Lv, M., & Yi, W. (2018). On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. 13th IEEE International Symposium on Industrial Embedded Systems, SIES 2018, Graz, Austria, June 6-8, 2018, 1–10. https://doi.org/10.1109/SIES.2018.8442076

2017

  1. Mohaqeqi, M., Abdullah, J., & Yi, W. (2017). An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. In J. Blieberger & M. Bader (Eds.), Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings (Vol. 10300, pp. 137–152). Springer. https://doi.org/10.1007/978-3-319-60588-3_9
  2. Abdullah, J., Dai, G., Guan, N., Mohaqeqi, M., & Yi, W. (2017). Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. In L. Aceto, G. Bacci, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Vol. 10460, pp. 623–639). Springer. https://doi.org/10.1007/978-3-319-63121-9_31
  3. Feng, Z., Guan, N., Lv, M., Liu, W., Deng, Q., Liu, X., & Yi, W. (2017). Efficient drone hijacking detection using onboard motion sensors. In D. Atienza & G. D. Natale (Eds.), Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017 (pp. 1414–1419). IEEE. https://doi.org/10.23919/DATE.2017.7927214
  4. Mohaqeqi, M., Abdullah, S. M. J., Ekberg, P., & Yi, W. (2017). Refinement of Workload Models for Engine Controllers by State Space Partitioning. In M. Bertogna (Ed.), 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, Dubrovnik, Croatia, June 27-30, 2017 (Vol. 76, pp. 11:1–11:22). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ECRTS.2017.11
  5. Yi, W. (2017). Towards Customizable CPS: Composability, Efficiency and Predictability. In Z. Duan & L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings (Vol. 10610, pp. 3–15). Springer. https://doi.org/10.1007/978-3-319-68690-5_1
  6. Lampka, K., Bondorf, S., Schmitt, J. B., Guan, N., & Yi, W. (2017). Generalized finitary real-time calculus. 2017 IEEE Conference on Computer Communications, INFOCOM 2017, Atlanta, GA, USA, May 1-4, 2017, 1–9. https://doi.org/10.1109/INFOCOM.2017.8056981
  7. Wang, Y., Guan, N., Sun, J., Lv, M., He, Q., He, T., & Yi, W. (2017). Benchmarking OpenMP programs for real-time scheduling. 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2017, Hsinchu, Taiwan, August 16-18, 2017, 1–10. https://doi.org/10.1109/RTCSA.2017.8046322
  8. Jiang, X., Guan, N., Long, X., & Yi, W. (2017). Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017, 80–91. https://doi.org/10.1109/RTSS.2017.00015
  9. Sun, J., Guan, N., Wang, Y., He, Q., & Yi, W. (2017). Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017, 92–103. https://doi.org/10.1109/RTSS.2017.00016
  10. Ekberg, P., & Yi, W. (2017). Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard. 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017, 139–146. https://doi.org/10.1109/RTSS.2017.00020
  11. Tang, Y., Guan, N., Liu, W., Phan, L. T. X., & Yi, W. (2017). Revisiting GPC and AND Connector in Real-Time Calculus. 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017, 255–265. https://doi.org/10.1109/RTSS.2017.00031
  12. Abdullah, J., Mohaqeqi, M., & Yi, W. (2017). Synthesis of ada code from graph-based task models. In A. Seffah, B. Penzenstadler, C. Alves, & X. Peng (Eds.), Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 (pp. 1467–1472). ACM. https://doi.org/10.1145/3019612.3019681
  13. Jiang, X., Guan, N., Long, X., & Yi, W. (2017). Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. CoRR, abs/1705.03245. http://arxiv.org/abs/1705.03245
  14. Chen, G., Guan, N., Liu, D., He, Q., Huang, K., Stefanov, T. P., & Yi, W. (2017). Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. CoRR, abs/1711.00100. http://arxiv.org/abs/1711.00100

2016

  1. Wei, Y., & Yi, W. (2016). Dynamic blind source separation based on source-direction prediction. Neurocomputing, 185, 73–81. https://doi.org/10.1016/J.NEUCOM.2015.12.040
  2. Zhang, T., Guan, N., Deng, Q., & Yi, W. (2016). Start time configuration for strictly periodic real-time task systems. J. Syst. Archit., 66-67, 61–68. https://doi.org/10.1016/J.SYSARC.2016.04.014
  3. Lv, M., Guan, N., Reineke, J., Wilhelm, R., & Yi, W. (2016). A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst., 3(1), 05:1–05:48. https://doi.org/10.4230/LITES-V003-I001-A005
  4. Ekberg, P., & Yi, W. (2016). Schedulability analysis of a graph-based task model for mixed-criticality systems. Real Time Syst., 52(1), 1–37. https://doi.org/10.1007/S11241-015-9225-0
  5. Sun, J., Guan, N., Wang, Y., Deng, Q., Zeng, P., & Yi, W. (2016). Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms. ACM Trans. Embed. Comput. Syst., 15(1), 14:1–14:28. https://doi.org/10.1145/2809780
  6. Mohaqeqi, M., Abdullah, J., & Yi, W. (2016). Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. In M. Bertogna, Pinho Luı́s Miguel, & E. Quiñones (Eds.), Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings (Vol. 9695, pp. 15–29). Springer. https://doi.org/10.1007/978-3-319-39083-3_2
  7. Rümmer, P., & Yi, W. (2016). Characterization of Simulation by Probabilistic Testing. In E. Ábrahám, M. M. Bonsangue, & E. B. Johnsen (Eds.), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Vol. 9660, pp. 360–372). Springer. https://doi.org/10.1007/978-3-319-30734-3_24
  8. Abdullah, S. M. J., Lampka, K., & Yi, W. (2016). Improving performance by monitoring while maintaining worst-case guarantees. In L. Fanucci & J. Teich (Eds.), 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016 (pp. 257–260). IEEE. https://ieeexplore.ieee.org/document/7459316/
  9. Mohaqeqi, M., Abdullah, J., Guan, N., & Yi, W. (2016). Schedulability Analysis of Synchronous Digraph Real-Time Tasks. 28th Euromicro Conference on Real-Time Systems, ECRTS 2016, Toulouse, France, July 5-8, 2016, 176–186. https://doi.org/10.1109/ECRTS.2016.17
  10. Lv, M., Guan, N., Ma, Y., Ji, D., Knippel, E., Liu, X., & Yi, W. (2016). Speed planning for solar-powered electric vehicles. Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21 - 24, 2016, 6:1–6:10. https://doi.org/10.1145/2934328.2934334
  11. Gu, C., Guan, N., Feng, Z., Deng, Q., Hu, X. S., & Yi, W. (2016). Transforming Real-Time Task Graphs to Improve Schedulability. 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016, Daegu, South Korea, August 17-19, 2016, 29–38. https://doi.org/10.1109/RTCSA.2016.13
  12. Mohaqeqi, M., Ekberg, P., & Yi, W. (2016). On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. In A. Plantec, F. Singhoff, S. Faucou, & Pinho Luı́s Miguel (Eds.), Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016 (pp. 109–118). ACM. https://doi.org/10.1145/2997465.2997485
  13. Liu, D., Spasic, J., Guan, N., Chen, G., Liu, S., Stefanov, T. P., & Yi, W. (2016). EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. 2016 IEEE Real-Time Systems Symposium, RTSS 2016, Porto, Portugal, November 29 - December 2, 2016, 35–46. https://doi.org/10.1109/RTSS.2016.013
  14. Liu, D., Spasic, J., Chen, G., Guan, N., Liu, S., Stefanov, T. P., & Yi, W. (2016). EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. CoRR, abs/1605.01302. http://arxiv.org/abs/1605.01302

2015

  1. Lin, H., Xu, W., Guan, N., Ji, D., Wei, Y., & Yi, W. (2015). Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks. IEEE Intell. Syst., 30(6), 38–48. https://doi.org/10.1109/MIS.2015.72
  2. Ekberg, P., Guan, N., Stigge, M., & Yi, W. (2015). An optimal resource sharing protocol for generalized multiframe tasks. J. Log. Algebraic Methods Program., 84(1), 92–105. https://doi.org/10.1016/J.JLAMP.2014.10.001
  3. Stigge, M., & Yi, W. (2015). Graph-based models for real-time workload: a survey. Real Time Syst., 51(5), 602–636. https://doi.org/10.1007/S11241-015-9234-Z
  4. Stigge, M., & Yi, W. (2015). Combinatorial abstraction refinement for feasibility analysis of static priorities. Real Time Syst., 51(6), 639–674. https://doi.org/10.1007/S11241-015-9220-5
  5. Wei, Y., Wu, C., Yi, W., & Dong, Z. (2015). Efficient Shape Reconstruction of Microlens Using Optical Microscopy. IEEE Trans. Ind. Electron., 62(12), 7655–7664. https://doi.org/10.1109/TIE.2015.2454480
  6. Guan, N., Tang, Y., Wang, Y., & Yi, W. (2015). Delay analysis of structural real-time workload. In W. Nebel & D. Atienza (Eds.), Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015 (pp. 223–228). ACM. http://dl.acm.org/citation.cfm?id=2755802
  7. Ekberg, P., & Yi, W. (2015). Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete. 27th Euromicro Conference on Real-Time Systems, ECRTS 2015, Lund, Sweden, July 8-10, 2015, 281–286. https://doi.org/10.1109/ECRTS.2015.32
  8. Wang, W., Wei, Y., Guan, N., & Yi, W. (2015). The automatic detection and analysis of electrocardiogram based on Lorenz Plot. 2015 IEEE International Conference on Robotics and Biomimetics, ROBIO 2015, Zhuhai, China, December 6-9, 2015, 644–649. https://doi.org/10.1109/ROBIO.2015.7418841
  9. Guan, N., Han, M., Gu, C., Deng, Q., & Yi, W. (2015). Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis. 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, Hong Kong, China, August 19-21, 2015, 11–20. https://doi.org/10.1109/RTCSA.2015.9
  10. Guan, N., Zhao, M., Xue, C. J., Liu, Y., & Yi, W. (2015). Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems. 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015, 65–74. https://doi.org/10.1109/RTSS.2015.14
  11. Ekberg, P., & Yi, W. (2015). Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization. 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015, 87–95. https://doi.org/10.1109/RTSS.2015.16
  12. Guan, N., Tang, Y., Abdullah, J., Stigge, M., & Yi, W. (2015). Scalable Timing Analysis with Refinement. In C. Baier & C. Tinelli (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings (Vol. 9035, pp. 3–18). Springer. https://doi.org/10.1007/978-3-662-46681-0_1
  13. Li, X., Liu, Z., & Yi, W. (Eds.). (2015). Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Vol. 9409). Springer. https://doi.org/10.1007/978-3-319-25942-0

2014

  1. Xia, C., Guan, N., Deng, Q., & Yi, W. (2014). Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks. Int. J. Distributed Sens. Networks, 10. https://doi.org/10.1155/2014/149416
  2. Li, C., Gu, Y., Qi, J., Yu, G., Zhang, R., & Yi, W. (2014). Processing Moving kNN Queries Using Influential Neighbor Sets. Proc. VLDB Endow., 8(2), 113–124. https://doi.org/10.14778/2735471.2735473
  3. Ekberg, P., & Yi, W. (2014). Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real Time Syst., 50(1), 48–86. https://doi.org/10.1007/S11241-013-9187-Z
  4. Axer, P., Ernst, R., Falk, H., Girault, A., Grund, D., Guan, N., Jonsson, B., Marwedel, P., Reineke, J., Rochange, C., Sebastian, M., von Hanxleden, R., Wilhelm, R., & Yi, W. (2014). Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst., 13(4), 82:1–82:37. https://doi.org/10.1145/2560033
  5. Guan, N., Lv, M., Yi, W., & Yu, G. (2014). WCET analysis with MRU cache: Challenging LRU for predictability. ACM Trans. Embed. Comput. Syst., 13(4s), 123:1–123:26. https://doi.org/10.1145/2584655
  6. Chen, Y., Wei, Y., Guan, N., & Yi, W. (2014). An Intelligent Hearing Aid System Based on Real-Time Signal Processing. 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2014, Hong Kong, China, August 25-26, 2014, 55–58. https://doi.org/10.1109/CPSNA.2014.18
  7. Gu, C., Guan, N., Deng, Q., & Yi, W. (2014). Partitioned mixed-criticality scheduling on multiprocessor platforms. In G. P. Fettweis & W. Nebel (Eds.), Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014 (pp. 1–6). European Design and Automation Association. https://doi.org/10.7873/DATE.2014.305
  8. Guan, N., & Yi, W. (2014). General and efficient Response Time Analysis for EDF scheduling. In G. P. Fettweis & W. Nebel (Eds.), Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014 (pp. 1–6). European Design and Automation Association. https://doi.org/10.7873/DATE.2014.268
  9. Stigge, M., Guan, N., & Yi, W. (2014). Refinement-Based Exact Response-Time Analysis. 26th Euromicro Conference on Real-Time Systems, ECRTS 2014, Madrid, Spain, July 8-11, 2014, 143–152. https://doi.org/10.1109/ECRTS.2014.29
  10. Zhang, Y., Guan, N., & Yi, W. (2014). Understanding the Dynamic Caches on Intel Processors: Methods and Applications. 12th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2014, Milano, Italy, August 26-28, 2014, 58–64. https://doi.org/10.1109/EUC.2014.18
  11. Bi, Y., Xu, W., Guan, N., Wei, Y., & Yi, W. (2014). Pervasive eating habits monitoring and recognition through a wearable acoustic sensor. In A. Hein, S. Boll, & F. Köhler (Eds.), Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2014, Oldenburg, Germany, May 20-23, 2014 (pp. 174–177). ICST. https://doi.org/10.4108/ICST.PERVASIVEHEALTH.2014.255423
  12. Jing, W., Guan, N., & Yi, W. (2014). Performance isolation for real-time systems with Xen hypervisor on multi-cores. 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China, August 20-22, 2014, 1–7. https://doi.org/10.1109/RTCSA.2014.6910557
  13. Sun, Y., Lipari, G., Guan, N., & Yi, W. (2014). Improving the response time analysis of global fixed-priority multiprocessor scheduling. 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, Chongqing, China, August 20-22, 2014, 1–9. https://doi.org/10.1109/RTCSA.2014.6910543
  14. Guan, N., Gu, C., Stigge, M., Deng, Q., & Yi, W. (2014). Approximate Response Time Analysis of Real-Time Task Graphs. Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014, 304–313. https://doi.org/10.1109/RTSS.2014.20
  15. Flodin, J., Lampka, K., & Yi, W. (2014). Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014, Pisa, Italy, June 18-20, 2014, 151–159. https://doi.org/10.1109/SIES.2014.6871199
  16. Zhang, T., Guan, N., Deng, Q., & Yi, W. (2014). On the analysis of EDF-VD scheduled mixed-criticality real-time systems. Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014, Pisa, Italy, June 18-20, 2014, 179–188. https://doi.org/10.1109/SIES.2014.6871202
  17. Hojjat, H., Rümmer, P., Subotic, P., & Yi, W. (2014). Horn Clauses for Communicating Timed Systems. In N. S. Bjørner, F. Fioravanti, A. Rybalchenko, & V. Senni (Eds.), Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014 (Vol. 169, pp. 39–52). https://doi.org/10.4204/EPTCS.169.6

2013

  1. Stigge, M., Ekberg, P., & Yi, W. (2013). The fork-join real-time task model. SIGBED Rev., 10(2), 20. https://doi.org/10.1145/2518148.2518158
  2. Zhang, X., Huang, M.-C., Ren, F., Xu, W., Guan, N., & Yi, W. (2013). Proper Running Posture Guide: A Wearable Biomechanics Capture System. In J. Suzuki & H. Wang (Eds.), 8th International Conference on Body Area Networks, BODYNETS 2013, Boston, MA, USA, September 30 - October 2, 2013 (pp. 83–89). ICST. https://doi.org/10.4108/ICST.BODYNETS.2013.253700
  3. Guan, N., Yang, X., Lv, M., & Yi, W. (2013). FIFO cache analysis for WCET estimation: a quantitative approach. In E. Macii (Ed.), Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013 (pp. 296–301). EDA Consortium San Jose, CA, USA / ACM DL. https://doi.org/10.7873/DATE.2013.073
  4. Gu, C., Guan, N., Deng, Q., & Yi, W. (2013). Improving OCBP-based scheduling for mixed-criticality sporadic task systems. 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2013, Taipei, Taiwan, August 19-21, 2013, 247–256. https://doi.org/10.1109/RTCSA.2013.6732225
  5. Guan, N., & Yi, W. (2013). Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, December 3-6, 2013, 330–339. https://doi.org/10.1109/RTSS.2013.40
  6. Stigge, M., & Yi, W. (2013). Combinatorial Abstraction Refinement for Feasibility Analysis. Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, December 3-6, 2013, 340–349. https://doi.org/10.1109/RTSS.2013.41
  7. David, A., Behrmann, G., Bulychev, P. E., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba Jirı́, Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H., & Traonouez, L.-M. (2013). Tools for Model-Checking Timed Systems. In C. Jard & O. H. Roux (Eds.), Communicating Embedded Systems (pp. 165–225). Wiley. https://doi.org/10.1002/9781118558188.CH6

2012

  1. Ekberg, P., & Yi, W. (2012). Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. In R. Davis (Ed.), 24th Euromicro Conference on Real-Time Systems, ECRTS 2012, Pisa, Italy, July 11-13, 2012 (pp. 135–144). IEEE Computer Society. https://doi.org/10.1109/ECRTS.2012.24
  2. Stigge, M., & Yi, W. (2012). Hardness Results for Static Priority Real-Time Scheduling. In R. Davis (Ed.), 24th Euromicro Conference on Real-Time Systems, ECRTS 2012, Pisa, Italy, July 11-13, 2012 (pp. 189–198). IEEE Computer Society. https://doi.org/10.1109/ECRTS.2012.13
  3. Guan, N., Stigge, M., Yi, W., & Yu, G. (2012). Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21-25, 2012, 261–272. https://doi.org/10.1109/IPDPS.2012.33
  4. Guan, N., & Yi, W. (2012). Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, IPDPS 2012, Shanghai, China, May 21-25, 2012, 2470–2473. https://doi.org/10.1109/IPDPSW.2012.305
  5. Guan, N., Lv, M., Yi, W., & Yu, G. (2012). WCET Analysis with MRU Caches: Challenging LRU for Predictability. In M. D. Natale (Ed.), 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012 (pp. 55–64). IEEE Computer Society. https://doi.org/10.1109/RTAS.2012.31
  6. Wilhelm, R., Falk, H., & Yi, W. (Eds.). (2012). SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES ’12, Beijing, China - June 12 - 13, 2012. ACM. https://doi.org/10.1145/2248418

2011

  1. Guan, N., Yi, W., Deng, Q., Gu, Z., & Yu, G. (2011). Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. J. Syst. Archit., 57(5), 536–546. https://doi.org/10.1016/J.SYSARC.2010.08.003
  2. Behrmann, G., David, A., Larsen, K. G., Pettersson, P., & Yi, W. (2011). Developing UPPAAL over 15 years. Softw. Pract. Exp., 41(2), 133–142. https://doi.org/10.1002/SPE.1006
  3. Lv, M., Guan, N., Deng, Q., Yu, G., & Yi, W. (2011). McAiT - A Timing Analyzer for Multicore Real-Time Software. In T. Bultan & P.-A. Hsiung (Eds.), Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings (Vol. 6996, pp. 414–417). Springer. https://doi.org/10.1007/978-3-642-24372-1_29
  4. Zhang, Y., Guan, N., & Yi, W. (2011). Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling. In P. Lucas, L. Thiele, B. Triquet, T. Ungerer, & R. Wilhelm (Eds.), Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, Grenoble, France, March 18, 2011 (Vol. 18, pp. 42–46). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. https://doi.org/10.4230/OASICS.PPES.2011.42
  5. Kong, F., Yi, W., & Deng, Q. (2011). Energy-efficient scheduling of real-time tasks on cluster-based multicores. Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011, 1135–1140. https://doi.org/10.1109/DATE.2011.5763190
  6. Stigge, M., Ekberg, P., Guan, N., & Yi, W. (2011). On the Tractability of Digraph-Based Task Models. In K.-E. Årzén (Ed.), 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011 (pp. 162–171). IEEE Computer Society. https://doi.org/10.1109/ECRTS.2011.23
  7. Guan, N., Ekberg, P., Stigge, M., & Yi, W. (2011). Resource Sharing Protocols for Real-Time Task Graph Systems. In K.-E. Årzén (Ed.), 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011 (pp. 272–281). IEEE Computer Society. https://doi.org/10.1109/ECRTS.2011.33
  8. Gong, X., Zhang, Z., Pei, J., & Yi, W. (2011). Research on the Information Integration of China’s Basic Industries Trademark Information Service. In R. Zhang, J. Cordeiro, X. Li, Z. Zhang, & J. Zhang (Eds.), ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 1, Beijing, China, 8-11 June, 2011 (pp. 495–503). SciTePress.
  9. Stigge, M., Ekberg, P., Guan, N., & Yi, W. (2011). The Digraph Real-Time Task Model. 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2011, Chicago, Illinois, USA, 11-14 April 2011, 71–80. https://doi.org/10.1109/RTAS.2011.15
  10. Jin, X., Guan, N., Deng, Q., & Yi, W. (2011). Memory Access Aware Mapping for Networks-on-Chip. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011, Toyama, Japan, August 28-31, 2011, Volume 1, 339–348. https://doi.org/10.1109/RTCSA.2011.31
  11. Guan, N., Ekberg, P., Stigge, M., & Yi, W. (2011). Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011, 13–23. https://doi.org/10.1109/RTSS.2011.10
  12. Kong, F., Guan, N., Deng, Q., & Yi, W. (2011). Energy-efficient scheduling for parallel real-time tasks based on level-packing. In W. C. Chu, W. E. Wong, M. J. Palakal, & C.-C. Hung (Eds.), Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011 (pp. 635–640). ACM. https://doi.org/10.1145/1982185.1982326
  13. Zhang, Y., Guan, N., Xiao, Y., & Yi, W. (2011). Implementation and empirical comparison of partitioning-based multi-core scheduling. Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on, SIES 2011. Vasteras, Sweden, June 15-17, 2011, 248–255. https://doi.org/10.1109/SIES.2011.5953668

2010

  1. Abdulla, P. A., Krcál, P., & Yi, W. (2010). Sampled Semantics of Timed Automata. Log. Methods Comput. Sci., 6(3). http://arxiv.org/abs/1007.2783
  2. Lv, M., Guan, N., Deng, Q., Yu, G., & Yi, W. (2010). Static worst-case execution time analysis of the \(\mathrmμ\)C/OS-II real-time kernel. Frontiers Comput. Sci. China, 4(1), 17–27. https://doi.org/10.1007/S11704-009-0073-8
  3. Kong, F., Wang, Y., Deng, Q., & Yi, W. (2010). Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes. 22nd Euromicro Conference on Real-Time Systems, ECRTS 2010, Brussels, Belgium, July 6-9, 2010, 113–122. https://doi.org/10.1109/ECRTS.2010.18
  4. Yi, W. (2010). Multicore Embedded Systems: The Timing Problem and Possible Solutions. In J. S. Dong & H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (Vol. 6447, pp. 22–23). Springer. https://doi.org/10.1007/978-3-642-16901-4_3
  5. Guan, N., Stigge, M., Yi, W., & Yu, G. (2010). Fixed-Priority Multiprocessor Scheduling with Liu and Layland’s Utilization Bound. In M. Caccamo (Ed.), 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010 (pp. 165–174). IEEE Computer Society. https://doi.org/10.1109/RTAS.2010.39
  6. Lv, M., Yi, W., Guan, N., & Yu, G. (2010). Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010, 339–349. https://doi.org/10.1109/RTSS.2010.30
  7. Johansson, K. H., & Yi, W. (Eds.). (2010). Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. ACM.

2009

  1. Guan, N., Gu, Z., Yi, W., & Yu, G. (2009). Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. In K. Wakabayashi (Ed.), Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009 (pp. 715–720). IEEE. https://doi.org/10.1109/ASPDAC.2009.4796564
  2. Lv, M., Guan, N., Zhang, Y., Chen, R., Deng, Q., Yu, G., & Yi, W. (2009). WCET Analysis of the mC/OS-II Real-Time Kernel. Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, 270–276. https://doi.org/10.1109/CSE.2009.82
  3. Guan, N., Stigge, M., Yi, W., & Yu, G. (2009). Cache-aware scheduling and analysis for multicores. In S. Chakraborty & N. Halbwachs (Eds.), Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009 (pp. 245–254). ACM. https://doi.org/10.1145/1629335.1629369
  4. de Boer, F. S., Grabe, I., Jaghoori, M. M., Stam, A., & Yi, W. (2009). Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. In K. K. Breitman & A. Cavalcanti (Eds.), Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings (Vol. 5885, pp. 367–386). Springer. https://doi.org/10.1007/978-3-642-10373-5_19
  5. Yi, W. (2009). Applying SLEUTH for Simulating and Assessing Urban Growth Scenarios on a Case Study of Beijing. First IITA International Joint Conference on Artificial Intelligence, Hainan Island, China, 25-26 April 2009, 215–218. https://doi.org/10.1109/JCAI.2009.199
  6. Guan, N., Stigge, M., Yi, W., & Yu, G. (2009). New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. In T. P. Baker (Ed.), Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009 (pp. 387–397). IEEE Computer Society. https://doi.org/10.1109/RTSS.2009.11
  7. Grabe, I., Jaghoori, M. M., Aichernig, B. K., Baier, C., Blechmann, T., de Boer, F. S., Griesmayer, A., Johnsen, E. B., Klein, J., Klüppelholz, S., Kyas, M., Leister, W., Schlatte, R., Stam, A., Steffen, M., Tschirner, S., Xuedong, L., & Yi, W. (2009). Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. In E. B. Johnsen & V. Stolz (Eds.), Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009 (Vol. 266, pp. 33–48). Elsevier. https://doi.org/10.1016/J.ENTCS.2010.08.047
  8. Abdulla, P. A., Krcál, P., & Yi, W. (2009). Universality of R-automata with Value Copying. In P. Habermehl & T. Vojnar (Eds.), Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008 (Vol. 239, pp. 131–141). Elsevier. https://doi.org/10.1016/J.ENTCS.2009.05.035

2008

  1. Ha, S., Choi, K., Kim, T., Flautner, K., Min, S. L., & Yi, W. (2008). Introduction to embedded systems week 2006 special issue. ACM Trans. Embed. Comput. Syst., 7(2), 8:1–8:3. https://doi.org/10.1145/1331331.1331332
  2. Dong, J. S., Hao, P., Qin, S., Sun, J., & Yi, W. (2008). Timed Automata Patterns. IEEE Trans. Software Eng., 34(6), 844–859. https://doi.org/10.1109/TSE.2008.52
  3. Abdulla, P. A., Krcál, P., & Yi, W. (2008). R-Automata. In F. van Breugel & M. Chechik (Eds.), CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings (Vol. 5201, pp. 67–81). Springer. https://doi.org/10.1007/978-3-540-85361-9_9
  4. Tschirner, S., Xuedong, L., & Yi, W. (2008). Model-based validation of QoS properties of biomedical sensor networks. In L. de Alfaro & J. Palsberg (Eds.), Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 (pp. 69–78). ACM. https://doi.org/10.1145/1450058.1450069
  5. Jonsson, B., Perathoner, S., Thiele, L., & Yi, W. (2008). Cyclic dependencies in modular performance analysis. In L. de Alfaro & J. Palsberg (Eds.), Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 (pp. 179–188). ACM. https://doi.org/10.1145/1450058.1450083
  6. Guan, N., Yi, W., Gu, Z., Deng, Q., & Yu, G. (2008). New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS 2008, Barcelona, Spain, 30 November - 3 December 2008, 137–146. https://doi.org/10.1109/RTSS.2008.17

2007

  1. Fersman, E., Krcál, P., Pettersson, P., & Yi, W. (2007). Task automata: Schedulability, decidability and undecidability. Inf. Comput., 205(8), 1149–1172. https://doi.org/10.1016/J.IC.2007.01.009
  2. Krcál, P., Stigge, M., & Yi, W. (2007). Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. In J.-F. Raskin & P. S. Thiagarajan (Eds.), Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Vol. 4763, pp. 274–289). Springer. https://doi.org/10.1007/978-3-540-75454-1_20
  3. Abdulla, P. A., Krcál, P., & Yi, W. (2007). Sampled Universality of Timed Automata. In H. Seidl (Ed.), Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings (Vol. 4423, pp. 2–16). Springer. https://doi.org/10.1007/978-3-540-71389-0_2

2006

  1. Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2006). Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci., 354(2), 301–317. https://doi.org/10.1016/J.TCS.2005.11.019
  2. Krcál, P., & Yi, W. (2006). Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. In T. Ball & R. B. Jones (Eds.), Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Vol. 4144, pp. 249–262). Springer. https://doi.org/10.1007/11817963_24
  3. Pu, G., Zhang, C., Qiu, Z., He, J., & Yi, W. (2006). Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, 131–138. https://doi.org/10.1109/ICECCS.2006.60
  4. Behrmann, G., David, A., Larsen, K. G., Håkansson, J., Pettersson, P., Yi, W., & Hendriks, M. (2006). UPPAAL 4.0. Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, 125–126. https://doi.org/10.1109/QEST.2006.59
  5. Min, S. L., & Yi, W. (Eds.). (2006). Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. ACM.

2005

  1. He, J., Hung, D. V., Pu, G., Qiu, Z., & Yi, W. (2005). Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput., 17(4), 443–460. https://doi.org/10.1007/S00165-005-0072-Y
  2. Pettersson, P., & Yi, W. (2005). Guest Editors’ Foreword. Nord. J. Comput., 12(2), 67.
  3. Caspi, P., Sangiovanni-Vincentelli, A. L., Almeida Luı́s, Benveniste, A., Bouyssounouse, B., Buttazzo, G. C., Crnkovic, I., Damm, W., Engblom, J., Fohler, G., Garcı́a-Valls Marisol, Kopetz, H., Lakhnech, Y., Laroussinie, F., Lavagno, L., Lipari, G., Maraninchi, F., Peti, P., de la Puente, J. A., … Yi, W. (2005). Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst., 4(3), 587–611. https://doi.org/10.1145/1086519.1086526
  4. Pettersson, P., & Yi, W. (Eds.). (2005). Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Vol. 3829). Springer. https://doi.org/10.1007/11603009

2004

  1. Fersman, E., & Yi, W. (2004). A Generic Approach to Schedulability Analysis of Real-Time Tasks. Nord. J. Comput., 11(2), 129–147.
  2. Krcál, P., Mokrushin, L., Thiagarajan, P. S., & Yi, W. (2004). Timed vs. Time-Triggered Automata. In P. Gardner & N. Yoshida (Eds.), CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Vol. 3170, pp. 340–354). Springer. https://doi.org/10.1007/978-3-540-28644-8_22
  3. Dong, J. S., Hao, P., Qin, S., Sun, J., & Yi, W. (2004). Timed Patterns: TCOZ to Timed Automata. In J. Davies, W. Schulte, & M. Barnett (Eds.), Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Vol. 3308, pp. 483–498). Springer. https://doi.org/10.1007/978-3-540-30482-1_39
  4. Pu, G., Hung, D. V., He, J., & Yi, W. (2004). An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. In E. A. Boiten, J. Derrick, & G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Vol. 2999, pp. 363–381). Springer. https://doi.org/10.1007/978-3-540-24756-2_20
  5. Pu, G., Zhao, X., Wang, S., Qiu, Z., He, J., & Yi, W. (2004). An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, 376–385. https://doi.org/10.1109/SEFM.2004.5
  6. Krcál, P., & Yi, W. (2004). Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In K. Jensen & A. Podelski (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Vol. 2988, pp. 236–250). Springer. https://doi.org/10.1007/978-3-540-24730-2_20

2003

  1. Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (2003). Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst., 25(2-3), 255–275. https://doi.org/10.1023/A:1025132427497
  2. Margaria, T., & Yi, W. (2003). Introductory paper: scalability aspects of validation. Int. J. Softw. Tools Technol. Transf., 5(1), 1–3. https://doi.org/10.1007/S10009-003-0112-Y
  3. Bengtsson, J., & Yi, W. (2003). Timed Automata: Semantics, Algorithms and Tools. In J. Desel, W. Reisig, & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned] (Vol. 3098, pp. 87–124). Springer. https://doi.org/10.1007/978-3-540-27755-2_3
  4. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2003). TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. In K. G. Larsen & P. Niebert (Eds.), Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers (Vol. 2791, pp. 60–72). Springer. https://doi.org/10.1007/978-3-540-40903-8_6
  5. Bengtsson, J., & Yi, W. (2003). On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. In J. S. Dong & J. Woodcock (Eds.), Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings (Vol. 2885, pp. 491–503). Springer. https://doi.org/10.1007/978-3-540-39893-6_28
  6. David, A., Behrmann, G., Larsen, K. G., & Yi, W. (2003). Unification & Sharing in Timed Automata Verification. In T. Ball & S. K. Rajamani (Eds.), Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Vol. 2648, pp. 225–229). Springer. https://doi.org/10.1007/3-540-44829-2_15
  7. Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2003). Schedulability Analysis Using Two Clocks. In H. Garavel & J. Hatcliff (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Vol. 2619, pp. 224–239). Springer. https://doi.org/10.1007/3-540-36577-X_16

2002

  1. Lin, H., & Yi, W. (2002). Axiomatising timed automata. Acta Informatica, 38(4), 277–305. https://doi.org/10.1007/S236-002-8035-2
  2. Bengtsson, J., Griffioen, W. O. D., Kristoffersen, K. J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (2002). Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program., 52-53, 163–181. https://doi.org/10.1016/S1567-8326(02)00036-X
  3. Amnell, T., Fersman, E., Pettersson, P., Sun, H., & Yi, W. (2002). Code Synthesis for Timed Automata. Nord. J. Comput., 9(4), 269–300.
  4. Jonsson, B., & Yi, W. (2002). Testing preorders for probabilistic processes can be characterized by simulations. Theor. Comput. Sci., 282(1), 33–51. https://doi.org/10.1016/S0304-3975(01)00044-5
  5. David, A., Möller, M. O., & Yi, W. (2002). Formal Verification of UML Statecharts with Real-Time Extensions. In R.-D. Kutsche & H. Weber (Eds.), Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Vol. 2306, pp. 218–232). Springer. https://doi.org/10.1007/3-540-45923-5_15
  6. Behrmann, G., Bengtsson, J., David, A., Larsen, K. G., Pettersson, P., & Yi, W. (2002). UPPAAL Implementation Secrets. In W. Damm & E.-R. Olderog (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings (Vol. 2469, pp. 3–22). Springer. https://doi.org/10.1007/3-540-45739-9_1
  7. Fersman, E., Pettersson, P., & Yi, W. (2002). Timed Automata with Asynchronous Processes: Schedulability and Decidability. In J.-P. Katoen & P. Stevens (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Vol. 2280, pp. 67–82). Springer. https://doi.org/10.1007/3-540-46002-0_6
  8. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2002). TIMES - A Tool for Modelling and Implementation of Embedded Systems. In J.-P. Katoen & P. Stevens (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings (Vol. 2280, pp. 460–464). Springer. https://doi.org/10.1007/3-540-46002-0_32
  9. David, A., Behrmann, G., Larsen, K. G., & Yi, W. (2002). A Tool Architecture for the Next Generation of Uppaal. In B. K. Aichernig & T. S. E. Maibaum (Eds.), Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers (Vol. 2757, pp. 352–366). Springer. https://doi.org/10.1007/978-3-540-40007-3_22

2001

  1. Gu, D., & Yi, W. (2001). On the Techniques of Enhancing the Security of Block Ciphers. ACM SIGOPS Oper. Syst. Rev., 35(4), 94–96. https://doi.org/10.1145/506084.506093
  2. Lindahl, M., Pettersson, P., & Yi, W. (2001). Formal design and analysis of a gear controller. Int. J. Softw. Tools Technol. Transf., 3(3), 353–368. https://doi.org/10.1007/S100090100048
  3. Behrmann, G., Larsen, K. G., Möller, O., David, A., Pettersson, P., & Yi, W. (2001). UPPAAL - present and future. 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, 2881–2886. https://doi.org/10.1109/.2001.980713
  4. Jonsson, B., Yi, W., & Larsen, K. G. (2001). Probabilistic Extensions of Process Algebras. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of Process Algebra (pp. 685–710). North-Holland / Elsevier. https://doi.org/10.1016/B978-044482830-9/50029-1
  5. Margaria, T., & Yi, W. (Eds.). (2001). Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Vol. 2031). Springer. https://doi.org/10.1007/3-540-45319-9

2000

  1. David, A., & Yi, W. (2000). Modelling and analysis of a commercial field bus protocol. 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings, 165–172. https://doi.org/10.1109/EMRTS.2000.854004
  2. Lin, H., & Yi, W. (2000). A Proof System for Timed Automata. In J. Tiuryn (Ed.), Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings (Vol. 1784, pp. 208–222). Springer. https://doi.org/10.1007/3-540-46432-8_14
  3. Lin, H., & Yi, W. (2000). A Complete Axiomatisation for Timed Automata. In S. Kapoor & S. Prasad (Eds.), Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings (Vol. 1974, pp. 277–289). Springer. https://doi.org/10.1007/3-540-44450-5_22
  4. Amnell, T., David, A., & Yi, W. (2000). A Real-Time Animator for Hybrid Systems. In J. W. Davidson & S. L. Min (Eds.), Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings (Vol. 1985, pp. 134–145). Springer. https://doi.org/10.1007/3-540-45245-1_9
  5. Amnell, T., Behrmann, G., Bengtsson, J., D’Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C., & Yi, W. (2000). UPPAAL - Now, Next, and Future. In F. Cassez, C. Jard, B. Rozoy, & M. D. Ryan (Eds.), Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 (Vol. 2067, pp. 99–124). Springer. https://doi.org/10.1007/3-540-45510-8_4
  6. Wall, A., Sandström, K., Mäki-Turja, J., Norström, C., & Yi, W. (2000). Verifying temporal constraints on data in multi-rate transactions using timed automata. 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, 263–270. https://doi.org/10.1109/RTCSA.2000.896400
  7. Larsson, F., Pettersson, P., & Yi, W. (2000). On Memory-Block Traversal Problems in Model-Checking Timed-Systems. In S. Graf & M. I. Schwartzbach (Eds.), Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings (Vol. 1785, pp. 127–141). Springer. https://doi.org/10.1007/3-540-46419-0_10

1999

  1. Larsen, K. G., Pearson, J., Weise, C., & Yi, W. (1999). Clock Difference Diagrams. Nord. J. Comput., 6(3), 271–298.
  2. Jonsson, B., & Yi, W. (1999). Fully Abstract Characterization of Probabilistic May Testing. In J.-P. Katoen (Ed.), Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS’99, Bamberg, Germany, May 26-28, 1999. Proceedings (Vol. 1601, pp. 1–18). Springer. https://doi.org/10.1007/3-540-48778-6_1
  3. Behrmann, G., Larsen, K. G., Pearson, J., Weise, C., & Yi, W. (1999). Efficient Timed Reachability Analysis Using Clock Difference Diagrams. In N. Halbwachs & D. A. Peled (Eds.), Computer Aided Verification, 11th International Conference, CAV ’99, Trento, Italy, July 6-10, 1999, Proceedings (Vol. 1633, pp. 341–353). Springer. https://doi.org/10.1007/3-540-48683-6_30
  4. Norström, C., Wall, A., & Yi, W. (1999). Timed Automata as Task Models for Event-Driven Systems. 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA ’99), 13-16 December 1999, Hong Kong, China, 182–189. https://doi.org/10.1109/RTCSA.1999.811218

1998

  1. Bengtsson, J., Jonsson, B., Lilius, J., & Yi, W. (1998). Partial Order Reductions for Timed Systems. In D. Sangiorgi & R. de Simone (Eds.), CONCUR ’98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Vol. 1466, pp. 485–500). Springer. https://doi.org/10.1007/BFB0055643
  2. Lindahl, M., Pettersson, P., & Yi, W. (1998). Formal Design and Analysis of a Gear Controller. In B. Steffen (Ed.), Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS ’98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS’98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Vol. 1384, pp. 281–297). Springer. https://doi.org/10.1007/BFB0054178

1997

  1. Larsen, K. G., & Yi, W. (1997). Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput., 134(2), 75–101. https://doi.org/10.1006/INCO.1997.2623
  2. Larsen, K. G., Pettersson, P., & Yi, W. (1997). UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf., 1(1-2), 134–152. https://doi.org/10.1007/S100090050010
  3. Larsen, K. G., Pettersson, P., & Yi, W. (1997). UPPAAL: Status & Developments. In O. Grumberg (Ed.), Computer Aided Verification, 9th International Conference, CAV ’97, Haifa, Israel, June 22-25, 1997, Proceedings (Vol. 1254, pp. 456–459). Springer. https://doi.org/10.1007/3-540-63166-6_47
  4. Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1997). Efficient verification of real-time systems: compact data structure and state-space reduction. Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS ’97), December 3-5, 1997, San Francisco, CA, USA, 14–24. https://doi.org/10.1109/REAL.1997.641265
  5. Kristoffersen, K. J., Laroussinie, F., Larsen, K. G., Pettersson, P., & Yi, W. (1997). A Compositional Proof of a Real-Time Mutual Exclusion Protocol. In M. Bidoit & M. Dauchet (Eds.), TAPSOFT’97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings (Vol. 1214, pp. 565–579). Springer. https://doi.org/10.1007/BFB0030626

1996

  1. Bengtsson, J., Griffioen, W. O. D., Kristoffersen, K. J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1996). Verification of an Audio Protocol with Bus Collision Using UPPAAL. In R. Alur & T. A. Henzinger (Eds.), Computer Aided Verification, 8th International Conference, CAV ’96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings (Vol. 1102, pp. 244–256). Springer. https://doi.org/10.1007/3-540-61474-5_73
  2. Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1996). UPPAAL in 1995. In T. Margaria & B. Steffen (Eds.), Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS ’96, Passau, Germany, March 27-29, 1996, Proceedings (Vol. 1055, pp. 431–434). Springer. https://doi.org/10.1007/3-540-61042-1_66

1995

  1. Larsen, K. G., Pettersson, P., & Yi, W. (1995). Model-Checking for Real-Time Systems. In H. Reichel (Ed.), Fundamentals of Computation Theory, 10th International Symposium, FCT ’95, Dresden, Germany, August 22-25, 1995, Proceedings (Vol. 965, pp. 62–88). Springer. https://doi.org/10.1007/3-540-60249-6_41
  2. Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1995). UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In R. Alur, T. A. Henzinger, & E. D. Sontag (Eds.), Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA (Vol. 1066, pp. 232–243). Springer. https://doi.org/10.1007/BFB0020949
  3. Larsen, K. G., Pettersson, P., & Yi, W. (1995). Diagnostic Model-Checking for Real-Time Systems. In R. Alur, T. A. Henzinger, & E. D. Sontag (Eds.), Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA (Vol. 1066, pp. 575–586). Springer. https://doi.org/10.1007/BFB0020977
  4. Jonsson, B., & Yi, W. (1995). Compositional Testing Preorders for Probabilistic Processes. Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, 431–441. https://doi.org/10.1109/LICS.1995.523277
  5. Larsen, K. G., Pettersson, P., & Yi, W. (1995). Compositional and Symbolic Model-Checking of Real-Time Systems. 16th IEEE Real-Time Systems Symposium, Palazzo Dei Congressi, Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings, 76–87. https://doi.org/10.1109/REAL.1995.495198

1994

  1. Yi, W., Pettersson, P., & Daniels, M. (1994). Automatic verification of real-time communicating systems by constraint-solving. In D. Hogrefe & S. Leue (Eds.), Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 (Vol. 6, pp. 243–258). Chapman & Hall.
  2. Yi, W., & Jonsson, B. (1994). Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. In P. S. Thiagarajan (Ed.), Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings (Vol. 880, pp. 243–255). Springer. https://doi.org/10.1007/3-540-58715-2_129
  3. Jonsson, B., Ho-Stuart, C., & Yi, W. (1994). Testing and Refinement for Nondeterministic and Probabilistic Processes. In H. Langmaack, W. P. de Roever, & J. Vytopil (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings (Vol. 863, pp. 418–430). Springer. https://doi.org/10.1007/3-540-58468-4_176
  4. Yi, W. (1994). Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. In H. Langmaack, W. P. de Roever, & J. Vytopil (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings (Vol. 863, pp. 680–693). Springer. https://doi.org/10.1007/3-540-58468-4_190

1993

  1. Larsen, K. G., & Yi, W. (1993). Time Abstracted Bisimiulation: Implicit Specifications and Decidability. In S. D. Brookes, M. G. Main, A. Melton, M. W. Mislove, & D. A. Schmidt (Eds.), Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings (Vol. 802, pp. 160–176). Springer. https://doi.org/10.1007/3-540-58027-1_8

1992

  1. Yi, W., & Larsen, K. G. (1992). Testing Probabilistic and Nondeterministic Processes. In R. J. L. Jr. & M. Ümit Uyar (Eds.), Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992: Vol. C-8 (pp. 47–61). North-Holland.

1991

  1. Holmer, U., Larsen, K. G., & Yi, W. (1991). Deciding Properties of Regular Real Time Processes. In K. G. Larsen & A. Skou (Eds.), Computer Aided Verification, 3rd International Workshop, CAV ’91, Aalborg, Denmark, July, 1-4, 1991, Proceedings (Vol. 575, pp. 443–453). Springer. https://doi.org/10.1007/3-540-55179-4_41
  2. Yi, W. (1991). CCS + Time = An Interleaving Model for Real Time Systems. In J. L. Albert, B. Monien, & Rodrı́guez-Artalejo Mario (Eds.), Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings (Vol. 510, pp. 217–228). Springer. https://doi.org/10.1007/3-540-54233-7_136

1990

  1. Yi, W. (1990). Real-Time Behaviour of Asynchronous Agents. In J. C. M. Baeten & J. W. Klop (Eds.), CONCUR ’90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings (Vol. 458, pp. 502–520). Springer. https://doi.org/10.1007/BFB0039080

1988

  1. Yi, W. (1988). Specifying Processes in Terms of Their Environments. In C. Rattray (Ed.), Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK] (pp. 276–293). Springer.