Luca P. Carloni - Professional Activity

Associate Editor: ACM Transactions in Embedded Computing Systems (2006-) Associate Editor: IEEE Transactions on Industrial Informatics (2008-) Conferences Program Co-chair: ACM Conference on Embedded Software (EMSOFT): 2010. Program Co-chair: Fourth International Symposium on Networks-on-Chips (NoCS): 2010 Program Co-chair: Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2010 Program Committee: Design Automation Conference (DAC): 2010. Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010. Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Associate Editor: IEEE Transactions on Industrial Informatics (2008-) Conferences Program Co-chair: ACM Conference on Embedded Software (EMSOFT): 2010. Program Co-chair: Fourth International Symposium on Networks-on-Chips (NoCS): 2010 Program Co-chair: Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2010 Program Committee: Design Automation Conference (DAC): 2010. Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010. Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Co-chair: ACM Conference on Embedded Software (EMSOFT): 2010. Program Co-chair: Fourth International Symposium on Networks-on-Chips (NoCS): 2010 Program Co-chair: Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2010 Program Committee: Design Automation Conference (DAC): 2010. Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010. Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Co-chair: Fourth International Symposium on Networks-on-Chips (NoCS): 2010 Program Co-chair: Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2010 Program Committee: Design Automation Conference (DAC): 2010. Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010. Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Co-chair: Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2010 Program Committee: Design Automation Conference (DAC): 2010. Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010. Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: Design Automation Conference (DAC): 2010. Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010. Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010. Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009. Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Tutorial Chair: Embedded Systems Week (ESWEEK): 2009. Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009. Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: Design Automation Conference (DAC): 2009. Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009 Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Co-chair: IEEE Symposium on Industrial Embedded Systems: 2009. Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009. Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009 Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008. Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Tutorial Chair: Embedded Systems Week (ESWEEK): 2008. Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008. Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: Design Automation Conference (DAC): 2008. Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008 Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008 Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008. Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007. Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007. Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007 Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007. Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006. Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006. Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006 Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006. Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005. Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005. Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005. Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee : IEEE International Conference on Computer Design (ICCD): 2005. Workshops Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006. Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.
Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.

Journals

Conferences

Workshops