We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via webform.

Browse Research and Tech Reports - Computer Science by Author "Bae, Kyungmin"

  • Bae, Kyungmin (2014-06)
    We give source code for a Real-Time Maude framework for formally specifying and executing Multirate PALS synchronous designs, along with an example of designing and model checking a distributed controller for turning an airplane.


    application/zipZIP (156kB)
  • Bae, Kyungmin; Meseguer, José (2010-01-29)
    In modeling a concurrent system, fairness constraints are usually considered at a specific granularity level of the system, leading to many different variants of fairness: transition fairness, object/process fairness, actor ...


    application/pdfPDF (455kB)
  • Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José (2011-05-31)
    Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, ...


    application/pdfPDF (680kB)