Component-based design

This research area is about designing systems in a compositional and modular manner.

Related papers (read the copyright note)

  1. S. Tripakis, B. Lickly, T. Henzinger and E. Lee. A Theory of Synchronous Relational Interfaces. PDF. Revised version of paper that appeared in EMSOFT'09.

  2. S. Tripakis, D. Bui, M. Geilen, B. Rodiers and E. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs. PDF.

  3. R. Lublinerman, C. Szegedy and S. Tripakis. Modular Code Generation from Synchronous Block Diagrams --- Modularity vs. Code Size. In POPL'09. PDF.

  4. R. Lublinerman and S. Tripakis. Modular Code Generation from Synchronous Block Diagrams. In 1st Intl. Workshop on Numerical Abstractions for Software Verification (NSV'08). This paper summarizes in an intuitive manner, with lots of examples, the DATE'08 and RTAS'08 papers below. PDF.

  5. R. Lublinerman and S. Tripakis. Modular Code Generation from Triggered and Timed Block Diagrams. In Real-Time and Embedded Technology and Applications Symposium (RTAS'08). PDF.

  6. R. Lublinerman and S. Tripakis. Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. In Design, Automation and Test in Europe (DATE'08). PDF.



Back to home page of Stavros Tripakis