dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Insup Lee (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan: State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems 48(4): 430-462 (2012)
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim: Model-Based Programming of Modular Robots. ISORC 2010: 66-74
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee: Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010)
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Insup Lee: Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Fischmeister, Robert Trausmuth, Insup Lee: Hardware Acceleration for Programmable Real-Time Ethernet. IEEE Trans. Industrial Informatics 5(3): 325-337 (2009)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Fischmeister, Insup Lee, Robert Trausmuth: Hardware acceleration for verifiable, adaptive real-time communication. ETFA 2008: 1425-1432
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee: Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Insup Lee: Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee: A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Fischmeister, Oleg Sokolsky, Insup Lee: A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Insup Lee: An analysis framework for network-code programs. EMSOFT 2006: 122-131
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Fischmeister, Oleg Sokolsky, Insup Lee: Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213

Selection of 14 from 219 records - Insup Lee has 205 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page