Arkadeb Ghosal

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