Dr. Albert M. K. Cheng

Professor of Computer Science and of Electrical and Computer Engineering; Director of Real-Time Systems Laboratory
Distinguished Member, ACM (the first among the core UH computer science faculty to receive this world-class honor); Senior Member, IEEE; Honorary Member, INSTICC; Member, Phi Beta Kappa; Fellow, IOP; U.S. Department of State Fulbright Specialist 2019-2024; ACM Distinguished Speaker 2020-2026

Local Organization Chair: IEEE Real-Time Systems Symposium (RTSS) 2020 and 2022
Associate Editor: ACM Computing Surveys (CSUR), IEEE Transaction on Knowledge and Data Engineering (TKDE), Journal of Signal Processing Systems, International Journal of Embedded Systems, and Electronics

Office: 534 Philip G. Hoffman (PGH); Phone: (713) 743-3353, Fax: (713) 743-3335; Email: cheng AT cs uh edu
Department of Computer Science, University of Houston, Houston, TX 77204-3010, USA
Spring 2024 Office Hours: M,W 3:00p-4:00p, by appointment (please send email)

Publications - dblp
UHCS has been ranked 29th in Embedded and Real-Time Systems by CSRankings

News:

Tuesday, July 4, 2023: RTS Group's paper ``

Albert M. K. Cheng

B.A. with Highest Honors in Computer Science (Phi Beta Kappa),
M.S. in Computer Science (Minor in Electrical Engineering),
Ph.D. in Computer Science, University of Texas at Austin

Associate Editor, IEEE Transaction on Knowledge and Data Engineering (TKDE), present
Associate Editor, IEEE Transactions on Computers (TC), 2011-2015
Associate Editor, Electronics , present
Associate Editor, Journal of Signal Processing Systems, present
Associate Editor, International Journal of Embedded Systems, present
Editor-in-Chief, Software Engineering, 2015
Associate Editor, International Journal of Computer and Information Science, present
Associate Editor, IEEE Transactions on Software Engineering, 1998-2003
Senior Member, IEEE
Honorary Member, Institute for Systems and Technologies of Information, Control and Communication (INSTICC)
Fellow, Institute of Physics (IOP)

Real-Time Systems: Scheduling, Analysis, and Verification

NEW TEXTBOOK by Professor Albert Cheng - Real-Time Systems: Scheduling, Analysis, and Verification (John Wiley & Sons) ISBN # 0-471-18406-3, 552 pages, August 2002; 2nd printing with updates, 2005. Also available at other places, including: bn.com

For senior-level undergraduate/first-year graduate courses in real-time systems, embedded systems (software and hardware) engineering, and formal methods. Serves as a supplement to courses in operating systems and system design, as well as a reference for practitioners and researchers.

Recommended by leading embedded software and services company Wind River.

Webpage for instructors and students

Prof. Dino Mandrioli (Politecnico di Milano, Italy), Prof. Pedro Mejia-Alvarez (Instituto Tecnologico Nacional, Mexico), Prof. Sudarshan K. Dhall (University of Oklahoma, Norman, USA), Prof. Bernardo A. Leon de la Barra (University of Technology, Sydney (UTS), Australia), Prof. Binoy Ravindran (Virginia Tech, USA), and Prof. Farokh Bastani (University of Texas, Dallas, USA), Prof. Alois Ferscha (University of Linz, Austria), Prof. Miguel Ceballos (Universidad Autonoma de Queretaro, Mexico), and Prof. Hugh Anderson (National University of Singapore) are among the first world-class professors adopting/recommending Prof. Cheng's new textbook in their classes.

Join these leading professors in using this exciting and up-to-date book in your classes.

Biography:

Albert M. K. Cheng is a Full Professor and former interim Associate Chair of the

Dr. Cheng is the author/co-author of over 270 refereed publications in leading journals (including IEEE Transactions on Computers, IEEE Transactions on Software Engineering, IEEE Transactions on Knowledge and Data Engineering, and ACM Transactions on Embedded Computing Systems) and top-tier conferences (including RTSS, RTAS, RTCSA, ICPADS, ISLPED, LCN, COMPSAC, PADL, IPPS, IPDPS, and ICPP; several articles received Best Paper Awards or were Best Paper Nominees). He has received numerous awards, including the U.S. National Science Foundation Research Initiation Award (now known as CAREER) and the Texas Advanced Research Program Grant (ranking 12th among 373 funded proposals). He has been invited to present seminars, tutorials, panel positions, and keynotes at over 120 conferences, universities, and organizations. He is and has been on the technical program committees (including many program chair positions) of over 300 conferences, symposia, workshops, and editorial boards (including the IEEE Transactions on Software Engineering 1998-2003 and the IEEE Transactions on Computers 2011-2015). Currently, Dr. Cheng is an Associate Editor of the IEEE Transactions on Knowledge and Data Engineering, ACM Computing Surveys (CSUR), Electronics, Journal of Signal Processing Systems, and International Journal of Embedded Systems.

He has been the Guest Co-Editor of a 2013 Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems of the IEEE Embedded Systems Letters, and the Guest Editor of a 2014-2015 Special Issue on Cyber-Physical Systems of SENSORS. He has been the Program Co-Chair of the System, Models and Algorithms Track of the 2014 IEEE International Conference on Embedded Software and Systems (ICESS), the Program Co-Chair of the 2013 IEEE International Conference on Service Oriented Computing and Applications (SOCA), the Program Vice-Chair of the 2008 International Conference on Embedded and Ubiquitous Computing (EUC), and the Program Chair of the 2001 and 2005 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP. He has recently served as the Chair of the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS) in San Antonio, Texas, USA, December 1, 2015, as well as the Program Chair of the International Symposium on Software Engineering and Applications (SEA), in Marina del Rey, California, USA, October 26-28, 2015. Dr. Cheng chaired the First Workshop on Declarative Cyber-Physical Systems (DCPS) at CPSWeek in Vienna, Austria, April 11-14, 2016. He was the Guest Editor of the 2016 Special Issue on Real-Time and Cyber-Physical Systems of Sensors, and the Guest Co-Editor of the 2016 Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors of Microprocessors and Microsystems (MICPRO) - the Elsevier Embedded Hardware Design Journal. He was the Program Chair of the First ESWeek Workshop on Declarative Embedded and Cyber-Physical Systems (DECPS) in Seoul, South Korea, on October 19, 2017.

Currently, he is the Local Organization Chair of the 41st and 43rd IEEE Real-Time Systems Symposium (RTSS), the flagship conference in real-time systems, in December 2020 (Virtual, changed from Houston, Texas) and December 2022 (Houston, Texas), respectively; the General Chair of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) to be held in August 2021 (Virtual); and the Finance Chair of the IEEE 29th International Symposium on the Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) to be held in November 2021 (Hybrid: Virtual and in Houston, Texas).

Dr. Cheng is the author of the popular senior/graduate-level textbook entitled Real-Time Systems: Scheduling, Analysis, and Verification (John Wiley & Sons), 2nd printing with updates, 2005. He is a Distinguished Member of the ACM (the first among the core UH computer science faculty to receive this world-class honor); Senior Member of the IEEE, an Honorary Member of the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and a Fellow of the Institute of Physics (IOP). His recent awards include the Outstanding Leadership Award as Track Chair and the Outstanding Leadership Award as Keynote Speaker at IEEE ICESS 2014, and the 2015 University of Houston's Lifetime Faculty Award for Mentoring Undergraduate Research for his "Exceptional efforts in demonstrating a lasting commitment to undergraduate research." He implemented in C the first model checker, co-invented by ACM Turing Award winner E. Allen Emerson, augmented with semantics-based analysis for rule-based expert systems.

Academic genealogy:

---

Photo Gallery:

Prof. Albert Cheng and Ph.D. student Jiwoo Lee, who is about to present one of the three RTS team's papers at the

in Toronto, Canada, on Thursday, May 18, 2017.















The

in Toronto, Canada, the location of IEEE ISORC 2017.


















Prof. Albert Cheng and QNX Software Systems Software Safety Specialist Chris Hobbs (l) at the

in Toronto, Canada, May 16-18, 2017.

---

Prof. Albert Cheng presenting a Functional Reactive System, RTL, and Real-Time Virtual Resources tutorial to a large audience at

on December 3, 2013.

---

After presenting his

on October 15, 2013, Prof. Albert Cheng meets with UT-CS Department Chair Prof. Bruce Porter at the new Gates Building.














Prof. Albert Cheng, UT-CS Department Chair Prof. Bruce Porter, and Prof. Cheng's Ph.D. student Yu Li, who also attended the colloquium with schoolmate and M.S. student Daxiao Liu (not pictured since he was the cameraman but you can see him in our research group's photo), at the new Gates Building.

---

Prof. Luca Carloni introducing Prof. Albert Cheng at the start of his

---

Professor Albert Cheng presenting a seminar on

The first of a variety of the newest embedded development kits being acquired by Prof. Cheng's Real-Time Systems Laboratory for embedded systems research arrives in summer 2005. Shown is a development board with an Intel Xscale processor.

on September 30, 2005.

---

(l to r) Miahi Lupu, (Ph.D. student, National University of Singapore), Hua Chen (M.S. student, University of Houston), Prof. Albert M. K. Cheng, Dr. Stefan Andrei (Research Fellow, National University of Singapore; currently Associate Professor at Lamar University, Texas), and Yan Wang (Ph.D. student, University of Houston) at RTAS 2005 in San Francisco.

Selected Awards and Honors:

Professor Cheng at New York City's Grand Central Station after presenting his special seminar at Columbia University's Computer Science Department in April 2013.

Distinguished Member of the ACM (the first among the core UH computer science faculty to receive this world-class honor).

ACM Distinguished Speaker 2020-2026.

U.S. Department of State Fulbright Specialist 2019-2024.

National Science Foundation Research Initiation Award (now known as NSF-CAREER Award) for research in ``Formal Analysis, Verification, Synthesis, and Execution of Real-Time Rule-Based Expert Systems.''

Texas Higher Education-Coordinating Board Advanced Research Program Award for research in ``Optimization and Scheduling of Real-Time Database/Knowledge-Based Systems.'' Rank: 12th among 373 funded proposals.

Best Paper Candidate at the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Virtual, August 18-20, 2021: ``Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks'' by Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng.

Finalist, The 2021 University of Houston Teaching Excellence Award.

University of Houston Nominee, The 2019 CRA-E Undergraduate Research Faculty Mentoring Award.

Best Paper Award Nominee at the International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), Seattle, WA, USA, July 9-12, 2017: ``Disk Failure Prediction in Heterogeneous Environments'' by Carlos Rincon, Jehan-Francois Paris, Ricardo Vilalta, Albert M. K. Cheng and Darrell D. E. Long.

