Welcome! Bienvenido! Bienvenue! Benvenuto! Boa vinda! Willkommen!
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification







Dr. Albert M. K. Cheng
Professor of Computer Science
Associate Editor, IEEE Transactions on Computers
Senior Member, IEEE
Honorary Member, INSTICC
Fellow, IOP
Director, Real-Time Systems Laboratory
Department of Computer Science, University of Houston, Houston, TX 77204-3010, USA

Office: 534 Philip G. Hoffman (PGH)
Phone: (713) 743-3353, Fax: (713) 743-3335
WWW: http://www.cs.uh.edu/~acheng/acheng.html
Email: cheng AT cs uh edu
Fall 2017 Office Hours: M W 4:00pm-5:00pm and by appointment (please send email)


News:

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

RTS group member Yu Li wins the 2017 "Best Dissertation" Award from UH's Department of Computer Science.

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.

Professor Cheng has been invited to chair Session 2 (Communication) at the 20th IEEE International Symposium on Real-time Computing (ISORC), Toronto, Canada, May 16-18, 2017.

Professor Albert Cheng to chair the First Workshop on Declarative Embedded and Cyber-Physical Systems (DECPS) at ESWeek in Seoul, South Korea, October 15-20, 2017. Details and CFP.

RTS group's latest work ``Multi-Mode P-FRP Task Scheduling'' to receive Outstanding Paper Award at the 20th IEEE International Symposium on Real-time Computing (ISORC), Toronto, Canada, May 16-18, 2017.

Professor Cheng invited to present a Tutorial at DATE in Lausanne, Switzerland, on March 27, 2017. Details.

COSC 6384 Real-Time Systems will be offered in Spring 2017, introducing the latest versions of Wind River's Workbench - Tornado and VxWorks RTOS used on the NASA/JPL Mars Rover Curiosity currently exploring Mars and many embedded systems ranging from oil & gas to medical applications.

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

Professor Cheng invited to present a Tutorial at Embedded Systems Week (ESWeek) in Pittsburgh, PA, USA, on October 2, 2016. Details.

RTS group member Yu Li receives the 2016 "Best PhD Student" Award from UH's Department of Computer Science.

NSF Research Experiences for Undergraduates (REU) assistantships (4 positions available in Fall 2016) for highly-qualified upper-division U.S. citizen or resident students. Please send email inquiry/application/transcripts to Professor Cheng.

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.

Prof. Cheng is a Guest Editor of a Special Issue on the Technological Advances in Wireless Sensor Networks Enabling Diverse IoT Applications of the International Journal of Distributed Sensor Networks (IJDSN), 2016.

RTS group members Xingliang Zou, Behnaz Sanati, and Carlos Rincon each receives a $1,500 NSF-funded student travel grant for CPSWeek 2016.

Professor Albert Cheng to chair the First Workshop on Declarative Cyber-Physical Systems (DCPS) at CPSWeek in Vienna, Austria, April 11-14, 2016. Submissions of papers and posters, due on February 28, 2016, are welcome.

COSC 6384 (Real-Time Systems) will be offered in Spring 2016, introducing the latest versions of Wind River's Workbench - Tornado and VxWorks RTOS used on the NASA/JPL Mars Rover Curiosity currently exploring Mars.

Professor Albert Cheng is the Guest Editor of an upcoming Special Issue on Real-Time and Cyber-Physical Systems of Sensors. Submissions due on June 30, 2016.

Professor Cheng's group published two papers in IEEE Transactions on Computers in 2015, one on hierarchical real-time scheduling and virtualization and another on performance prediction for parallel applications .

Professor Albert Cheng has been invited to chair the opening session (Session 1: Scheduling Analysis I) at the IEEE Real-Time Systems Symposium (RTSS), San Antonio, Texas, USA, December 2-4, 2015.

Professor Albert Cheng to chair the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS) at the IEEE Real-Time Systems Symposium (RTSS), San Antonio, Texas, USA, December 1, 2015. Submissions in the form of 6-page short papers or 4-page long abstracts are welcome and due on September 28, 2015.

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

Professor Albert Cheng to present opening keynote at the International Symposium on Software Engineering and Applications (SEA), Marina del Rey, California, USA, October 26-28, 2015.

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, 3:00pm-4:00pm. Details.

As the only Phi Beta Kappa faculty member in the UH's Department of Computer Science, Prof. Albert Cheng has participated together with more than 100 UH faculty and staff members to help bring to UH a chapter of Phi Beta Kappa, the oldest and most prestigious honor society. After a rigorous six year evaluation process, this collective effort came to fruition on October 9, 2015, with the announcement that UH had been granted a PBK chapter.

Professor Albert Cheng is the invited Plenary Speaker at the 3rd STEM Conference on Saturday, October 3, 2015.

Professor Albert Cheng has been appointed the Editor-in-Chief of Software Engineering, September 2015.

Professor Albert Cheng has been invited to serve as Program Chair of the International Symposium on Software Engineering and Applications (SEA), Marina del Rey, California, USA, October 26-28, 2015.

Professor Albert Cheng has been invited to join the Editorial Board of Electronics as Associate Editor, 2015.

Professor Albert Cheng receives 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."

Professor Cheng invited to present the state of the art in the Response Time Analysis of Functional Reactive Systems at the second Hybrid Modeling Languages (HyML) Meeting at Rice University, May 7-8, 2015.

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.

RTS group member Zeinab Kazemi wins $1,500 NSF-funded student travel grant for CPSWeek 2015.

Call for Papers: Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors, Microprocessors and Microsystems (MICPRO) the Elsevier Embedded Hardware Design Journal, guest-co-edited by Professor Albert Cheng. Submissions are due on June 15, 2015.

COSC 6384 (Real-Time Systems) will be offered in Spring 2015, introducing the latest versions of Wind River's Workbench - Tornado and VxWorks RTOS used on the NASA/JPL Mars Rover Curiosity currently exploring Mars.

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 receives Outstanding Leadership Award as Track Chair of IEEE ICESS 2014 on August 21.

Professor Albert Cheng receives Outstanding Leadership Award as Keynote Speaker at IEEE ICESS 2014 on August 21.

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) to be held in Paris, France, August 20-22, 2014.

Call for Papers: SENSORS Special Issue on Cyber-Physical Systems, guest-edited by Professor Albert Cheng. Manuscript submissions due on December 31, 2014. Extended submission due date: June 30, 2015.

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 Cheng to chair session V on Timing Analysis at the 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) , Berlin, Germany, USA, part of the Cyber-Physical Systems Week (CPS Week), April 15-17, 2014.

RTS group member Mozahid Haque wins $2,500 NSF-funded student travel grant for CPSWeek 2014.

Professor Albert Cheng invited to serve as Program Co-Chair of the System, Models and Algorithms Track of the 11th IEEE International Conference on Embedded Software and Systems (ICESS) to be held in Paris, France, August 20-22, 2014.

COSC 7384 (Advanced Real-Time Systems) - A follow-up course to COSC 6384 covering state-of-the-art topics in embedded/real-time systems, will be offered in Spring 2014.

COSC 6384 (Real-Time Systems) will be offered in Spring 2014, introducing the latest versions of Wind River Tornado and VxWorks RTOS used on the NASA/JPL Mars Rover Curiosity currently exploring Mars.

Professor Albert Cheng invited to deliver a Tutorial at Cyber-Physical Systems Week (CPSWeek), Berlin, Germany, April 14-17, 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 to present a faculty seminar at the University of Houston's Department of Computer Science on October 25, 2013, at 11:00am.

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.

One Postdoctoral Research Fellow Position and one Research Assistantship (both starting in Spring 2014) in Real-Time Scheduling and Analysis of Functional Reactive Systems available for highly-qualified candidates. Please send email inquiry/application/best refereed publications/three references to Professor Cheng and also apply here.

NSF Research Experiences for Undergraduates (REU) assistantships (2 positions available starting in Spring 2014) for highly-qualified upper-division U.S. citizen or resident students. Please send email inquiry/application/transcripts to Professor Cheng.

RTS group member Yu Li receives the 2013 "Best Junior PhD Student" Award from UH's Department of Computer Science.

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, part 5, and part 6.

Professor Albert Cheng Receives $400K, 3-Year NSF Award to Analyze and Certify Real-Time Safety-Critical Computerized Controllers
Applications in aerospace, medicine, communication and space exploration.

Professor Albert Cheng invited to present a Tutorial on ``Developing Embedded/Real-Time and Cyber-Physical Systems: Functional Reactive Programming, RTL-based Formal Verification, Response Time Analysis, and Power-Aware Scheduling'' at Cyber-Physical Systems Week (CPSWeek), Philadelphia, PA, April 8-11, 2013.

COSC 6384 (Real-Time Systems) will be offered in Spring 2013, introducing the latest versions of Wind River Tornado and VxWorks RTOS used on the NASA/JPL Mars Rover Curiosity currently exploring Mars.

RTS group member Yu Li receives one of the first Friends of NSM Graduate Fellowships.

RTS group member Yuanfeng Wen receives a Student Travel Grant offered for the first time by ACM SIGBED to attend and present papers at ESWEEK.

Call for Papers: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems, IEEE Embedded Systems Letters, Guest Co-Editor Professor Cheng, 2013.

New Research Assistantships (RAs) and Postdoctoral Research Position (starting Fall 2012) in Real-Time Scheduling and Analysis of Functional Reactive Systems available for highly-qualified candidates. Please send email inquiry/application to Professor Cheng.

NSF Research Experiences for Undergraduates (REU) 2012 assistantships (2 positions available) for highly-qualified upper-division U.S. citizen or resident students. Please send email inquiry/application to Professor Cheng.

Research Assistantships (RAs) available for highly-qualified Ph.D. students. Please send email inquiry/application to Professor Cheng.

Wind River awards software worth over 1 million dollars to the Computer Science Department for Professor Albert Cheng to teach and perform research in real-time and embedded systems for 4 years (November 2011 - November 2015). Software includes VxWorks RTOS and Tornado development tools for all target platforms.
NASA/JPL Mars Rover Curiosity.

