Arkadeb Ghosal

Publication Activity (10 Years)

Years Active: 2004-2016
Publications (10 Years): 1

Top Topics

Design Concepts

Embedded Systems

Top Venues

IEEE Embed. Syst. Lett.

J. Signal Process. Syst.

Publications

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. J. Signal Process. Syst. 85 (1) (2016)
Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale
Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. IEEE Embed. Syst. Lett. 5 (3) (2013)
Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77 (2) (2012)
Hugo A. Andrade, Arkadeb Ghosal, Kaushik Ravindran, Brian L. Evans
A methodology for the design and deployment of reliable systems on heterogeneous platforms. ReConFig (2012)
Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade
Analysis techniques for static dataflow models with access patterns. DASIP (2012)
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
Tools for deploying dataflow models on FPGA targets. DASIP (2012)
Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade
Static dataflow with access patterns: semantics and analysis. DAC (2012)
Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Sadia Malik, Newton Petersen, Kaushik Ravindran, Trung N. Tran, Guoqiang Wang, Guang Yang
Early timing estimation for system-level design using FPGAs (abstract only). FPGA (2012)
Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong
Correct and non-defensive glue design using abstract models. CODES+ISSS (2011)
Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Ind. Informatics 7 (1) (2011)
Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa
Education panel: designing the always connected car of the future. DAC (2010)
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim
Computing robustness of FlexRay schedules to uncertainties in design parameters. DATE (2010)
Haibo Zeng, Arkadeb Ghosal, Marco Di Natale
Timing Analysis and Optimization of FlexRay Dynamic Segment. CIT (2010)
Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Scheduling the FlexRay bus using optimization techniques. DAC (2009)
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
Logical Reliability of Interacting Real-Time Tasks. DATE (2008)
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan
A hierarchical coordination language for interacting real-time tasks. EMSOFT (2006)
Arkadeb Ghosal, J. Carlos Zavala J., Marco A. A. Sanvido, J. Karl Hedrick
Implementation of AFR controller in an event-driven real-time language. ACC (2005)
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido
Event-Driven Programming with Logical Execution Times. HSCC (2004)