Outstanding Paper Award at the 20th IEEE International Symposium on Real-time Computing (ISORC), Toronto, Canada, May 16-18, 2017.

Advisor of Ph.D. student Yu Li: Winner of the 2017 Best Dissertation Award from UH Department of Computer Science; University of Houston Nominee, ACM SIGBED Paul Caspi Award 2017; University of Houston Nominee, ACM Doctoral Dissertation Award 2017.

Finalist, The 2017 University of Houston Teaching Excellence Award.

The 2016 UHCS Academic Excellence Award.

The 2015 University of Houston's Lifetime Faculty Award for Mentoring Undergraduate Research for "Exceptional efforts in demonstrating a lasting commitment to undergraduate research."

Outstanding Leadership Award as Keynote Speaker at IEEE ICESS 2014.

Outstanding Leadership Award as Track Chair of IEEE ICESS 2014.

Senior Member of the IEEE.

Honorary Member of the Institute for Systems and Technologies of Information, Control and Communication (INSTICC).

Fellow of the Institute of Physics (IOP).

Diploma, Senior Program Committee Membership, International Conference on Enterprise Information Systems (ICEIS) .

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

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

Best Paper Award Nominee: `` Power-aware scheduling for Multiple Feasible Interval Jobs,'' co-authored with Jian (Denny) Lin Proc. 15th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Beijing, China, Aug. 2009.

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

Selected as One of 4 Best Papers (among 25) and published in ACM SIGBED Review, Volume 5, Number 2, July 2008: ``Maximizing Job Benefits on Multiprocessor Systems Using a Greedy Algorithm,'' co-authored with Behnaz Sanati, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, St. Louis, MO, April 22-24, 2008.

Selected as the Featured Article by IEEE Transactions on Computers (July 2006) a paper co-authored by Professor Albert Cheng and a team led by Dr. Stefan Andrei of NUS. The paper is titled: `` Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. ''

Keynote Speaker and Member of ICEIS 2003 Hall of Fame .

Keynote Speaker and Member of 1CEIS 2001 Hall of Fame .

Fifth place, ACM South Central USA Scholastic Programming Contest, Advisor/Coach of the University of Houston Team, November 1999.

University of Houston Nominee, Alfred P. Sloan Research Fellowship.

University of Houston Nominee, Oak Ridge Associated Universities Junior Faculty Enhancement Award.

GTE Foundation Fellowship.

Member of Phi Beta Kappa (Arts and Science), the nation's oldest academic Honor Society.

Member of Phi Kappa Phi, the oldest All-Discipline Honor Society.

Member of Upsilon Pi Epsilon (Computer Science), the International Honor Society for the Computing and Information Disciplines.

Member of the Beta Alpha Phi (International) Honor Society.

Member of Golden Key (General) International Honour Society.

College Scholar, University of Texas at Austin .

Selected Recent Professional Activities:

Associate Editor,

Current course materials:

COSC 4331/6384 Real-Time Systems and Embedded Programming (Spring 2024): introducing the technology used on the

Real-Time and Embedded Systems

Real-Time Machine Learning and NLP

Functional Reactive Systems

Cyber-Physical Systems

Power-Aware and Green Computing

Formal Verification

Rule-Based Expert Systems

Multimedia Communication

Real-Time Networking

Operating Systems

Security in Real-Time and Embedded Systems

If you are a curious undergraduate, check out the research projects you can do to help further propel the Digital Age!

Real-Time Scheduling and Timing Analysis of Functional Reactive Systems

