Event-Driven Programming with Logical Execution Times. - Arkadeb Ghosal; Thomas A. Henzinger; Christoph M. Kirsch; Marco A. A. Sanvido (HSCC, 2004)

Implementation of AFR controller in an event-driven real-time language. - Arkadeb Ghosal; J. Carlos Zavala J.; Marco A. A. Sanvido; J. Karl Hedrick (ACC, 2005)

A hierarchical coordination language for interacting real-time tasks. - Arkadeb Ghosal; Alberto L. Sangiovanni-Vincentelli; Christoph M. Kirsch; Thomas A. Henzinger; Daniel T. Iercan (EMSOFT, 2006)

Logical Reliability of Interacting Real-Time Tasks. - Krishnendu Chatterjee; Arkadeb Ghosal; Thomas A. Henzinger; Daniel T. Iercan; Christoph M. Kirsch; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (DATE, 2008)

Scheduling the FlexRay bus using optimization techniques. - Haibo Zeng 001; Wei Zheng; Marco Di Natale; Arkadeb Ghosal; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (DAC, 2009)

Timing Analysis and Optimization of FlexRay Dynamic Segment. - Haibo Zeng 001; Arkadeb Ghosal; Marco Di Natale (CIT, 2010)

Education panel: designing the always connected car of the future. - Arkadeb Ghosal; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli; Joseph D'Ambrosio; Ed Nuckolls; Harald Wilhelm; Jim Tung; Markus Kuhl; Peter van Staa (DAC, 2010)

Computing robustness of FlexRay schedules to uncertainties in design parameters. - Arkadeb Ghosal; Haibo Zeng 001; Marco Di Natale; Yakov Ben-Haim (DATE, 2010)

Correct and non-defensive glue design using abstract models. - Stavros Tripakis; Hugo A. Andrade; Arkadeb Ghosal; Rhishikesh Limaye; Kaushik Ravindran; Guoqiang Wang; Guang Yang; Jacob Kornerup; Ian C. Wong (CODES+ISSS, 2011)

Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. - Haibo Zeng 001; Marco Di Natale; Arkadeb Ghosal; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2011)

Static dataflow with access patterns: semantics and analysis. - Arkadeb Ghosal; Rhishikesh Limaye; Kaushik Ravindran; Stavros Tripakis; Ankita Prasad; Guoqiang Wang; Trung N. Tran; Hugo A. Andrade (DAC, 2012)

Tools for deploying dataflow models on FPGA targets. - Kaushik Ravindran; Arkadeb Ghosal; Rhishikesh Limaye; Hugo A. Andrade; Alejandro Asenjo; Takao Inoue; Douglas Kim; Ankita Prasad; Trung N. Tran; Mike Trimborn; Guoqiang Wang; Guang Yang (DASIP, 2012)

Analysis techniques for static dataflow models with access patterns. - Kaushik Ravindran; Arkadeb Ghosal; Rhishikesh Limaye; Guoqiang Wang; Guang Yang; Hugo A. Andrade (DASIP, 2012)

Early timing estimation for system-level design using FPGAs (abstract only). - Hugo A. Andrade; Arkadeb Ghosal; Rhishikesh Limaye; Sadia Malik; Newton Petersen; Kaushik Ravindran; Trung N. Tran; Guoqiang Wang; Guang Yang (FPGA, 2012)

A methodology for the design and deployment of reliable systems on heterogeneous platforms. - Hugo A. Andrade; Arkadeb Ghosal; Kaushik Ravindran; Brian L. Evans (ReConFig, 2012)

Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. - Arkadeb Ghosal; Daniel T. Iercan; Christoph M. Kirsch; Thomas A. Henzinger; Alberto L. Sangiovanni-Vincentelli (Sci. Comput. Program., 2012)

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. - Arkadeb Ghosal; Haibo Zeng 001; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli; Ragunathan Rajkumar; Marco Ernst; Rolf Di Natale (IEEE Embed. Syst. Lett., 2013)

Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets. - Kaushik Ravindran; Arkadeb Ghosal; Rhishikesh Limaye; Douglas Kim; Hugo A. Andrade; Jeff Correll; Jacob Kornerup; Ian C. Wong; Gerald Wang; Guang Yang; Amal Ekbal; Mike Trimborn; et al. (Embedded Systems Development, From Functional Models to Implementations, 2014)

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. - Stavros Tripakis; Rhishikesh Limaye; Kaushik Ravindran; Guoqiang Wang; Hugo A. Andrade; Arkadeb Ghosal (J. Signal Process. Syst., 2016)