Arkadeb Ghosal

According to our database, Arkadeb Ghosal authored at least 19 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

2014

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, Ankita Prasad, Trung N. Tran

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software.

Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale

IEEE Embed. Syst. Lett., 2013

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

A methodology for the design and deployment of reliable systems on heterogeneous platforms.

Hugo A. Andrade, Arkadeb Ghosal, Kaushik Ravindran, Brian L. Evans

Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs, 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

Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

Analysis techniques for static dataflow models with access patterns.

Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 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

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

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

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment.

Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Ind. Informatics, 2011

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

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

Computing robustness of FlexRay schedules to uncertainties in design parameters.

Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim

Proceedings of the Design, Automation and Test in Europe, 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

Proceedings of the 47th Design Automation Conference, 2010

Timing Analysis and Optimization of FlexRay Dynamic Segment.

Haibo Zeng, Arkadeb Ghosal, Marco Di Natale

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Scheduling the FlexRay bus using optimization techniques.

Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 46th Design Automation Conference, 2009

2008

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

Proceedings of the Design, Automation and Test in Europe, 2008

2006

A hierarchical coordination language for interacting real-time tasks.

Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Implementation of AFR controller in an event-driven real-time language.

Arkadeb Ghosal, J. Carlos Zavala J., Marco A. A. Sanvido, J. Karl Hedrick

Proceedings of the American Control Conference, 2005

2004

Event-Driven Programming with Logical Execution Times.

Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004