The project is to develop a framework for accurate response time analysis and energy-aware scheduling of Functional Reactive Systems (FRS's) with the goal of improving their performance and enhancing their safety.

Team members:
Yu Li , Xingliang Zou , Chaitanya Belwal , Yuanfeng Wen , Zeinab Kazemi , Kaleb Christoffersen

Publications

Software/Tools: P-FRP Timing Analysis

Software/Tools: Task Generation and Extensible Simulation

Professor Cheng's special seminar: `` Developing Embedded Real-Time and Cyber-Physical Systems: Functional Reactive Programming, Response Time Analysis, and RTL-based Formal Verification'' at Columbia University's Department of Computer Science on April 11, 2013, 2:00pm - 3:00pm. Download the videotaped seminar part 1, part 2, part 3, part 4, and part 5.


Hierarchical Real-time Scheduling and System Virtualization

The objective of this research is to develop the scientific foundation of real-time virtual resources and to implement practical systems based on this foundation. Cloud computing will also benefit from the results of this project.

Team members: Guangli Dai, Pavan Paluri, Elena Torre, Kevin Bailey, Yu Li , Yong Woon Ahn , Xingliang Zou , Dylan Thompson

Publications

RRP Website




Real-Time Machine Learning and NLP

What if there is insufficient time to complete the execution of the Deep Learning Network? The project aims to optimize the tradeoff between time and quality of machine learning.

Team members: Guangli Dai, Pavan Paluri, Thomas Carmichael

Publications




Real-Time and Embedded Systems Technology for Aerospace Applications

The goal is to apply techniques developed in the Real-Time Systems Laboratory to improve the development of aircraft, spacecraft, and air traffic control, and to verify their safety. Regularity-Based Virtualization under the ARINC 653 Standard.


Publications






Power-Aware Computing

In addition to meeting timing and safety constraints, both portable and large real-time systems must manage and optimize energy consumption. The main objective for portable systems is to lengthen their operational periods. For large systems, the goal is to reduce their energy usage in order to cut heat dissipation, increase reliability, and minimize greenhouse emissions. The latest work is on reducing power consumption in portable hybrid displays.

Softawre/Tools:

RealEnergy - Real Energy Usage of Power-Aware Algorithms

Team members: Yuanfeng Wen , James Hyatt

Publications




Estella (Analysis and Optimization of Real-Time Rule-Based Systems)

The objective of this research is to develop the scientific foundation and to implement practical tools for optimizing and synthesizing rule-based expert systems to meet specified response time constraints. Real-time rule-based expert systems are embedded artificial intelligence (AI) systems increasingly used in many applications, such as airplane avionics, medical monitoring instruments, smart robots, space vehicles, and other safety critical applications. In addition to functional correctness, these systems must also satisfy stringent timing constraints. The result of missing a deadline in these systems may be catastrophic.

If a given rule-based system cannot deliver an adequate performance in bounded time, then it has to be optimized or resynthesized. The first part of the project investigates several approaches (state-space-based and semantics-based) for optimizing the rule base of expert systems. The second part of the project investigates the optimization of the match phase, which has a highly unpredictable runtime.

Team members: Yun-Hong Lee

Publications




RETIMA-NET (REal-TIme MultimediA and Networking)

The objective of this project is to develop and implement a unified framework for predictable real-time (wired and wireless) multimedia communication with several levels of guaranteed quality of service (QoS). Research issues include power-aware and location-aware computing. Advances will lead to safe and reliable Cyber-Physical Systems (CPS). The latest work is on smart traffic systems to reduce vehicular travel time.

Team members: Daxiao Liu

Publications




TAV (Timing Analysis and Verification of Real-Time and Cyber-Physical Systems)

Many of the systems and devices used in our modern society must provide response that is both correct and timely. More and more computer systems are built as integral parts of many of these systems to monitor and control their functions and operations. These embedded systems often operate in environments where safety is a major concern. This project seeks to develop sound methodologies and to apply the corresponding tools to analyze and verify that these embedded systems meet their specifications. Advances will lead to safe and reliable Cyber-Physical Systems (CPS).

Software/Tools:

SDRTL: Systematic Debugging for path Real Time Logic
OPRATEL: Optimization of Real-Time Systems Timing Specifications
ECFCC: Expected Checksum based on Frames for Communication Circuits.
Verifier for LRTL and SATS Case Study

Team members: Mozahid Haque

Publications




Scheduling of Real-Time Tasks



Information-Theoretic Scheduling
Reward Optimization in (m,k)-firm Real-Time Systems
Real-Time Programming and Ada-2005
MULAN: MUlti-mode variable subtask Length dvs scheduling Algorithms and Networks.

Team members: Carlos Rincon , Yu Li , Behnaz Sanati

Publications




Medical and Medication Systems

The goal is to introduce real-time systems technology to build better medical treatment, monitoring, and imaging systems.

Team members: Yong Woon Ahn

Publications




Real-Time Issues in Gaming

The objective of this project is to optimize the gaming experience by applying real-time systems technology. This project has developed a multiplayer real-time Game protocol architecture for reducing network latency.

Team members: Yong Woon Ahn
Publications




Real-Time Database and Web Systems

Publications




OCTAVES (Optimizing Timing Analysis and Verification of Embedded Systems using Rule-Based-Analytic Techniques)

Most formal analysis and verification techniques suffer from the combinatorial state explosion problem. Despite advances in symbolic representations of the state space of the system being analyzed, more optimizations need to be performed to further combat this problem. This project develops a strategy for optimizing the timing analysis and verification of embedded systems using analysis techniques that we have developed for real-time rule-based systems.

Several strategies will be considered, two of which are: (1) Encode the embedded system and the timing requirements to be checked as a rule-based EQL program such that all timing requirements are satisfied if and only if the corresponding rule-based program has bounded response time. We then implement algorithms for computing numeric response time bounds. (2) Extend rule-based-analytic techniques to analyze the specification representing the embedded system. The specification may be written in an application-specific language or in a standard language designed for use with the analysis algorithm.




Security in Real-Time and Embedded Systems

Team members: Roberto Duenez, Victor L. Rodriguez, Binh Doan, Yong Woon Ahn

Publications

2002-2003 ACM Regional Collegiate Programming Contest at Louisiana State University

2001-2002 ACM Regional Collegiate Programming Contest at Louisiana State University

2000-2001 ACM Regional Collegiate Programming Contest at Louisiana State University

1999-2000 ACM Regional Collegiate Programming Contest at Rogers State University

1998-1999 ACM Regional Collegiate Programming Contest at Rice University

Selected Recent and Upcoming Presentations:

Professor Cheng was invited to visit the NASA Johnson Space Center in November 2012.

Prof. Cheng presented an invited talk about his Fulbright experience: ``Alumni Insight: Metropolitan University of Education, Science and Technology (UMECIT), Panama City and Chitre, Panama,'' at the Fulbright Specialist Info Session hosted by Amirah Nelson, World Learning, U.S. Department of State, Online, Thursday, April 8, 2021, 12:15pm-1:30pm.

Prof. Albert Cheng to present an invited seminar titled ``Value-based Reinforcement Learning: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion'' at the Department of Computer Science of the University of York in Heslington, York, United Kingdom on Wednesday, February 19, 2020, 11:35am-12:25pm (postponed).

Prof. Albert Cheng invited to present a seminar titled `` Implementing Next-Generation Embedded Systems with Functional Reactive Programming and Real-Time Virtual Resources,'' at the Department of Electrical and Computer Engineering of the University of Houston on Monday, January 27, 2020, 10:00am-11:00am.

Prof. Albert Cheng invited to present a Leaders & Innovators Seminar at Texas A&M University organized by the Computer Engineering and Systems Group on Friday, October 4, 2019.

Professor Cheng to present an invited talk at Brown University's Computer Science Department on Tuesday, April 16, 2019.

Professor Cheng invited to present a tutorial titled `` Developing Next-Generation Embedded Multi-Core Systems with the Functional Reactive Programming Paradigm'' at ASPLOS 2019: The 24th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 13-17, Providence, RI, USA.

University at Buffalo (SUNY)'s Department of Computer Science and Engineering invites Professor Cheng to present a seminar on Thursday, March 14, 2019. Details.

Professor Cheng to present an invited seminar at the Department of Computer Science (CS) of the Universitat Politecnica de Catalunya (UPC) on Monday, July 9, 2018.

Prof. Albert Cheng invited to present a seminar at the George Washington University's Department of Computer Science on Wednesday, June 6, 2018.

Professor Cheng to present an invited seminar at the University of Central Florida's Department of Computer Science on Monday, July 10, 2017.

University of Toronto's Department of Computer Science (DCS) invites Professor Cheng to present a seminar on Thursday, May 18, 2017, to be hosted by the Software Engineering Group. Details.

Carnegie Mellon University / Software Engineering Institute (SEI) invites Professor Cheng to present a seminar on Monday, October 3, 2016.

Technische Universitat Wien (Vienna University of Technology) invites Professor Cheng to present a seminar on Friday, April 15, 2016, to be hosted by the Faculty of Informatics's Compilers and Languages Group of the Institute of Computer Languages. Details.

Caltech's Computing + Mathematical Sciences (CMS) Department invites Professor Cheng to present a seminar on Functional Reactive Systems at noon on October 29, 2015, in the Walter and Leonore Annenberg Center for Information Science and Technology. Details.

University of California at Berkeley's Electrical Engineering and Computer Sciences (EECS) Department invites Professor Cheng to present a seminar on Friday, October 23, 2015. Stay tuned for more details.

University of Washington's Computer Science & Engineering Department invites Professor Cheng to present a programming languages and software engineering (programming systems) research seminar on Functional Reactive Programming, April 17, 2015.

Italy's top-ranked Sapienza Universita di Roma invites Professor Cheng to deliver a special seminar on December 1, 2014, to be hosted by the Dipartimento di Informatica's Model Checking Laboratory.

Universite de Paris' Laboratoire d'Informatique Gaspard-Monge (Paris, France) invites Professor Cheng to deliver a distinguished lecture in 2015.

Ecole Nationale Superieure de Techniques Avancees (ENSTA) ParisTech (Palaiseau, France) invites Professor Cheng to present a distinguished seminar in 2015.

Professor Albert Cheng invited to deliver Keynote at the 16th IEEE International Conference on High Performance Computing and Communications (HPCC), the 11th IEEE International Conference on Embedded Software and Systems (ICESS), and the 6th International Symposium on Cyberspace Safety and Security (CSS), Paris, France, August 20-22, 2014.

University of Oxford's automated verification group invites Professor Albert Cheng to present a seminar on April 22, 2014.

Professor Albert Cheng has been invited to present a seminar at INRIA Paris-Rocquencourt, France, on April 18, 2014. More details.

Professor Albert Cheng has been invited to present a seminar at the University of British Columbia's Department of Computer Science on December 3, 2013, 4:00pm-5:00pm. More details.

Professor Cheng has been invited to present a seminar at the University of Texas at Austin's Department of Computer Science on October 15, 2013. More details.

Professor Cheng to deliver invited lecture on `` Developing Embedded Real-Time and Cyber-Physical Systems: Functional Reactive Programming, Response Time Analysis, and RTL-based Formal Verification'' at Columbia University's Department of Computer Science on April 11, 2013, 2:00pm - 3:00pm. Download the videotaped seminar part 1, part 2, part 3, part 4, and part 5.

Polytechnic University of Hong Kong invites Professor Cheng to present a seminar, July 2008.

Harbin Institute of Technology invites Professor Cheng to present a seminar, July 2008.

Professor Cheng invited to present a seminar on real-time systems at the University of Hong Kong, June 30, 2008.

Representative Seminar/Tutorial on Formal Analysis and Verification of Embedded/Real-Time and Multimedia Systems

Invited Speaker, ``Formal Analysis and Verification of Embedded and Real-Time Systems,'' IEEE Houston Meeting at HESS, February 26, 2004.

Invited Speaker, ``Formal Analysis and Verification of Real-Time and Embedded Systems,'' IEEE Galveston Bay Meeting at NASA-JSC, noon July 17, 2003. (Free admission)

Tutorial Speaker, Intl. Conf. on Intelligent Systems Design and Applications, Tulsa, Oklahoma, August 2003.

Keynote Speaker, Intl. Conf. on Enterprise Information Systems (ICEIS), Angers, France, April 2003.

Tutorial Speaker, ``Design and Analysis of Real-Time and Multimedia Networking Systems,'' Intl. Conference on Computer Communications and Networks, October 12, 2002

Tutorial Speaker, ``Design and Analysis of Real-Time and Multimedia Systems,'' IEEE Intl. Conf. on Multimedia and Expo, Lausanne, Switzerland, August 26, 2002.

Invited Speaker, ``Formal Analysis and Verification of Real-Time Systems,'' University of Oklahoma, Norman, January 2002.

Invited Speaker, ``Timing Analysis and Scheduling of the X-38 Space Station Crew Return Vehicle Avionics,'' University of Maryland--College Park, October 2000.

Keynote Speaker, ``E-commerce and its Real-Time Requirements,'' Intl. Conf. on Enterprise Information Systems (ICEIS), Stafford, United Kingdom, July 2000.

Invited Speaker, ``Timing Analysis and Verification of Real-Time Rule-Based Systems,'' Rice University, January 2000.

Invited Special Session/Panel Chair, Special Session on Software Engineering for Multimedia, IEEE Intl. Conf. on Multimedia Computer Systems (ICMCS), Florence, Italy, June 9, 1999.

Selected Books, Book Chapters, and Edited Books/Journals:

Real-Time Systems: Scheduling, Analysis, and Verification

A. M. K. Cheng, Real-Time Systems: Scheduling, Analysis, and Verification John Wiley & Sons, 2002.

Webpage for instructors and students

Recommended by leading embedded software and services company Wind River.

Prof. Dino Mandrioli (Politecnico di Milano, Italy), Prof. Pedro Mejia-Alvarez (Instituto Tecnologico Nacional, Mexico), Prof. Sudarshan K. Dhall (University of Oklahoma, Norman, USA), Prof. Bernardo A. Leon de la Barra (University of Technology, Sydney (UTS), Australia), Prof. Binoy Ravindran (Virginia Tech, USA), Prof. Farokh Bastani (University of Texas, Dallas, USA), Prof. Alois Ferscha (University of Linz, Austria), and Prof. Miguel Ceballos (Universidad Autonoma de Queretaro, Mexico), and Prof. Hugh Anderson (National University of Singapore) are among the first world-class professors adopting/recommending Prof. Cheng's new textbook in their classes.

Join these leading professors in using this exciting and up-to-date book in your classes.

A. M. K. Cheng, ``Embedded OS,'' article in the section of Software, Encyclopedia of Computer Science and Engineering, edited by Benjamin Wah, Wiley 2005.

A. M. K. Cheng, ``Real-Time Knowledge-Based Systems for Enterprise Decision Support and Systems Analysis,'' keynote paper/chapter in Enterprise Information Systems, Kluwer Academic Publishers, 2003.

A. M. K. Cheng, Contributions as invited panel member to a chapter on the evolution of the Internet in Enterprise Information Systems, Kluwer Academic Publishers, 2003.

A. M. K. Cheng, ``E-Commerce and its Real-Time Requirements: Modeling E-Commerce as a Real-Time System,'' keynote paper/chapter in Enterprise Information Systems, B. Sharp, J. Filipe, and J. Cordeiro, Editors, Kluwer Academic Publishers, 2001.

A. M. K. Cheng, Guest Co-Editor, Two Special Issues of Papers from The First International Workshop on Software and Performance, IEEE Transactions on Software Engineering, Nov. and Dec. 2000.

A. M. K. Cheng, Contributions as invited distinguished guest to a chapter in ``Enterprise Information Systems for the XXI Century,'' Kecheng Liu, Editor, Kluwer Academic Publishers, 1999.

A. M. K. Cheng, Coordinator/Chair/Editor, Parallel and Distributed Real-Time Systems Track, Proc. 26th International Conference on System Sciences, Jan. 1993.

Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng, and Bozheng Liu, `` Regularity-based Virtualization under the ARINC 653 Standard for Embedded Systems,'' IEEE Transactions on Computers (TC), October 2022. Preprint, December 24, 2021.

Stefan Andrei, Albert M. K. Cheng, and Vlad Radulescu, `` Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm,'' Mathematics in Computer Science (MiCS), May 2019.

Jian Lin and Albert M. K. Cheng, `` P-FRP Task Scheduling with Preemption Threshold,'' ACM SIGBED Review, Volume 15, Issue 4, August 2018.

Vlad Radulescu, Stefan Andrei, and Albert M. K. Cheng, `` Bounding Execution Resources for the Task Scheduling Problem in Cyber-Physical Systems,'' ACM SIGBED Review, Volume 15, Issue 4, August 2018.

Jian Lin and Albert M. K. Cheng, ``Approximation Algorithms in Partitioning Real-Time Tasks with Replications,'' The International Journal of Parallel, Emergent and Distributed Systems (IJPEDS), Volume 33, Number 2, pages 211-232, 2018.

Carlos Rincon, Xingliang Zou, and Albert M. K. Cheng, ``Real-time Multiprocessor Scheduling Algorithm based on Information Theory Principles,'' IEEE Embedded Systems Letters, 2017.

Yu Li and Albert M. K. Cheng, `` Toward a Practical Regularity-based Model: The Impact of Evenly Distributed Temporal Resource Partitions,'' ACM Transactions on Embedded Computing Systems (TECS), Volume 16, Issue 4, Article No. 111, August 2017.

Jian Lin, Albert M. K. Cheng, and Gokhan Gercek, ``Partitioning Real-Time Tasks with Replications on Multiprocessor Embedded Systems,'' IEEE Embedded Systems Letters, December 2016.

Jian Lin and Albert M. K. Cheng et al, `` Scheduling Mixed-Criticality Real-Time Tasks in A Fault-Tolerant System,'' International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Volume 6, Issue 2, Article 4, 2016.

Behnaz Sanati and Albert M. K. Cheng, `` LBBA: An Efficient Online Benefit-Aware Multiprocessor Scheduling for QoS via Online Choice of Approximation Algorithms,'' Future Generation Computer Systems, Elsevier, Volume 59, pages 125-135, June 2016.

Yu Li and Albert M. K. Cheng, `` Transparent Real-Time Task Scheduling on Temporal Resource Partitions,'' IEEE Transactions on Computers, pages 1646-1655, May 2016.

Weizhe Zhang, Albert M. K. Cheng, and Jaspal Subhlok, ``DwarfCode: A Performance Prediction Tool for Parallel Applications,'' IEEE Transactions on Computers, February 2016.

Weizhe Zhang, Enci Bai, Hui He, and Albert M. K. Cheng `` Solving Energy-Aware Real-Time Tasks Scheduling Problem with Shuffled Frog Leaping Algorithm on Heterogeneous Platforms,'' Sensors, 15, pages 13778-13804, 2015.

Weizhe Zhang, Hucheng Xie, Boran Cao, and Albert M. K. Cheng, `` Energy-Aware Real-Time Task Scheduling for Heterogeneous Multiprocessors with Particle Swarm Optimization Algorithm,'' Mathematical Problems in Engineering, Volume 2014, 2014.

Jian (Denny) Lin, Albert M. K. Cheng, and Wei Song, `` A Practical Framework to Study Low-Power Scheduling Algorithms on Real-Time and Embedded Systems,'' Journal of Low Power Electronics and Applications, May 2014.

Jian Lin and Albert M. K. Cheng, `` Assigning Real-Time Tasks in Environmentally Powered Distributed Systems,'' Circuits and Systems, 5, pages 98-113, April 2014.

Chaitanya Belwal, Yuanfeng Wen and Albert M. K. Cheng, `` Utilization Bounds of P-FRP Tasks,'' International Journal of Embedded Systems, Vol. 6, No. 1, 2014.

Yong woon Ahn, Albert M. K. Cheng, Jinsuk Baek, Minho Jo, and Hsiao-Hwa Chen, `` An Auto-Scaling Mechanism for Virtual Resources to Support Mobile, Pervasive, Real-Time, Healthcare Applications in Cloud Computing,'' IEEE Network, September 2013.

Chaitanya Belwal, Albert M. K. Cheng, and Bo Liu, `` Feasibility Interval for the Transactional Event Handlers of P-FRP,'' Special Issue on UbiSafe Computing and Communications, Elsevier's Journal of Computer and System Sciences, Volume 79, Issue 5, pages 530-541, August 2013.

Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, and Vlad Radulescu, `` An Efficient Scheduling Algorithm for the Non-preemptive Independent Multiprocessor Platform,'' International Journal of Grid and Utility Computing, Vol. 3, No. 4, pp. 215-223, 2012.

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.

Yong woon Ahn, Jinsuk Baek, Albert M. K. Cheng, Paul S. Fisher, and Minho Jo, `` A Fair Transmission Opportunity by Detecting and Punishing the Malicious Wireless Stations in IEEE 802.11e EDCA Network,'' IEEE Systems Journal Special Issue on Multimedia Communications Systems, Vol. 5, No. 4, December 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.

Hua Chen, Albert M. K. Cheng, and Ying-Wei Kuo, `` Assigning Real-Time Tasks to Heterogeneous Processors by Applying Ant Colony Optimization,'' Journal of Parallel and Distributed Computing, available online 15 October 2010; Volume 71, Issue 1, pages 132-142, January 2011.

Jian (Denny) Lin and Albert M. K. Cheng, `` Energy Reduction for Scheduling a Set of Multiple Feasible Interval Jobs,'' Special Issue (SI) on Selected Top Papers of RTCSA 2009, Journal of Systems Architecture: Embedded Software Design, Elsevier, 56(11), November 2010.

S. Andrei and A. M. K. Cheng, `` Efficient Verification and Optimization of Real-Time Logic Specified Systems,'' IEEE Transactions on Computers, vol. 58, no. 12, pp. 1640-1653, December 2009.

Y. W. Ahn, A. M. K. Cheng, J. Baek, and P. S. Fisher, `` A Multiplayer Real-Time Game Protocol Architecture for Reducing Network Latency,'' IEEE Transactions on Consumer Electronics, 2009.

A. M. K. Cheng and Yan Wang, `` A Dynamic Voltage Scaling Algorithm for Dynamic Workloads,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Vol. 52, No. 1, pages 45-57, July 2008.

A. M. K. Cheng and Z. Zhang, `` Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-Time Mobile Applications,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Vol. 47, No. 2, pp. 103-115, May 2007.

A. M. K. Cheng and F. Shang, `` Priority-Driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Vol. 47, No. 2, pp. 169-182, May 2007.

A. M. K. Cheng and J. Ras, `` The Implementation of the Priority Ceiling Protocol in Ada 2005 ,'' ACM Ada Letters, Vol. 27, Issue 1, April 2007.

S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, `` Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting,'' IEEE Transactions on Computers, Vol. 55, No. 7, pp. 830-843, July 2006. Selected as this issue's featured article.

A. M. K. Cheng, `` A Survey of Formal Verification Methods and Tools for Embedded and Real-Time Systems,'' Journal of Embedded Systems, Issue 1, 2006.

A. M. K. Cheng and C. Feng, ``Predictive Thermal Management for Hard Real-Time Tasks,'' extended version, ACM Special Interest Group on Embedded Systems (SIGBED) Review, January 2006.

A. M. K. Cheng and R. Agarwal, ``Reducing Encoder Bit-Rate Variation in MPEG Video,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Volume 40, Number 2, pp. 261-271, 2005.

A. M. K. Cheng and S. Fujii, ``Self-Stabilizing Real-Time OPS5 Production Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 12, pp. 1543-1554, Dec. 2004.

J. A. Kang and A. M. K. Cheng, ``Shortening Matching Time in OPS5 Production Systems,'' IEEE Transactions on Software Engineering, Vol. 30, No. 7, pp. 448-457, July 2004.

Y.-H. Lee and A. M. K. Cheng, `` Optimizing Real-Time Equational Rule-Based Systems,'' IEEE Transactions on Software Engineering, Vol. 30, No. 2, pages 112-125, Feb. 2004.

A. M. K. Cheng and H.-Y. Tsai, `` A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 2, pages 271-288, February 2004.

A. M. K. Cheng and S. Rao, `` Real-Time Multimedia Traffic Scheduling and Routing in Packet-Switched Networks,'' Special Issue on Multimedia Communications, Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Vol. 34 Nos. 1-2, 2003.

P.-Y. Lee and A. M. K. Cheng, ``HAL: A Faster Match Algorithm,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 14, No. 5, pp. 1047-1058, September/October 2002.

A. M. K. Cheng and J.-R. Chen, ``Response Time Analysis of OPS5 Production Systems,'' IEEE Transactions on Knowledge and Data Engineering, May/June 2000.

B. Zupan and A. M. K. Cheng, ``Optimization of Rule-Based Systems Using State Space Graphs,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 2, pp. 238-254, March/April 1998.

B. Zupan, A. M. K. Cheng, and M. Bohanec, ``Stability Analysis of Real-Time Systems: Porting Crisp Methods to Fuzzy,'' Electrotechnical Review: Journal for Electrical Engineering and Computer Science, Vol. 62, No. 3-4, pp. 163-170, 1995.

J.-R. Chen and A. M. K. Cheng, ``Response Time Analysis of EQL Real-Time Rule-Based Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 1, pp. 26-43, Feb. 1995.

A. M. K. Cheng, J. C. Browne, A. K. Mok, and R.-H. Wang, ``Analysis of Real-Time Rule-Based Systems With Behavioral Constraint Assertions Specified in Estella,'' IEEE Transactions on Software Engineering, Vol 19, No. 9, pp. 863-885, Sept. 1993.

J. C. Browne, A. M. K. Cheng and A. K. Mok, ``Computer-Aided Design of Real-Time Rule-Based Decision Systems,'' accepted for publication in 1988, IEEE Transactions on Software Engineering.

Selected Conference/Workshop Publications:

Albert M. K. Cheng, `` Response Time Analysis of Real-Time Quantum Computing Systems,'' 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) BP, CPS-IoT Week, San Antonio, Texas USA, May 9-12, 2023.

