- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j2 |      | 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): 96-112 (2012) |
| c13 | | 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: 656-663 |
| c12 | | 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: 1-2 |
| c11 | | Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Guoqiang Wang, Guang Yang, Hugo A. Andrade: Analysis techniques for static dataflow models with access patterns. DASIP 2012: 1-8 |
| c10 | | 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: 271 |
| c9 | | 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: 1-7 |
| 2011 | ||
| j1 | | 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. Industrial Informatics 7(1): 1-17 (2011) |
| c8 | | 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: 59-68 |
| 2010 | ||
| c7 | | Haibo Zeng, Arkadeb Ghosal, Marco Di Natale: Timing Analysis and Optimization of FlexRay Dynamic Segment. CIT 2010: 1932-1939 |
| c6 | | 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: 617-618 |
| c5 | | Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim: Computing robustness of FlexRay schedules to uncertainties in design parameters. DATE 2010: 550-555 |
| 2009 | ||
| c4 | | Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli: Scheduling the FlexRay bus using optimization techniques. DAC 2009: 874-877 |
| 2008 | ||
| c3 | | 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: 909-914 |
| 2006 | ||
| c2 | | 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: 132-141 |
| 2004 | ||
| c1 | | Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371 |
Data released under the ODC-BY 1.0 license — See also our legal information page