default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wang Yi 0001
@article{DBLP:journals/tcad/LiuJGWYY24,
author = {Songran Liu and
Xu Jiang and
Nan Guan and
Zilong Wang and
Minghe Yu and
Wang Yi},
title = {RTeX: An Efficient and Timing-Predictable Multithreaded Executor for
{ROS} 2},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {43},
number = {9},
pages = {2578--2591},
year = {2024},
url = {https://doi.org/10.1109/TCAD.2024.3380551},
doi = {10.1109/TCAD.2024.3380551},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LiuJGWYY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Ma0G023,
author = {Ye Ma and
Xu Jiang and
Nan Guan and
Wang Yi},
title = {Anomaly detection based on multi-teacher knowledge distillation},
journal = {J. Syst. Archit.},
volume = {138},
pages = {102861},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.102861},
doi = {10.1016/J.SYSARC.2023.102861},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/Ma0G023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/PangLCJQ023,
author = {Weiguang Pang and
Xiantong Luo and
Kailun Chen and
Dong Ji and
Lei Qiao and
Wang Yi},
title = {Efficient {CUDA} stream management for multi-DNN real-time inference
on embedded GPUs},
journal = {J. Syst. Archit.},
volume = {139},
pages = {102888},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.102888},
doi = {10.1016/J.SYSARC.2023.102888},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/PangLCJQ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ChenZZHY23,
author = {Gang Chen and
Yi Zheng and
Zhaoheng Zhou and
Shengyu He and
Wang Yi},
title = {A GPU-accelerated real-time human voice separation framework for mobile
phones},
journal = {J. Syst. Archit.},
volume = {145},
pages = {103005},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.103005},
doi = {10.1016/J.SYSARC.2023.103005},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/ChenZZHY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/JiangCYGTY23,
author = {Xu Jiang and
Zewei Chen and
Maolin Yang and
Nan Guan and
Yue Tang and
Wang Yi},
title = {A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under
Global Fixed Priority Scheduling},
journal = {{IEEE} Trans. Computers},
volume = {72},
number = {1},
pages = {15--28},
year = {2023},
url = {https://doi.org/10.1109/TC.2022.3198634},
doi = {10.1109/TC.2022.3198634},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/JiangCYGTY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/TangJGJLY23,
author = {Yue Tang and
Xu Jiang and
Nan Guan and
Dong Ji and
Xiantong Luo and
Wang Yi},
title = {Comparing Communication Paradigms in Cause-Effect Chains},
journal = {{IEEE} Trans. Computers},
volume = {72},
number = {1},
pages = {82--96},
year = {2023},
url = {https://doi.org/10.1109/TC.2022.3197082},
doi = {10.1109/TC.2022.3197082},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/TangJGJLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WangLPJGY23,
author = {Yang Wang and
Yu Li and
Xuemei Peng and
Dong Ji and
Nan Guan and
Wang Yi},
title = {Design and Blocking Analysis of Locking Protocols for Real-Time {DAG}
Tasks Under Federated Scheduling},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {42},
number = {11},
pages = {3720--3732},
year = {2023},
url = {https://doi.org/10.1109/TCAD.2023.3264729},
doi = {10.1109/TCAD.2023.3264729},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/WangLPJGY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/JiangLGTQY23,
author = {Xu Jiang and
Haochun Liang and
Nan Guan and
Yue Tang and
Lei Qiao and
Wang Yi},
title = {Scheduling Parallel Real-Time Tasks on Virtual Processors},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {34},
number = {1},
pages = {33--47},
year = {2023},
url = {https://doi.org/10.1109/TPDS.2022.3213024},
doi = {10.1109/TPDS.2022.3213024},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/JiangLGTQY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0004S023,
author = {Xu Jiang and
Jinghao Sun and
Wang Yi},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {Characterizations of Parallel Real-Time Workloads},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {235--256},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_9},
doi = {10.1007/978-3-031-40436-8\_9},
timestamp = {Wed, 20 Sep 2023 17:05:54 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0004S023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiangJGHY23,
author = {Haochun Liang and
Xu Jiang and
Nan Guan and
Qingqiang He and
Wang Yi},
title = {Response Time Analysis and Optimization of {DAG} Tasks Exploiting
Mutually Exclusive Execution},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10247927},
doi = {10.1109/DAC56929.2023.10247927},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiangJGHY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/TangGJDY23,
author = {Yue Tang and
Nan Guan and
Xu Jiang and
Zheng Dong and
Wang Yi},
title = {Reaction Time Analysis of Event-Triggered Processing Chains with Data
Refreshing},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10248012},
doi = {10.1109/DAC56929.2023.10248012},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/TangGJDY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/JiangLGDLY23,
author = {Xu Jiang and
Xiantong Luo and
Nan Guan and
Zheng Dong and
Shaoshan Liu and
Wang Yi},
title = {Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect
Chains},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2023, Antwerp, Belgium, April 17-19, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/DATE56975.2023.10137138},
doi = {10.23919/DATE56975.2023.10137138},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/JiangLGDLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LiuLZJGYYG23,
author = {Songran Liu and
Mingsong Lv and
Wei Zhang and
Xu Jiang and
Chuancai Gu and
Tao Yang and
Wang Yi and
Nan Guan},
title = {Light Flash Write for Efficient Firmware Update on Energy-harvesting
IoT Devices},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2023, Antwerp, Belgium, April 17-19, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/DATE56975.2023.10136990},
doi = {10.23919/DATE56975.2023.10136990},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/LiuLZJGYYG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/TangGJLY23,
author = {Yue Tang and
Nan Guan and
Xu Jiang and
Xiantong Luo and
Wang Yi},
title = {Real-Time Performance Analysis of Processing Systems on {ROS} 2 Executors},
booktitle = {29th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2023, San Antonio, TX, USA, May 9-12, 2023},
pages = {80--92},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RTAS58335.2023.00014},
doi = {10.1109/RTAS58335.2023.00014},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtas/TangGJLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Luo0GLL023,
author = {Xiantong Luo and
Xu Jiang and
Nan Guan and
Haochun Liang and
Songran Liu and
Wang Yi},
title = {Modeling and Analysis of Inter-Process Communication Delay in {ROS}
2},
booktitle = {{IEEE} Real-Time Systems Symposium, {RTSS} 2023, Taipei, Taiwan, December
5-8, 2023},
pages = {198--209},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RTSS59052.2023.00026},
doi = {10.1109/RTSS59052.2023.00026},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/Luo0GLL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/00010GLL023,
author = {Yue Tang and
Xu Jiang and
Nan Guan and
Songran Liu and
Xiantong Luo and
Wang Yi},
title = {Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using
Priority Inheritance},
booktitle = {{IEEE} Real-Time Systems Symposium, {RTSS} 2023, Taipei, Taiwan, December
5-8, 2023},
pages = {411--422},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RTSS59052.2023.00042},
doi = {10.1109/RTSS59052.2023.00042},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/00010GLL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/WangWZJW22,
author = {Desheng Wang and
Yangjie Wei and
Ke Zhang and
Dong Ji and
Wang Yi},
title = {Automatic Speech Recognition Performance Improvement for Mandarin
Based on Optimizing Gain Control Strategy},
journal = {Sensors},
volume = {22},
number = {8},
pages = {3027},
year = {2022},
url = {https://doi.org/10.3390/s22083027},
doi = {10.3390/S22083027},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/WangWZJW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/PangJLGLY22,
author = {Weiguang Pang and
Xu Jiang and
Mingsong Lv and
Teng Gao and
Di Liu and
Wang Yi},
title = {Toward the Predictability of Dynamic Real-Time {DNN} Inference},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {9},
pages = {2849--2862},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3120329},
doi = {10.1109/TCAD.2021.3120329},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/PangJLGLY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/DaiMVY22,
author = {Gaoyang Dai and
Morteza Mohaqeqi and
Petros Voudouris and
Wang Yi},
title = {Response-Time Analysis of Limited-Preemptive Sporadic {DAG} Tasks},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {11},
pages = {3673--3684},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2022.3200527},
doi = {10.1109/TCAD.2022.3200527},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/DaiMVY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/WangWJMY22,
author = {Desheng Wang and
Yangjie Wei and
Dong Ji and
Ye Ma and
Wang Yi},
title = {Optimized Volume Control Architecture for Cascaded Audio System},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {68},
number = {2},
pages = {170--180},
year = {2022},
url = {https://doi.org/10.1109/TCE.2022.3175709},
doi = {10.1109/TCE.2022.3175709},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/WangWJMY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/JiangGYWTY22,
author = {Xu Jiang and
Nan Guan and
Maolin Yang and
Yang Wang and
Yue Tang and
Wang Yi},
title = {Real-Time Scheduling of Parallel Task Graphs With Critical Sections
Across Different Vertices},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {33},
number = {10},
pages = {4117--4133},
year = {2022},
url = {https://doi.org/10.1109/TPDS.2022.3179328},
doi = {10.1109/TPDS.2022.3179328},
timestamp = {Wed, 10 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/JiangGYWTY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/YiMG22,
author = {Wang Yi and
Morteza Mohaqeqi and
Susanne Graf},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {{MIMOS:} {A} Deterministic Model for the Design and Update of Real-Time
Systems},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {17--34},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_2},
doi = {10.1007/978-3-031-08143-9\_2},
timestamp = {Wed, 15 Jun 2022 16:45:17 +0200},
biburl = {https://dblp.org/rec/conf/coordination/YiMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangJGLJ022,
author = {Yang Wang and
Xu Jiang and
Nan Guan and
Mingsong Lv and
Dong Ji and
Wang Yi},
editor = {Rob Oshana},
title = {Scheduling and analysis of real-time tasks with parallel critical
sections},
booktitle = {{DAC} '22: 59th {ACM/IEEE} Design Automation Conference, San Francisco,
California, USA, July 10 - 14, 2022},
pages = {1255--1260},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3489517.3530611},
doi = {10.1145/3489517.3530611},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WangJGLJ022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MohaqeqiDY22,
author = {Morteza Mohaqeqi and
Gaoyang Dai and
Wang Yi},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {Counting Priority Inversions: Computing Maximum Additional Core Requests
of {DAG} Tasks},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {1281--1286},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774673},
doi = {10.23919/DATE54114.2022.9774673},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/MohaqeqiDY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/ChenZHZY22,
author = {Gang Chen and
Zhaoheng Zhou and
Shengyu He and
Yi Zheng and
Wang Yi},
title = {VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile
Phones},
booktitle = {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},
pages = {1987--1994},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys57074.2022.00296},
doi = {10.1109/HPCC-DSS-SMARTCITY-DEPENDSYS57074.2022.00296},
timestamp = {Thu, 06 Apr 2023 11:34:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/ChenZHZY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/JiangJGLTW22,
author = {Xu Jiang and
Dong Ji and
Nan Guan and
Ruoxiang Li and
Yue Tang and
Wang Yi},
title = {Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded
Executor in {ROS} 2},
booktitle = {{IEEE} Real-Time Systems Symposium, {RTSS} 2022, Houston, TX, USA,
December 5-8, 2022},
pages = {27--39},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RTSS55097.2022.00013},
doi = {10.1109/RTSS55097.2022.00013},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/JiangJGLTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/TangG022,
author = {Yue Tang and
Nan Guan and
Wang Yi},
editor = {Yu{-}Chu Tian and
David C. Levy},
title = {Real-Time Task Models},
booktitle = {Handbook of Real-Time Computing},
pages = {469--487},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-287-251-7\_29},
doi = {10.1007/978-981-287-251-7\_29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/22/TangG022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/Ekberg022,
author = {Pontus Ekberg and
Wang Yi},
editor = {Yu{-}Chu Tian and
David C. Levy},
title = {Complexity of Uniprocessor Scheduling Analysis},
booktitle = {Handbook of Real-Time Computing},
pages = {489--506},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-981-287-251-7\_35},
doi = {10.1007/978-981-287-251-7\_35},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/Ekberg022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/Dong0LP021,
author = {Xinyang Dong and
Gang Chen and
Mingsong Lv and
Weiguang Pang and
Wang Yi},
title = {Flexible Mixed-Criticality Scheduling with Dynamic Slack Management},
journal = {J. Circuits Syst. Comput.},
volume = {30},
number = {10},
pages = {2150306:1--2150306:20},
year = {2021},
url = {https://doi.org/10.1142/S0218126621503060},
doi = {10.1142/S0218126621503060},
timestamp = {Thu, 09 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/Dong0LP021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/DuJLYY21,
author = {He Du and
Xu Jiang and
Mingsong Lv and
Tao Yang and
Wang Yi},
title = {Scheduling and analysis of real-time task graph models with nested
locks},
journal = {J. Syst. Archit.},
volume = {114},
pages = {101969},
year = {2021},
url = {https://doi.org/10.1016/j.sysarc.2020.101969},
doi = {10.1016/J.SYSARC.2020.101969},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/DuJLYY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/JiangGDLW21,
author = {Xu Jiang and
Nan Guan and
He Du and
Weichen Liu and
Wang Yi},
title = {On the Analysis of Parallel Real-Time Tasks With Spin Locks},
journal = {{IEEE} Trans. Computers},
volume = {70},
number = {2},
pages = {199--211},
year = {2021},
url = {https://doi.org/10.1109/TC.2020.2987300},
doi = {10.1109/TC.2020.2987300},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/JiangGDLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SunGST021,
author = {Jinghao Sun and
Nan Guan and
Rongxiao Shi and
Guozhen Tan and
Wang Yi},
title = {Schedulability Analysis for Timed Automata With Tasks},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5s},
pages = {89:1--89:26},
year = {2021},
url = {https://doi.org/10.1145/3477020},
doi = {10.1145/3477020},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/SunGST021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/MaCLYLCZ21,
author = {Ye Ma and
Gang Chen and
Mingsong Lv and
Wang Yi and
Xue Liu and
Hao Chen and
Bo Zhu},
title = {Efficient and Effective Dimension Control in Automotive Applications},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {17},
number = {3},
pages = {1583--1591},
year = {2021},
url = {https://doi.org/10.1109/TII.2020.2990168},
doi = {10.1109/TII.2020.2990168},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/MaCLYLCZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/WangJGGLY21,
author = {Yang Wang and
Xu Jiang and
Nan Guan and
Zhishan Guo and
Xue Liu and
Wang Yi},
title = {Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {32},
number = {6},
pages = {1322--1339},
year = {2021},
url = {https://doi.org/10.1109/TPDS.2020.3048373},
doi = {10.1109/TPDS.2020.3048373},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/WangJGGLY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OlderogS021,
author = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Model Checking, Synthesis, and Learning},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {1--7},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_1},
doi = {10.1007/978-3-030-91384-7\_1},
timestamp = {Tue, 11 Jan 2022 18:33:29 +0100},
biburl = {https://dblp.org/rec/conf/birthday/OlderogS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Abdullah021,
author = {Jakaria Abdullah and
Wang Yi},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Cause-Effect Reaction Latency in Real-Time Systems},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {41--56},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_3},
doi = {10.1007/978-3-030-91384-7\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Abdullah021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/TangGF0021,
author = {Yue Tang and
Nan Guan and
Zhiwei Feng and
Xu Jiang and
Wang Yi},
title = {Response Time Analysis of Lazy Round Robin},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {258--263},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474242},
doi = {10.23919/DATE51398.2021.9474242},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/TangGF0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/DaiM021,
author = {Gaoyang Dai and
Morteza Mohaqeqi and
Wang Yi},
title = {Timing-Anomaly Free Dynamic Scheduling of Periodic {DAG} Tasks with
Non-Preemptive Nodes},
booktitle = {27th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2021, Houston, TX, USA, August 18-20,
2021},
pages = {119--128},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTCSA52859.2021.00022},
doi = {10.1109/RTCSA52859.2021.00022},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/DaiM021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/JiangGLTQW21,
author = {Xu Jiang and
Nan Guan and
Haochun Liang and
Yue Tang and
Lei Qiao and
Wang Yi},
title = {Virtually-Federated Scheduling of Parallel Real-Time Tasks},
booktitle = {42nd {IEEE} Real-Time Systems Symposium, {RTSS} 2021, Dortmund, Germany,
December 7-10, 2021},
pages = {482--494},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTSS52674.2021.00050},
doi = {10.1109/RTSS52674.2021.00050},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/JiangGLTQW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2021jonsson,
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7},
doi = {10.1007/978-3-030-91384-7},
isbn = {978-3-030-91383-0},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2021jonsson.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JiLYY20,
author = {Dong Ji and
Mingsong Lv and
Jiayu Yang and
Wang Yi},
title = {Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle
Charging Stations in an Urban Area},
journal = {{IEEE} Access},
volume = {8},
pages = {112772--112782},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3003071},
doi = {10.1109/ACCESS.2020.3003071},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/JiLYY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ChenGHY20,
author = {Gang Chen and
Nan Guan and
Kai Huang and
Wang Yi},
title = {Fault-tolerant real-time tasks scheduling with dynamic fault handling},
journal = {J. Syst. Archit.},
volume = {102},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2019.101688},
doi = {10.1016/J.SYSARC.2019.101688},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/ChenGHY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/FengGLLDLY20,
author = {Zhiwei Feng and
Nan Guan and
Mingsong Lv and
Wenchen Liu and
Qingxu Deng and
Xue Liu and
Wang Yi},
title = {Efficient drone hijacking detection using two-step GA-XGBoost},
journal = {J. Syst. Archit.},
volume = {103},
pages = {101694},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2019.101694},
doi = {10.1016/J.SYSARC.2019.101694},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/FengGLLDLY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/SunGLGSY20,
author = {Jinghao Sun and
Nan Guan and
Feng Li and
Huimin Gao and
Chang Shi and
Wang Yi},
title = {Real-Time Scheduling and Analysis of OpenMP {DAG} Tasks Supporting
Nested Parallelism},
journal = {{IEEE} Trans. Computers},
volume = {69},
number = {9},
pages = {1335--1348},
year = {2020},
url = {https://doi.org/10.1109/TC.2020.2972385},
doi = {10.1109/TC.2020.2972385},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/SunGLGSY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SunGCLDY20,
author = {Jinghao Sun and
Nan Guan and
Shuangshuang Chang and
Feng Li and
Qingxu Deng and
Wang Yi},
title = {Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained
Deadlines Under {GEDF} Scheduling},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {12},
pages = {4537--4548},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.2966486},
doi = {10.1109/TCAD.2020.2966486},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/SunGCLDY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SunLGZXG020,
author = {Jinghao Sun and
Feng Li and
Nan Guan and
Wentao Zhu and
Minjie Xiang and
Zhishan Guo and
Wang Yi},
title = {On Computing Exact {WCRT} for {DAG} Tasks{\textdagger}},
booktitle = {57th {ACM/IEEE} Design Automation Conference, {DAC} 2020, San Francisco,
CA, USA, July 20-24, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DAC18072.2020.9218744},
doi = {10.1109/DAC18072.2020.9218744},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/SunLGZXG020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SunCXCGG020,
author = {Jinghao Sun and
Yaoyao Chi and
Tianfei Xu and
Lei Cao and
Nan Guan and
Zhishan Guo and
Wang Yi},
title = {On the Volume Calculation for Conditional {DAG} Tasks: Hardness and
Algorithms\({}^{\mbox{*}}\)},
booktitle = {2020 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
pages = {204--209},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.23919/DATE48585.2020.9116559},
doi = {10.23919/DATE48585.2020.9116559},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/SunCXCGG020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/Du0YL020,
author = {He Du and
Xu Jiang and
Tao Yang and
Mingsong Lv and
Wang Yi},
title = {Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks},
booktitle = {26th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2020, Hong Kong, December 2-4, 2020},
pages = {99--108},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICPADS51040.2020.00023},
doi = {10.1109/ICPADS51040.2020.00023},
timestamp = {Thu, 15 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpads/Du0YL020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/TangFG0LD020,
author = {Yue Tang and
Zhiwei Feng and
Nan Guan and
Xu Jiang and
Mingsong Lv and
Qingxu Deng and
Wang Yi},
title = {Response Time Analysis and Priority Assignment of Processing Chains
on {ROS2} Executors},
booktitle = {41st {IEEE} Real-Time Systems Symposium, {RTSS} 2020, Houston, TX,
USA, December 1-4, 2020},
pages = {231--243},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RTSS49844.2020.00030},
doi = {10.1109/RTSS49844.2020.00030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/TangFG0LD020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08233,
author = {Xu Jiang and
Nan Guan and
He Du and
Weichen Liu and
Wang Yi},
title = {On the Analysis of Parallel Real-Time Tasks with Spin Locks},
journal = {CoRR},
volume = {abs/2003.08233},
year = {2020},
url = {https://arxiv.org/abs/2003.08233},
eprinttype = {arXiv},
eprint = {2003.08233},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-06762,
author = {Xu Jiang and
Nan Guan and
Maolin Yang and
Yue Tang and
Wang Yi},
title = {Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic
Scheduling},
journal = {CoRR},
volume = {abs/2011.06762},
year = {2020},
url = {https://arxiv.org/abs/2011.06762},
eprinttype = {arXiv},
eprint = {2011.06762},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-06762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-13234,
author = {Wang Yi and
Morteza Mohaqeqi and
Susanne Graf},
title = {{MIMOS:} {A} Deterministic Model for the Design and Update of Real-Time
Systems},
journal = {CoRR},
volume = {abs/2011.13234},
year = {2020},
url = {https://arxiv.org/abs/2011.13234},
eprinttype = {arXiv},
eprint = {2011.13234},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-13234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/LiuWW19,
author = {Yongjun Liu and
Yangjie Wei and
Wang Yi},
title = {Depth from defocus {(DFD)} based on {VFISTA} optimization algorithm
in micro/nanometer vision},
journal = {Clust. Comput.},
volume = {22},
number = {Suppl 1},
pages = {1459--1467},
year = {2019},
url = {https://doi.org/10.1007/s10586-018-1810-2},
doi = {10.1007/S10586-018-1810-2},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/LiuWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LiuGJLLY19,
author = {Songran Liu and
Nan Guan and
Dong Ji and
Weichen Liu and
Xue Liu and
Wang Yi},
title = {Leaking your engine speed by spectrum analysis of real-Time scheduling
sequences},
journal = {J. Syst. Archit.},
volume = {97},
pages = {455--466},
year = {2019},
url = {https://doi.org/10.1016/j.sysarc.2019.01.004},
doi = {10.1016/J.SYSARC.2019.01.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/LiuGJLLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/DuZGY19,
author = {He Du and
Wei Zhang and
Nan Guan and
Wang Yi},
title = {Scope-aware data cache analysis for OpenMP programs on multi-core
processors},
journal = {J. Syst. Archit.},
volume = {98},
pages = {443--452},
year = {2019},
url = {https://doi.org/10.1016/j.sysarc.2019.04.001},
doi = {10.1016/J.SYSARC.2019.04.001},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/DuZGY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/FengGLLDLY19,
author = {Zhiwei Feng and
Nan Guan and
Mingsong Lv and
Weichen Liu and
Qingxu Deng and
Xue Liu and
Wang Yi},
title = {An Efficient {UAV} Hijacking Detection Method Using Onboard Inertial
Measurement Unit},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {6},
pages = {96:1--96:19},
year = {2019},
url = {https://doi.org/10.1145/3289390},
doi = {10.1145/3289390},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/FengGLLDLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AbdullahD019,
author = {Jakaria Abdullah and
Gaoyang Dai and
Wang Yi},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking
Communication},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1625--1630},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8715264},
doi = {10.23919/DATE.2019.8715264},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/AbdullahD019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/HaoLZZY19,
author = {Xiaochen Hao and
Mingsong Lv and
Jiesheng Zheng and
Zhengkui Zhang and
Wang Yi},
title = {Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical
Systems},
booktitle = {37th {IEEE} International Conference on Computer Design, {ICCD} 2019,
Abu Dhabi, United Arab Emirates, November 17-20, 2019},
pages = {237--245},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICCD46524.2019.00037},
doi = {10.1109/ICCD46524.2019.00037},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/HaoLZZY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscid/WangWZ019,
author = {Desheng Wang and
Yangjie Wei and
Ke Zhang and
Wang Yi},
title = {Evaluating Audio System Dynamic Range Performance under Variable Distortion
Condition},
booktitle = {12th International Symposium on Computational Intelligence and Design,
{ISCID} 2019, Hangzhou, China, December 14-15, 2019, Volume 2},
pages = {279--284},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISCID.2019.10147},
doi = {10.1109/ISCID.2019.10147},
timestamp = {Fri, 05 Jun 2020 12:54:47 +0200},
biburl = {https://dblp.org/rec/conf/iscid/WangWZ019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Yi19,
author = {Wang Yi},
title = {Design and Dynamic Update of Real-Time Systems},
booktitle = {{IEEE} Real-Time Systems Symposium, {RTSS} 2019, Hong Kong, SAR, China,
December 3-6, 2019},
pages = {1--3},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RTSS46320.2019.00011},
doi = {10.1109/RTSS46320.2019.00011},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/Yi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChenGLHHSY18,
author = {Gang Chen and
Nan Guan and
Di Liu and
Qingqiang He and
Kai Huang and
Todor P. Stefanov and
Wang Yi},
title = {Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time
Tasks},
journal = {{IEEE} Trans. Computers},
volume = {67},
number = {4},
pages = {543--558},
year = {2018},
url = {https://doi.org/10.1109/TC.2017.2763133},
doi = {10.1109/TC.2017.2763133},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/ChenGLHHSY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LiuGSCLSY18,
author = {Di Liu and
Nan Guan and
Jelena Spasic and
Gang Chen and
Songran Liu and
Todor P. Stefanov and
Wang Yi},
title = {Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks},
journal = {{IEEE} Trans. Computers},
volume = {67},
number = {7},
pages = {975--991},
year = {2018},
url = {https://doi.org/10.1109/TC.2018.2789879},
doi = {10.1109/TC.2018.2789879},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/LiuGSCLSY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SunGJCGDY18,
author = {Jinghao Sun and
Nan Guan and
Xu Jiang and
Shuangshuang Chang and
Zhishan Guo and
Qingxu Deng and
Wang Yi},
title = {A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel
Tasks Under {GEDF}},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {11},
pages = {2200--2211},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2018.2857362},
doi = {10.1109/TCAD.2018.2857362},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/SunGJCGDY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ChenGHY18,
author = {Gang Chen and
Nan Guan and
Biao Hu and
Wang Yi},
title = {{EDF-VD} Scheduling of Flexible Mixed-Criticality System With Multiple-Shot
Transitions},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {11},
pages = {2393--2403},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2018.2857359},
doi = {10.1109/TCAD.2018.2857359},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/ChenGHY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AnZLZY18,
author = {Jie An and
Naijun Zhan and
Xiaoshan Li and
Miaomiao Zhang and
Wang Yi},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Model Checking Bounded Continuous-time Extended Linear Duration Invariants},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {81--90},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178147},
doi = {10.1145/3178126.3178147},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AnZLZY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AbdullahDM018,
author = {Jakaria Abdullah and
Gaoyang Dai and
Morteza Mohaqeqi and
Wang Yi},
editor = {Rodolfo Pellizzoni},
title = {Schedulability Analysis and Software Synthesis for Graph-Based Task
Models with Resource Sharing},
booktitle = {{IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2018, 11-13 April 2018, Porto, Portugal},
pages = {261--270},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RTAS.2018.00034},
doi = {10.1109/RTAS.2018.00034},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/AbdullahDM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/HeGL018,
author = {Qingqiang He and
Nan Guan and
Mingsong Lv and
Wang Yi},
title = {On the Consensus Mechanisms of Blockchain/DLT for Internet of Things},
booktitle = {13th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2018, Graz, Austria, June 6-8, 2018},
pages = {1--10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SIES.2018.8442076},
doi = {10.1109/SIES.2018.8442076},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/HeGL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MohaqeqiA017,
author = {Morteza Mohaqeqi and
Jakaria Abdullah and
Wang Yi},
editor = {Johann Blieberger and
Markus Bader},
title = {An Executable Semantics for Synchronous Task Graphs: From {SDRT} to
Ada},
booktitle = {Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe
International Conference on Reliable Software Technologies, Vienna,
Austria, June 12-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10300},
pages = {137--152},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60588-3\_9},
doi = {10.1007/978-3-319-60588-3\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MohaqeqiA017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbdullahDGM017,
author = {Jakaria Abdullah and
Gaoyang Dai and
Nan Guan and
Morteza Mohaqeqi and
Wang Yi},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation
of Cyber-Physical Systems},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {623--639},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_31},
doi = {10.1007/978-3-319-63121-9\_31},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AbdullahDGM017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FengGLLDL017,
author = {Zhiwei Feng and
Nan Guan and
Mingsong Lv and
Weichen Liu and
Qingxu Deng and
Xue Liu and
Wang Yi},
editor = {David Atienza and
Giorgio Di Natale},
title = {Efficient drone hijacking detection using onboard motion sensors},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {1414--1419},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927214},
doi = {10.23919/DATE.2017.7927214},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/FengGLLDL017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MohaqeqiAE017,
author = {Morteza Mohaqeqi and
Syed Md Jakaria Abdullah and
Pontus Ekberg and
Wang Yi},
editor = {Marko Bertogna},
title = {Refinement of Workload Models for Engine Controllers by State Space
Partitioning},
booktitle = {29th Euromicro Conference on Real-Time Systems, {ECRTS} 2017, June
27-30, 2017, Dubrovnik, Croatia},
series = {LIPIcs},
volume = {76},
pages = {11:1--11:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2017.11},
doi = {10.4230/LIPICS.ECRTS.2017.11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/MohaqeqiAE017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Yi17,
author = {Wang Yi},
editor = {Zhenhua Duan and
Luke Ong},
title = {Towards Customizable {CPS:} Composability, Efficiency and Predictability},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {3--15},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_1},
doi = {10.1007/978-3-319-68690-5\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Yi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/LampkaBSGY17,
author = {Kai Lampka and
Steffen Bondorf and
Jens B. Schmitt and
Nan Guan and
Wang Yi},
title = {Generalized finitary real-time calculus},
booktitle = {2017 {IEEE} Conference on Computer Communications, {INFOCOM} 2017,
Atlanta, GA, USA, May 1-4, 2017},
pages = {1--9},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INFOCOM.2017.8056981},
doi = {10.1109/INFOCOM.2017.8056981},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/LampkaBSGY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/WangGSLHH017,
author = {Yang Wang and
Nan Guan and
Jinghao Sun and
Mingsong Lv and
Qingqiang He and
Tianzhang He and
Wang Yi},
title = {Benchmarking OpenMP programs for real-time scheduling},
booktitle = {23rd {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2017, Hsinchu, Taiwan, August 16-18,
2017},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTCSA.2017.8046322},
doi = {10.1109/RTCSA.2017.8046322},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/WangGSLHH017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/JiangGL017,
author = {Xu Jiang and
Nan Guan and
Xiang Long and
Wang Yi},
title = {Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors},
booktitle = {2017 {IEEE} Real-Time Systems Symposium, {RTSS} 2017, Paris, France,
December 5-8, 2017},
pages = {80--91},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTSS.2017.00015},
doi = {10.1109/RTSS.2017.00015},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/JiangGL017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SunGWHY17,
author = {Jinghao Sun and
Nan Guan and
Yang Wang and
Qingqiang He and
Wang Yi},
title = {Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied
Tasks},
booktitle = {2017 {IEEE} Real-Time Systems Symposium, {RTSS} 2017, Paris, France,
December 5-8, 2017},
pages = {92--103},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTSS.2017.00016},
doi = {10.1109/RTSS.2017.00016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/SunGWHY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Ekberg017,
author = {Pontus Ekberg and
Wang Yi},
title = {Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is
NP-Hard},
booktitle = {2017 {IEEE} Real-Time Systems Symposium, {RTSS} 2017, Paris, France,
December 5-8, 2017},
pages = {139--146},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTSS.2017.00020},
doi = {10.1109/RTSS.2017.00020},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Ekberg017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/TangGLP017,
author = {Yue Tang and
Nan Guan and
Weichen Liu and
Linh Thi Xuan Phan and
Wang Yi},
title = {Revisiting {GPC} and {AND} Connector in Real-Time Calculus},
booktitle = {2017 {IEEE} Real-Time Systems Symposium, {RTSS} 2017, Paris, France,
December 5-8, 2017},
pages = {255--265},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTSS.2017.00031},
doi = {10.1109/RTSS.2017.00031},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/TangGLP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AbdullahM017,
author = {Jakaria Abdullah and
Morteza Mohaqeqi and
Wang Yi},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Synthesis of ada code from graph-based task models},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1467--1472},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019681},
doi = {10.1145/3019612.3019681},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/AbdullahM017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JiangGL017,
author = {Xu Jiang and
Nan Guan and
Xiang Long and
Wang Yi},
title = {Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors},
journal = {CoRR},
volume = {abs/1705.03245},
year = {2017},
url = {http://arxiv.org/abs/1705.03245},
eprinttype = {arXiv},
eprint = {1705.03245},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JiangGL017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-00100,
author = {Gang Chen and
Nan Guan and
Di Liu and
Qingqiang He and
Kai Huang and
Todor P. Stefanov and
Wang Yi},
title = {Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time
Tasks},
journal = {CoRR},
volume = {abs/1711.00100},
year = {2017},
url = {http://arxiv.org/abs/1711.00100},
eprinttype = {arXiv},
eprint = {1711.00100},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-00100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/WeiW16,
author = {Yangjie Wei and
Wang Yi},
title = {Dynamic blind source separation based on source-direction prediction},
journal = {Neurocomputing},
volume = {185},
pages = {73--81},
year = {2016},
url = {https://doi.org/10.1016/j.neucom.2015.12.040},
doi = {10.1016/J.NEUCOM.2015.12.040},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/WeiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ZhangGDY16,
author = {Tianyu Zhang and
Nan Guan and
Qingxu Deng and
Wang Yi},
title = {Start time configuration for strictly periodic real-time task systems},
journal = {J. Syst. Archit.},
volume = {66-67},
pages = {61--68},
year = {2016},
url = {https://doi.org/10.1016/j.sysarc.2016.04.014},
doi = {10.1016/J.SYSARC.2016.04.014},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/ZhangGDY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/LvGRW016,
author = {Mingsong Lv and
Nan Guan and
Jan Reineke and
Reinhard Wilhelm and
Wang Yi},
title = {A Survey on Static Cache Analysis for Real-Time Systems},
journal = {Leibniz Trans. Embed. Syst.},
volume = {3},
number = {1},
pages = {05:1--05:48},
year = {2016},
url = {https://doi.org/10.4230/LITES-v003-i001-a005},
doi = {10.4230/LITES-V003-I001-A005},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lites/LvGRW016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Ekberg016,
author = {Pontus Ekberg and
Wang Yi},
title = {Schedulability analysis of a graph-based task model for mixed-criticality
systems},
journal = {Real Time Syst.},
volume = {52},
number = {1},
pages = {1--37},
year = {2016},
url = {https://doi.org/10.1007/s11241-015-9225-0},
doi = {10.1007/S11241-015-9225-0},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Ekberg016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SunGWDZY16,
author = {Jinghao Sun and
Nan Guan and
Yang Wang and
Qingxu Deng and
Peng Zeng and
Wang Yi},
title = {Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and
Algorithms},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {1},
pages = {14:1--14:28},
year = {2016},
url = {https://doi.org/10.1145/2809780},
doi = {10.1145/2809780},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SunGWDZY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MohaqeqiAY16,
author = {Morteza Mohaqeqi and
Jakaria Abdullah and
Wang Yi},
editor = {Marko Bertogna and
Lu{\'{\i}}s Miguel Pinho and
Eduardo Qui{\~{n}}ones},
title = {Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time
Task Model},
booktitle = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
International Conference on Reliable Software Technologies, Pisa,
Italy, June 13-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9695},
pages = {15--29},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39083-3\_2},
doi = {10.1007/978-3-319-39083-3\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MohaqeqiAY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rummer016,
author = {Philipp R{\"{u}}mmer and
Wang Yi},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Characterization of Simulation by Probabilistic Testing},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {360--372},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_24},
doi = {10.1007/978-3-319-30734-3\_24},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rummer016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AbdullahL016,
author = {Syed Md Jakaria Abdullah and
Kai Lampka and
Wang Yi},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Improving performance by monitoring while maintaining worst-case guarantees},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {257--260},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459316/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/AbdullahL016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MohaqeqiAG016,
author = {Morteza Mohaqeqi and
Jakaria Abdullah and
Nan Guan and
Wang Yi},
title = {Schedulability Analysis of Synchronous Digraph Real-Time Tasks},
booktitle = {28th Euromicro Conference on Real-Time Systems, {ECRTS} 2016, Toulouse,
France, July 5-8, 2016},
pages = {176--186},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ECRTS.2016.17},
doi = {10.1109/ECRTS.2016.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/MohaqeqiAG016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eenergy/LvGMJKL016,
author = {Mingsong Lv and
Nan Guan and
Ye Ma and
Dong Ji and
Erwin Knippel and
Xue Liu and
Wang Yi},
title = {Speed planning for solar-powered electric vehicles},
booktitle = {Proceedings of the Seventh International Conference on Future Energy
Systems, Waterloo, ON, Canada, June 21 - 24, 2016},
pages = {6:1--6:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934328.2934334},
doi = {10.1145/2934328.2934334},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eenergy/LvGMJKL016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GuGFDH016,
author = {Chuancai Gu and
Nan Guan and
Zhiwei Feng and
Qingxu Deng and
Xiaobo Sharon Hu and
Wang Yi},
title = {Transforming Real-Time Task Graphs to Improve Schedulability},
booktitle = {22nd {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2016, Daegu, South Korea, August
17-19, 2016},
pages = {29--38},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTCSA.2016.13},
doi = {10.1109/RTCSA.2016.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/GuGFDH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/MohaqeqiE016,
author = {Morteza Mohaqeqi and
Pontus Ekberg and
Wang Yi},
editor = {Alain Plantec and
Frank Singhoff and
S{\'{e}}bastien Faucou and
Lu{\'{\i}}s Miguel Pinho},
title = {On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension},
booktitle = {Proceedings of the 24th International Conference on Real-Time Networks
and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016},
pages = {109--118},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2997465.2997485},
doi = {10.1145/2997465.2997485},
timestamp = {Tue, 29 Dec 2020 18:28:06 +0100},
biburl = {https://dblp.org/rec/conf/rtns/MohaqeqiE016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LiuSG0LS016,
author = {Di Liu and
Jelena Spasic and
Nan Guan and
Gang Chen and
Songran Liu and
Todor P. Stefanov and
Wang Yi},
title = {{EDF-VD} Scheduling of Mixed-Criticality Systems with Degraded Quality
Guarantees},
booktitle = {2016 {IEEE} Real-Time Systems Symposium, {RTSS} 2016, Porto, Portugal,
November 29 - December 2, 2016},
pages = {35--46},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTSS.2016.013},
doi = {10.1109/RTSS.2016.013},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LiuSG0LS016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuS0GLS016,
author = {Di Liu and
Jelena Spasic and
Gang Chen and
Nan Guan and
Songran Liu and
Todor P. Stefanov and
Wang Yi},
title = {{EDF-VD} Scheduling of Mixed-Criticality Systems with Degraded Quality
Guarantees},
journal = {CoRR},
volume = {abs/1605.01302},
year = {2016},
url = {http://arxiv.org/abs/1605.01302},
eprinttype = {arXiv},
eprint = {1605.01302},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LiuS0GLS016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/LinXGJW015,
author = {Hao Lin and
Wenyao Xu and
Nan Guan and
Dong Ji and
Yangjie Wei and
Wang Yi},
title = {Noninvasive and Continuous Blood Pressure Monitoring Using Wearable
Body Sensor Networks},
journal = {{IEEE} Intell. Syst.},
volume = {30},
number = {6},
pages = {38--48},
year = {2015},
url = {https://doi.org/10.1109/MIS.2015.72},
doi = {10.1109/MIS.2015.72},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/LinXGJW015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/EkbergGS015,
author = {Pontus Ekberg and
Nan Guan and
Martin Stigge and
Wang Yi},
title = {An optimal resource sharing protocol for generalized multiframe tasks},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {92--105},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.10.001},
doi = {10.1016/J.JLAMP.2014.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/EkbergGS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Stigge015,
author = {Martin Stigge and
Wang Yi},
title = {Graph-based models for real-time workload: a survey},
journal = {Real Time Syst.},
volume = {51},
number = {5},
pages = {602--636},
year = {2015},
url = {https://doi.org/10.1007/s11241-015-9234-z},
doi = {10.1007/S11241-015-9234-Z},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Stigge015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Stigge015a,
author = {Martin Stigge and
Wang Yi},
title = {Combinatorial abstraction refinement for feasibility analysis of static
priorities},
journal = {Real Time Syst.},
volume = {51},
number = {6},
pages = {639--674},
year = {2015},
url = {https://doi.org/10.1007/s11241-015-9220-5},
doi = {10.1007/S11241-015-9220-5},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Stigge015a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/WeiWWD15,
author = {Yangjie Wei and
Chengdong Wu and
Wang Yi and
Zaili Dong},
title = {Efficient Shape Reconstruction of Microlens Using Optical Microscopy},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {62},
number = {12},
pages = {7655--7664},
year = {2015},
url = {https://doi.org/10.1109/TIE.2015.2454480},
doi = {10.1109/TIE.2015.2454480},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/WeiWWD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GuanTW015,
author = {Nan Guan and
Yue Tang and
Yang Wang and
Wang Yi},
editor = {Wolfgang Nebel and
David Atienza},
title = {Delay analysis of structural real-time workload},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {223--228},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2755802},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/GuanTW015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Ekberg015,
author = {Pontus Ekberg and
Wang Yi},
title = {Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines
Is Strongly coNP-Complete},
booktitle = {27th Euromicro Conference on Real-Time Systems, {ECRTS} 2015, Lund,
Sweden, July 8-10, 2015},
pages = {281--286},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ECRTS.2015.32},
doi = {10.1109/ECRTS.2015.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/Ekberg015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/WangWGW15,
author = {Wenqi Wang and
Yangjie Wei and
Nan Guan and
Wang Yi},
title = {The automatic detection and analysis of electrocardiogram based on
Lorenz Plot},
booktitle = {2015 {IEEE} International Conference on Robotics and Biomimetics,
{ROBIO} 2015, Zhuhai, China, December 6-9, 2015},
pages = {644--649},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ROBIO.2015.7418841},
doi = {10.1109/ROBIO.2015.7418841},
timestamp = {Sat, 11 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robio/WangWGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GuanHGD015,
author = {Nan Guan and
Meiling Han and
Chuancai Gu and
Qingxu Deng and
Wang Yi},
title = {Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor
Scheduling Analysis},
booktitle = {21st {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2015, Hong Kong, China, August 19-21,
2015},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTCSA.2015.9},
doi = {10.1109/RTCSA.2015.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/GuanHGD015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GuanZXL015,
author = {Nan Guan and
Mengying Zhao and
Chun Jason Xue and
Yongpan Liu and
Wang Yi},
title = {Modular Performance Analysis of Energy-Harvesting Real-Time Networked
Systems},
booktitle = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
Texas, USA, December 1-4, 2015},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTSS.2015.14},
doi = {10.1109/RTSS.2015.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/GuanZXL015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Ekberg015,
author = {Pontus Ekberg and
Wang Yi},
title = {Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under
Bounded Utilization},
booktitle = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
Texas, USA, December 1-4, 2015},
pages = {87--95},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTSS.2015.16},
doi = {10.1109/RTSS.2015.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Ekberg015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GuanTAS015,
author = {Nan Guan and
Yue Tang and
Jakaria Abdullah and
Martin Stigge and
Wang Yi},
editor = {Christel Baier and
Cesare Tinelli},
title = {Scalable Timing Analysis with Refinement},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_1},
doi = {10.1007/978-3-662-46681-0\_1},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GuanTAS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2015,
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0},
doi = {10.1007/978-3-319-25942-0},
isbn = {978-3-319-25941-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/XiaGD014,
author = {Changqing Xia and
Nan Guan and
Qingxu Deng and
Wang Yi},
title = {Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor
Networks},
journal = {Int. J. Distributed Sens. Networks},
volume = {10},
year = {2014},
url = {https://doi.org/10.1155/2014/149416},
doi = {10.1155/2014/149416},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdsn/XiaGD014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/Li0QYZ014,
author = {Chuanwen Li and
Yu Gu and
Jianzhong Qi and
Ge Yu and
Rui Zhang and
Wang Yi},
title = {Processing Moving kNN Queries Using Influential Neighbor Sets},
journal = {Proc. {VLDB} Endow.},
volume = {8},
number = {2},
pages = {113--124},
year = {2014},
url = {http://www.vldb.org/pvldb/vol8/p113-li.pdf},
doi = {10.14778/2735471.2735473},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/Li0QYZ014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Ekberg014,
author = {Pontus Ekberg and
Wang Yi},
title = {Bounding and shaping the demand of generalized mixed-criticality sporadic
task systems},
journal = {Real Time Syst.},
volume = {50},
number = {1},
pages = {48--86},
year = {2014},
url = {https://doi.org/10.1007/s11241-013-9187-z},
doi = {10.1007/S11241-013-9187-Z},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Ekberg014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AxerEFGGGJMRRSHW014,
author = {Philip Axer and
Rolf Ernst and
Heiko Falk and
Alain Girault and
Daniel Grund and
Nan Guan and
Bengt Jonsson and
Peter Marwedel and
Jan Reineke and
Christine Rochange and
Maurice Sebastian and
Reinhard von Hanxleden and
Reinhard Wilhelm and
Wang Yi},
title = {Building timing predictable embedded systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {13},
number = {4},
pages = {82:1--82:37},
year = {2014},
url = {https://doi.org/10.1145/2560033},
doi = {10.1145/2560033},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/AxerEFGGGJMRRSHW014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GuanL0Y14,
author = {Nan Guan and
Mingsong Lv and
Wang Yi and
Ge Yu},
title = {{WCET} analysis with {MRU} cache: Challenging {LRU} for predictability},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {13},
number = {4s},
pages = {123:1--123:26},
year = {2014},
url = {https://doi.org/10.1145/2584655},
doi = {10.1145/2584655},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/GuanL0Y14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/ChenWGW14,
author = {Yao Chen and
Yangjie Wei and
Nan Guan and
Wang Yi},
title = {An Intelligent Hearing Aid System Based on Real-Time Signal Processing},
booktitle = {2014 {IEEE} International Conference on Cyber-Physical Systems, Networks,
and Applications, {CPSNA} 2014, Hong Kong, China, August 25-26, 2014},
pages = {55--58},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CPSNA.2014.18},
doi = {10.1109/CPSNA.2014.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsna/ChenWGW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GuGD014,
author = {Chuancai Gu and
Nan Guan and
Qingxu Deng and
Wang Yi},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Partitioned mixed-criticality scheduling on multiprocessor platforms},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.305},
doi = {10.7873/DATE.2014.305},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/GuGD014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Guan014,
author = {Nan Guan and
Wang Yi},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {General and efficient Response Time Analysis for {EDF} scheduling},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.268},
doi = {10.7873/DATE.2014.268},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/Guan014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/StiggeG014,
author = {Martin Stigge and
Nan Guan and
Wang Yi},
title = {Refinement-Based Exact Response-Time Analysis},
booktitle = {26th Euromicro Conference on Real-Time Systems, {ECRTS} 2014, Madrid,
Spain, July 8-11, 2014},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ECRTS.2014.29},
doi = {10.1109/ECRTS.2014.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/StiggeG014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/ZhangG014,
author = {Yi Zhang and
Nan Guan and
Wang Yi},
title = {Understanding the Dynamic Caches on Intel Processors: Methods and
Applications},
booktitle = {12th {IEEE} International Conference on Embedded and Ubiquitous Computing,
{EUC} 2014, Milano, Italy, August 26-28, 2014},
pages = {58--64},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EUC.2014.18},
doi = {10.1109/EUC.2014.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euc/ZhangG014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/BiXGW014,
author = {Yin Bi and
Wenyao Xu and
Nan Guan and
Yangjie Wei and
Wang Yi},
editor = {Andreas Hein and
Susanne Boll and
Friedrich K{\"{o}}hler},
title = {Pervasive eating habits monitoring and recognition through a wearable
acoustic sensor},
booktitle = {Proceedings of the 8th International Conference on Pervasive Computing
Technologies for Healthcare, PervasiveHealth 2014, Oldenburg, Germany,
May 20-23, 2014},
pages = {174--177},
publisher = {{ICST}},
year = {2014},
url = {https://doi.org/10.4108/icst.pervasivehealth.2014.255423},
doi = {10.4108/ICST.PERVASIVEHEALTH.2014.255423},
timestamp = {Mon, 11 Mar 2024 15:42:29 +0100},
biburl = {https://dblp.org/rec/conf/ph/BiXGW014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/JingG014,
author = {Wei Jing and
Nan Guan and
Wang Yi},
title = {Performance isolation for real-time systems with Xen hypervisor on
multi-cores},
booktitle = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
Computing Systems and Applications, Chongqing, China, August 20-22,
2014},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTCSA.2014.6910557},
doi = {10.1109/RTCSA.2014.6910557},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/JingG014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SunLA014,
author = {Youcheng Sun and
Giuseppe Lipari and
Nan Guan and
Wang Yi},
title = {Improving the response time analysis of global fixed-priority multiprocessor
scheduling},
booktitle = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
Computing Systems and Applications, Chongqing, China, August 20-22,
2014},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTCSA.2014.6910543},
doi = {10.1109/RTCSA.2014.6910543},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SunLA014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GuanGSD014,
author = {Nan Guan and
Chuancai Gu and
Martin Stigge and
Qingxu Deng and
Wang Yi},
title = {Approximate Response Time Analysis of Real-Time Task Graphs},
booktitle = {Proceedings of the {IEEE} 35th {IEEE} Real-Time Systems Symposium,
{RTSS} 2014, Rome, Italy, December 2-5, 2014},
pages = {304--313},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTSS.2014.20},
doi = {10.1109/RTSS.2014.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/GuanGSD014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/FlodinLY14,
author = {Jonas Flodin and
Kai Lampka and
Wang Yi},
title = {Dynamic budgeting for settling {DRAM} contention of co-running hard
and soft real-time tasks},
booktitle = {Proceedings of the 9th {IEEE} International Symposium on Industrial
Embedded Systems, {SIES} 2014, Pisa, Italy, June 18-20, 2014},
pages = {151--159},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SIES.2014.6871199},
doi = {10.1109/SIES.2014.6871199},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/FlodinLY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/ZhangGD014,
author = {Tianyu Zhang and
Nan Guan and
Qingxu Deng and
Wang Yi},
title = {On the analysis of {EDF-VD} scheduled mixed-criticality real-time
systems},
booktitle = {Proceedings of the 9th {IEEE} International Symposium on Industrial
Embedded Systems, {SIES} 2014, Pisa, Italy, June 18-20, 2014},
pages = {179--188},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SIES.2014.6871202},
doi = {10.1109/SIES.2014.6871202},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/ZhangGD014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HojjatRSY14,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer and
Pavle Subotic and
Wang Yi},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Horn Clauses for Communicating Timed Systems},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {39--52},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.6},
doi = {10.4204/EPTCS.169.6},
timestamp = {Thu, 14 Apr 2022 20:26:11 +0200},
biburl = {https://dblp.org/rec/journals/corr/HojjatRSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/StiggeE013,
author = {Martin Stigge and
Pontus Ekberg and
Wang Yi},
title = {The fork-join real-time task model},
journal = {{SIGBED} Rev.},
volume = {10},
number = {2},
pages = {20},
year = {2013},
url = {https://doi.org/10.1145/2518148.2518158},
doi = {10.1145/2518148.2518158},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/StiggeE013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bodynets/ZhangHRXG013,
author = {Xiaoyi Zhang and
Ming{-}Chun Huang and
Fengbo Ren and
Wenyao Xu and
Nan Guan and
Wang Yi},
editor = {Junichi Suzuki and
Honggang Wang},
title = {Proper Running Posture Guide: {A} Wearable Biomechanics Capture System},
booktitle = {8th International Conference on Body Area Networks, {BODYNETS} 2013,
Boston, MA, USA, September 30 - October 2, 2013},
pages = {83--89},
publisher = {{ICST}},
year = {2013},
url = {https://doi.org/10.4108/icst.bodynets.2013.253700},
doi = {10.4108/ICST.BODYNETS.2013.253700},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bodynets/ZhangHRXG013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GuanYL013,
author = {Nan Guan and
Xinping Yang and
Mingsong Lv and
Wang Yi},
editor = {Enrico Macii},
title = {{FIFO} cache analysis for {WCET} estimation: a quantitative approach},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {296--301},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.073},
doi = {10.7873/DATE.2013.073},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/GuanYL013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GuGD013,
author = {Chuancai Gu and
Nan Guan and
Qingxu Deng and
Wang Yi},
title = {Improving OCBP-based scheduling for mixed-criticality sporadic task
systems},
booktitle = {2013 {IEEE} 19th International Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2013, Taipei, Taiwan,
August 19-21, 2013},
pages = {247--256},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTCSA.2013.6732225},
doi = {10.1109/RTCSA.2013.6732225},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/GuGD013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Guan013,
author = {Nan Guan and
Wang Yi},
title = {Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed
Embedded Systems},
booktitle = {Proceedings of the {IEEE} 34th Real-Time Systems Symposium, {RTSS}
2013, Vancouver, BC, Canada, December 3-6, 2013},
pages = {330--339},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTSS.2013.40},
doi = {10.1109/RTSS.2013.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Guan013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Stigge013,
author = {Martin Stigge and
Wang Yi},
title = {Combinatorial Abstraction Refinement for Feasibility Analysis},
booktitle = {Proceedings of the {IEEE} 34th Real-Time Systems Symposium, {RTSS}
2013, Vancouver, BC, Canada, December 3-6, 2013},
pages = {340--349},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTSS.2013.41},
doi = {10.1109/RTSS.2013.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Stigge013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/13/DavidBBBCLPRS0JLMRT13,
author = {Alexandre David and
Gerd Behrmann and
Peter E. Bulychev and
Joakim Byg and
Thomas Chatain and
Kim G. Larsen and
Paul Pettersson and
Jacob Illum Rasmussen and
Jir{\'{\i}} Srba and
Wang Yi and
Kenneth Yrke J{\o}rgensen and
Didier Lime and
Morgan Magnin and
Olivier H. Roux and
Louis{-}Marie Traonouez},
editor = {Claude Jard and
Olivier H. Roux},
title = {Tools for Model-Checking Timed Systems},
booktitle = {Communicating Embedded Systems},
pages = {165--225},
publisher = {Wiley},
year = {2013},
url = {https://doi.org/10.1002/9781118558188.ch6},
doi = {10.1002/9781118558188.CH6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/EkbergY12,
author = {Pontus Ekberg and
Wang Yi},
editor = {Robert Davis},
title = {Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality
Sporadic Tasks},
booktitle = {24th Euromicro Conference on Real-Time Systems, {ECRTS} 2012, Pisa,
Italy, July 11-13, 2012},
pages = {135--144},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ECRTS.2012.24},
doi = {10.1109/ECRTS.2012.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/EkbergY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/StiggeY12,
author = {Martin Stigge and
Wang Yi},
editor = {Robert Davis},
title = {Hardness Results for Static Priority Real-Time Scheduling},
booktitle = {24th Euromicro Conference on Real-Time Systems, {ECRTS} 2012, Pisa,
Italy, July 11-13, 2012},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ECRTS.2012.13},
doi = {10.1109/ECRTS.2012.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/StiggeY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GuanSYY12,
author = {Nan Guan and
Martin Stigge and
Wang Yi and
Ge Yu},
title = {Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling},
booktitle = {26th {IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2012, Shanghai, China, May 21-25, 2012},
pages = {261--272},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/IPDPS.2012.33},
doi = {10.1109/IPDPS.2012.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GuanSYY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GuanY12,
author = {Nan Guan and
Wang Yi},
title = {Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response
Time and Utilization Bound},
booktitle = {26th {IEEE} International Parallel and Distributed Processing Symposium
Workshops {\&} PhD Forum, {IPDPS} 2012, Shanghai, China, May 21-25,
2012},
pages = {2470--2473},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/IPDPSW.2012.305},
doi = {10.1109/IPDPSW.2012.305},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GuanY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/GuanLYY12,
author = {Nan Guan and
Mingsong Lv and
Wang Yi and
Ge Yu},
editor = {Marco Di Natale},
title = {{WCET} Analysis with {MRU} Caches: Challenging {LRU} for Predictability},
booktitle = {2012 {IEEE} 18th Real Time and Embedded Technology and Applications
Symposium, Beijing, China, April 16-19, 2012},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RTAS.2012.31},
doi = {10.1109/RTAS.2012.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/GuanLYY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2012,
editor = {Reinhard Wilhelm and
Heiko Falk and
Wang Yi},
title = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
Embedded Systems 2012, {LCTES} '12, Beijing, China - June 12 - 13,
2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2248418},
doi = {10.1145/2248418},
isbn = {978-1-4503-1212-7},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/GuanYDGY11,
author = {Nan Guan and
Wang Yi and
Qingxu Deng and
Zonghua Gu and
Ge Yu},
title = {Schedulability analysis for non-preemptive fixed-priority multiprocessor
scheduling},
journal = {J. Syst. Archit.},
volume = {57},
number = {5},
pages = {536--546},
year = {2011},
url = {https://doi.org/10.1016/j.sysarc.2010.08.003},
doi = {10.1016/J.SYSARC.2010.08.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/GuanYDGY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BehrmannDLPY11,
author = {Gerd Behrmann and
Alexandre David and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
title = {Developing {UPPAAL} over 15 years},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {2},
pages = {133--142},
year = {2011},
url = {https://doi.org/10.1002/spe.1006},
doi = {10.1002/SPE.1006},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BehrmannDLPY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LvGDYY11,
author = {Mingsong Lv and
Nan Guan and
Qingxu Deng and
Ge Yu and
Wang Yi},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {McAiT - {A} Timing Analyzer for Multicore Real-Time Software},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {414--417},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_29},
doi = {10.1007/978-3-642-24372-1\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LvGDYY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZhangGY11,
author = {Yi Zhang and
Nan Guan and
Wang Yi},
editor = {Philipp Lucas and
Lothar Thiele and
Benoit Triquet and
Theo Ungerer and
Reinhard Wilhelm},
title = {Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core
Scheduling},
booktitle = {Bringing Theory to Practice: Predictability and Performance in Embedded
Systems, {DATE} Workshop {PPES} 2011, March 18, 2011, Grenoble, France},
series = {OASIcs},
volume = {18},
pages = {42--46},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.PPES.2011.42},
doi = {10.4230/OASICS.PPES.2011.42},
timestamp = {Wed, 02 Aug 2023 16:29:12 +0200},
biburl = {https://dblp.org/rec/conf/date/ZhangGY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KongYD11,
author = {Fanxin Kong and
Wang Yi and
Qingxu Deng},
title = {Energy-efficient scheduling of real-time tasks on cluster-based multicores},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1135--1140},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763190},
doi = {10.1109/DATE.2011.5763190},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KongYD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/StiggeEGY11,
author = {Martin Stigge and
Pontus Ekberg and
Nan Guan and
Wang Yi},
editor = {Karl{-}Erik {\AA}rz{\'{e}}n},
title = {On the Tractability of Digraph-Based Task Models},
booktitle = {23rd Euromicro Conference on Real-Time Systems, {ECRTS} 2011, Porto,
Portugal, 5-8 July, 2011},
pages = {162--171},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECRTS.2011.23},
doi = {10.1109/ECRTS.2011.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/StiggeEGY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/GuanESY11,
author = {Nan Guan and
Pontus Ekberg and
Martin Stigge and
Wang Yi},
editor = {Karl{-}Erik {\AA}rz{\'{e}}n},
title = {Resource Sharing Protocols for Real-Time Task Graph Systems},
booktitle = {23rd Euromicro Conference on Real-Time Systems, {ECRTS} 2011, Porto,
Portugal, 5-8 July, 2011},
pages = {272--281},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECRTS.2011.33},
doi = {10.1109/ECRTS.2011.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/GuanESY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/GongZPY11,
author = {Xiaoquan Gong and
Zhenji Zhang and
Jinsong Pei and
Wang Yi},
editor = {Runtong Zhang and
Jos{\'{e}} Cordeiro and
Xuewei Li and
Zhenji Zhang and
Juliang Zhang},
title = {Research on the Information Integration of China's Basic Industries
Trademark Information Service},
booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on
Enterprise Information Systems, Volume 1, Beijing, China, 8-11 June,
2011},
pages = {495--503},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceis/GongZPY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/StiggeEGY11,
author = {Martin Stigge and
Pontus Ekberg and
Nan Guan and
Wang Yi},
title = {The Digraph Real-Time Task Model},
booktitle = {17th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2011, Chicago, Illinois, USA, 11-14 April 2011},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RTAS.2011.15},
doi = {10.1109/RTAS.2011.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/StiggeEGY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/JinGDY11,
author = {Xi Jin and
Nan Guan and
Qingxu Deng and
Wang Yi},
title = {Memory Access Aware Mapping for Networks-on-Chip},
booktitle = {17th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2011, Toyama, Japan, August 28-31,
2011, Volume 1},
pages = {339--348},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RTCSA.2011.31},
doi = {10.1109/RTCSA.2011.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/JinGDY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GuanESY11,
author = {Nan Guan and
Pontus Ekberg and
Martin Stigge and
Wang Yi},
title = {Effective and Efficient Scheduling of Certifiable Mixed-Criticality
Sporadic Task Systems},
booktitle = {Proceedings of the 32nd {IEEE} Real-Time Systems Symposium, {RTSS}
2011, Vienna, Austria, November 29 - December 2, 2011},
pages = {13--23},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RTSS.2011.10},
doi = {10.1109/RTSS.2011.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/GuanESY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KongGDY11,
author = {Fanxin Kong and
Nan Guan and
Qingxu Deng and
Wang Yi},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Energy-efficient scheduling for parallel real-time tasks based on
level-packing},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {635--640},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982326},
doi = {10.1145/1982185.1982326},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/KongGDY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/ZhangGXY11,
author = {Yi Zhang and
Nan Guan and
Yanbin Xiao and
Wang Yi},
title = {Implementation and empirical comparison of partitioning-based multi-core
scheduling},
booktitle = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
pages = {248--255},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/SIES.2011.5953668},
doi = {10.1109/SIES.2011.5953668},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/ZhangGXY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-2783,
author = {Parosh Aziz Abdulla and
Pavel Krc{\'{a}}l and
Wang Yi},
title = {Sampled Semantics of Timed Automata},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.2783},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-2783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/LvGDYY10,
author = {Mingsong Lv and
Nan Guan and
Qingxu Deng and
Ge Yu and
Wang Yi},
title = {Static worst-case execution time analysis of the \emph{{\(\mathrm{\mu}\)}}C/OS-II
real-time kernel},
journal = {Frontiers Comput. Sci. China},
volume = {4},
number = {1},
pages = {17--27},
year = {2010},
url = {https://doi.org/10.1007/s11704-009-0073-8},
doi = {10.1007/S11704-009-0073-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/LvGDYY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/KongWDY10,
author = {Fanxin Kong and
Yiqun Wang and
Qingxu Deng and
Wang Yi},
title = {Minimizing Multi-resource Energy for Real-Time Systems with Discrete
Operation Modes},
booktitle = {22nd Euromicro Conference on Real-Time Systems, {ECRTS} 2010, Brussels,
Belgium, July 6-9, 2010},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ECRTS.2010.18},
doi = {10.1109/ECRTS.2010.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/KongWDY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Yi10,
author = {Wang Yi},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Multicore Embedded Systems: The Timing Problem and Possible Solutions},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {22--23},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_3},
doi = {10.1007/978-3-642-16901-4\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Yi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/GuanSYY10,
author = {Nan Guan and
Martin Stigge and
Wang Yi and
Ge Yu},
editor = {Marco Caccamo},
title = {Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization
Bound},
booktitle = {16th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2010, Stockholm, Sweden, April 12-15, 2010},
pages = {165--174},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTAS.2010.39},
doi = {10.1109/RTAS.2010.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/GuanSYY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LvYGY10,
author = {Mingsong Lv and
Wang Yi and
Nan Guan and
Ge Yu},
title = {Combining Abstract Interpretation with Model Checking for Timing Analysis
of Multicore Software},
booktitle = {Proceedings of the 31st {IEEE} Real-Time Systems Symposium, {RTSS}
2010, San Diego, California, USA, November 30 - December 3, 2010},
pages = {339--349},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTSS.2010.30},
doi = {10.1109/RTSS.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LvYGY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2010,
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-60558-955-8},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/GuanGYY09,
author = {Nan Guan and
Zonghua Gu and
Wang Yi and
Ge Yu},
editor = {Kazutoshi Wakabayashi},
title = {Improving scalability of model-checking for minimizing buffer requirements
of synchronous dataflow graphs},
booktitle = {Proceedings of the 14th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2009, Yokohama, Japan, January 19-22, 2009},
pages = {715--720},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ASPDAC.2009.4796564},
doi = {10.1109/ASPDAC.2009.4796564},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/GuanGYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/LvGZCDYY09,
author = {Mingsong Lv and
Nan Guan and
Yi Zhang and
Rui Chen and
Qingxu Deng and
Ge Yu and
Wang Yi},
title = {{WCET} Analysis of the mC/OS-II Real-Time Kernel},
booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational
Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
29-31, 2009},
pages = {270--276},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSE.2009.82},
doi = {10.1109/CSE.2009.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/LvGZCDYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/GuanSYY09,
author = {Nan Guan and
Martin Stigge and
Wang Yi and
Ge Yu},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Cache-aware scheduling and analysis for multicores},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {245--254},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629369},
doi = {10.1145/1629335.1629369},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/GuanSYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BoerGJSY09,
author = {Frank S. de Boer and
Immo Grabe and
Mohammad Mahdi Jaghoori and
Andries Stam and
Wang Yi},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Modeling and Analysis of Thread-Pools in an Industrial Communication
Platform},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {367--386},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_19},
doi = {10.1007/978-3-642-10373-5\_19},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BoerGJSY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcai/Yi09,
author = {Wang Yi},
title = {Applying {SLEUTH} for Simulating and Assessing Urban Growth Scenarios
on a Case Study of Beijing},
booktitle = {First {IITA} International Joint Conference on Artificial Intelligence,
Hainan Island, China, 25-26 April 2009},
pages = {215--218},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/JCAI.2009.199},
doi = {10.1109/JCAI.2009.199},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jcai/Yi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GuanSYY09,
author = {Nan Guan and
Martin Stigge and
Wang Yi and
Ge Yu},
editor = {Theodore P. Baker},
title = {New Response Time Bounds for Fixed Priority Multiprocessor Scheduling},
booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
2009, Washington, DC, USA, 1-4 December 2009},
pages = {387--397},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTSS.2009.11},
doi = {10.1109/RTSS.2009.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/GuanSYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Bernhard K. Aichernig and
Christel Baier and
Tobias Blechmann and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Marcel Kyas and
Wolfgang Leister and
Rudolf Schlatte and
Andries Stam and
Martin Steffen and
Simon Tschirner and
Liang Xuedong and
Wang Yi},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
in Credo},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {33--48},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.047},
doi = {10.1016/J.ENTCS.2010.08.047},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbdullaKY09,
author = {Parosh Aziz Abdulla and
Pavel Krc{\'{a}}l and
Wang Yi},
editor = {Peter Habermehl and
Tom{\'{a}}s Vojnar},
title = {Universality of R-automata with Value Copying},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {239},
pages = {131--141},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.05.035},
doi = {10.1016/J.ENTCS.2009.05.035},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbdullaKY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/HaCKFMY08,
author = {Soonhoi Ha and
Kiyoung Choi and
Taewhan Kim and
Kriszti{\'{a}}n Flautner and
Sang Lyul Min and
Wang Yi},
title = {Introduction to embedded systems week 2006 special issue},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {7},
number = {2},
pages = {8:1--8:3},
year = {2008},
url = {https://doi.org/10.1145/1331331.1331332},
doi = {10.1145/1331331.1331332},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/HaCKFMY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DongHQSY08,
author = {Jin Song Dong and
Ping Hao and
Shengchao Qin and
Jun Sun and
Wang Yi},
title = {Timed Automata Patterns},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {6},
pages = {844--859},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.52},
doi = {10.1109/TSE.2008.52},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DongHQSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaKY08,
author = {Parosh Aziz Abdulla and
Pavel Krc{\'{a}}l and
Wang Yi},
editor = {Franck van Breugel and
Marsha Chechik},
title = {R-Automata},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {67--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_9},
doi = {10.1007/978-3-540-85361-9\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AbdullaKY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TschirnerXY08,
author = {Simon Tschirner and
Liang Xuedong and
Wang Yi},
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Model-based validation of QoS properties of biomedical sensor networks},
booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
pages = {69--78},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450058.1450069},
doi = {10.1145/1450058.1450069},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/TschirnerXY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/JonssonPTY08,
author = {Bengt Jonsson and
Simon Perathoner and
Lothar Thiele and
Wang Yi},
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Cyclic dependencies in modular performance analysis},
booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
pages = {179--188},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450058.1450083},
doi = {10.1145/1450058.1450083},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/JonssonPTY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GuanYGDY08,
author = {Nan Guan and
Wang Yi and
Zonghua Gu and
Qingxu Deng and
Ge Yu},
title = {New Schedulability Test Conditions for Non-preemptive Scheduling on
Multiprocessor Platforms},
booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}
2008, Barcelona, Spain, 30 November - 3 December 2008},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTSS.2008.17},
doi = {10.1109/RTSS.2008.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/GuanYGDY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FersmanKPY07,
author = {Elena Fersman and
Pavel Krc{\'{a}}l and
Paul Pettersson and
Wang Yi},
title = {Task automata: Schedulability, decidability and undecidability},
journal = {Inf. Comput.},
volume = {205},
number = {8},
pages = {1149--1172},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.01.009},
doi = {10.1016/J.IC.2007.01.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FersmanKPY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KrcalSY07,
author = {Pavel Krc{\'{a}}l and
Martin Stigge and
Wang Yi},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks
with Variable Execution Times},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {274--289},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_20},
doi = {10.1007/978-3-540-75454-1\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/KrcalSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbdullaKY07,
author = {Parosh Aziz Abdulla and
Pavel Krc{\'{a}}l and
Wang Yi},
editor = {Helmut Seidl},
title = {Sampled Universality of Timed Automata},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {2--16},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_2},
doi = {10.1007/978-3-540-71389-0\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AbdullaKY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FersmanMPY06,
author = {Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
title = {Schedulability analysis of fixed-priority systems using timed automata},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {2},
pages = {301--317},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.019},
doi = {10.1016/J.TCS.2005.11.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FersmanMPY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KrcalY06,
author = {Pavel Krc{\'{a}}l and
Wang Yi},
editor = {Thomas Ball and
Robert B. Jones},
title = {Communicating Timed Automata: The More Synchronous, the More Difficult
to Verify},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {249--262},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_24},
doi = {10.1007/11817963\_24},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/KrcalY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PuZQHY06,
author = {Geguang Pu and
Chong Zhang and
Zongyan Qiu and
Jifeng He and
Wang Yi},
title = {Integrating Timed Automata into Tabu Algorithm for {HW-SW} Partitioning},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {131--138},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.60},
doi = {10.1109/ICECCS.2006.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/PuZQHY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BehrmannDLHPYH06,
author = {Gerd Behrmann and
Alexandre David and
Kim Guldstrand Larsen and
John H{\aa}kansson and
Paul Pettersson and
Wang Yi and
Martijn Hendriks},
title = {{UPPAAL} 4.0},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {125--126},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.59},
doi = {10.1109/QEST.2006.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BehrmannDLHPYH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2006,
editor = {Sang Lyul Min and
Wang Yi},
title = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
publisher = {{ACM}},
year = {2006},
isbn = {1-59593-542-8},
timestamp = {Sat, 08 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HeHPQY05,
author = {Jifeng He and
Dang Van Hung and
Geguang Pu and
Zongyan Qiu and
Wang Yi},
title = {Exploring optimal solution to hardware/software partitioning for synchronous
model},
journal = {Formal Aspects Comput.},
volume = {17},
number = {4},
pages = {443--460},
year = {2005},
url = {https://doi.org/10.1007/s00165-005-0072-y},
doi = {10.1007/S00165-005-0072-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HeHPQY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PetterssonY05,
author = {Paul Pettersson and
Wang Yi},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {67},
year = {2005},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PetterssonY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2005,
editor = {Paul Pettersson and
Wang Yi},
title = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009},
doi = {10.1007/11603009},
isbn = {3-540-30946-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FersmanY04,
author = {Elena Fersman and
Wang Yi},
title = {A Generic Approach to Schedulability Analysis of Real-Time Tasks},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {129--147},
year = {2004},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FersmanY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KrcalMTY04,
author = {Pavel Krc{\'{a}}l and
Leonid Mokrushin and
P. S. Thiagarajan and
Wang Yi},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Timed vs. Time-Triggered Automata},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {340--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_22},
doi = {10.1007/978-3-540-28644-8\_22},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/KrcalMTY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongHQSY04,
author = {Jin Song Dong and
Ping Hao and
Shengchao Qin and
Jun Sun and
Wang Yi},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Timed Patterns: {TCOZ} to Timed Automata},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {483--498},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_39},
doi = {10.1007/978-3-540-30482-1\_39},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongHQSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PuHHY04,
author = {Geguang Pu and
Dang Van Hung and
Jifeng He and
Wang Yi},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {An Optimal Approach to Hardware/Software Partitioning for Synchronous
Model},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {363--381},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_20},
doi = {10.1007/978-3-540-24756-2\_20},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PuHHY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GeguangXSZHY04,
author = {Geguang Pu and
Xiangpeng Zhao and
Shuling Wang and
Zongyan Qiu and
Jifeng He and
Wang Yi},
title = {An Approach to Hardware/Software Partitioning for Multiple Hardware
Devices Model},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {376--385},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.5},
doi = {10.1109/SEFM.2004.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GeguangXSZHY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KrcalY04,
author = {Pavel Krc{\'{a}}l and
Wang Yi},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Decidable and Undecidable Problems in Schedulability Analysis Using
Timed Automata},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {236--250},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_20},
doi = {10.1007/978-3-540-24730-2\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KrcalY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LarsenLPY03,
author = {Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
title = {Compact Data Structures and State-Space Reduction for Model-Checking
Real-Time Systems},
journal = {Real Time Syst.},
volume = {25},
number = {2-3},
pages = {255--275},
year = {2003},
url = {https://doi.org/10.1023/A:1025132427497},
doi = {10.1023/A:1025132427497},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LarsenLPY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MargariaY03,
author = {Tiziana Margaria and
Wang Yi},
title = {Introductory paper: scalability aspects of validation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {1},
pages = {1--3},
year = {2003},
url = {https://doi.org/10.1007/s10009-003-0112-y},
doi = {10.1007/S10009-003-0112-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MargariaY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BengtssonY03,
author = {Johan Bengtsson and
Wang Yi},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Timed Automata: Semantics, Algorithms and Tools},
booktitle = {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{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {87--124},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_3},
doi = {10.1007/978-3-540-27755-2\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BengtssonY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AmnellFMPY03,
author = {Tobias Amnell and
Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {{TIMES:} {A} Tool for Schedulability Analysis and Code Generation
of Real-Time Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {60--72},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_6},
doi = {10.1007/978-3-540-40903-8\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AmnellFMPY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BengtssonY03,
author = {Johan Bengtsson and
Wang Yi},
editor = {Jin Song Dong and
Jim Woodcock},
title = {On Clock Difference Constraints and Termination in Reachability Analysis
of Timed Automata},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {491--503},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_28},
doi = {10.1007/978-3-540-39893-6\_28},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BengtssonY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DavidBLY03,
author = {Alexandre David and
Gerd Behrmann and
Kim Guldstrand Larsen and
Wang Yi},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {Unification {\&} Sharing in Timed Automata Verification},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {225--229},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_15},
doi = {10.1007/3-540-44829-2\_15},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/spin/DavidBLY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FersmanMPY03,
author = {Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
editor = {Hubert Garavel and
John Hatcliff},
title = {Schedulability Analysis Using Two Clocks},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {224--239},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_16},
doi = {10.1007/3-540-36577-X\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FersmanMPY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LinY02,
author = {Huimin Lin and
Wang Yi},
title = {Axiomatising timed automata},
journal = {Acta Informatica},
volume = {38},
number = {4},
pages = {277--305},
year = {2002},
url = {https://doi.org/10.1007/s236-002-8035-2},
doi = {10.1007/S236-002-8035-2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LinY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BengtssonGKLLPY02,
author = {Johan Bengtsson and
W. O. David Griffioen and
K{\aa}re J. Kristoffersen and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
title = {Automated verification of an audio-control protocol using {UPPAAL}},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {163--181},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00036-X},
doi = {10.1016/S1567-8326(02)00036-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BengtssonGKLLPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AmnellFPSY02,
author = {Tobias Amnell and
Elena Fersman and
Paul Pettersson and
Hongyan Sun and
Wang Yi},
title = {Code Synthesis for Timed Automata},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {269--300},
year = {2002},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AmnellFPSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JonssonY02,
author = {Bengt Jonsson and
Wang Yi},
title = {Testing preorders for probabilistic processes can be characterized
by simulations},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {33--51},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00044-5},
doi = {10.1016/S0304-3975(01)00044-5},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JonssonY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DavidMY02,
author = {Alexandre David and
M. Oliver M{\"{o}}ller and
Wang Yi},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Formal Verification of {UML} Statecharts with Real-Time Extensions},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {218--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_15},
doi = {10.1007/3-540-45923-5\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/DavidMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BehrmannBDLPY02,
author = {Gerd Behrmann and
Johan Bengtsson and
Alexandre David and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {{UPPAAL} Implementation Secrets},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {3--22},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_1},
doi = {10.1007/3-540-45739-9\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FersmanPY02,
author = {Elena Fersman and
Paul Pettersson and
Wang Yi},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Timed Automata with Asynchronous Processes: Schedulability and Decidability},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {67--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_6},
doi = {10.1007/3-540-46002-0\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FersmanPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmnellFMPY02,
author = {Tobias Amnell and
Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {{TIMES} - {A} Tool for Modelling and Implementation of Embedded Systems},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {460--464},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_32},
doi = {10.1007/3-540-46002-0\_32},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmnellFMPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/DavidBLY02,
author = {Alexandre David and
Gerd Behrmann and
Kim Guldstrand Larsen and
Wang Yi},
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {A Tool Architecture for the Next Generation of Uppaal},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2757},
pages = {352--366},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40007-3\_22},
doi = {10.1007/978-3-540-40007-3\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/unu/DavidBLY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/DawuY01,
author = {Dawu Gu and
Wang Yi},
title = {On the Techniques of Enhancing the Security of Block Ciphers},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {35},
number = {4},
pages = {94--96},
year = {2001},
url = {https://doi.org/10.1145/506084.506093},
doi = {10.1145/506084.506093},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/DawuY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LindahlPY01,
author = {Magnus Lindahl and
Paul Pettersson and
Wang Yi},
title = {Formal design and analysis of a gear controller},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {3},
pages = {353--368},
year = {2001},
url = {https://doi.org/10.1007/s100090100048},
doi = {10.1007/S100090100048},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LindahlPY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BehrmannLMDPY01,
author = {Gerd Behrmann and
Kim G. Larsen and
Oliver M{\"{o}}ller and
Alexandre David and
Paul Pettersson and
Wang Yi},
title = {{UPPAAL} - present and future},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {2881--2886},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980713},
doi = {10.1109/.2001.980713},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BehrmannLMDPY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/Jonsson0L01,
author = {Bengt Jonsson and
Wang Yi and
Kim G. Larsen},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Probabilistic Extensions of Process Algebras},
booktitle = {Handbook of Process Algebra},
pages = {685--710},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50029-1},
doi = {10.1016/B978-044482830-9/50029-1},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/Jonsson0L01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2001,
editor = {Tiziana Margaria and
Wang Yi},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {2031},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9},
doi = {10.1007/3-540-45319-9},
isbn = {3-540-41865-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/DavidY00,
author = {Alexandre David and
Wang Yi},
title = {Modelling and analysis of a commercial field bus protocol},
booktitle = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21
June 2000, Stockholm, Sweden, Proceedings},
pages = {165--172},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMRTS.2000.854004},
doi = {10.1109/EMRTS.2000.854004},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/DavidY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LinY00,
author = {Huimin Lin and
Wang Yi},
editor = {Jerzy Tiuryn},
title = {A Proof System for Timed Automata},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {1784},
pages = {208--222},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46432-8\_14},
doi = {10.1007/3-540-46432-8\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LinY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LinY00,
author = {Huimin Lin and
Wang Yi},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {A Complete Axiomatisation for Timed Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {277--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_22},
doi = {10.1007/3-540-44450-5\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LinY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AmnellDY00,
author = {Tobias Amnell and
Alexandre David and
Wang Yi},
editor = {Jack W. Davidson and
Sang Lyul Min},
title = {A Real-Time Animator for Hybrid Systems},
booktitle = {Languages, Compilers, and Tools for Embedded Systems, {ACM} {SIGPLAN}
Workshop {LCTES} 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1985},
pages = {134--145},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45245-1\_9},
doi = {10.1007/3-540-45245-1\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/AmnellDY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00,
author = {Tobias Amnell and
Gerd Behrmann and
Johan Bengtsson and
Pedro R. D'Argenio and
Alexandre David and
Ansgar Fehnker and
Thomas Hune and
Bertrand Jeannet and
Kim Guldstrand Larsen and
M. Oliver M{\"{o}}ller and
Paul Pettersson and
Carsten Weise and
Wang Yi},
editor = {Franck Cassez and
Claude Jard and
Brigitte Rozoy and
Mark Dermot Ryan},
title = {{UPPAAL} - Now, Next, and Future},
booktitle = {Modeling and Verification of Parallel Processes, 4th Summer School,
{MOVEP} 2000, Nantes, France, June 19-23, 2000},
series = {Lecture Notes in Computer Science},
volume = {2067},
pages = {99--124},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45510-8\_4},
doi = {10.1007/3-540-45510-8\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/WallSMNY00,
author = {Anders Wall and
Kristian Sandstr{\"{o}}m and
Jukka M{\"{a}}ki{-}Turja and
Christer Norstr{\"{o}}m and
Wang Yi},
title = {Verifying temporal constraints on data in multi-rate transactions
using timed automata},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896400},
doi = {10.1109/RTCSA.2000.896400},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/WallSMNY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LarssonPY00,
author = {Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {On Memory-Block Traversal Problems in Model-Checking Timed-Systems},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {127--141},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_10},
doi = {10.1007/3-540-46419-0\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LarssonPY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/LarsenPWY99,
author = {Kim Guldstrand Larsen and
Justin Pearson and
Carsten Weise and
Wang Yi},
title = {Clock Difference Diagrams},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {271--298},
year = {1999},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/LarsenPWY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/JonssonY99,
author = {Bengt Jonsson and
Wang Yi},
editor = {Joost{-}Pieter Katoen},
title = {Fully Abstract Characterization of Probabilistic May Testing},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {1--18},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_1},
doi = {10.1007/3-540-48778-6\_1},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arts/JonssonY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BehrmannLPWY99,
author = {Gerd Behrmann and
Kim Guldstrand Larsen and
Justin Pearson and
Carsten Weise and
Wang Yi},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Efficient Timed Reachability Analysis Using Clock Difference Diagrams},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {341--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_30},
doi = {10.1007/3-540-48683-6\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BehrmannLPWY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NorstromWY99,
author = {Christer Norstr{\"{o}}m and
Anders Wall and
Wang Yi},
title = {Timed Automata as Task Models for Event-Driven Systems},
booktitle = {6th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
pages = {182--189},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTCSA.1999.811218},
doi = {10.1109/RTCSA.1999.811218},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NorstromWY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BengtssonJLY98,
author = {Johan Bengtsson and
Bengt Jonsson and
Johan Lilius and
Wang Yi},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Partial Order Reductions for Timed Systems},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {485--500},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055643},
doi = {10.1007/BFB0055643},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BengtssonJLY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LindahlPY98,
author = {Magnus Lindahl and
Paul Pettersson and
Wang Yi},
editor = {Bernhard Steffen},
title = {Formal Design and Analysis of a Gear Controller},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {281--297},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054178},
doi = {10.1007/BFB0054178},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LindahlPY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LarsenW97,
author = {Kim Guldstrand Larsen and
Wang Yi},
title = {Time-abstracted Bisimulation: Implicit Specifications and Decidability},
journal = {Inf. Comput.},
volume = {134},
number = {2},
pages = {75--101},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2623},
doi = {10.1006/INCO.1997.2623},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LarsenW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LarsenPY97,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
title = {{UPPAAL} in a Nutshell},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {134--152},
year = {1997},
url = {https://doi.org/10.1007/s100090050010},
doi = {10.1007/S100090050010},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LarsenPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LarsenPY97,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Orna Grumberg},
title = {{UPPAAL:} Status {\&} Developments},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {456--459},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_47},
doi = {10.1007/3-540-63166-6\_47},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LarsenPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LarsenLPY97,
author = {Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
title = {Efficient verification of real-time systems: compact data structure
and state-space reduction},
booktitle = {Proceedings of the 18th {IEEE} Real-Time Systems Symposium {(RTSS}
'97), December 3-5, 1997, San Francisco, CA, {USA}},
pages = {14--24},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/REAL.1997.641265},
doi = {10.1109/REAL.1997.641265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LarsenLPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KristoffersenLLPY97,
author = {K{\aa}re J. Kristoffersen and
Fran{\c{c}}ois Laroussinie and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Compositional Proof of a Real-Time Mutual Exclusion Protocol},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {565--579},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030626},
doi = {10.1007/BFB0030626},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KristoffersenLLPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BengtssonGKLLPY96,
author = {Johan Bengtsson and
W. O. David Griffioen and
K{\aa}re J. Kristoffersen and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Verification of an Audio Protocol with Bus Collision Using {UPPAAL}},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {244--256},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_73},
doi = {10.1007/3-540-61474-5\_73},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BengtssonGKLLPY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BengtssonLLPY96,
author = {Johan Bengtsson and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{UPPAAL} in 1995},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {431--434},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_66},
doi = {10.1007/3-540-61042-1\_66},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BengtssonLLPY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LarsenPY95,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Horst Reichel},
title = {Model-Checking for Real-Time Systems},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {62--88},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_41},
doi = {10.1007/3-540-60249-6\_41},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/LarsenPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BengtssonLLPY95,
author = {Johan Bengtsson and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {{UPPAAL} - a Tool Suite for Automatic Verification of Real-Time Systems},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {232--243},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020949},
doi = {10.1007/BFB0020949},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BengtssonLLPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LarsenPY95,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Diagnostic Model-Checking for Real-Time Systems},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {575--586},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020977},
doi = {10.1007/BFB0020977},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LarsenPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JonssonY95,
author = {Bengt Jonsson and
Wang Yi},
title = {Compositional Testing Preorders for Probabilistic Processes},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {431--441},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523277},
doi = {10.1109/LICS.1995.523277},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JonssonY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LarsenPY95,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
title = {Compositional and Symbolic Model-Checking of Real-Time Systems},
booktitle = {16th {IEEE} Real-Time Systems Symposium, Palazzo dei Congressi, Via
Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings},
pages = {76--87},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/REAL.1995.495198},
doi = {10.1109/REAL.1995.495198},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LarsenPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YiPD94,
author = {Wang Yi and
Paul Pettersson and
Mats Daniels},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Automatic verification of real-time communicating systems by constraint-solving},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {243--258},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/YiPD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/YiJ94,
author = {Wang Yi and
Bengt Jonsson},
editor = {P. S. Thiagarajan},
title = {Decidability of Timed Language-Inclusion for Networks of Real-Time
Communicating Sequential Processes},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
pages = {243--255},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_129},
doi = {10.1007/3-540-58715-2\_129},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/YiJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JonssonHW94,
author = {Bengt Jonsson and
Chris Ho{-}Stuart and
Wang Yi},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Testing and Refinement for Nondeterministic and Probabilistic Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {418--430},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_176},
doi = {10.1007/3-540-58468-4\_176},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JonssonHW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Wang94,
author = {Wang Yi},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain
Information},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {680--693},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_190},
doi = {10.1007/3-540-58468-4\_190},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Wang94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/LarsenY93,
author = {Kim Guldstrand Larsen and
Wang Yi},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Time Abstracted Bisimiulation: Implicit Specifications and Decidability},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {160--176},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_8},
doi = {10.1007/3-540-58027-1\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/LarsenY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/YiL92,
author = {Wang Yi and
Kim Guldstrand Larsen},
editor = {Richard J. Linn Jr. and
M. {\"{U}}mit Uyar},
title = {Testing Probabilistic and Nondeterministic Processes},
booktitle = {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},
series = {{IFIP} Transactions},
volume = {{C-8}},
pages = {47--61},
publisher = {North-Holland},
year = {1992},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/YiL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HolmerLY91,
author = {Uno Holmer and
Kim Guldstrand Larsen and
Wang Yi},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Deciding Properties of Regular Real Time Processes},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {443--453},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_41},
doi = {10.1007/3-540-55179-4\_41},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HolmerLY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Yi91,
author = {Wang Yi},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {{CCS} + Time = An Interleaving Model for Real Time Systems},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {217--228},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_136},
doi = {10.1007/3-540-54233-7\_136},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Yi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Yi90,
author = {Wang Yi},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Real-Time Behaviour of Asynchronous Agents},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {502--520},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039080},
doi = {10.1007/BFB0039080},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Yi90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/Yi88,
author = {Wang Yi},
editor = {Charles Rattray},
title = {Specifying Processes in Terms of Their Environments},
booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
6-8 July 1988, University of Stirling, Scotland, {UK]}},
series = {Workshops in Computing},
pages = {276--293},
publisher = {Springer},
year = {1988},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs/Yi88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-10 02:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