Javier Mendez Gomez, Albert M. K. Cheng, and Santiago Munoz G., ``FACSAT: Conception as a cyber-physical system for satellite observation of the Earth - Automated mission planning and scheduling,'' 14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), CPS-IoT Week, San Antonio, Texas USA, May 9-12, 2023.

Thomas Carroll and Albert M. K. Cheng, ``Poster Abstract: Implementing Dynamic User Equilibrium in a Scaled City Environment with Duckietown and SUMO,'' 8th ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI), CPS-IoT Week, San Antonio, Texas USA, May 9-12, 2023.

Albert M. K. Cheng and Jude Chukwuma, ``Demo Abstract: Implementing a Real-Time COVID-19 Risk Assessment System for User-Informed Travel Planning in Harris County,'' 8th ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI), CPS-IoT Week, San Antonio, Texas USA, May 9-12, 2023.

Himansu Shaw and Albert M. K. Cheng, ``Demo Abstract: Collaborative Real-Time Scheduling Algorithm for AGV Transportation System within a CPS Architecture,'' 8th ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI), CPS-IoT Week, San Antonio, Texas USA, May 9-12, 2023.

Carlos Rincon, Daniel Rivas, and Albert M. K. Cheng, ``Entropy-Based Scheduling Performance in real-Time Multiprocessor Systems,'' 57th Annual Conference on Information Sciences and Systems (CISS), Baltimore, Maryland, USA, March 22-24, 2023.

Jiwoo Lee, Albert M. K. Cheng, and Guangli Dai, `` Generalized Demand-Based Schedulability Test for Mixed-Criticality Sporadic Task Model,'' 43th IEEE Real-Time Systems Symposium (RTSS) BP, Houston, Texas, December 5-8, 2022.

Javier Mendez Gomez and Albert M. K. Cheng, `` Real-Time On-board Processing for Cloud Detection in FACSAT-2 Multispectral Satellite Imagery,'' 43th IEEE Real-Time Systems Symposium (RTSS) BP, Houston, Texas, December 5-8, 2022.

Jeremy R. Easton-Marks, Huda Alghamdi, Adnane Gdihi, and Albert M. K. Cheng, ``Biologically Inspired Task Prioritization in Computer Vision Systems,'' 43th IEEE Real-Time Systems Symposium (RTSS) Industry Session, Houston, Texas, December 5-8, 2022.