Professor Cheng invited/nominated to join the Editorial Board of the IEEE Computer Society flagship Transactions on Computers as Associate Editor, January 2011.

Professor Cheng to chair session on Formal Techniques and Modeling at the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) , Chicago, IL, USA, part of the Cyber-Physical Systems Week (CPS Week), April 11-14, 2011.

NSF Research Experiences for Undergraduates (REU) 2011 openings (2 positions available) for upper-division students. Please send email inquiry/application to Professor Cheng.

COSC 6384 (Real-Time Systems) will be offered in Spring 2011.

COSC 6384 (Real-Time Systems) will be offered in Fall 2010.

Professor Albert Cheng leads team UHCougar to compete at IEEE RTSS 2009 CyberRescue Robotic Competition.

Professor Cheng to present a seminar entitled ``Saving Energy and Enhancing Quality of Service in Battery-Operated Medical and Medication Systems'' at Lamar University, Friday, 2:00-3:00pm, October 30, 2009.

Two papers by RTS group members (one co-authored by Jim Ras and another by Jian Lin) are Best Paper Award Nominees at the 15th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Beijing, China, Aug. 2009.

NSF Research Experiences for Undergraduates (REU) 2009-2010 openings (2 positions available) for upper-division students. Please send email inquiry/application to Professor Cheng.

Robotic competition at RTSS 2009: Please email Prof. Albert Cheng if interested in participating.

Professor Albert Cheng to chair IEEE RTAS Session on Scheduling

System Day: Friday, April 10

Real-Time Systems Group's paper selected as one of 4 best in 2008 IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session and published in ACM SIGBED Review.

Professor Albert Cheng leads team i'Traders to compete at IEEE RTSS 2008 CiberMouse Cyber Robotic Competition.

Wind River donates software worth over 1 million dollars to the Computer Science Department for Professor Albert Cheng to teach and perform research in real-time and embedded systems. Software includes VxWorks RTOS and Tornado development tools for all target platforms.
NASA/JPL Mars Rover Curiosity.

New COSC 7384 (Fall 2008) Advanced Real-Time Systems - A follow-up course to COSC 6384, covering state-of-the-art topics in embedded/real-time systems.

NSF Research Experiences for Undergraduates (REU) openings for upper-division students. Please send email inquiry/application to Professor Cheng.

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.

Chinese Academy of Sciences invites Professor Cheng to present a seminar, June 2008.

Call for Papers: RTES 2008 - The Second International Workshop on Real Time and Embedded Systems. Paper submissions due June 30, 2008.

Professor Cheng to chair session on POWER MANAGEMENT at IEEE Real-Time and Embedded Technology and Applications Symposium, St. Louis, MO, April 22-24, 2008.

Professor Cheng to present keynote at ACM Computer Science Spring Banquet at Lamar University, on April 4, 2008.

COSC 6384 (Real-Time Systems) will be offered in Fall 2008.

Professor Cheng wins NSF Award for $765,000 collaborative project with Rice and Yale researchers to build Physically Safe Embedded Systems.

Member, Technical Program Committee, IEEE-CS Real-Time Systems Symposium, August 17-18, 2007.

Lamar University's Department of Computer Science invites Professor Cheng to present a seminar on Building Safe and Secure Embedded Real-Time Systems on July 30, 2007, 3:30pm - 4:30pm.

National Taiwan University's Department of Computer Science and Information Engineering invites Professor Cheng to present a seminar on the Debugging and Verification of Real-Time and Embedded Systems on July 10, 2007. Download MP4 video.

Hong Kong University of Science and Technology's Department of Computer Science and Engineering invites Professor Cheng to present a seminar on Debugging and Verifying of RTL-Specified Real-Time Systems on July 5, 2007, 4:00pm-5:00pm, Room 5487. Download MP4 video.

Call for Papers: The First International Workshop on Real Time and Embedded Systems International Conference (RTES), Timisoara, Romania, September 28, 2007. Submission due date: June 30, 2007.

Professor Cheng invited to speak on Verification of Real-Time Systems and Intrusion Detection (download MP4 video) in the seminar series of the Center for Education and Research in Information Assurance and Security (CERIAS) at Purdue University, West Lafayette, on March 28, 2007, 4:30pm, Room STEW G52.

The UH Chessfinder team beat last year's winner (University of Pittsburgh) while placing fifth overall in the grueling CiberMouse Cyber Robotic Competition at the 27th IEEE Real-Time Systems Symposium held in Rio de Janeiro, Brazil.

Professor Cheng leading teams to participate at The CiberMouse Cyber Robotic Competition and presenting 3 papers by RTS group members at The 27th IEEE-CS Real-Time Systems Symposium (RTSS) December 5-8, 2006, Rio de Janeiro, Brazil. Best of luck to the UH-CS teams!

Professor Cheng is the Program Chair of The 10th IASTED International Conference on SOFTWARE ENGINEERING AND APPLICATIONS (SEA) , November 13-15, 2006, Dallas, Texas, USA. Registration is now open.

Professor Cheng has been invited to presented a tutorial at The 18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS (PDCS) , November 14, 2006, Dallas, Texas, USA.

Member, Technical Program Committee Meeting, IEEE-CS Real-Time Systems Symposium, August 26, 2006.

Tutorial Speaker, Formal Methods Symposium, McMaster University, Hamilton, Canada, August 2006.

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

A. M. K. Cheng, Professor Cheng invited to serve as an Initiator of the Chinese Forum On Global Software Collaboration to be held in Shanghai, China, May 2006.

Call for Papers, The 27th IEEE-CS Real-Time Systems Symposium (RTSS) December 5-8, 2006, Rio de Janeiro, Brazil. Submission due date: May 26, 2006.

Call for Papers, The 10th IASTED International Conference on SOFTWARE ENGINEERING AND APPLICATIONS (SEA) November 13-15, 2006, Dallas, Texas, USA. Submission due date: June 15, 2006.

New COSC 6384 (Fall 2006) Real-Time Systems - Embedded Systems; RTOS; Scheduling, Design, and Analysis. Now with lab access to the Latest Versions of Wind River VxWorks RTOS and Tornado Development Tools as well as QNX Neutrino RTOS and Momentics Development Tools. 90% of microprocessors are embedded in non-computer systems such as cellphones, digital cameras, and automobiles. Most of the software systems today are embedded and most control systems must operate in real-time. This is a "must-take" course to enhance your qualifications for a tough job market and for future research work. Wind River VxWorks RTOS used in Aerospace and Defense, Automotive Devices, Consumer Devices, Industrial, Oil & Gas, and Network Infrastructure. QNX Neutrino RTOS used in applications from high-end routing equipment and in-car telematics to massively distributed control systems. An embedded development board with an Intel Xscale Processor used in popular PDAs and cellphones.

Professor Cheng invited to present a seminar titled "Automatic Debugging of Real-Time Systems Specified in RTL via Incremental Satisfiability Counting" at the University of California, Santa Cruz, on April 3, 2006, 4:00-5:00pm, Room E2.599.

Professor Cheng invited to present a tutorial on the Analysis and Verification of Real-Time/Embedded Software and Systems at the Formal Methods Symposium to be held in Hamilton, Ontario, Canada, August 2006.

Professor Cheng to speak at the Workshop on Research Directions for Security and Networking in Critical Real-Time and Embedded Systems, April 2006.

Real-Time Systems Group's paper accepted by IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session (co-located with Embedded Systems Conference in San Jose), April 2006.

A simulated robot developed by a team of computer science graduate students (Navya Amerineni, Sandhya Dasu, and Swapna Gurajala) led by Dr. Albert M. K. Cheng has been accepted to participate in The maRTian Task Competition at the 26th IEEE Real-Time Systems Symposium , December 5-8, 2005, Miami, Florida, USA. Only 4 other school teams (2 from USA, 1 from France, 1 from Portugal) have been accepted to compete in this first-ever RTSS international competition.

Professor Cheng invited to give a Distinguished Lecture Presentation at the University of Texas at Dallas, September 2005.

Professor Cheng invited to speak at the Panel titled ``Software Engineering for Embedded Software: How Useful Are the Newer Paradigms?'' at SCOPES 2005.

Professor Cheng's article titled ``Embedded Operating Systems'' Section of Software, Encyclopedia of Computer Science and Engineering, John Wiley & Sons, 2005.

Jeff Schaffer, Field Applications Engineer of QNX Software Systems, presents a seminar on QNX RTOS in Professor Cheng's COSC 6384 class on 9/15/2005.

New COSC 4330 (Fall 2005) Operating Systems - In addition to traditional coverage of Linux/UNIX and Windows XP, there will be an introduction to real-time and multimedia systems, with hands-on practice using the Wind River VxWorks and QNX Neutrino RTOS's.

Call for Papers, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, CA, April 3-6, 2006.

Special Issue on RTAS WIP 2005, ACM Special Interest Group on Embedded Systems (SIGBED) Review.
2 Real-Time Systems Group's papers accepted by 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, 2005.
IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WiP Session Call for Papers 2005 .
Real-Time Systems Group's paper accepted by IEEE RTAS 2005 (co-located with Embedded Systems Conference in San Francisco) .
Check out the VxWorks real-time operating system used in the Mars Exploration Rovers.
New COSC 6384 Real-Time Systems (Fall 2004) with Wind River VxWorks RTOS and Tornado Development Tools.
IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, CA, March 7-10, 2005.
Project MULAN: MUlti-mode variable subtask Length dvs scheduling Algorithms and Networks.
Project OPRATEL: Optimization of Path ReAl-TimE Logic Tool.
Project SDRTL: Systematic Debugging for path Real Time Logic.
Real-Time Programming and Ada-2005.
Keynote Speaker, 1st Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Setubal, Portugal, August 2004.
Session Chair and Member of Program Committee, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), Toronto, Canada, May 25-28, 2004.
Invited Speaker, ``Formal Analysis and Verification of Embedded and Real-Time Systems,'' IEEE Houston Meeting at HESS, February 26, 2004.
New COSC 4351 Fundamentals of Software Engineering (Spring 2004) covering both general and embedded/real-time software systems. Check out the software used in the Mars Exploration Rovers.
Member, Technical Program Committee Meeting, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, February 28, 2004.
Tutorial Speaker, Intl. Conf. on Intelligent Systems Design and Applications, Tulsa, Oklahoma, August 10, 2003.
Member, Technical Program Committee Meeting, IEEE-CS Real-Time Systems Symposium, Carnegie Mellon University, Pittsburgh, PA, July 19, 2003.
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)
Keynote Speaker, Intl. Conf. on Enterprise Information Systems (ICEIS), Angers, France, April 2003. Keynote lecture slides.
Nominate your favorite professor for a teaching/achievement award! If you enjoy my teaching, please email a short nomination letter to chair Dr. Marc Garbey.

