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),
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.