A TOP-DOWN, CONSTRAINT-DRIVEN DESIGN METHODOLOGY FOR ANALOG INTEGRATED CIRCUITS (HB)

ALGORITHMS FOR SYNTHESIS AND TESTING OF ASYNCHRONOUS CIRCUITS (HB)

ANALYSIS AND SIMULATION OF NOISE IN NONLINEAR ELECTRONIC CIRCUITS AND SYSTEMS (HB)

ANALYSIS AND SIMULATION OF NOISE IN NONLINEAR ELECTRONIC CIRCUITS AND SYSTEMS (PB)

CONTRACTS FOR SYSTEM DESIGN (PB)

CROSS-TALK NOISE IMMUNE VLSI DESIGN USING REGULAR LAYOUT FABRICS (HB)

EMBEDDED SOFTWARE (PB)

EMBEDDED SYSTEMS DEVELOPMENT (HB)

EMBEDDED SYSTEMS DEVELOPMENT (PB)

FUNCTION/ARCHITECTURE OPTIMIZATION AND CO-DESIGN OF EMBEDDED SYSTEMS (HB)

HARDWARE-SOFTWARE CO-DESIGN OF EMBEDDED SYSTEMS (HB)

HYBRID SYSTEMS - COMPUTATION AND CONTROL (PB)

LOGIC SYNTHESIS FOR FIELD-PROGRAMMABLE GATE ARRAYS (HB)

RELAXATION TECHNIQUES FOR THE SIMULATION OF VLSI CIRCUITS (HB)

SECURITY-AWARE DESIGN FOR CYBER-PHYSICAL SYSTEMS (HB)

SECURITY-AWARE DESIGN FOR CYBER-PHYSICAL SYSTEMS (PB)

SMART CONNECTED BUILDINGS DESIGN AUTOMATION (PB)

SYNCHRONOUS EQUIVALENCE (HB)