Albert M. K. Cheng

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

Associate Editor, IEEE Transactions on Computers, present
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, present
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)



Professor Cheng invited/nominated to join the Editorial Board of the IEEE Computer Society flagship Transactions on Computers as Associate Editor, January 12, 2011. Appointment confirmed, February 19, 2011.


September 28, 2008 - Wind River donates software worth over 1 million dollars to the Computer Science Department for Professor Albert Cheng to teach and perform research in real-time and embedded systems. Software includes VxWorks RTOS and Tornado development tools for all target platforms.


Professor Cheng's doctoral committee member Professor E. Allen Emerson wins 2007 Turing Award.


July 21, 2005 - QNX approves University Program Software License Grant (Neutrino RTOS) for instruction and research.


September 25, 2003, 5:22pm - Wind River approves University Program Software License Grant (VxWorks and Tornado) for instruction and research, estimated value over $200,000.


Making the News: August 7, 2002, 5:21pm - Introduced as an expert computer scientist at the University of Houston, Professor Albert Cheng is interviewed live by AM740 KTRH NewsRadio on the apparently fizzled U.S. Internet attack and what can be done if such attacks occur again.





Real-Time Systems: Scheduling, Analysis, and Verification
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 Mo Kim Cheng (shown here at age 4) is a Full Professor and former interim Associate Chair of the
Computer Science Department at the University of Houston (UH). He has pioneered the response time analysis of real-time Rule-Based Systems (RBS) in 1988, and is now doing the same for Functional Reactive Programming (FRP), which can potentially transform the way we implement next-generation embedded systems. His research interests center on the design, specification, modeling, scheduling, and formal verification of real-time, embedded, and cyber-physical systems, green/power/thermal-aware computing, software engineering, knowledge-based systems, and networking. He is the founding Director of the UH Real-Time Systems Laboratory. Prof. Cheng received the B.A. with Highest Honors (summa cum laude) in Computer Science, graduating Phi Beta Kappa at age 19, the M.S. in Computer Science with a minor in Electrical Engineering at age 21, and the Ph.D. in Computer Science at age 25, all from The University of Texas at Austin, where he held a GTE Foundation Doctoral Fellowship. He has served as a technical consultant for a number of organizations, including IBM and Shell, and was also a Visiting Professor in the Departments of Computer Science at Rice University and at the City University of Hong Kong. He is a co-founder of ZapThru.com, where he is currently the Chief Strategy and Technology Director.

Dr. Cheng is the author/co-author of over 230 refereed publications in leading journals (including IEEE Transactions on Computers, IEEE Transactions on Software Engineering, and IEEE Transactions on Knowledge and Data Engineering) 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 100 conferences, universities, and organizations. He is and has been on the technical program committees (including many program chair positions) of over 250 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 the Editor-in-Chief of the Journal of Software Engineering.

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. Currently, Dr. Cheng is organizing and chairing the First Workshop on Declarative Cyber-Physical Systems (DCPS) at CPSWeek in Vienna, Austria, April 11-14, 2016. He is 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.

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 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."

Academic genealogy:

Prof. Albert M. K. Cheng was advised by Prof. James C. Browne (UT-Austin) and Prof. Aloysius K. Mok (UT-Austin), who was advised by Prof. Steve Ward (MIT) and Prof. Michael L. Dertouzos (MIT). Prof. Steve Ward was advised by Prof. Michael L. Dertouzos.



Photo Gallery:



Prof. Albert Cheng following his
seminar hosted by Prof. Gary Leavens (l), Chair of the University of Central Florida's Department of Computer Science on Monday, July 10, 2017.













The University of Central Florida's Department of Computer Science at the Harris Corporation Engineering Center, where Prof. Albert Cheng delivered his seminar on Monday, July 10, 2017.













Prof. Albert Cheng after delivering his seminar hosted by Prof. Marsha Chechik (l) of the Software Engineering Group at the University of Toronto's Department of Computer Science (DCS) on Thursday, May 18, 2017. The CN Tower is visible in the background.













The University of Toronto's Department of Computer Science (DCS) at the Bahen Centre for Information Technology, where Prof. Albert Cheng delivered his seminar on Thursday, May 18, 2017.

















University of Toronto's main building.















Prof. Albert Cheng presenting ``Multi-Mode P-FRP Task Scheduling,'' selected as an Outstanding Paper by the 20th IEEE International Symposium on Real-time Computing (ISORC) held at the Fields Institute in Toronto, Canada, on Thursday, May 18, 2017.













The
Fields Institute in Toronto, Canada, the location of IEEE ISORC 2017.
















Prof. Albert Cheng and QNX Software Systems Software Safety Specialist Chris Hobbs (l) at the
20th IEEE International Symposium on Real-time Computing (ISORC), held at the Fields Institute 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
DATE 2017 in Lausanne, Switzerland, on March 27.
























The Swisstech Conference Center - location of DATE 2017.














Prof. Albert Cheng giving a tutorial (top attendance among 5 tutorials) on Functional Reactive System, RTL, and Real-Time Virtual Resources at ESWeek 2016 in Pittsburgh, Pennsylvania, USA, on October 2.

















Prof. Albert Cheng after delivering his seminar hosted by Professors Andreas Krall (l) and Franz Puntigam (r) of the Institute of Computer Languages Compilers and Languages Group at Technische Universitat Wien (Vienna University of Technology) on April 15, 2016.














Prof. Albert Cheng speaking at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) at CPSWeek 2016 on Tuesday, April 12, 2016, at the Hofburg in Vienna, Austria.













The Hofburg Imperial Palace in Vienna, Austria, where the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) and CPSWeek 2016 took place on April 11-14, 2016.












Ph.D. student Xingliang (Jeffrey) Zou presenting a paper at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) at CPSWeek 2016 on Tuesday, April 12, 2016, at the Hofburg in Vienna, Austria.












Ph.D. student Behnaz Sanati presenting a paper at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) at CPSWeek 2016 on Tuesday, April 12, 2016, at the Hofburg in Vienna, Austria.












The grand room Grosser Redoutensaal of the Hofburg Imperial Palace in Vienna, Austria, where the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) at CPSWeek 2016 was held on April 11-14, 2016.












DCPS Workshop Keynote Speaker Prof. Eugenio Moggi (Univ. di Genova) and DCPS Workshop Program Chair Prof. Albert Cheng during the lunch break of the First CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) on Tuesday, April 12, 2016, at the Hofburg in Vienna, Austria.













Prof. Albert Cheng with a group of authors and participants at the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS) held in the Marriott Courtyard Riverwalk, San Antonio, Texas, on December 1, 2015.












The beautifully decorated San Antonio Riverwalk where the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS) took place.














Prof. Albert Cheng and participants at the banquet held at the Texas Land & Cattle following the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS) in San Antonio, Texas, on December 1, 2015.















Prof. Albert Cheng returns to the Athenaeum where he stays during his seminar visit to Caltech's Computing + Mathematical Sciences (CMS) Department after delivering his seminar on Functional Reactive Systems hosted by Prof. Richard Murray on October 29, 2015. Nobel Laureate in Physics Prof. Albert Einstein stayed at the Athenaeum during his visits to Caltech last century.














Prof. Albert Cheng after delivering his seminar on Functional Reactive Systems hosted by Prof. Richard Murray (left) of Caltech's Computing + Mathematical Sciences (CMS) Department in the Walter and Leonore Annenberg Center for Information Science and Technology on October 29, 2015.














Program Chair and Keynote Speaker Prof. Albert Cheng and Keynote Speaker Prof. Nenad Medvidovic of the University of Southern California at the International Symposium on Software Engineering and Applications (SEA), Marina del Rey, California, USA, October 27, 2015.
















Prof. Albert Cheng passes by the Sather Tower during his seminar visit to the University of California at Berkeley's Electrical Engineering and Computer Sciences (EECS) Department after delivering his seminar on Functional Reactive Systems hosted by Prof. Sanjit Seshia on October 23, 2015.



















Prof. Albert Cheng before delivering his seminar on Functional Reactive Systems hosted by Prof. Sanjit Seshia (right) of the University of California at Berkeley's Electrical Engineering and Computer Sciences (EECS) Department on October 23, 2015.
















Following her Fall 2015 Address on October 14, 2015, UH President Renu Khator congratulates Prof. Albert Cheng for his effort in helping bring to UH a chapter of Phi Beta Kappa, the oldest and most prestigious honor society.
















After presenting his keynote at the 3rd STEM Conference held at Lamar University on Saturday, October 3, 2015, Prof. Albert Cheng poses for a group picture with the STEM Conference organizers, students, and attendees outside the Student Center.














Prof. Albert Cheng presenting his keynote titled ``How to do Research? & Functional Reactive Real-Time Systems'' at the 3rd STEM Conference held at Lamar University on Saturday, October 3, 2015.














Before presenting his keynote at the 3rd STEM Conference held at Lamar University on Saturday, October 3, 2015, Dr. Albert Cheng is greeted by Dr. Stefan Andrei (right, Associate Professor and Chair of Computer Science at Lamar) and his colleague.













