Biblio
Filters: Author is Insup Lee [Clear All Filters]
"Model-based Programming of Modular Robots",
Proc. of the 13th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC), Carmona, Spain, May, 2010.
[paper]
"Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet",
IEEE Transactions on Industrial Informatics, vol. 5, issue 3, pp. 325--337, 2009.
[paper]
"Plug-and-Play for Medical Devices: Experiences from a Case Study",
Biomedical Instrumentation & Technology, vol. 43, issue 4, pp. 313--317, 2009.
[paper]
"Resource Scopes: Toward Language Support for Compositional Determinism",
Proc. of the 12th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC), Tokyo, Japan, pp. 295--304, 2009.
[paper]
"Hardware Acceleration for Verifiable, Adaptive Real-Time Communication",
Proc. of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, Germany, pp. 1425--1432, 2008.
[paper]
"Generating Sound and Resource-Aware Code from Hybrid System Models",
Model-Driven Development of Reliable Automotive Services, vol. 4922, San Diego, USA, Springer, pp. 48--66, 2008.
[paper]
"Compositional Feasibility Analysis of Conditional Real-Time Task Models",
Proc. of the IEEE International Symposium on Object/Component/Service-oriented Real-Time Computing (ISORC), Orlando, USA, pp. 391--398, 2008.
[paper]
"A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems",
Proc. of the 7th Annual ACM Conference on Embedded Software (EMSOFT), Salzburg, Austria, pp. 65--75, 2007.
[paper]
"Temporal Control in Real-Time Systems: Languages and Systems",
Handbook on Real-Time Systems: CRC Press, pp. 10-1 to 10-18, 2007.
"A Verifiable Language for Programming Communication Schedules",
IEEE Transactions on Computers, vol. 56, issue 11, no. 11, pp. 1505--1519, 2007.
[paper]
"Composition Techniques for Tree Communication Schedules",
Proc. of the 19th Euromicro Conference on Real-Time Systems (ECRTS), Pisa, Italy, pp. 235--246, 2007.
[paper]
"An Analysis Framework for Network-Code Programs",
Proc. of the 6th Annual ACM Conference on Embedded Software (EMSOFT), Seoul, South Korea, pp. 122--131, 2006.
[paper]
"Network-Code Machine: Programmable Real-Time Communication Schedules",
Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, USA, pp. 311--324, 2006.
[paper]
"Distributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems",
Proc. of the ACM Conference on Embedded Software (EMSOFT), New York, USA, pp. 210--213, 2005.
[paper]
]