Refereed Publications on Functional Reactive Systems:

Jian Lin and Albert M. K. Cheng, ``P-FRP Task Scheduling with Preemption Threshold,'' First ESWeek Workshop on Declarative Embedded and Cyber-Physical Systems (DECPS), Lotte Hotel, Seoul, South Korea, October 19, 2017.

Xingliang Zou, Albert M. K. Cheng, Carlos Rincon and Yu Jiang, ``Multi-Mode P-FRP Task Scheduling,'' 20th IEEE International Symposium on Real-time Computing (ISORC), Toronto, Canada, May 16-18, 2017. Outstanding Paper Award.

Zeinab Kazemi and Albert M. K. Cheng, ``A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and its Static Timing Analysis,'' 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Daegu, Korea, August 17-19, 2016.

Xingliang Zou, Albert M. K. Cheng, and Yu Jiang, ``A Non-Work-Conserving Model for P-FRP Fixed Priority Scheduling,'' 13th IEEE International Conference on Embedded Software and Systems (ICESS), Chengdu, China, August 13-24, 2016.

Xingliang Zou and Albert M. K. Cheng, ``Memory-aware Response Time Analysis for P-FRP Tasks,'' 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WiP Session, part of the Cyber-Physical Systems Week (CPS Week), Vienna, Austria, April 11-14, 2016.

Yu Jiang, Albert M. K. Cheng, and Xingliang Zou, ``Schedulability Analysis for Real-Time P-FRP Tasks Under Fixed Priority Scheduling,'' to appear in 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications,, Hong Kong, Aug 19-21, 2015.

Zeinab Kazemi Alamouti and Albert M. K. Cheng, ``A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and its Static Timing Analysis,'' 21th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP, Seattle, Washington, April 14-16, 2015.

Qiang Zhou, Xingliang Zou, Albert M. K. Cheng, and Yu Jiang, ``An Integrated Analysis of the Worst Case Response Time for P-FRP,'' 35th IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rome, Italy, December 3-5, 2014.

Yu Jiang, Qiang Zhou, Xingliang Zou, and Albert M. K. Cheng, ``Feasibility Interval of Real-Time Tasks with Arbitrary Release Offsets Under Fixed Priority Scheduling,'' 11th IEEE International Conference on Embedded Software and Systems (ICESS), in conjunction with HPCC and CSS, Paris, France, August 20-22, 2014.

Albert M. K. Cheng, `` An Undergraduate Cyber-Physical Systems Course,'' ACM Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy), Cyber-Physical Systems Week (CPSWeek), Berlin, Germany, April 14, 2014.

Yu Jiang, Xingliang Zou, and Albert M. K. Cheng, ``On the Schedulability of P-FRP Tasks,'' 20th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Berlin, Germany April 2014.

Kaleb Christoffersen and Albert M. K. Cheng, `` Model-Based Design: Anti-lock Brake System with Priority-Based Functional Reactive Programming,'' 34th IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Vancouver, Canada, December 2013.

Yuanfeng Wen, Chaitanya Belwal, and Albert M. K. Cheng, ``Towards Optimal Priority Assignments for the Transactional Event Handlers of P-FRP,'' to appear in ACM International Conference on Reliable And Convergent Systems (RACS), Montreal, QC, Canada, October 1-4, 2013.

Chaitanya Belwal, Albert M. K. Cheng, J. Ras, and Yuanfeng Wen, ``Variable Voltage Scheduling with the Priority-based Functional Reactive Programming Language,'' ACM International Conference on Reliable And Convergent Systems (RACS), Montreal, QC, Canada, October 1-4, 2013.

Yuanfeng Wen, Albert M. K. Cheng, and Chaitanya Belwal, ``Worst Case Response Time for Real-Time Software Transactional Memory,'' ACM Research in Applied Computation Symposium (RACS) Poster Session, San Antonio, Texas, USA, October 23-26, 2012.

Chaitanya Belwal, Albert M. K. Cheng, and Yuanfeng Wen, ``Response Time Bounds for Event Handlers in the Priority based Functional Reactive Programming (P-FRP) Paradigm,'' ACM Research in Applied Computation Symposium (RACS), San Antonio, Texas, USA, October 23-26, 2012.

Chaitanya Belwal, Albert M. K. Cheng, and Yuanfeng Wen, ``Time Petri Nets for Schedulability Analysis of the Transactional Event Handlers of P-FRP,'' ACM Research in Applied Computation Symposium (RACS), San Antonio, Texas, USA, October 23-26, 2012.

Chaitanya Belwal and Albert M. K. Cheng, `` Feasibility Interval for the Transactional Event Handlers of P-FRP,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` Schedulability Analysis of Transactions in Software Transactional Memory using Timed Automata,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.

Chaitanya Belwal, Albert M. K. Cheng, and Walid Taha, `` Release Offset Bounds for Response Time Analysis of P-FRP,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` Sufficient Schedulability Test for Real-Time Software Transactional Memory,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` Partitioned Scheduling of P-FRP in Symmetric Homogeneous Multiprocessors,'' IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Melbourne, Australia, Oct 24-26, 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` A Utilization based Sufficient Condition for P-FRP,'' IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Melbourne, Australia, Oct 24-26, 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` Generating Bounded Task Periods for Experimental Schedulability Analysis,'' IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Melbourne, Australia, Oct 24-26, 2011. Best Paper Award Nominee.

Chaitanya Belwal and Albert M. K. Cheng, `` Scheduling Conditions for Real-time Software Transactional Memory," IEEE Embedded Systems Letters, Vol. 3, Issue 3, Sept. 2011.

Chaitanya Belwal and Albert M. K. Cheng, ``Schedulability Analysis of P-FRP using Time Petri Nets,'' 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) WIP Session, Toyama, Japan, August 28-31, 2011.

Chaitanya Belwal and Albert M. K. Cheng,`` An Extensible Framework for Real-time Task Generation and Simulation,'' 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Toyama, Japan, August 28-31, 2011.

Chaitanya Belwal and Albert M. K. Cheng, ``Optimizing Energy Use in P-FRP through Dynamic Voltage Scaling,'' 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Chicago, IL, USA, part of the Cyber-Physical Systems Week (CPS Week), April 11-14, 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` Lazy vs Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective,'' IEEE Embedded Systems Letters, March 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` Determining Actual Response Time in P-FRP using Idle-Period Game Board,'' 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), Newport Beach, CA, USA, March 28-31, 2011.

Chaitanya Belwal and Albert M. K. Cheng, `` Determining Actual Response Time in P-FRP,'' Thirteenth International Symposium on Practical Aspects of Declarative Languages ( PADL), Austin, Texas, USA January 24-25, 2011.

Jim Ras and Albert M. K. Cheng, `` Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing,'' 7th IEEE International Conference on Embedded Software and Systems (ICESS-2010), Bradford, UK, June 29 - July 1, 2010. Best Paper Award Nominee.

Chaitanya Belwal and Albert M. K. Cheng, ``On Priority Assignment in P-FRP,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Stockholm, Sweden, April 13-16, 2010.

Jim Ras and Albert M. K. Cheng, `` Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm ,'' Proc. 15th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Beijing, China, Aug. 2009. Best Paper Award Nominee.