After presenting his keynote at the 3rd STEM Conference held at Lamar University on Saturday, October 3, 2015, Dr. Albert Cheng is greeted by his hosts Dr. Kumer Pial Das (right, Associate Professor of Mathematics and Director of Undergraduate Research at Lamar) and Dr. Cristian Bahrim (left, Associate Professor of Physics and Electrical Engineering at Lamar).












After presenting his keynote at the 3rd STEM Conference held at Lamar University on Saturday, October 3, 2015, Dr. Albert Cheng is greeted by UH alumna Dr. Sujing Wang (Assistant Professor of Computer Science at Lamar).
















Prof. Albert Cheng receives 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" from UH President and Chancellor Renu Khator on April 30, 2015.



















Prof. Albert Cheng and mentees Mozahid Haque (l) and Kaleb Christoffersen (r) at the UH Faculty Award Ceremony.
















Prof. Albert Cheng after delivering his research seminar on Functional Reactive Programming hosted by Prof. Dan Grossman (l) of the University of Washington's Computer Science & Engineering Department's programming languages and software engineering (programming systems) group on April 17, 2015.














The audience at Prof. Albert Cheng's research seminar on Functional Reactive Programming.
















The audience at Prof. Albert Cheng's research seminar on Functional Reactive Programming.
















The Paul G. Allen Center for Computer Science & Engineering where Prof. Albert Cheng presented his research seminar on Functional Reactive Programming.













Prof. Albert Cheng with PhD student Zeinab Kazemi (l), supported by a $1,500 NSF-funded student travel grant, at the poster reception during CPSWeek 2015 after her presentation in Seattle, Washington, on April 14.
















Prof. Albert Cheng's former student Dr. Lorraine Prokop, currently the Program Manager of NASA-JSC Core Flight Software, visits her alma mater and presents a talk in the Computer Science Department on February 25, 2015. They have co-authored the paper titled `` Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics,'' published in the Proceedings of the IEEE Real-Time Technology and Applications Symposium, Vancouver, Canada, June 2-4, 1999.















Prof. Albert Cheng after delivering his special seminar hosted by Prof. Enrico Tronci (l) of the Dipartimento di Informatica's Model Checking Laboratory at Italy's top-ranked Sapienza Universita di Roma on December 1, 2014,















Prof. Albert Cheng receiving an Outstanding Leadership Award and a gift after delivering his Keynote at the 11th IEEE International Conference on Embedded Software and Systems (ICESS) in Paris, France, on August 21, 2014.


























Group photo taken at the 11th IEEE International Conference on Embedded Software and Systems (ICESS) in Paris, France, on August 20, 2014. Front row: Prof. Albert Cheng with conference's general chair Prof. Julien Bourgeois (UFC/FEMTO-ST Institute, France) to his left.















Prof. Albert Cheng at the Front Quadrangle of Saint John's College, University of Oxford, after delivering his seminar hosted by Prof. Joel Ouaknine of the Oxford's Automated Verification Group on April 22, 2014.















Prof. Joel Ouaknine and Prof. Albert Cheng after delivering his seminar hosted by the University of Oxford's automated verification group on April 22, 2014.















Prof. Albert Cheng at the Louvre on April 19, 2014, after presenting his invited lecture at INRIA Paris-Rocquencourt, France.

















Prof. Albert Cheng having lunch with the AOSTE team prior to his invited lecture hosted by Dr. Liliana Cucu (to the left of Prof. Cheng) at INRIA Paris-Rocquencourt, France, on April 18, 2014.
















RTS group member and NSF-REU research assistant Mozahid Haque presenting at RTAS/CPSWeek 2014, supported by a $2,500 NSF-funded student travel grant.















Prof. Albert Cheng visits the Brandenburg Gate (Brandenburger Tor) on April 15, 2014, after presenting his tutorial and two workshop (CyPhy and Medical CPS) papers at Cyber-Physical Systems Week (CPSWeek), Berlin, Germany.





















Spring 2014 (2/27) group meeting - from left to right: Prof. Qiang Zhou, Zeinab Kazemi, Xingliang (Jeffrey) Zou, Prof. Yu Jiang, Prof. Albert Cheng, Daxiao Liu, Behnaz Sanati, Yu Li, Rachel Madrigal, and Yong Woon Ahn. Group members not in photo: Sergio Chacon, Mozahid Haque, Kaleb Christoffersen.














With Prof. Alan Hu (host) and Prof. Mark Greenstreet, Prof. Albert Cheng after delivering his lecture at The University of British Columbia's Department of Computer Science on December 3, 2013.

















After presenting his
colloquium on ``Developing Embedded Real-Time and Cyber-Physical Systems: Functional Reactive Programming and Response Time Analysis'' at The University of Texas at Austin's Department of Computer Science 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
special seminar at Columbia University's Department of Computer Science on April 11, 2013.














Following the presentation of their paper titled ``Static Approximation Algorithms for Regularity-based Resource Partitioning'' at RTSS 2012, Ph.D. student Yu Li and Prof. Albert Cheng visit the NSF-sponsored Arecibo Observatory, which hosts the world's largest and most sensitive radiotelescope located in Arecibo, Puerto Rico.














RTS group member and Ph.D. student Yu Li presenting the paper ``Static Approximation Algorithms for Regularity-based Resource Partitioning'' at RTSS 2012, in San Juan, Puerto Rico.

















Fall 2012 group meeting - from left to right: Yong Woon Ahn, Yuanfeng Wen, Dylan Thompson, Bo Liu, James Hyatt, Prof. Albert Cheng, Sergio Chacon, Fang Liu, Daxiao Liu, Mozahid Haque, and Yu Li. Group members not in photo: Jim Ras and Behnaz Sanati.















Group meeting on 10/26/2011 - from left to right: Yuanfeng Wen, Sergio Chacon, Michael Walston, Chaitanya Belwal, Prof. Albert Cheng, Yu Li, Fang Liu, Qiang (Arnold) Li, and Yong Woon Ahn.














Prof. Albert Cheng with a small robot implementing power-aware scheduling algorithms to save energy while meeting timing constraints.















Prof. Albert Cheng holding an Intel Xscale embedded systems development board used for power and thermal-aware computing research.















Prof. Albert Cheng with other RTAS 2009 Program Committee Members at the PC dinner during CPSWeek in San Francisco, California, April 13, 2009.














Dr. Helen Gill (US National Science Foundation) speaking at the CPSWeek/RTAS 2009 Banquet in San Francisco, California, April 14, 2009.














The attendees at the CPSWeek/RTAS 2009 Banquet in San Francisco, California, April 14, 2009.
















(l to r) Prof. Francis Y.L. Chin (Chair of Computer Science and Taikoo Professor of Engineering at the University of Hong Kong), Prof. Albert M. K. Cheng, and Prof. David W.L. Cheung (Head of Computer Science Department at the University of Hong Kong) following Prof. Cheng's seminar visit to HKU on June 30, 2008.















Prof. Albert Cheng with other RTAS 2008 Program Committee Members at the PC dinner in St. Louis, Missouri, April 22, 2008.

















After his presentation at RTSS 2007, Prof. Albert Cheng visits the NSF-sponsored Kitt Peak National Observatory near Tucson, Arizona.
















Prof. Paul Chu, Hong Kong University of Science and Technology (HKUST) President, and Prof. Albert Cheng during his seminar visit at HKUST on July 5, 2007.




































Professor Albert Cheng presenting a seminar on
Verification of Real-Time Systems and Intrusion Detection at Purdue University hosted by Prof. David Yau (r), West Lafayette, on March 28, 2007, 4:30pm, Room STEW G52.

















(l to r) Prof. Kang G. Shin (University of Michigan), Dr. Feng Zhao (Microsoft Research), Prof. Albert M. K. Cheng, and Prof. Sang H. Son (University of Virginia) at RTSS 2006 in Rio de Janeiro, Brazil.















Prof. Albert Cheng (Program Chair of SEA 2006 in Dallas, Texas) and Prof. Jeannette Wing (Keynote Speaker, President's Professor and Department Head, Computer Science Department, Carnegie Mellon University).















(l to r) Prof. Albert Cheng with his team (Sandhya Dasu, Swapna Rani Gurajala, and Navya Teja Amerineni) and Dr. Stefan M. Petters (organizer) at the MaRTian Robot Task Competition, 26th IEEE Real-Time Systems Symposium (RTSS), Miami, Florida, USA, December 5-8, 2005.

















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.















With Prof. Kendra Cooper (left) and Prof. Jorge Cobb (right), Prof. Albert Cheng after delivering his seminar at The University of Texas at Dallas' Department of Computer Science 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.
















Prof. Albert Cheng in Setubal, Portugal, to deliver a Keynote Lecture at the 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO), August 25-28, 2004.















Keynote speaker Prof. Albert Cheng visits Lisbon (Lisboa), Portugal, in a tour hosted by the conference organizers after delivering a Lecture at the 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO), August 25-28, 2004.














Real-time systems group member and M.S. graduate Sukhdeep Singh Sodhi (currently at Microsoft) and Prof. Albert Cheng at the 2004 Commencement. They have published a paper titled ``Optimizing Timing Analysis and Verification of Embedded Systems using Rule-Based-Analytic Techniques'' at the IEEE Real-Time Systems Symposium WIP Session in Cancun, Mexico, December 2003.














Prof. Albert Cheng presenting a seminar titled ``Formal Analysis and Verification of Embedded and Real-Time Systems'' at the IEEE Houston Section's Meeting in February 2004.














Prof. Albert Cheng presenting a seminar titled ``Formal Analysis and Verification of Embedded and Real-Time Systems'' at the IEEE Houston Section's Meeting in February 2004.














Prof. Albert Cheng with IEEE Houston Section's Officers after presenting a seminar titled ``Formal Analysis and Verification of Embedded and Real-Time Systems'' in February 2004.















