Arkadeb Ghosal, Ph.D. - Publications

Affiliations: 
2008 University of California, Berkeley, Berkeley, CA 
Area:
Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de

28 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Tripakis S, Limaye R, Ravindran K, Wang G, Andrade H, Ghosal A. Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware Journal of Signal Processing Systems. DOI: 10.1007/s11265-015-0971-y  0.88
2013 Ghosal A, Zeng H, Giusto P, Sangiovanni-Vincentelli A, Rajkumar R, Ernst R, Di Natale M. Guest editorial: Special issue on system level design of automotive electronics/software Ieee Embedded Systems Letters. 5: 29. DOI: 10.1109/LES.2013.2274794  0.88
2012 Cummings R, Richter K, Ernst R, Diemer J, Ghosal A. Exploring use of ethernet for in-vehicle control applications: AFDX, TTEthernet, EtherCAT, and AVB Sae Technical Papers. DOI: 10.4271/2012-01-0196  0.88
2012 Giusto P, Ghosal A, Zeng H, Yousuf A, Mohalik S, Thomas J, Richter K. Methods and tools for end-to-end latency analysis and optimization of a dual-processor control module Sae Technical Papers. DOI: 10.4271/2012-01-0029  0.88
2012 Guo L, Ghosal A, Zeng H, Giusto P, Sangiovanni-Vincentelli A. Methods and tools for calculating the flexibility of automotive HW/SW architectures Sae Technical Papers. DOI: 10.4271/2012-01-0005  0.88
2012 Ghosal A, Limaye R, Ravindran K, Tripakis S, Prasad A, Wang G, Tran TN, Andrade H. Static dataflow with access patterns: Semantics and analysis Proceedings - Design Automation Conference. 656-663. DOI: 10.1145/2228360.2228479  0.88
2012 Andrade HA, Ghosal A, Ravindran K, Evans BL. A methodology for the design and deployment of reliable systems on heterogeneous platforms 2012 International Conference On Reconfigurable Computing and Fpgas, Reconfig 2012. DOI: 10.1109/ReConFig.2012.6416722  0.88
2012 Ghosal A, Iercan D, Kirsch CM, Henzinger TA, Sangiovanni-Vincentelli A. Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code Science of Computer Programming. 77: 96-112. DOI: 10.1016/j.scico.2010.06.004  0.88
2012 Di Natale M, Zeng H, Giusto P, Ghosal A. Understanding and using the controller area network communication protocol: Theory and practice Understanding and Using the Controller Area Network Communication Protocol: Theory and Practice. 1-223. DOI: 10.1007/978-1-4614-0314-2  0.88
2012 Ravindran K, Ghosal A, Limaye R, Andrade H, Asenjo A, Inoue T, Kim D, Prasad A, Tran TN, Trimborn M, Wang G, Yang G. Tools for deploying dataflow models on FPGA targets Conference On Design and Architectures For Signal and Image Processing, Dasip. 401-402.  0.88
2012 Ravindran K, Ghosal A, Limaye R, Wang G, Yang G, Andrade H. Analysis techniques for static dataflow models with access patterns Conference On Design and Architectures For Signal and Image Processing, Dasip. 199-206.  0.88
2011 Ghosal A, Bai F, Debouk R, Zeng H. Reliability and Safety/Integrity Analysis for Vehicle-to-Vehicle Wireless Communication Sae International Journal of Passenger Cars - Electronic and Electrical Systems. 4: 156-165. DOI: 10.4271/2011-01-1045  0.88
2011 Ghosal A, Czerny B, D'Ambrosio J. Fault-tree generation for embedded software implementing dual-path checking Sae Technical Papers. DOI: 10.4271/2011-01-1004  0.88
2011 Ghosal A, Giusto P, Peranandam P, Sinha P, Zeng H. Metrics for quantifying and evaluating ability of electronic control system architectures to accommodate changes Sae Technical Papers. DOI: 10.4271/2011-01-0447  0.88
2011 Tripakis S, Andrade H, Ghosal A, Limaye R, Ravindran K, Wang G, Yang G, Kornerup J, Wong I. Correct and non-defensive glue design using abstract models Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Ieee/Acm/Ifip International Conference On Hardware/Software Codesign and System Synthesis, Codes+Isss'11. 59-68. DOI: 10.1145/2039370.2039382  0.88
2011 Zeng H, Di Natale M, Ghosal A, Sangiovanni-Vincentelli A. Schedule optimization of time-triggered systems communicating over the flexray static segment Ieee Transactions On Industrial Informatics. 7: 1-17. DOI: 10.1109/TII.2010.2089465  0.88
2010 Ghosal A, Giusto P, Sinha P, Osella M, D'Ambrosio J, Zeng H. Metrics for evaluating electronic control system architecture alternatives Sae Technical Papers. DOI: 10.4271/2010-01-0453  0.88
2010 Ghosal A, Giusto P, Sangiovanni-Vincentelli A, D'Ambrosio J, Nuckolls E, Wilhelm H, Tung J, Kuhl M, Van Staa P. Education panel: Designing the always connected car of the future Proceedings - Design Automation Conference. 617-618. DOI: 10.1145/1837274.1837426  0.88
2010 Di Natale M, Ghosal A, Giusto P, Sangiovanni-Vincentelli A, Zeng H, Seshia S. Guest editorial special issue on automotive embedded systems Ieee Embedded Systems Letters. 2: 21-22. DOI: 10.1109/LES.2010.2051138  0.88
2010 Zeng H, Ghosal A, Di Natale M. Timing analysis and optimization of FlexRay dynamic segment Proceedings - 10th Ieee International Conference On Computer and Information Technology, Cit-2010, 7th Ieee International Conference On Embedded Software and Systems, Icess-2010, Scalcom-2010. 1932-1939. DOI: 10.1109/CIT.2010.329  0.88
2010 Ghosal A, Zeng H, Di Natale M, Ben-Haim Y. Computing robustness of flexray schedules to uncertainties in design parameters Proceedings -Design, Automation and Test in Europe, Date. 550-555.  0.88
2009 Haibo Z, Wei Z, Di Natale M, Ghosal A, Giusto P, Sangiovanni-Vincentelli A. Scheduling the FlexRay bus using optimization techniques Proceedings - Design Automation Conference. 874-877.  0.88
2008 Ghosal A, Sangiovanni-Vincentelli A, Kanajan S. A study on monetary cost analysis for product-line architectures Sae Technical Papers. DOI: 10.4271/2008-01-0280  0.88
2008 Chatterjee K, Iercan D, Ghosal A, Kirsch CM, Henzinger TA, Pinello C, Sangiovanni-Vincentelli A. Logical reliability of interacting real-time tasks Proceedings -Design, Automation and Test in Europe, Date. 909-914. DOI: 10.1109/DATE.2008.4484790  0.88
2007 Ghosal A, Sangiovanni-Vincentelli A, Kanajan S, Urbance R. An initial study on monetary cost evaluation for the design of automotive electrical architectures Sae Technical Papers. DOI: 10.4271/2007-01-1273  0.88
2006 Ghosal A, Sangiovanni-Vincentelli A, Kirsch CM, Henzinger TA, Iercan D. A hierarchical coordination language for interacting real-time tasks Ieee International Conference On Embedded Software, Emsoft 2006. 132-141. DOI: 10.1145/1176887.1176907  0.88
2005 Ghosal A, Zavala J JC, Sanvido MAA, Hedrick JK. Implementation of AFR controller in an event-driven real-time language Proceedings of the American Control Conference. 7: 4428-4433.  0.88
2004 Ghosal A, Henzinger TA, Kirsch CM, Sanvido MAA. Event-driven programming with logical execution times Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2993: 357-371.  0.88
Show low-probability matches.