Thomas Carroll, Albert M. K. Cheng, and Guangli Dai, `` A Solution Based on Dynamic User Equilibrium Toward the Selfless Traffic Routing Model,'' 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) BP, Milano, Italy, May 4-6, 2022.

Stefan Andrei, Albert M. K. Cheng, and Vlad Radulescu, ``Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform,'' 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, December 7-10, 2021.

Albert M. K. Cheng, `` Real-Time COVID-19 Infection Risk Assessment and Mitigation based on Public-Domain Data,'' Workshop on HPC for urgent decision making (UrgentHPC), in conjunction with SC2021: The International Conference on High Performance Computing, Networking, Storage and Analysis, November 19, 2021.

Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, ``Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks,'' 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Virtual, August 18-20, 2021. Best Paper Candidate.

Vlad Radulescu, Stefan Andrei, and Albert M. K. Cheng, ``Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems,'' 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Virtual, August 18-20, 2021.

Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng, and Panruo Wu, ``A Virtualization Platform Designed for Irregular Multi-process Applications,'' 50th International Conference on Parallel Processing (ICPP), August 9-12, 2021.

Pavan Kumar Paluri, Guangli Dai, and Albert M. K. Cheng, ``ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen,'' 22nd ACM International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES), co-located with PLDI, Virtual, June 2021. Artifact Evaluated: Available and Functional.

Elena Torre, Albert M. K. Cheng, Guangli Dai, and Pavan Kumar Paluri, ``Two-State Checkpointing Regularity-Based System for Mixed-Criticality Tasks,'' 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) BP, Virtual, May 2021.

Sayeda Farzana Aktar, Stefan Andrei, and Albert M. K. Cheng, ``Heart Disease Detection Methodology using E-Stethoscope,'' 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) BP, Virtual, May 2021.

Elena Torre and Albert M. K. Cheng, ``Fault Tolerance in a Two-State Checkpointing Regularity-Based System,'' 41th IEEE Real-Time Systems Symposium (RTSS), Virtual (changed from in-person, Houston, Texas, USA), December 1-4, 2020.

Andrew Louie and Albert M. K. Cheng, ``Designing a Server-Side Progressive JPEG Encoder for Real-Time Applications,'' 41th IEEE Real-Time Systems Symposium (RTSS), Virtual (changed from in-person, Houston, Texas, USA), December 1-4, 2020.

Anukriti Mishra, Albert M. K. Cheng, and Yunpeng Zhang, ``Intrusion Detection Using Principal Component Analysis and Support Vector Machines,'' 16th IEEE International Conference on Control and Automation (ICCA), Sapporo, Hokkaido, Japan, July 6-9, 2020 (postponed), Virtual, October 9-11, 2020.

Albert M. K. Cheng, ``Simplifying CPS Development with Real-Time Virtual Resources,'' 40th IEEE Real-Time Systems Symposium (RTSS), Hong Kong, December 2019.

Guangli Dai, Pavan Kumar Paluri, Thomas Carmichael, Albert M. K. Cheng, and Risto Miikkulainen, ``Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion,'' 40th IEEE Real-Time Systems Symposium (RTSS), Hong Kong, December 2019.

Victor L. Rodriguez, Albert M. K. Cheng, and Binh Doan, ``Combining Two Security Methods to Detect Versatile Integrity Attacks in Cyber-Physical Systems,'' 40th IEEE Real-Time Systems Symposium (RTSS), Hong Kong, December 2019.

Aaron Wong and Albert M. K. Cheng, ``Reducing Response Time of Static Priority Task Sets by Varying Offsets,'' 40th IEEE Real-Time Systems Symposium (RTSS), Hong Kong, December 2019.

Michael Yantosca and Albert M. K. Cheng, ``ARTIC: An Adaptive Real-Time Imprecise Computation Pipeline for Audio Analysis,'' 40th IEEE Real-Time Systems Symposium (RTSS), Hong Kong, December 2019.

Pallovi Romero and Albert M. K. Cheng, ``EDF Scheduling of Industrial Robotic Manufacturing Tasks,'' International Symposium on Measurement, Control, and Robotics (ISMCR), University of Houston-Clear Lake, Texas, USA, September 19-21, 2019.

Albert M. K. Cheng, Guangli Dai, Pavan Kumar Paluri, Mansoor Ansari, Yu Li and Darrell Brandon Knape, ``Fault-Tolerant Regularity-Based Real-Time Virtual Resources,'' 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hangzhou, China, August 18-21, 2019.

Albert M. K. Cheng and Panruo Wu, `` Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing,'' 39th IEEE-CS Real-Time Systems Symposium (RTSS), Nashville, Tennessee, USA, December 11-14, 2018.

Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, ``RRP Edge Computing System,'' First International Workshop on Trustworthy & Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS), co-located with RTSS, Nashville, Tennessee, USA, December 11, 2018.

Stefan Andrei, Vlad Radulescu, Albert M. K. Cheng, and Gaurab Dahal, ``Efficient Task Switching-based Multiprocessor Scheduling for Nonpreemptive Independent Task Sets,'' 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, September 20-23, 2018.

Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, ``Task Mapping in a Regularity-based Resource Partitioning Hierarchical Real-Time System,'' 30th Euromicro Conference on Real-Time Systems (ECRTS) WIP Session, July 3-6, 2018.

Kevin Bailey, Albert M. K. Cheng, Pavan Kumar Paluri, Guangli Dai, and Carlos Rincon, ``Implementing the Regularity-based Resource Partition Model on RT-Xen,'' 30th Euromicro Conference on Real-Time Systems (ECRTS) WIP Session, July 3-6, 2018.

Roberto Duenez and Albert M. K. Cheng, `` Real-Time Security through a TEE,'' 3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems, in conjunction with IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg, June 25, 2018.

Carlos Rincon and Albert M. K. Cheng, ``SITSA-RT:An Information Theory Inspired Real-Time Multiprocessor Scheduler,'' 21th IEEE International Symposium on Real-time Computing (ISORC), Singapore, May 29-31, 2018.

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.

Vlad Radulescu, Stefan Andrei, and Albert M. K. Cheng, ``Bounding Execution Resources for the Task Scheduling Problem in Cyber-Physical Systems,'' First ESWeek Workshop on Declarative Embedded and Cyber-Physical Systems (DECPS), Lotte Hotel, Seoul, South Korea, October 19, 2017.

Carlos Rincon, Jehan-Francois Paris, Ricardo Vilalta, Albert M. K. Cheng and Darrell D. E. Long, ``Disk Failure Prediction in Heterogeneous Environments,'' International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), Seattle, WA, USA, July 9-12, 2017. Best Paper Award Nominee.

Min Song, Ying Song, Zhengxian Wei, Hongbin Wang, Albert M. K. Cheng, ``The Testing Execution Mechanism on Internetware Oriented Flow Dynamic Building,'' International Workshop on System Modeling, Simulation and Evaluation (SMSE), 12th International Conference on Future Information Technology (FutureTech) and 11th International Conference on Multimedia and Ubiquitous Engineering (MUE), Seoul, South Korea, May 22-24, 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.

Yue Qin, Xingliang Zou, Albert M. K. Cheng, and Yu Jiang, ``Finding a steady state point for minimizing the schedulability interval for fixed priority periodic real-time tasks with arbitrary release offsets,'' 20th IEEE International Symposium on Real-time Computing (ISORC), Toronto, Canada, May 16-18, 2017.

Darrell (Brandon) Knape, Albert M. K. Cheng, and Yu Li, ``Introducing Fault Tolerance to the Regularity-Based Resource Partition Model,'' 2nd International Workshop on Resiliency in Embedded Electronic Systems (REES), SwissTech Convention Center, Lausanne, Switzerland, March 31, 2017.

Carlos Rincon and Albert M. K. Cheng, ``Using Information Theory Principles to Schedule Real-Time Tasks,'' The 51st Annual Conference on Information Systems and Sciences (CISS), Baltimore, Maryland, March 22-24, 2017.

Vlad Radulescu, Stefan Andrei, and Albert M. K. Cheng, ``Resource Bounding for Non-preemptive Task Scheduling on a Multiprocessor Platform,'' 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, September 24-27, 2016.

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.

Behnaz Sanati and Albert M. K. Cheng, ``Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization,'' 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.

Carlos Rincon and Albert M. K. Cheng, ``Preliminary Performance Evaluation of HEF Scheduling Algorithm,'' 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.

Jiaming Lv, Xingliang Zou, Albert M. K. Cheng, and Yu Jiang, ``Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling,'' 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.

Carlos Rincon and Albert M. K. Cheng, ``Using Entropy as a Parameter to Schedule Real-Time Tasks,'' 36th IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, San Antonio, Texas, December 1-4, 2015.

Xingliang Zou, Albert M. K. Cheng, and Yu Jiang, ``Deferred Start: A Non-Work-Conserving Model for P-FRP Fixed Priority Task Scheduling,'' 36th IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, San Antonio, Texas, December 1-4, 2015.

Stefan Andrei, Albert M. K. Cheng, and Vlad Radulescu, ``An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling,'' 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, September 21-24, 2015.

Yu Jiang, Albert M. K. Cheng, and Xingliang Zou, `` Schedulability Analysis for Real-Time P-FRP Tasks Under Fixed Priority Scheduling,'' 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),, 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.

Qiong Lu, Albert M. K. Cheng, and Robert Davis, ``Tunable Response Time Upper Bound for Fixed-Priority Real-Time Systems,'' 21th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP, Seattle, Washington, April 14-16, 2015.

Rachel V. Madrigal and Albert M. K. Cheng, ``Fault Tolerance in Real-Time Resource Partitions,'' 21th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP, Seattle, Washington, April 14-16, 2015.

Qiang Zhou, Zikun Yang, and Albert M. K. Cheng, ``Real-Time Logic (RTL) Modeling on SpaceWire-D Networks,'' 21th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP, Seattle, Washington, April 14-16, 2015.

Yong woon Ahn and Albert M. K. Cheng, ``MIRRA: Rule-Based Resource Management for Heterogeneous Real-Time Applications Running in Cloud Computing Infrastructures,'' 10th International Workshop on Feedback Computing, co-located with CPSWeek, Seattle, Washington, April 13, 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.

Jian (Denny) Lin, Albert M. K. Cheng, Douglas Steel, and Michael Yu-Chi Wu, ``Scheduling Mixed-Criticality Real-Time Tasks with Fault Tolerance,'' 2nd Workshop on Mixed Criticality (WMC), in conjuction with IEEE RTSS, Rome, Italy, December 2, 2014.

Vlad Radulescu, Stefan Andrei, and Albert M. K. Cheng, ``A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems,'' 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, September 22-25, 2014.