(l to r) Prof. Albert Cheng, Mrs. and Prof. Kang G. Shin, Prof. John Stankovic, and Prof. Insup Lee at RTSS 2003 in Cancun, Mexico.













(l to r) Prof. Albert Cheng with other RTSS 2003 Program Committee Members at the PC dinner in Cancun, Mexico, on December 4, 2003.
















Real-time systems group member and graduate student Zhen Zhu (currently at Johnson Controls) discussing research in scheduling and formal verification with Prof. Albert Cheng. The discussion has resulted in the publication of a paper titled ``Worst Case Round Trip Time Prediction and Statistical Analysis Using Extreme Values Theory'' at the IEEE-CS Real-Time Systems Symposium WIP Session in Cancun, Mexico, December 2003.













The audience at the International Conference on Enterprise Information Systems (ICEIS) just prior to the keynote lecture by Prof. Albert Cheng on "Real-Time Knowledge-Based Systems for Enterprise Decision Support and Systems Analysis," Ecole Superieure d' Electronique de l' Ouest, Angers, France, April 22, 2003.














The attendees of the International Conference on Enterprise Information Systems (ICEIS) at the "City Hall" in Angers, France, April 23, 2003.














ICEIS 2003 Keynote speaker Prof. Albert Cheng at the "City Hall" in Angers, France, April 23, 2003.














ICEIS 2003 Keynote speaker Prof. Albert Cheng with his hosts of the International Conference on Enterprise Information Systems (ICEIS) in Angers, France, April 24, 2003.














Following his invited tutorial presentation titled "Design and Analysis of Real-Time and Multimedia Systems" at the IEEE International Conference on Multimedia and Expo in Lausanne, Switzerland, August 2002, Prof. Albert Cheng stops by his publisher Wiley's stand to talk about his new Real-Time Systems textbook.













Prof. Albert Cheng and Prof. David Yau of the Department of Computer Science at Purdue University.















Prof. Albert Cheng at the IEEE International Conference on Multimedia Computer Systems (ICMCS) in Florence, Italy, June 7-9, 1999, to present a Tutorial titled ``Analysis and Verification of Real-Time and Multimedia Systems,'' hosted by Prof. Enrico Vicario (June 7). Prof. Cheng is also the Special Session/Panel Chair of the Special Session on Software Engineering for Multimedia (June 9), and the Chair of the Session on Software Engineering Tools/Hardware Middleware (June 8), and is a co-author of a paper at ICMCS with his M.S. student Rajat Agarwal.










Prof. Albert Cheng in Florence, Italy, June 7-9, 1999, IEEE International Conference on Multimedia Computer Systems (ICMCS).













Prof. Albert Cheng, M.S. student Rajat Agarwal (r), and his wife at the IEEE International Conference on Multimedia Computer Systems (ICMCS) in Florence, Italy, June 7-9, 1999, to present their paper.















Team Advisor Dr. Albert M. K. Cheng with UH team members of the 1998-1999 ACM Regional Collegiate Programming Contest at Rice University: (l to r) B. J. Guillot, Edward G. Stangler, Prof. Cheng, Chandler Wilkerson, Priti Mehta, Navin Boppuri, Susan Arevalo.

















Prof. Albert Cheng at the 3rd IEEE International Confererce on Engineering of Complex Computer Systems (ICECCS) in Como, Italy, to present two tutorials titled ``Analysis and Verification of Real-Time Systems'' and ``Parallel and Distributed Real-Time Systems'' hosted by Profs. Mauro Pezze and Alberto Broggi in September 1997.













University of Houston's President Dr. Glenn Allan Goerke congratulating Prof. Albert Cheng for his promotion to Associate Professor with Tenure in May 1996.













University of Houston's President Dr. Glenn Allan Goerke congratulating Prof. Albert Cheng for his promotion to Associate Professor with Tenure in May 1996.













University of Houston's President Dr. and Mrs. Glenn Allan Goerke with Prof. Albert Cheng at a banquet honoring his promotion to Associate Professor with Tenure in May 1996.














Prof. Albert Cheng with his first Ph.D. student Jeng-Rung Chen presenting their paper titled ``A Fast, Partially Parallelizable Algorithm for predicting Execution Time of EQL Rule-Based Programs'' at the 23rd International Conference on Parallel Processing (ICPP) in St. Charles, Illinois, August 1994.














M.S. student Hsiu-Yen Tsai and Prof. Albert Cheng at the 12th National Conference on Artificial Intelligence (AAAI) to present their paper titled ``Termination Analysis of OPS5 Expert Systems'' in Seattle, Washington, August 1994.
















Prof. Albert Cheng after presenting an invited seminar hosted by Prof. John Yen (l) in the Department of Computer Science at Texas A&M University, College Station, in 1993.
















Prof. Albert Cheng at the University of Maryland-College Park campus after presenting an invited seminar hosted by Prof. A. Udaya Shankar in its Department of Computer Science in 1992.
















(l to r) Prof. Jane Liu (UIUC), Prof. Al Mok (UT-AUstin), and Prof. Albert Cheng (UH) at the 11th IEEE Real-Time Systems Symposium (RTSS) in Lake Buena Vista, Florida, December 1990.
















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.

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.

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

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.

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,
IEEE Transactions on Computers

Associate Editor, Electronics

Guest Co-Editor, Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors, Microprocessors and Microsystems (MICPRO) the Elsevier Embedded Hardware Design Journal, submissions due on June 15, 2015.

Guest Editor, SENSORS Special Issue on Cyber-Physical Systems, manuscript submissions due on December 31, 2014. Extended submission due date: June 30, 2015.

Guest Co-Editor, Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems, IEEE Embedded Systems Letters, 2013.

Associate Editor, Journal of Signal Processing Systems

Editor-in-Chief, Software Engineering

Associate Editor, International Journal of Embedded Systems

Associate Editor, International Journal of Computer and Information Science

Associate Editor, IEEE Transactions on Software Engineering, 1998-2003

Special Issue Editor, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005.

Program Committee Member, Operating Systems track of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Pau, France, April 9 - 13, 2018.

Program Committee Member, ACM International Conference on Research in Adaptive and Convergent Systems (RACS), Krakow, Poland, September 20 - 23, 2017.

Program Committee Member, Embedded Systems track, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hsinchu, Taiwan, August 16-18, 2017.

Senior Program Committee Member, 14th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Madrid, Spain, July 29-31, 2017.

Program Committee Member, Pervasive and embedded computing (PEC), 7th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), Madrid, Spain, July 27-29, 2017.

Program Committee Member, IEEE International Conference on Internet of Things (iThings), Exeter, United Kingdom, June 21-23, 2017.

Senior Program Committee Member, 19th International Conference on Enterprise Information Systems (ICEIS), Porto, Portugal, April 26-29, 2017.

Program Committee Member, Operating Systems track of the 32nd ACM/SIGAPP Symposium On Applied Computing (SAC), Marrakech, Morocco, April 4-6, 2017.

Program Committee Member, 3rd Workshop on Reactive and Event-based Languages & Systems (REBLS) at SPLASH, Amsterdam, The Netherlands, October 30 - November 4, 2016.

Program Committee Member, The First International Conference on Advances in Cyber-Technologies and Cyber-Systems (CYBER), NexTech, Venice, Italy, October 9-13, 2016.

Program Committee Member, IEEE International Conference on Embedded Software and Systems (ICESS), Chengdu, Sichuan, China, August 13-14, 2016.

Program Committee Member, IEEE International Conference on Big Data Intelligence and Computing, (DataCom), co-located with IEEE CyberSciTech 2016, IEEE DASC 2016 and IEEE PICom 2016, Auckland, New Zealand, August 8-12, 2016.

Program Committee Member, International Conference on Platform Technology and Service (PlatCon), Korea, 2016.

Program Committee Member, Embedded Systems track, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), DGIST, Daegu, Korea, August 17-19, 2016.

Senior Program Committee Member, 13th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Lisbon, Portugal, July 29-31, 2016.

Program Committee Member, 6th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), Lisbon, Portugal, July 29-31, 2016.

Program Committee Member, The Eighth International Conference on Dependability (DEPEND), NetWare, Nice, France, July 24 - 28, 2016.

Program Committee Member, The Twelfth International Conference on Autonomic and Autonomous Systems (ICAS), InfoSys, Lisbon, Portugal, June 26-30, 2016.

Program Committee Member, 18th International Conference on Enterprise Information Systems (ICEIS), Rome, Italy, April 27-30, 2016.

Program Committee Member, 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016.

Program Committee Member, Operating Systems track of the 31th ACM/SIGAPP Symposium On Applied Computing (SAC), Pisa, Italy, April 4 - 8, 2016.

Program Committee Member, ACM International Conference on Research in Adaptive and Convergent Systems (RACS), Prague, Czech Republic, October 9 - 12, 2015.

Program Committee Chair, First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS) at the IEEE Real-Time Systems Symposium (RTSS), San Antonio, Texas, December 1, 2015. Submissions in the form of 6-page short papers or 4-page long abstracts are welcome and due on September 28, 2015.

Program Committee Chair, International Symposium on Software Engineering and Applications (SEA), Marina del Rey, California, USA October 26-28, 2015.

Program Committee Member, Real-Time Systems Symposium, San Antonio, Texas, December 1-4, 2015.

Program Committee Member, The Seventh International Conference on Evolving Internet (INTERNET), InfoWare, St. Julians, Malta, October 11 - 16, 2015.

Program Committee Member, The Tenth International Multi-Conference on Computing in the Global Information Technology (ICCGI), InfoWare, St. Julians, Malta, October 11 - 16, 2015.

Program Committee Member, The 12th IEEE International Conference on Embedded Software and Systems (ICESS), New York City, NY, USA, August 24-26, 2015.

Program Committee Member, The EighthInternational Conference on Dependability (DEPEND), NetWare, Venice, Italy. August 23 - 28, 2015.

