Nan Guan
Orcid: 0000-0003-3775-911XAffiliations:
- City University of Hong Kong
- Hong Kong Polytechnic University, Department of Computing (former)
- Northeastern University, Department of Computer Science and Engineering, Shenyang, China (former)
- Uppsala University, Sweden (former)
According to our database1,
Nan Guan
authored at least 266 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
Ghostbuster: A Software Approach for Reducing Ghosting Effect on Electrophoretic Displays.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
IRFS: A CQF Scheduling Method Integrating Queue Resources and Flow Features in Time-Sensitive Networking.
IEEE Trans. Veh. Technol., October, 2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2024
Real Time Syst., September, 2024
Real Time Syst., June, 2024
Real Time Syst., June, 2024
ACM Trans. Archit. Code Optim., March, 2024
Hopscotch: A Hardware-Software Co-Design for Efficient Cache Resizing on Multi-Core SoCs.
IEEE Trans. Parallel Distributed Syst., January, 2024
J. Syst. Archit., 2024
SHAP-CAT: A interpretable multi-modal framework enhancing WSI classification via virtual staining and shapley-value-based multimodal fusion.
CoRR, 2024
Location is Key: Leveraging Large Language Model for Functional Bug Localization in Verilog.
CoRR, 2024
Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness.
CoRR, 2024
Advances in Multiple Instance Learning for Whole Slide Image Analysis: Techniques, Challenges, and Future Directions.
CoRR, 2024
CoRR, 2024
BehaviorGPT: Smart Agent Simulation for Autonomous Driving with Next-Patch Prediction.
CoRR, 2024
RAEE: A Training-Free Retrieval-Augmented Early Exiting Framework for Efficient Inference.
CoRR, 2024
IHC Matters: Incorporating IHC analysis to H&E Whole Slide Image Analysis for Improved Cancer Grading via Two-stage Multimodal Bilinear Pooling Fusion.
CoRR, 2024
Proceedings of the 14th IEEE International Symposium on Industrial Embedded Systems, 2024
Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution.
Proceedings of the 14th IEEE International Symposium on Industrial Embedded Systems, 2024
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024
Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024
Timely Fusion of Surround Radar/Lidar for Object Detection in Autonomous Driving Systems.
Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024
Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024
RTiL: Real-Time Inference of Large Language Models on Memory-Constrained GPU Devices.
Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Proceedings of the 16th ACM Workshop on Hot Topics in Storage and File Systems, 2024
Proceedings of the Nineteenth European Conference on Computer Systems, 2024
When Compression Meets Model Compression: Memory-Efficient Double Compression for Large Language Models.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024
2023
TDTA: Topology-Based Real-Time DAG Task Allocation on Identical Multiprocessor Platforms.
IEEE Trans. Parallel Distributed Syst., November, 2023
Reliable Dynamic Packet Scheduling With Slot Sharing for Real-Time Wireless Networks.
IEEE Trans. Mob. Comput., November, 2023
Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023
FTSC: Fault-tolerant scheduling and control co-design for distributed real-time system.
J. Syst. Archit., September, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023
A multi-step estimation approach for optimal control strategies of interconnected systems with weakly connected topology.
Autom., February, 2023
IEEE Trans. Parallel Distributed Syst., 2023
IEEE Trans. Computers, 2023
A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling.
IEEE Trans. Computers, 2023
J. Syst. Archit., 2023
Timely Fusion of Surround Radar/Lidar for Object Detection in Autonomous Driving Systems.
CoRR, 2023
Moses: Exploiting Cross-Device Transferable Features for on-Device Tensor Program Optimization.
Proceedings of the 24th International Workshop on Mobile Computing Systems and Applications, 2023
Poster Abstract: Unifying On-device Tensor Program Optimization through Large Foundation Model.
Proceedings of the 21st ACM Conference on Embedded Networked Sensor Systems, 2023
Proceedings of the 21st ACM Conference on Embedded Networked Sensor Systems, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance.
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Proceedings of the IEEE International Conference on Mobility, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
BlueFace: Integrating an Accelerator into the Core's Pipeline through Algorithm-Interface Co-Design for Real-Time SoCs.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
2022
An Edge Based Data-Driven Chiller Sequencing Framework for HVAC Electricity Consumption Reduction in Commercial Buildings.
IEEE Trans. Sustain. Comput., 2022
Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices.
IEEE Trans. Parallel Distributed Syst., 2022
Locking Protocols for Parallel Real-Time Tasks With Semaphores Under Federated Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Improving Interference Analysis for Real-Time DAG Tasks Under Partitioned Scheduling.
IEEE Trans. Computers, 2022
IEEE Trans. Computers, 2022
J. Syst. Archit., 2022
ACM J. Emerg. Technol. Comput. Syst., 2022
Moses: Efficient Exploitation of Cross-device Transferable Features for Tensor Program Optimization.
CoRR, 2022
Aaron: Compile-Time Kernel Adaptation for Multi-DNN Inference Acceleration on Edge GPU.
Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022
Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022
Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2.
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the International Conference on Field-Programmable Technology, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
IEEE Trans. Parallel Distributed Syst., 2021
ACM Trans. Embed. Comput. Syst., 2021
Reduced Worst-Case Communication Latency Using Single-Cycle Multihop Traversal Network-on-Chip.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
IEEE Trans. Computers, 2021
Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches.
IEEE Trans. Computers, 2021
IEEE Trans. Computers, 2021
J. Syst. Archit., 2021
Queue assignment for fixed-priority real-time flows in time-sensitive networks: Hardness and algorithm.
J. Syst. Archit., 2021
Joint Algorithm of Message Fragmentation and No-Wait Scheduling for Time-Sensitive Networks.
IEEE CAA J. Autom. Sinica, 2021
Partial order based non-preemptive communication scheduling towards real-time networks-on-chip.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Calculating Worst-Case Response Time Bounds for OpenMP Programs with Loop Structures.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
IEEE Trans. Parallel Distributed Syst., 2020
Hardware-Software Collaborative Thermal Sensing in Optical Network-on-Chip-based Manycore Systems.
ACM Trans. Embed. Comput. Syst., 2020
Scope-Aware Useful Cache Block Calculation for Cache-Related Pre-Emption Delay Analysis With Set-Associative Data Caches.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Computers, 2020
IEEE Trans. Computers, 2020
J. Syst. Archit., 2020
J. Syst. Archit., 2020
IEEE CAA J. Autom. Sinica, 2020
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling.
CoRR, 2020
Real-Time Scheduling of Massive Data in Time Sensitive Networks With a Limited Number of Schedule Entries.
IEEE Access, 2020
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Proceedings of the 38th IEEE International Conference on Computer Design, 2020
Boyi: A Systematic Framework for Automatically Deciding the Right Execution Model of OpenCL Applications on FPGAs.
Proceedings of the FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2020
On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms<sup>*</sup>.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
2019
IEEE Trans. Parallel Distributed Syst., 2019
IEEE Trans. Parallel Distributed Syst., 2019
ACM Trans. Design Autom. Electr. Syst., 2019
ACM Trans. Embed. Comput. Syst., 2019
Timing-Anomaly Free Dynamic Scheduling of Conditional DAG Tasks on Multi-Core Systems.
ACM Trans. Embed. Comput. Syst., 2019
Abdominal-Waving Control of Tethered Bumblebees Based on Sarsa With Transformed Reward.
IEEE Trans. Cybern., 2019
Optimal Application Mapping and Scheduling for Network-on-Chips with Computation in STT-RAM Based Router.
IEEE Trans. Computers, 2019
J. Syst. Archit., 2019
J. Syst. Archit., 2019
IEEE Access, 2019
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
Proceedings of the ICITEE-2019: 2nd International Conference on Information Technologies and Electrical Engineering, 2019
Proceedings of the 37th IEEE International Conference on Computer Design, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Real-Time Scheduling and Analysis of Synchronous OpenMP Task Systems with Tied Tasks.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
Routing in optical network-on-chip: minimizing contention with guaranteed thermal reliability.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
2018
Packet Aggregation Real-Time Scheduling for Large-Scale WIA-PA Industrial Wireless Sensor Networks.
ACM Trans. Embed. Comput. Syst., 2018
ACM Trans. Embed. Comput. Syst., 2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Thermal-Aware Task Mapping on Dynamically Reconfigurable Network-on-Chip Based Multiprocessor System-on-Chip.
IEEE Trans. Computers, 2018
IEEE Trans. Computers, 2018
IEEE Trans. Computers, 2018
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018
Work-in-Progress: Response Time Bounds for Typed DAG Parallel Tasks on Heterogeneous Multi-cores.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Data Driven Chiller Sequencing for Reducing HVAC Electricity Consumption in Commercial Buildings.
Proceedings of the Ninth International Conference on Future Energy Systems, 2018
Communication optimization for thermal reliable optical network-on-chip: work-in-progress.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018
2017
IEEE Trans. Ind. Informatics, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
Efficient and balanced charging of reconfigurable battery with variable power supply.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017
Proceedings of the 2017 19th International Conference on Transparent Optical Networks (ICTON), 2017
Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017
Fixed priority scheduling of real-time flows with arbitrary deadlines on smart NoCs: work-in-progress.
Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion, 2017
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Dark silicon-aware hardware-software collaborated design for heterogeneous many-core systems.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017
2016
ACM Trans. Embed. Comput. Syst., 2016
Leibniz Trans. Embed. Syst., 2016
J. Syst. Archit., 2016
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016
Springer, ISBN: 978-3-319-27196-5, 2016
2015
Xen虚拟机Credit调度算法的实时性能分析 (Analysis of Real-time Performance of Algorithm Credit in Xen Virtual Machine).
计算机科学, 2015
J. Sensors, 2015
J. Log. Algebraic Methods Program., 2015
Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks.
IEEE Intell. Syst., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Inter-cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015
Proceedings of the 2015 IEEE International Conference on Robotics and Biomimetics, 2015
Allocation and scheduling of real-time tasks with volatile/non-volatile hybrid memory systems.
Proceedings of the IEEE Non-Volatile Memory System and Applications Symposium, 2015
Proceedings of the 17th International Conference on Transparent Optical Networks, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
2014
ACM Trans. Embed. Comput. Syst., 2014
Int. J. Distributed Sens. Networks, 2014
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Improving the response time analysis of global fixed-priority multiprocessor scheduling.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
Pervasive eating habits monitoring and recognition through a wearable acoustic sensor.
Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014
2013
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the 8th International Conference on Body Area Networks, 2013
2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012
2011
J. Syst. Archit., 2011
Proceedings of the Industrial Embedded Systems (SIES), 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Frontiers Comput. Sci. China, 2010
IEEE Embed. Syst. Lett., 2010
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010
2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009
2008
Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst., 2008
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
Proceedings of the International Conference on Embedded Software and Systems, 2008
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
RTNoC: A Simulation Tool for Real-Time Communication Scheduling on Networks-on-Chips.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2007
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007