Xingliang Zou, Albert M. K. Cheng, Yu Li, and Yu Jiang, ``A Temporal Partition-based Linux CPU Scheduler,'' 11th IEEE International Conference on Embedded Software and Systems (ICESS), in conjunction with HPCC and CSS, Paris, France, August 20-22, 2014.

Behnaz Sanati and Albert M. K. Cheng, ``Efficient Online Benefit-Aware Multiprocessor Scheduling Using an Online Choice of Approximation Algorithms,'' 11th IEEE International Conference on Embedded Software and Systems (ICESS), in conjunction with HPCC and CSS, Paris, France, August 20-22, 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.

Zeinab Kazemi Alamouti and Albert M. K. Cheng, ``Static Worst Case Execution Time Analysis of Functional Reactive Systems,'' 11th IEEE International Conference on Embedded Software and Systems (ICESS) WIP Session, in conjunction with HPCC and CSS, Paris, France, August 20-22, 2014.

Stefan Andrei, Albert M. K. Cheng, and Vlad Radulescu, ``An Efficient Scheduling Algorithm of Non-preemptive Independent Tasks for Biomedical Systems,'' 12th IEEE International NEWCAS Conference, Trois-Rivieres, Canada, June 22-25, 2014.

Yong woon Ahn and Albert M. K. Cheng, `` Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture,'' Medical Cyber Physical Systems Workshop (MedicalCPS), Cyber-Physical Systems Week (CPSWeek), Berlin, Germany, April 14, 2014.

Stefan Andrei, Albert M. K. Cheng, and Mozahid Haque, `` Mathematical Considerations of Linear Real-Time Logic Verification,'' 20th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Berlin, Germany April 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.

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.

Daxiao Liu and Albert M. K. Cheng, `` An Energy-Saving Approach for Real-Time Highway Traffic Estimation Using GPS-Enabled Smartphones,'' 34th IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Vancouver, Canada, December 2013.

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

Albert M. K. Cheng, Stefan Andrei, and Mozahid Haque, `` Optimizing the Linear Real-Time Logic Verifier,'' 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Philadelphia, PA, April 8, 2013.

Yu Li and Albert M. K. Cheng, `` Static Approximation Algorithms for Regularity-based Resource Partitioning,'' 33rd Real-Time Systems Symposium (RTSS), San Juan, Puerto Rico, USA, December 5-7, 2012.

Yong woon Ahn and Albert M. K. Cheng, `` Autonomic Computing Architecture for Real-Time Medical Application Running on Virtual Private Cloud Infrastructures,'' 33rd Real-Time Systems Symposium (rtss) WIP Session, San Juan, Puerto Rico, USA, December 4-7, 2012.

Yuanfeng Wen, Beihong Jin, Keqin Li, Albert M. K. Cheng, and Wenjing Fang, ``A Queueing Theory Based Approach to QoS-Driven Adaptation for Service Discovery over MANETs,'' IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Paphos, Cyprus, Dec. 5-7, 2012.

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.

Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng, Feng Yang, and Abhinav Kohar, `` Support for Power Efficient Mobile Video Playback on Simultaneous Hybrid Display,'' 10th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia), Tampere, Finland, October 11-12, 2012.

Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng, and Khoa Le, `` Energy Efficient Hybrid Display and Predictive Models for Embedded and Mobile Systems,'' International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Tampere, Finland, October 7-12, 2012.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, and Timothy McNicholl, ``Toward an optimal power-aware scheduling technique,'' 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, September 26-29, 2012.

Weizhe Zhang and Albert M. K. Cheng, `` Performance Prediction for MPI Parallel Jobs,'' International Workshop on Power and QoS Aware Computing (PQoSCom), in conjunction with IEEE Cluster, Beijing, China, September 24-28, 2012.

Albert M. K. Cheng, Homa Niktab, and Michael Walston, `` Timing Analysis of Small Aircraft Transportation System (SATS),'' International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 2012.

Yu Li, Albert M. K. Cheng and Aloysius K. Mok, `` Regularity-based Partitioning of Uniform Resources in Real-time Systems,'' International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 2012.

Weizhe Zhang, Hongli Zhang, Huixiang Chen, Qizhen Zhang, and Albert M. K. Cheng, `` Improving the QoS of Web Applications across Multiple Virtual Machines in Cloud Computing Environment,'' First International Workshop on Workflow Models, Systems, Services and Applications in the Cloud (CloudFlow), in conjunction with the 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS), Shanghai, China, May 21-25, 2012.

Yong woon Ahn, Chaitanya Belwal, Albert M. K. Cheng, `` Improving QoS for Wireless ECG Data Transmission with Enhanced Admission Control in EDCA-Based WLANs,'' IEEE Globecom, Houston, Texas, USA, December 5-9, 2011.

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.

Stefan Andrei, Albert M. K. Cheng, and Vlad Radulescu, `` Estimating the number of processors towards an efficient non-preemptive scheduling algorithm,'' 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29, 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.

Weizhe Zhang, Tao Cheng, Hui He, and Albert M. K. Cheng, `` LVMM: a lightweight virtual machine memory management Architecture for virtual computing environment ,'' International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE), Bali, Indonesia, August 4-7, 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.

Jim Ras and Albert M. K. Cheng, `` On Formal Verification of Toyota's Electronic Throttle Controller,'' IEEE International Systems Conference, Montreal, Quebec, Canada, April 4-7, 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, `` On the Toyota's Throttle Control Problem,'' IEEE/ACM International Conference on Green Computing and Communications and IEEE/ACM International Conference on Cyber, Physical and Social Computing , Hangzhou, Zhejiang, China, December 18-19, 2010.

Chaitanya Belwal and Albert M. K. Cheng, `` Reducing the Number of Preemptions in P-FRP,'' 31st IEEE Real-Time Systems Symposium (RTSS) WIP Session, San Diego, CA, USA, November 30 - December 3, 2010.

Jim Ras and Albert M. K. Cheng, `` A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller,'' ACM SIGAda Conference, Fairfax, Virginia, October 24-28, 2010.

Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, and Vlad Radulescu, `` An Efficient Scheduling Algorithm for the Multiprocessor Platform,,'' 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010.

Stefan Andrei, Albert M. K. Cheng, Martin Rinard, and Lawrence Osborne, `` Optimal Scheduling of Urgent Preemptable Tasks,'' IEEE Embedded and Real-Time Computing Systems and Applications (RTCSA), Macau, China, August 23-25, 2010.

Bo Liu, Fang Liu, Jian Lin, Albert M. K. Cheng, and Stefan Andrei, ``Temperature-Aware Online Real-Time Scheduling for Multiple Feasible Intervals,'' IEEE Embedded and Real-Time Computing Systems and Applications (RTCSA) WIP Session, Macau, China, August 23-25, 2010.

Jian (Denny) Lin, Wei Song, and Albert M. K. Cheng, `` RealEnergy: a New Framework and a Case Study to Evaluate Power-Aware Real-Time Scheduling Algorithms,'' ACM International Symposium on Low Power Electronics and Design (ISLPED), Austin, Texas, USA, August 18-20, 2010.

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.

Jonathan Hall, Jian (Denny) Lin, and Albert M. K. Cheng, ``Dynamic Multiple Feasible Intervals,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Stockholm, Sweden, April 13-16, 2010.

Yong woon Ahn, Albert M. K. Cheng, Jinsuk Baek, and Paul Fisher, `` Detection and Punishment of Malicious Wireless Stations in IEEE 802.11e EDCA Network,'' Proc. IEEE Sarnoff Symposium, Princeton, New Jersey, April 12-14, 2010.

Weizhe Zhang, Yuanjing Zhang, Hongli Zhang, Xuemai Gu and Albert M.K. Cheng, `` A Memory-Efficient Multi-Pattern Matching Algorithm Based on the Bitmap,'' Proc. Fourth International Conference on Internet Computing for Science and Engineering (ICICSE), Harbin Engineering University, Harbin, China, Dec. 21-22, 2009.

Jian (Denny) Lin and Albert M. K. Cheng, ``Real-time Task Assignment with Replication on Multiprocessor Platforms ,'' Proc. 15th IEEE International Conference on Parallel and Distributed Systems (ICPADS'09), Shenzhen, China, Dec. 8-11, 2009.

Stefan Andrei and Albert M. K. Cheng, ``Decomposition-based Verification of Linear Real-Time Systems Specifications,'' 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), Washington, D.C., USA (Co-located with IEEE RTSS 2009), December 1, 2009.

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.

Jian (Denny) Lin and Albert M. K. Cheng, `` Power-aware scheduling for Multiple Feasible Interval Jobs,'' Proc. 15th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Beijing, China, Aug. 2009. Best Paper Award Nominee.

Albert M. K. Cheng and Sushil Digewade, `` Design Framework for Self-Stabilizing Real-Time Systems based on Real-Time Objects and Prototype implementation with Analysis,'' Software/Hardware Optimizations for Embedded Systems (SHOES) Symposium, in conjunction with ICESS-09, Hangzhou, China, May 25-27, 2009.

Jian (Denny) Lin and Albert M. K. Cheng, `` Real-time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries,'' IEEE International Conference on Advanced Information Networking and Applications (AINA), Bradford, UK, May 26-29, 2009.

Jim Ras and Albert M. K. Cheng, `` An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, CA, April 13 - 16, 2009.

R. Cartwright, A. M. K. Cheng, P. Hudak, M. O'Malley, and W. Taha, `` Cyber-Physical Challenges in Transportation System Design,'' Proc. National Workshop for Research on High-Confidence Transportation Cyber-Physical Systems in Automotive, Aviation, and Rail Cyber-Physical Systems (AAR-CPS), Washington, D.C., November 18-20, 2008.

Jim Ras and Albert M.K. Cheng, `` Real-Time Synchronization on Distributed Architecture with Ada 2005,'' ACM International Conference on the Ada Programming Language, Portland, Oregon, Oct. 2008.

Jian (Denny) Lin and Albert M. K. Cheng `` Real-time Task Assignment in Rechargeable Multiprocessor Systems,'' IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Kaohsiung, Taiwan, Aug. 2008.

A. M. K. Cheng, `` Cyber-Physical Medical and Medication Systems,'' First International Workshop on Cyber-Physical Systems (WCPS2008), sponsored by the United States National Science Foundation, Beijing, China, June 20, 2008 (in conjunction with IEEE ICDCS 2008, Beijing, China, June 17-20, 2008).

B. Sanati and A. M. K. Cheng, `` Maximizing Job Benefits on Multiprocessor Systems Using a Greedy Algorithm,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, St. Louis, MO, April 22-24, 2008. One of 4 Best Papers Award.