Program Committee Member, Embedded Systems track, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hong Kong, China, August 19-21, 2015.

Senior Program Committee Member, 12th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Colmar, Alsace, France, July 21-23, 2015.

Program Committee Member, 17th International Conference on Enterprise Information Systems (ICEIS), Barcelona, Spain, April 27-30, 2015.

Program Committee Member, Operating Systems track, The 30th ACM/SIGAPP Symposium On Applied Computing (SAC), Salamanca, Spain, April 13 - 17, 2015.

Program Committee Member, 5th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), Angers, France, February 11-13, 2015.

Program Committee Member, Satellite Workshop on (Energy Management and Scheduling for Autonomous Embedded Systems (ESAE), 5th International Conference on Pervasive and embedded computing and communication Systems (PECCS), Angers, France, February 11-13, 2015.

Program Committee Member, International Conference on Platform Technology and Service (PlatCon 2015), Jeju, Korea, January 26-28, 2015.

Program Committee Member, Cyber-Physical Systems, 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS), Hsinchu, Taiwan, December 16-19, 2014.

Program Committee Member, The Seventh International Conference on Dependability (DEPEND), NetWare, Lisbon, Portugal, November 16 - 20, 2014.

Program Committee Member, The Third International Conference on Communications, Computation, Networks and Technologies (INNOV), SoftNet, Nice, France, October 12-16, 2014.

Senior Program Committee Member, 11th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Vienna, Austria, September 2-4, 2014.

Program Committee Member, ACM International Conference on Research in Adaptive and Convergent Systems (RACS), Towson (Baltimore), MD, USA, October 5 - 8, 2014.

Program Committee Member, IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC), Dalian, China. August 24-27, 2014.

Program Committee Member, The Fourth International Conference on Ambient Computing, Applications, Services and Technologies (AMBIENT), NexTech, Rome, Italy, August 24-28, 2014.

Program Committee Member, 12th IEEE International Conference on Embedded Computing (EmbeddedCom), Dalian, China, August 24-27, 2014.

Program Co-Chair of the System, Models and Algorithms Track, 11th IEEE International Conference on Embedded Software and Systems, Paris, France, August 20-22, 2014.

Program Committee Member, Embedded Systems track, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Chongqing, China, August 20-22, 2014.

Member of Program Committee, 16th International Conference on Enterprise Information Systems (ICEIS), Lisbon, Portugal, April 27-30, 2014.

Program Committee Member, 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), April 15-17, 2014.

Program Committee Member, 9th International Conference on Systems (ICONS), co-located with NexComm, Nice, France, February 23 - 27, 2014.

Program Committee Member, 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), Lisbon, Portugal, January 7-9, 2014.

Co-Chair of Program Committee, IEEE International Conference on Service Oriented Computing and Applications (SOCA), Kauai, Hawaii, December 16-18, 2013.

Program Committee Member, 19th IEEE International Conference on Parallel and Distributed Systems (ICPADS) CPS Track, Seoul, Korea, December 15-18, 2013.

Member of Program Committee, IEEE-CS Real-Time Systems Symposium (RTSS), Vancouver, Canada, December 3-6, 2013.

Program Committee Member, 10th IEEE International Conference on Embedded Software and Systems (ICESS), Sydney, Australia, December 3-5, 2013.

Program Committee Member, 11th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Zhangjiajie, China, November 13-15, 2013.

Program Committee Member, ACM International Conference on Reliable And Convergent Systems (RACS) , Montreal, QC, Canada, October 1-4, 2013.

Program Committee Member, IEEE/ACM International Conference on Green Computing and Communication (GreenCOM): Storage, Big Data, and Cloud Computing, Beijing, China, August 20-23, 2013.

Program Committee Member, Embedded Systems track, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan, August 19-22, 2013.

Senior Program Committee Member, 10th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Reykjavik, Iceland, July 29-31, 2013.

Program Committee Member, Fifth International Conference on Evolving Internet (INTERNET), InfoWare, Nice, France , July 21 - 26, 2013.

Program Committee Member, 3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), 2013.

Program Committee Member, IEEE International Conference on Service Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17 - 19, 2012.

Program Committee Member, International Symposium on Pervasive Systems, Algorithms, and Networks (ISPAN), San Marcos, Texas, December 13 - 15, 2012.

Invited to serve as Session Chair, IEEE/ACM International Conference on Green Computing and Communication (GreenCOM), Besancon, France, November 20-23, 2012.

Program Committee Member, International Conference on Parallel and Distributed Computing and Systems (PDCS), Las Vegas, USA, November 12 - 14, 2012.

Program Committee Member, International Conference on Cloud and Green Computing (CGC), Xiangtan, China, Nov. 1-3, 2012.

Invited to serve as Session Chair, ACM Research in Applied Computation Symposium (RACS) , San Antonio, Texas, October 23-26, 2012.

Program Committee Member, ACM Research in Applied Computation Symposium (RACS) , San Antonio, Texas, October 23-26, 2012.

Program Committee Member, IEEE/ACM International Conference on Green Computing and Communication (GreenCOM), Besancon, France, September 12-14, 2012.

Invited to serve as Session Chair for Ubiquitous Computing I, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 19-22, 2012.

Program Committee Member, Embedded Systems track, International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 19-22, 2012.

Senior Program Committee Member, {\em 8th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO)}, Romae, Italy, July 28-31, 2012.

Program Committee Member, Fourth International Conferences on Pervasive Patterns and Applications (PATTERNS), co-located with ComputationWorld. Nice, France, July 22-27, 2012.

Member of Program Committee, International Conference on Enterprise Information Systems (ICEIS), Wroclaw, Poland, June 28 - July 1, 2012.

Program Committee Member, The Seventh International Multi-Conference on Computing in the Global Information Technology (ICCGI), Venice, Italy, June 24-29, 2012.

Program Committee Member, International Conference on Software Engineering (SE 2012), Crete, Greece, June 18-20, 2012.

Program Committee Member, The Fourth International Conference on Evolving Internet (INTERNET), co-located with InfoWare, Venice, Italy, June 24-29, 2012.

Program Committee Member, 15th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, (ISORC), Shenzhen, China, April 11-13, 2012.

Program Committee Member, 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Beijing, China, April 2012.

Program Committee Member, 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Shenzhen, China, April 11-13, 2012.

Program Committee Member, Second IEEE International Symposium on Advanced Topics on Embedded Systems and Applications (IEEE ESA-11), Changsha, China, November 16-18, 2011.

Program Committee Member, Embedded Systems Track, 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Toyama, Japan, August 29-31, 2011.

Program Committee Member, IEEE/ACM International Conference on Green Computing and Communication (GreenCOM), Chengdu, Sichuan, China, August 4-5, 2011.

Senior Program Committee Member, 8th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Noordwijkerhout, The Netherlands, July 2011.

Member of Program Committee, International Conference on Logistics, Informatics and Services Sciences (LISS), Beijing, China, June 2011.

Member of Program Committee, International Conference on Enterprise Information Systems (ICEIS), Beijing, China, June 8-11, 2011.

Program Committee Member, ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS) Work in Progress Session, Chicago, IL, USA, part of the Cyber-Physical Systems Week (CPS Week), April 11-14, 2011.

Member, Technical Program Committee, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, April 11-14, 2011.

Program Committee Member, 1st International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), Algarve, Portugal, March 5-7, 2011.

Program Committee Member, Power-Aware Computing Track, 8th IEEE International Conference on Embedded and Ubiquitous Computing (EUC), Hong Kong, China, December 11-13, 2010.

Program Committee Member, IEEE Embedded and Real-Time Computing Systems and Applications (RTCSA), Embedded system track, Macau, China, August 2010.

Program Committee Member, 3rd International Workshop on Real-Time Service-Oriented Architecture and Applications, (RTSOAA) in conjunction with ICWS, SCC, CLOUD, and SERVICES 2010, Miami, Florida, USA, July 5-10, 2010.

Program Committee Member, 7th IEEE International Conference on Embedded Software and Systems (ICESS), Bradford, UK, June 29 - July 1, 2010.

Program Committee Member, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), Stockholm, Sweden, April 13-16, 2010.

Member of Program Committee, ICEIS International Conference on Enterprise Information Systems, 2010.

Program Committee Member, 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), co-located with UCS 2009, Beijing, China, August 24-26.

Program Committee Member, Real-Time Systems and Operating Systems track of the 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC'09), Vancouver, Canada, August 29-31 2009.

Program Committee Member, First ACM International Workshop on Medical-Grade Wireless Networks (WiMD 2009) in conjunction with Mobihoc 2009 in New Orleans, LA, 2009.

Program Committee Member, 2nd International Workshop on Real-Time Service-Oriented Architecture and Applications, Seattle,Washington, July 20 - July 24, 2009. Co-located with COMPASS and SAINT 2009.

Program Committee Member, Embedded Systems Track of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, France, November 3-6, 2009.

Program Committee Member, Second International Workshop on Cyber-Physical Systems (WCPS2009), 2009.

Senior Program Committee Member, 6th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), July 2009.

Member of Program Committee, International Conference on Embedded Software and Systems 2009 (ICESS09), HangZhou, Zhejiang, China, May 25 - 27, 2009.

Program Committee Member, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, California, USA, April 13-16, 2009.

Member of Program Committee, ICEIS International Conference on Enterprise Information Systems, 2009.

Member of Program Committee, International Conference on Artificial Intelligence and Applications (AIA 2009), Innsbruck, Austria, February 16-18, 2009.

Member of Program Committee, International Conference on Parallel and Distributed Computing and Networks (PDCN 2009), Innsbruck, Austria, February 16-18, 2009.

Program Co-Chair, The Second International Workshop on Real Time and Embedded Systems International Conference (RTES), The Second International Workshop on Real Time and Timisoara, Romania, 2008.

Member of Program Committee, 3rd International Workshop on Embedded Software Optimization (ESO 2008) in conjunction with EUC 2008, Shanghai, China, December 17-20, 2008.

