 | 2012 |
| 11 |  | 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 |
| 10 |  | 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) |
| 2011 |
| 9 |  | Stavros Tripakis,
Hugo A. Andrade,
Arkadeb Ghosal,
Rhishikesh Limaye,
Kaushik Ravindran,
Guoqiang Wang,
Guang Yang,
Jacob Kornerup,
Ian Wong:
Correct and non-defensive glue design using abstract models.
CODES+ISSS 2011: 59-68 |
| 8 |  | 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) |
| 2010 |
| 7 |  | Haibo Zeng,
Arkadeb Ghosal,
Marco Di Natale:
Timing Analysis and Optimization of FlexRay Dynamic Segment.
CIT 2010: 1932-1939 |
| 6 |  | 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 |
| 5 |  | 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 |
| 4 |  | 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 |
| 3 |  | 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 |
| 2 |  | 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 |
| 1 |  | Arkadeb Ghosal,
Thomas A. Henzinger,
Christoph M. Kirsch,
Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times.
HSCC 2004: 357-371 |