C. Belwal, A. M. K. Cheng, W. Taha, and A. Zhu, ``Time Analysis of the Priority based FRP System,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, St. Louis, MO, April 22-24, 2008.

J. Lin, Y. Chen, and A. M. K. Cheng `` On-Line Burst Header Scheduling in Optical Burst Switching Networks,'' IEEE AINA, Japan, 2008.

A. M. K. Cheng, ``Applying (m, k)-firm Scheduling to Medical and Medication Systems,'' Workshop on Software and Systems for Medical Devices and Services (SMDS), in conjunction with IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007.

S. Andrei and A. M. K. Cheng, `` Verifying Linear Real-Time Logic Specifications,'' IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007.

Sumit Gupta, Rong Zheng, and Albert M. K. Cheng, `` ANDES: an Anomaly Detection System for Wireless Sensor Networks,'' The Fourth IEEE International Conference onMobile Ad-hoc and Sensor Systems (MASS), Pisa, Italy, October 8-11, 2007.

Albert M. K. Cheng and James Ras, ``The Implementation of the Priority Ceiling Protocol in Ada-2005 Using a Shared Memory Programming Model,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.

Albert M. K. Cheng and Jawad Rasheed, `` Detection of Malicious Nodes by Immediate Parents (DoMNiP) in Wireless Sensor Networks,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.

Timothy L. Allen and Albert M. K. Cheng, ``Real-Time, Dynamic Calculations of Polynomial Coefficients for Use in Telemetry,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.

Albert M. K. Cheng and James Ras, `` Event-Based Semantics in the Implementation Language for Embedded and Critical Systems,'' Workshop on Event-Based Semantics, in conjunction with IEEE-CS Real-Time and Embedded Technology and Applications Symposium, April 2007.

S. Andrei and A. M. K. Cheng, `` Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, December 2006.

Q. S. Lewis and Albert M. K. Cheng, `` 3D GC: Towards a Garbage Collector that Considers Time, Space, and Energy,'' IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rio de Janeiro, Brazil, December 2006.

G. Aruchamy and A. M. K. Cheng ``Translating Real-Time UML Timing Constraints into Real-Time Logic Formulas,'' IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rio de Janeiro, Brazil, December 2006.

Jian (Denny) Lin and Albert M. K. Cheng `` Maximizing Guaranteed QoS in (m,k)-firm Real-time Systems,'' Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Sydney, Australia, Aug. 2006.

S. Andrei and A. M. K. Cheng, `` Optimization of Real-Time Systems Timing Specifications,'' Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Sydney, Australia, Aug. 2006.

A. M. K. Cheng and Z. Zhang, `` Improving Web Server Performance in Soft Real-Time Mobile Applications with Adaptive Proxy Caching,'' Proc. MobEA IV-Empowering the Mobile Web, collocated with ACM WWW Conference, Edinburgh, Scotland, May 2006.

Albert M. K. Cheng, `` Intrusion Detection via Automatic Rule-Base Generation and Semantic Analysis,' ' Proc. SCISS, Houston, TX, April 2006.

Albert M. K. Cheng, ``On-Time and Scalable Intrusion Detection in Embedded Systems,'' Proc. Workshop on Research Directions for Security and Networking in Critical Real-Time and Embedded Systems, in conjunction with IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, CA, April 2006.

Jian (Denny) Lin and Albert M. K. Cheng ``Maximizing Guaranteed QoS within (m,k)-firm Real-time Constraints,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, San Jose, CA, April 2006.

W. Zhang, A. M. K. Cheng, B. Fang, M. Hu, ``An adaptive multisite scheduling algorithm for parallel jobs in computational grid environments,'' Proc. Third High-Performance Grid Computing Workshop, in conjunction with International Parallel and Distributed Processing Symposium, in Rhodes Island, Greece, April 29, 2006.

A. M. K. Cheng and S. Fang, ``Study and Simulation of a Distributed Real-Time Fault-Tolerance Web Monitoring System,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Miami, FL, December 2005.

A. M. K. Cheng and C. Feng, ``Predictive Thermal Management for Hard Real-Time Tasks,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Miami, FL, December 2005.

A. M. K. Cheng and F. Shang, ``Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications,'' Proc. 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RCSA), Hong Kong, Aug. 2005.

S. Andrei, W.-N. Chin, A. M. K. Cheng, and Yongxin Zhu, ``Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem,'' Proc. 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hong Kong, Aug. 2005.

Y. Wang and A. M. K. Cheng, ``A Dynamic-Mode DVS Algorithm under Dynamic Workloads,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005.

H. Chen and A. M. K. Cheng ``Applying Ant Colony Optimization to the Partitioned Scheduling Problem for Heterogeneous Processors,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005.

S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Systematic debugging of real-time systems based on incremental satisfiability counting,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium, San Francisco, March 2005.

A. M. K. Cheng and Rong Wang, ``A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation,'' Proc. 28th Annual International IEEE-CS International Computer Software and Application Conference (COMPSAC), Hong Kong, September 2004.

Jharna J. Chokhawala and Albert M. K. Cheng, ``Optimizing Power Aware Routing in Mobile Ad Hoc Networks,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.

Chien-Chih Chu and Albert M. K. Cheng, ``Static and Dynamic Methods to Improve Total Reward of Tasks in Battery-Powered Devices,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.

F. Shang and A. M. K. Cheng, ``Time-Constrained Transmission of JPEG Images via Variable-Quality Coding,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.

S. Sodhi and A. M. K. Cheng, ``Optimizing Timing Analysis and Verification of Embedded Systems using Rule-Based-Analytic Techniques,'' Proc. WIP Session of IEEE-CS Real-Time Systems Symposium, Cancun, Mexico, Dec. 2003.

Z. Zhu and A. M. K. Cheng, ``Worst Case Round Trip Time Prediction and Statistical Analysis Using Extreme Values Theory,'' Proc. WIP Session of IEEE-CS Real-Time Systems Symposium, Cancun, Mexico, Dec. 2003.

A. M. K. Cheng and K. Rajan, ``A Digital Map/GPS-Based Routing and Addressing Scheme for Wireless Ad Hoc Networks,'' Proc. IEEE Intelligent Vehicles Symposium, Columbus, OH, USA, June 9-11, 2003.

Ming Zu and Albert M. K. Cheng, `` Real-Time Scheduling of Hierarchical Reward-Based Tasks,'' Proc. IEEE-CS Real-Time Technology and Applications Symp., May 2003.

A. M. K. Cheng and Z. Zhang, `` Adaptive Proxy Caching for Web Servers in Soft Real-Time Applications,'' Proc. WIP Session, 23rd IEEE Real-Time Systems Symposium, Austin, TX, December 3-5, 2002.

Jeong A. Kang and A. M. K. Cheng, `` Reducing Matching Time for OPS5 Production Systems,'' Proc. 25th IEEE-CS Computer Software and Applications Conference (COMPSAC), Chicago, IL, Oct. 2001.

F. Jiang and A. M. K. Cheng, `` A Context Switch Reduction Technique for Real-Time Task Synchronization,'' Proc. IEEE-CS Intl. Parallel and Distributed Processing Symposium, San Francisco, CA, May 2001.

L. Miller and A. M. K. Cheng, ``Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels,'' Proc. 21th IEEE-CS Real-Time Systems Symposium, Nov. 2000.

S. M. Bak, A. M. K. Cheng et al., `` Load-Balanced Routing in Real-Time Packet-Switched Networks,'' Proc. 25th Intl. Conf. on Local Computer Networks, Nov. 2000.

S. Rao and A. M. K. Cheng, `` Scheduling and Routing of Real-Time Multimedia Traffic in Packet-Switched Networks,'' Proc. IEEE Intl. Conf. on Multimedia and Expo, New York, MA, July-Aug. 2000.

L. Miller and A. M. K. Cheng, ``CAC with Bandwidth Reallocation and Active Channel Rerouting Techniques in ATM Networks: Simulation and Performance Results,'' Intl. Conf. on Applied Simulation and Modeling (ASM 2000), Banff, Canada, July 2000.

Y.-H. Lee and A. M. K. Cheng, `` Dynamic Optimization for Real-Time Rule-Based Systems using Predicate Dependency ,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Washington, D.C., May-June 2000.

S. Fujii and A. M. K. Cheng, `` Bounded-Response-Time Self-Stabilizing OPS5 Production Systems,'' Proc. IEEE-CS Intl. Parallel and Distributed Processing Symp., Cancun, Mexico, May 2000.

J.-C. Wang and A. M. K. Cheng, ``A State-Space-Based Approach for Optimizing MRL Rule-Based Programs,'' Proc. Intl. Conf. on Parallel and Distributed Computer Systems, MIT, Cambridge, MA, Nov. 1999.

R. Agarwal and A. M. K. Cheng, `` Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video,'' Proc. IEEE-CS Intl. Conf. on Multimedia Computing and Systems, Florence, Italy, June 1999.

L. E. P. Rice and Albert M. K. Cheng, `` Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Vancouver, Canada, June 2-4, 1999.

A. M. K. Cheng and J.-C. Wang, `` Applying a Modified EQL Optimization Method to MRL Rule-Based Programs,'' Proc. 1st IEEE Workshop on Application-Specific Software Engineering and Technology, Richardson, TX, Mar. 1998.

A. M. K. Cheng, ``Optimization of Real-Time MRL Rule-Based Systems with the EQL Optimizer,'' Proc. WIP Session, 18th IEEE-CS Real-Time Systems Symposium, San Francisco, CA, Dec. 1997.

P.-Y. Lee and A. M. K. Cheng, `` Reducing Match Time Variance in Production Systems with HAL,'' Proc. 6th Intl. ACM Conf. on Information and Knowledge Management, Las Vegas, Nevada, Nov. 1997.

S. Avery and A. M. K. Cheng, ``Optimizing OPS5 Rule-Based Programs by Rule-Splitting,'' Proc. Intl. Conf. on Software Engineering, San Francisco, CA, Nov. 1997.

C. Wong and A. M. K. Cheng, `` An Approach for Imprecise Transmission of TIFF Image Files Through Congested Real-Time ATM Networks,'' Proc. 22nd Intl. Conf. on Local Computer Networks, Minneapolis, MN, Nov. 1997.

X. Chen and A. M. K. Cheng, ``An Imprecise Algorithm for Real-Time Compressed Image/Video Transmission,'' Proc. 6th Intl. Conf. on Computer Communications and Networks, Las Vegas, Nevada, Sept. 1997.

A. M. K. Cheng, ``Predicting the Match Time in Real-Time Rule-Based Systems,'' Proc. Workshop on Formal Methods for the Design of Real-Time Systems, 3rd IEEE Intl. Conf. on Engineering of Complex Computer Systems, Como, Italy, Sept. 1997.