Member of Program Committee, 12th International Conference On Principle Of Distributed Systems (OPODIS'08), Louxor, Egypt, December 15th-18th, 2008.

Member of Program Committee, Fifth IEEE International Symposium on Embedded Computing (SEC), Beijing, China, 2008.

Program Vice-Chair, Real-Time Systems Track, 5th Intl. Conf. on Embedded and Ubiquitous Computing (EUC), Shanghai, China, December 2008.

Member of Program Committee, First international CPS workshop in conjunction with ICDCS, Peking, 2008.

Senior Program Committee Member, 5th Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), August 2008.

Program Committee Member, ICESS-2008, Chengdu, Sichuan, China, July 28-31, 2008.

Senior Program Committee Member, 10th International Conference on Enterprise Information Systems (ICEIS), Barcelona, Spain, June 12-16, 2008.

Member of Program Committee, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), Saint Louis, April 2008.

Member of Program Committee, The Thirteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (co-located with ECBS 2008 and EASe2008), Belfast, Northern Ireland (hosted by the University of Ulster) 31 March - 4 April 2008.

Member of Program Committee, IEEE-CS Real-Time Systems Symposium (RTSS), Tucson, Arizona, December 2007.

Member of Program Committee, 10th IEEE High Assurance Systems Engineering Symposium, Dallas, Texas, November 14 - 16, 2007.

Member of Program Committee, Sixth ACM International Conference on Generative Programming and Component Engineering (GPCE'07), co-located with ESWEEK'07, Salzburg, Austria October 1-3, 2007.

Member of Program Committee, IEEE-CS Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, December 5-8, 2006.

Member of Program committee, 12th International Conference on Embedded and Real-Time Computing Systems and Applications, 2006.

Chair of Program Committee, The 10th IASTED International Conference on SOFTWARE ENGINEERING AND APPLICATIONS (SEA), Dallas, Texas, November 2006.

Member of Program Committee, International Workshop on Embedded Software Optimization, Seoul, Korea, Aug. 1-4, 2006.

Member of Program Committee, 3rd International Workshop on Embedded Computing, Columbus, Ohio, August 14, 2006.

Member of Program Committee, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, CA, April 3-6, 2006.

Distinguished Lecture Presentation at the University of Texas at Dallas, 2005.

Invited Panel Speaker, ``Software Engineering for Embedded Software: How Useful Are the Newer Paradigms?'' at SCOPES 2005.

Co-Chair, Mini-Symposium on Real-Time/Embedded Systems ParCo 2005

Member of Program committee, 11th International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, 2005.

Member of Program committee, 29th Annual International Computer Software and Application Conference (COMPSAC), Edinburgh, Scotland, UK, 2005.

Member of Program Committee, International Workshop on Parallel and Distributed Embedded Systems, 2005.

Member of Program Committee, 11th International Conference on Parallel and Distributed Systems (ICPADS-2005).

Member of Program Committee, International Workshop on Embedded Computing, 2005.

Member of Program Committee, IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, 2005.

Member of Program Committee, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, CA, March 7-10, 2005.

Program Committee Member, International Conference on Parallel and Distributed Computing and Networks (PDCN), Innsbruck, Austria, February 15-17, 2005.

Member of Program Committee, 28th Annual International IEEE-CS International Computer Software and Application Conference (COMPSAC), Hong Kong, September 2004

Keynote Speaker, 1st Intl. Conf. on Informatics in Control, Automation and Robotics (ICINCO), Setubal, Portugal, August 2004

External Reviewer, DSN-2004 Dependable Computing and Communications Symposium, Florence, Italy, June 28th-July 1st, 2004.

Session Chair and Member of Program Committee, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), Toronto, Canada, May 2004

Member of Program Committee, IEEE International Conference on Engineering of Complex Computer Systems, IEEE ICECCS, Florence, Italy, 14-16 April, 2004

Senior Program Committee Member, Intl. Conf. on Enterprise Information Systems (ICEIS), Porto, Portugal, April 2004.

Program Committee Member, Intl. Conf. on Artificial Intelligence and Applications (AIA) 2004

Program Committee Member, Intl. Conf. on Databases and Applications (DBA) 2004

Program Committee Member, Intl. Conf. on Parallel and Distributed Computing and Networks (PDCN) 2004

Tutorial Speaker, IEEE ICN, February 29, 2004

Member of Program Committee, Work-in-Progress Session, IEEE-CS Real-Time Systems Symposium (RTSS), Cancun, Mexico, December 2003

Member of Program Committee, IEEE-CS Real-Time Systems Symposium (RTSS), Cancun, Mexico, December 2003

Member of Program Committee, IEEE-CS Conference on Local Computer Networks (LCN) Bonn, Germany, October 2003

Member of Program Committee, Twelfth International Conference on Computer Communications and Networks, 2003

Member of Panel Subcommittee and Program Committee, 27th Annual International IEEE-CS International Computer Software and Application Conference (COMPSAC), Hong Kong, September 30-October 3, 2003

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

Guest Co-Editor, IEEE-TSE Special Issues on Software and Performance, Nov-Dec 2000

Member of Program Committee, IEEE-CS Conference on Local Computer Networks (LCN) Tampa, FL, November 2002

Member of Program Committee, Intl. Conference on Computer Communications and Networks, October 2002

Member of Program Committee, IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, CA, September 2002

Member of Panel Subcommittee and Program Committee, 26th Annual International IEEE-CS International Computer Software and Application Conference (COMPSAC), Oxford, England, August 2002

Member of Program Committee, International Conference on Enterprise Information Systems (ICEIS), April 2002

Work-in-Progress Program Chair, IEEE-CS Real-Time Technology and Applications (RTAS), May 2001


Current course materials:

COSC 3360/6310 Operating Systems (Fall 2017)
Course/TA website
Teaching assistant 1: Mr. Wenhui Chu, Office: PGH 591 Office hours: T, Th 4:30p - 6:00p
Teaching assistant 2: Mr. Guangli Dai, Office: PGH 591 Office hours: T, F 9:30a - 11:00a
Teaching assistant 3: Mr. Pavan Kumar, Office: PGH 591 Office hours: T, Th 3:00p - 4:30p
Unix Tutorial for Beginners
Unix/Linux Books
C/C++ Books
Reading assignments: OS notes: read chapters 1 (Introduction to Operating Systems), 2 (Processes), 5 (Process Deadlocks), 3 (Process Scheduling), 4 (Real-Time Scheduling). Textbook: review chapters 1 (Introduction) and 2 (Operating-System Structures); read chapters 3 (Processes), 5 (Process Synchronization), 7 (Deadlocks), 6 (CPU Scheduling).
Sample Exam 1 Problems.
Sample Exam 2 Problems.
Sample Exam 3 Problems.
August 28, 30: No class due to hurricane/tropical storm. Details.
September 8: Login information for system program.cs.uh.edu is emailed to you by the TAs.
Assignment 1, due Monday, 10/9/2017, 11:59pm.


COSC 6384 Real-Time Systems (Spring 2017)
Textbook webpage
Office hours: M W 4:00p-5:00p
Selected basic references
Reading assignments: read chapter 1, 3, 4, 5, 6, 7, 10.
Tornado tutorial
Wind River Workbench development environment user guide with tutorial on Tornado functionalities
Elements of Research
IEEE Real-Time Systems Symposium (RTSS) 2012
IEEE Real-Time Systems Symposium (RTSS) 2017
International Workshop on Worst-Case Execution Time Analysis (WCET) 2017
Supplement to Chapter 3: Prof. Al Mok's PhD Thesis.
Supplement 1 to Chapter 4: Model checking overview.
Supplement 2 to Chapter 4: Model checking examples.
Exam: Wednesday, March 22, 2017 - open-course-textbook, 1 page (both sides) of handwritten notes, no image-magnification equipment such as microscopes or magnifiers :), no sharing of any material, calculator is allowed but not sharable, review to be held in class (March 20) before the exam date. Expected material (to be confirmed later): Scheduling (chapters 1,3) specification/verification (chapter 4: constructing finite-state graphs, writing CTL formulas, applying model checking.
Professor Cheng invited to present a Tutorial at DATE in Lausanne, Switzerland, on March 27, 2017. Details.
March 27 and 29: Senior PhD students Carlos Rincon and Jeffrey Zou discuss Wind River Workbench/Tornado and Functional Reactive Programming
March 31: Last day to drop with W.
Homework 1: 12 textbook exercises 3.1 - 3.9, 3.11, 3.13, 3.14; due Wednesday, March 1, in class.
Suggested project topics
Schedule of project presentations
Assignment 2 (programming), due Wednesday, April 12, 11:59pm CST. Late penalty: -5% each day late. Extended till Wednesday, April 19, 11:59pm CST. Bonus +20% if submitted by the original due date, April 12, 11:59pm CST. Bonus if submitted by April 13: 17%; April 14: 14%; April 15: 11%; April 16: 8%; April 17: 5%; April 18: 2%; April 19: 0%; April 20 and after: -5 pts per day.
Optional Bonus Assignment 3 (programming), due Monday, May 1, 11:59pm. Required Assignment 3 (written exercises) due in class Monday, May 1 - chapter 4: 1, 5, and 7; chapter 6: 1, 5, and 6; chapter 7: 4; chapter 10: 3 and 5.


Previous course materials

Areas of Expertise:


Current Research Projects and Software/Tools for Download:


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


Team Advisor Dr. Albert M. K. Cheng with UH Team Members:

(l to r) B. J. Guillot, Edward G. Stangler, Prof. Albert Cheng, Chandler Wilkerson, Priti Mehta, Navin Boppuri, Susan Arevalo.




















Selected Recent and Upcoming Presentations:

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

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, part 5, and part 6.

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.

Chinese Academy of Sciences invites Professor Cheng to present a seminar, June 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
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.



Professor Cheng has over 230 refereed publications.

Selected Journal Publications:

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

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

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, 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 Lin and Albert M. K. Cheng, `` Assigning Real-Time Tasks in Environmentally Powered Distributed Systems,'' Circuits and Systems, 5, pages 98-113, April 2014.

Jian (Denny) Lin, Albert M. K. Cheng, and Wei Song, `` A Practical Study of Low-Power Scheduling Algorithms on Real-Time and Embedded Systems,'' Journal of Low Power Electronics and Applications, 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:

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.

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.

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.

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 Mo Kim 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, `` Run-time Dynamic Optimization for Real-Time Rule-Based Systems,'' 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:

Behnaz Sanati, Albert M. K. Cheng, and Nicholas Troutman, ``Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization,'' Technical Report UH-CS-16-02, May 27, 2016.

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 Mo Kim 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.


Current Real-Time Systems Group Members:



First Fall 2017 (8/16) group meeting - from left to right: Pavan Kumar, Min Song, Carlos Rincon, Lijie Cui, Guangli Dai, Prof. Albert Cheng, Carlos Aguilar, Fatima-Zahra Arib, Robert Duenez, and Wenhui Chu. Not present: Xingliang (Jeffrey) Zou.










First Fall 2016 (8/22) group meeting - from left to right: Guillermo Rodriguez, Zhenggang Li, Tiffany Ang, Wenhui Chu, Pavani Tenneti, Carlos Rincon, Brandon Knape, Prof. Albert Cheng, Binh Doan, Nancy Lam, Yating Hou, Xingliang (Jeffrey) Zou, and Elizabeth Pham. Not present: Yu Li (at internship), Behnaz Sanati (working on a paper), and Nicholas Troutman (in class). New visiting scholar Min Song will arrive on August 25, 2016.










Summer 2016 (7/20) group meeting - from left to right: Xingliang (Jeffrey) Zou, Qiao-Ling Wang, Binh Doan, Tiffany Ang, Nicholas Troutman, Yu Li (via Skype), Prof. Albert Cheng, Pavani Tenneti, Brandon Knape, Behnaz Sanati, and Carlos Rincon. New Ph.D. students Wenhui Chu (M.S., Boston University) and Zhenggang Li (M.S., Huazhong University of Science and Technology) will join the group in Fall 2016. UH undergraduate Nancy Lam will also join the group in August.











Fall 2014 (9/3) group meeting - from left to right: Prof. Qiang Zhou, Qiong Lu, Carlos Rincon, Chonghua Li, Prof. Yu Jiang, Xin Liu, Prof. Yufeng Zhao, Prof. Albert Cheng, Xingliang (Jeffrey) Zou, Daxiao Liu, Yu Li, Yong Woon Ahn, and Behnaz Sanati. Group members not in photo: Zeinab Kazemi in class, Sergio Chacon out-of-town.










Spring 2014 (2/27) group meeting - from left to right: Prof. Qiang Zhou, Zeinab Kazemi, Xingliang (Jeffrey) Zou, Prof. Yu Jiang, Prof. Albert Cheng, Daxiao Liu, Behnaz Sanati, Yu Li, Rachel Madrigal, and Yong Woon Ahn. Group members not in photo: Sergio Chacon, Mozahid Haque, Kaleb Christoffersen.











Fall 2012 group meeting - from left to right: Yong Woon Ahn, Yuanfeng Wen, Dylan Thompson, Bo Liu, James Hyatt, Prof. Albert Cheng, Sergio Chacon, Fang Liu, Daxiao Liu, Mozahid Haque, and Yu Li. Group members not in photo: Jim Ras and Behnaz Sanati.











Fall 2011 (10/26) group meeting - from left to right: Yuanfeng Wen, Sergio Chacon, Michael Walston, Chaitanya Belwal, Prof. Albert Cheng, Yu Li, Fang Liu, Qiang (Arnold) Li, and Yong Woon Ahn.









Ph.D. Students:

Yu Li
Behnaz Sanati
Xingliang (Jeffrey) Zou
Carlos Rincon
Yong Woon Ahn
Wenhui Chu
Guangli Dai
Pavan Kumar Paluri
Yun-Hong Lee

M.S. Students:

Chonghua Li
Timothy L. Allen
Boyuan Sun
Li Lu

Undergraduate Students:

Nicholas Troutman
Brandon Knape
Binh Doan
Tiffany Ang
Pavani Tenneti
Nancy Lam
Guillermo Rodriguez
Victor Lopez
Bryson Sinquefield
Elizabeth Pham
Davis Richardson
Dat Nguyen
Carlos Aguilar
Robert Duenez

Visiting Scholars (Fall 2013 - ):

Dr. Yu Jiang, Professor, School of Computer Science and Technology, Heilongjiang University (HLJU), Harbin, China
Dr. Qiang Zhou, Lecturer, School of Electronic and Information Engineering, Beihang University, Beijing, China
Yufeng Zhao, Lecturer, Xi'an Technological University, Xi'an, China
Qiao-Ling Wang (arriving in July 2015), Lecturer, Jiangxi Agricultural University Nanchang, China
Dr. Min Song (arriving in August 2016), Information Technology Center, Beijing Foreign Studies University (BFSU), Beijing, China
Lijie Cui (arriving in August 2016), Lecturer, School of Software Engineering, Harbin University of Science and Technology, Harbin, China


Prof. Cheng welcomes prospective visiting scholars from around the world. Please email him for invitation letters and hosting arrangements.


Graduated Students:

Chia-Hung Chen, Taiwan
Shivani C. Shah
Blaz Zupan , Professor, Faculty of Computer and Information Science, University of Ljubljana, Slovenia
Hsiu-Yen Tsai, New York University
Chan-Yu Wang, Taiwan
Xiaofen Shelley Huang, NASA
Jeng-Rung Chen, Independent Computer Software Professional, Taiwan
Chun Fred Wong, Tractebel, Houston
Pou-Yun Lee, Taos Mountain, California
Sudhir Rao, Oracle
Rajat Agarwal, Senior Manager, Spirent Communications, New York area; first position: Lucent Technologies, New Jersey
Xiao Chen, AT&T, New Jersey
Seiya Fujii, California
Jeong A. Kang, Samsung, Korea
Rong Wang, Harvard Medical School, MA
Maggie Xiaoyi Xu, GPS Software, Houston
Zhubin Zhang, Halliburton, Houston
Feng Shang, Microsoft, Redmond
Nattawat Chanjaraspong, Thailand
Koushik Rajan, Ixia, California
Zhen Zhu, Principal Engineer at Johnson Controls, Milwaukee
Hua Chen , Aspen Technology Inc., Houston
Yan Wang , California
Sumit Gupta
Song Wei, AirWatch by VMware, Atlanta
Youngmi Lee, Korea
Homa Niktab, Hewlett-Packard, Milwaukee
Jian (Denny) Lin, Assistant Professor, University of Houston-Clear Lake
Jim Ras, Houston
Chaitanya Belwal, Visiting Assistant Professor, University of Houston-Clear Lake
Yuanfeng Wen, Microsoft, Redmond
Fang Liu, Houston
Daxiao Liu, Uber, San Francisco
Zeinab Kazemi, Cisco, San Jose


Graduated Students (NSF-REU):

Steven Avery
Anita Jones
Lien-dai N. Nguyen
R. A. Johnson
Fan Jiang, PhD (Duke U), Developer at Getco, LLC, Chicago; previously Developer at Blue Capital Group, Raleigh-Durham, North Carolina
Liem T. Nguyen, NASA
Jonathan Hall, Ph.D. student, Texas A&M University
Philip Ahern
Annalee Embry, Intel, Boston
Johanne Christensen, Ph.D. student, North Carolina State University
Michael Walston, Entrance Software, Houston
James Hyatt, GE, Houston
Dylan Thompson, University of Houston
Kaleb Christoffersen, Emerson, Houston
Mozahid Haque, University of Houston
Rachel Victoria Madrigal
Danielle Underwood

Graduated Students (Projects):

Lan Zhang
Tse Lee
Xiaolan Sharon Gu
Mansoor Ansari
Qien Zhou
Bojan Cukic, Professor, Department of Computer Science and Electrical Engineering, West Virginia University
Ping-Chuan Tai
Jui-Chan Wu, University of Houston
Ying Lam Raymond Cheung, HP-Compaq
Wendy Zhang, Assistant Professor, Southern University at New Orleans
Wei Luo
X. Wang
Dongli Wu
Ling Zhang
William Bagdan
Kaushik Nagabhushan
Amol S. Pednekar
Anuradha Potnis
Lorraine E. P. Rice, NASA Johnson Space Center
Tsung-I Mark Huang, University of Houston
Haitao Song, Rice University
Meizhuo Zhang, Project Director, Yale University
Jingping Sun
Sachin K. Nikam
Ming Zu, Ingenia Polymers, Houston
Sukhdeep Singh Sodhi, Microsoft, Redmond
Liem T. Nguyen
Enohi I. Ibekwe
Yonghan Zhou, University of Houston
Robert Chu, Taiwan
Esther Zhou
Patrick W. Sharkey
Jharna J. Chokhawala, India
Sushil Digewade, Dallas
Mohit Mantri, GE Healthcare
Manish Kapoor, Vonage, New Jersey
Shaohong Fang
Shih-Chen Feng, University of Houston
Nitin Arora
Quinn Lewis
Muthu Kasiviswanathan
Rishabh Shrivastava, BMC Software, Houston
Bindu Madhavi Mirle
Maithili Kulkarni
Gowri Aruchamy
Ying-wei Kuo, PhD student, University of Houston
Sonia Sivasubramanian
Karthik Tenneti
R Chiranjith
Jay Bergman
Bin Lu
Rashmi ByadarahallyVasanthaKumar
Sergio Chacon
Qiong Lu
Seyed Mohsen Alavi
Hassan Hafiz


Recent Postdocs:

Jim Ras


Former Visitors:

Dr. Weizhe Zhang, Harbin Institute of Technology, Harbin, China


Webpage updated on September 20, 2017.