C. Wong and A. M. K. Cheng, ``Maintaining High Transmitted Image Quality in Congested ATM Networks,'' Proc. Workshop on Resource Allocation Problems in Multimedia Systems, held in conjunction with the 17th IEEE Real-Time Systems Symposium, Washington, D.C., Dec. 1996.

A. M. K. Cheng, ``Fault-Tolerant EQL and MRL Rule-Based Programs,'' Proc. 2nd World Conf. on Integrated Design and Process Technology (IDPT), Austin, Texas, Dec. 1996.

A. M. K. Cheng, `` Measuring the Structural Complexity of OPS5 Rule-Based Programs,'' Proc. 20th IEEE-CS Computer Software and Applications (COMPSAC) Conf., Seoul, Korea, Aug. 1996.

A. M. K. Cheng and X. Gu, `` Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures,'' Proc. 25th Intl. Conf. on Parallel Processing, Bloomingdale, IL, Vol. I, pp. 204-211, Aug. 1996.

L. N. Nguyen and A. M. K. Cheng, ``An Imprecise Real-Time Image Magnification Algorithm,'' Proc. Intl. Symp. on Multimedia Systems, Yokohama, Japan, Mar. 1996.

A. M. K. Cheng and X. Huang, `` An Imprecise Real-Time Video Transmission Algorithm,'' Proc. Intl. Computer Science Conf., Hong Kong, Dec. 1995.

B. Zupan, A. M. K. Cheng, and M. Bohanec, ``Static Stability Analysis Method for Fuzzy Rule-Chaining Real-Time Systems,'' Proc. IFAC Conf. on Artificial Intelligence in Real-Time Control, Slovenia, Nov. 1995.

C.-Y. Wang and A. M. K. Cheng, `` Increasing Production System Parallelism via Synchronization Minimization and Look-Ahead Conflict Resolution,'' Proc. 24th Intl. Conf. on Parallel Processing, Oconomowoc, WI, Vol. III, pp. 85-92, Aug. 1995.

X. Huang and A. M. K. Cheng, `` Applying Imprecise Algorithms to Real-Time Image and Video Transmission,'' Proc. IEEE-CS Real-Time Technology and Applications Symp., Chicago, IL, pp. 96-101, May 1995.

J.-R. Chen and A. M. K. Cheng, `` Predicting the Response Time of OPS5-style Production Systems,'' Proc. IEEE-CS Conf. on Artificial Intelligence for Applications, Los Angeles, CA, pp. 203-209, Feb. 1995.

T. Lee and A. M. K. Cheng, ``Multiprocessor Scheduling of Independent Hard-Real-Time Periodic Tasks with Task Migration Constraints,'' Proc. IEEE-CS Workshop on Real-Time Computing Systems and Applications, Seoul, Korea, Dec. 1994.

J.-R. Chen and A. M. K. Cheng, `` Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments,'' Proc. 6th IEEE-CS Intl. Conf. on Tools with Artificial Intelligence, New Orleans, LA, pp. 297-303, Nov. 1994.

A. M. K. Cheng, ``Design of Knowledge-Based Expert Systems for Time-Critical Applications,'' Proc. 9th IEEE Annual Intl. Conf. on Frontiers of Computer Technology, Aug. 1994.

J.-R. Chen and A. M. K. Cheng, `` A Fast, Partially Parallelizable Algorithm for predicting Execution Time of EQL Rule-Based Programs,'' Proc. 23rd Intl. Conf. on Parallel Processing, St. Charles, IL, Aug. 1994.

H.-Y. Tsai and A. M. K. Cheng, `` Termination Analysis of OPS5 Expert Systems,'' Proc. 12th National Conf. on Artificial Intelligence (AAAI), Seattle, WA, pp. 193-198, Aug. 1994.

A. M. K. Cheng and L. Zhang, ``An Efficient On-Line Scheduler for Real-Time Main Memory Database Systems,'' Proc. IEEE Intl. Conf. on Data and Knowledge Systems for Manufacturing and Engineering, Hong Kong, pp. 680-685, May 1994.

B. Zupan and A. M. K. Cheng, `` Response Time Optimization of Rule-Based Expert Systems,'' Proc. SPIE OE/Aerospace Sensing Conference on Knowledge-Based Artificial Intelligence Systems in Aerospace and Industry, Orlando, FL, pp. 240-248, Apr. 1994.

B. Zupan and A. M. K. Cheng, ``Optimization of Rule-Based Systems via State Transition System Construction,'' Proc. IEEE-CS Conf. on Artificial Intelligence for Applications, San Antonio, TX, pp. 320-326, March 1994.

A. M. K. Cheng, `` Design Issues of Adaptive and Fault-Tolerant Real-Time Intelligent Systems,'' Proc. IEEE Intl. Conf. on Networks & Information Engineering, Singapore, pp. 178-182, Sept. 1993.

A. M. K. Cheng, ``Parallel Execution of Real-Time Rule-Based Systems,'' Proc. 7th IEEE-CS Intl. Parallel Processing Symp., Newport Beach, CA, pp. 779-786, Apr. 1993.

A. M. K. Cheng, `` Scheduling Transactions in Real-Time Database Systems,'' Proc. IEEE-CS Computer Conf., San Francisco, CA, pp. 222-231, Feb. 1993.

A. M. K. Cheng, `` Self-Stabilizing Real-Time Rule-Based Systems,'' Proc. 11th IEEE-CS Symp. on Reliable Distributed Systems, Houston, Texas, pp. 172-179, Oct. 1992.

A. M. K. Cheng and C.-H. Chen, `` Efficient Response Time Bound Analysis of Real-Time Rule-Based Systems,'' Proc. 7th IEEE Conf. on Computer Assurance, U.S. National Institute of Standards and Technology, Gaithersburg, MD, pp. 63-76, June 1992.

A. M. K. Cheng, `` Fast Static Timing Analysis of Real-Time Systems,'' Proc. 25th Intl. Conf. on System Sciences, Kauai, HI, Jan. 1992.

A. M. K. Cheng, `` Implementing a Tool for Timing Analysis of Real-Time Production System,'' Proc. 3rd IEEE-CS Intl. Conf. on Tools for Artificial Intelligence, San Jose, CA, Nov. 1991.

A. M. K. Cheng, J. C. Browne, A. K. Mok, and R.-H. Wang, `` Estella: A Language for Specifying Behavioral Constraint Assertions in Real-Time Rule-Based Systems,'' Proc. 6th IEEE Conf. on Computer Assurance, U.S. National Institute of Standards and Technology, Gaithersburg, MD, pp. 107-123, June 1991.

C.-K. Wang, A. K. Mok, and A. M. K. Cheng, `` MRL: A Real-Time Rule-Based Production System,'' Proc. 11th IEEE-CS Real-Time Systems Symposium, Lake Buena Vista, Orlando, FL, pp. 267-276, Dec. 1990.

A. M. K. Cheng and C.-K. Wang, `` Fast Static Analysis of Real-Time Rule-Based Systems to Verify Their Fixed Point Convergence,'' Proc. 5th IEEE Conf. on Computer Assurance, U.S. National Institute of Standards and Technology, Gaithersburg, Maryland, pp. 46-56, June 1990.

[A. M. K. Cheng and] A. K. Mok, ``Formal Analysis of Real-Time Equational Rule-Based Systems,'' Proc. Real-Time Systems Symposium, pp. 308 - 318, Santa Monica, California, Dec. 5-7, 1989.

A. M. K. Cheng, ``On the Implementation of Distributed Agreement Protocols in Computer Networks,'' Proc. IEEE Intl. Conf. on Networks, Singapore, pp. 338-342, July 1989.

Recent Technical Reports/Preprints:

Yu Li and Albert M. K. Cheng, ``The Value of `Even Distribution' for Temporal Resource Partitions,'' Technical Report UH-CS-16-01, February 25, 2016.

Chaitanya Belwal, Albert M. K. Cheng, and Yuanfeng Wen, ``Time Petri Nets for Schedulability Analysis of the Transactional Event Handlers of P-FRP,'' Technical Report UH-CS-12-04, May 21, 2012.

Yu Li and Albert M. K. Cheng, ``Static Approximation Algorithms for Regularity-based Resource Partitioning,'' Technical Report UH-CS-12-03 May 16, 2012.

Yu Li and Albert M. K. Cheng, ``Regularity-based Partitioning of Uniform Resources in Real-time Systems,'' Technical Report UH-CS-12-02 May 14, 2012.

Chaitanya Belwal and Albert M. K. Cheng, ``Optimal Priority Assignments in P-FRP,'' Technical Report UH-CS-11-03, April 27, 2011.

Chaitanya Belwal and Albert M. K. Cheng, ``Partitioned Scheduling of P-FRP in Symmetric Homogeneous Multiprocessors,'' Technical Report UH-CS-11-01, February 1, 2011

Bo Liu, Fang Liu, Jian Lin and Albert M. K. Cheng ``Power-Aware Online Dynamic Scheduling for Multiple Feasible Intervals,'' Technical Report UH-CS-10-06, June 23, 2010.

Chaitanya Belwal and Albert M. K. Cheng, ``Determining Actual Response Time in P-FRP,'' Technical Report UH-CS-10-05, June 2010.

Gowri Aruchamy and Albert M. K. Cheng, ``Translating Real-Time UML Timing Constraints into Real-Time Logic Formulas,'' Technical Report UH-CS-06-07, June 6, 2006.

B. Mirle and A. M. K. Cheng ``SIMULATION OF FAULT-TOLERANT SCHEDULING ON REAL-TIME MULTIPROCESSOR SYSTEMS USING PRIMARY BACKUP OVERLOADING,'' Technical Report UH-CS-06-04, May 2006.

A. M. K. Cheng and F. Jiang, ``An Improved Priority Ceiling Protocol to Reduce Context Switches in Task Synchronization,'' Technical Report UH-CS-05-23, November 2005.

A. M. K. Cheng and S. Fang, ``Study and Simulation of a Distributed Real-Time Fault-Tolerance Web Monitoring System,'' Technical Report UH-CS-05-20, August 2005.

A. M. K. Cheng and S. Fujii, ``Self-Stabilizing Real-Time OPS5 Production Systems,'' Technical Report UH-CS-04-07, 2004.

S. Digewade and Albert M. K. Cheng, ``Design Framework for Self-Stabilizing Real-Time Systems based on Real-Time Objects and Prototype implementation with Analysis,'' Technical Report UH-CS-04-06, 2004.

M.S. Students:

Undergraduate Research Students:

High School Research Students (Summer 2020 - ):

Graduated Students (M.S. and Ph.D.):

Graduated Undergraduate Students (including NSF-REU):

Graduated Students (Projects):

Recent Postdocs: