Publications

(Bibliography Listing on: DBLP, Google Scholar)

Books/Chapters

[B3] Qi Zhu, Abhijit Davare , "Mapping in Platform-based Design: Deploying Functionality onto Architecture at the ESL ", LAP Lambert, June 2010.

[B2] Felice Balarin, Massimiliano D'Angelo, Abhijit Davare , Douglas Densmore, Trevor Meyerowitz, Roberto Passerone, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Alena Simalatsar, Yosinori Watanabe, Guang Yang, Qi Zhu, edited by G. Nicolescu and P. Mosterman, "Platform-Based Design and Frameworks: Metropolis and Metro II" in "Model-Based Design of Heterogeneous Embedded Systems", CRC Press, January 2009.

[B1] Douglas Densmore, Abhijit Davare , "A Platform-Based Design Methodology for the Electronic System Level ", VDM Verlag Press, July 2008.

Journals

[J6] P Deng, Q Zhu, A Davare, A Mourikis, X Liu, M Di Natale, "An efficient control-driven period optimization algorithm for distributed real-time systems," IEEE Transactions on Computers, 65(12), 3552-3566, 2016.

[J5] Abhijit Davare , Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu, "MetroII: A Design Environment for Cyber-Physical Systems," IEEE Transactions on Embedded Computing Systems, 12(1s): 49, 2013.

[J4] Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare , Alberto Sangiovanni-Vincentelli, Yosinori Watanabe, "Runtime Deadlock Analysis for System Level Design," Design Automation for Embedded Systems, July 2009.

[J3] Farinaz Koushanfar, Abhijit Davare, David Nguyen, Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, "Techniques for Maintaining Connectivity in Wireless Ad-hoc Networks Under Energy Constraints," ACM Transactions on Embedded Systems (TECS), July 2007.

[J2] Mark Kahrs, Steven P. Levitan, Donald M. Chiarulli, Timothy P. Kurzweg, Jose A. Martinez, Jason Boles, Abhijit J. Davare, Ethan Jackson, Craig Windish, Fouad Kiamilev, Amitava Bhaduri, Mohammad Taufik, Xingle Wang, Arthur S. Morris III, James Kruchowski and Barry K. Gilbert. "System-level Modeling and Simulation of the 10G Optoelectronic Interconnect," IEEE Journal of Lightwave Technology, 2003.

[J1] Steven P. Levitan, Jose A. Martinez, Timothy P. Kurzweg, Abhijit J. Davare, Mark Kahrs, Michael Bails. "System Simulation of Mixed-signal Multi-domain Microsystems with Piecewise Linear Models," IEEE Transactions on Computer-Aided Design, Special Issue on Behavioral Modeling and Simulation of Mixed-Signal/Mixed-Technology Circuits and Systems, February 2003.

Conferences/Workshops

[C16] Peng Deng, Anastasios Mourikis, Qi Zhu, Xue Liu, Abhijit Davare , Marco Di Natale, "WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems," ICCPS 2014: 215.

[C15] Douglas Densmore, Alena Simalatsar, Abhijit Davare , Roberto Passerone, Alberto Sangiovanni-Vincentelli, "UMTS MPSoC Design Evaluation Using a System Level Design Framework," Design Automation and Test Europe, Nice, France, April 2009.

[C14] Qi Zhu, Abhijit Davare , Alberto Sangiovanni-Vincentelli, "A Formal Approach for Optimizing Mapping in System Level Design", TECHCON 2008, Austin, TX, September, 2008.

[C13] Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli. "Period Optimization for Hard Real-time Distributed Automotive Systems," IEEE/ACM Design and Automation Conference (DAC'07), San Diego, CA, June 4-8, 2007. (Best Paper Award) (Mentioned in: Spotlight on Automotive Electronics, DAC April 2007 Newsletter, April 4, 2007 and 44th Design Automation Conference (DAC) Awards Best Paper Honors, June 20, 2007)

[C12] Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu. "A Next-Generation Framework for Platform-based Design," Design and Verification Conference (DV-CON), San Jose, CA, February 21-23, 2007. (Invited Paper)

[C11] Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli. "A Semantic-Driven Synthesis Flow for Platform-Based Design," Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), Napa, CA, July 27-29, 2006.

[C10] Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto Sangiovanni-Vincentelli, "Functional Model Exploration for Multimedia Applications via Algebraic Operators," ACSD 2006 - Sixth International Conference on Application of Concurrency to System Design 2006 (Turku, Finland, June 26 - 30, 2006).

[C9] Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan, Claudio Pinello. "Design Space Exploration of Automotive Platforms in Metropolis," In Proceedings of Society of Automotive Engineers Congress 2006 (Detroit, Michigan, USA, April 4 - 7, 2006).

[C8] Abhijit Davare, Qi Zhu, John Moondanos, Alberto Sangiovanni-Vincentelli. "JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study," ESTIMedia 2005: 3rd Workshop on Embedded Systems for Real-time Multimedia, Sep. 22-23, 2005

[C7] Xi Chen, Abhijit Davare, Harry Hsieh, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe. "Simulation Based Deadlock Analysis for System Level Designs," In Proceedings of the 42nd Annual Conference on Design Automation (San Diego, California, USA, June 13 - 17, 2005). DAC '05. ACM Press, New York, NY, 260-265.

[C6] Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto Sangiovanni-Vincentelli. "The Best of Both Worlds: The Efficient Asynchronous Implementation of Synchronous Specifications," In Proceedings of the 41st Annual Conference on Design Automation (San Diego, CA, USA, June 07 - 11, 2004). DAC '04. ACM Press, New York, NY, 588-591. (Mentioned in: Papers from 41st DAC reveal vendors' R&D, EETimes, July 12, 2004)

[C5] Farinaz Koushanfar, Abhijit Davare, David Tong Nguyen, Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli. "Distributed Localized Algorithms and Protocols for Power Minimization in Networked Embedded Systems," In Proceedings of the 2003 international Symposium on Low Power Electronics and Design (Seoul, Korea, August 25 - 27, 2003). ISLPED '03. ACM Press, New York, NY, 475-480.

[C4] David Tong Nguyen, Abhijit Davare, David Chinnery, Brandon Thompson, Michael Orshansky, Kurt Keutzer. "Minimization of Dynamic and Static Power through Joint Assignment of Threshold Voltages and Sizing Optimization," In Proceedings of the 2003 international Symposium on Low Power Electronics and Design (Seoul, Korea, August 25 - 27, 2003). ISLPED '03. ACM Press, New York, NY, 158-163.

[C3] Mark Kahrs, Steven Levitan, Donald Chiarulli, Timothy Kurzweg, Jose Martinez, Jason Boles, Abhijit Davare, Ethan Jackson, Craig Windish, Fouad Kiamilev, Amit Bhaduri, Muhammad Taufik, Xingle Wang, Arthur Morris, III, Joseph Repke, James Kruchowski, Barry Gilbert. "Signal Integrity evaluation of a 10 Gbit/sec Optoelectronic interconnect," IEEE International Microwave Symposium 2003, Philadelphia, PA, June 8 - 13, 2003 .

[C2] J.A. Martinez, T.P. Kurzweg, S.P. Levitan, A.J. Davare, M. Kahrs and D.M. Chiarulli. "System Level Simulation of Mixed-signal Multi-domain Microsystems with Piecewise Linear Behavioral Models," NanoTech 2003, San Francisco CA, February 23 - 27, 2003.

[C1] T. P. Kurzweg, S. P. Levitan, J. A. Martinez, A. J. Davare, M. Kahrs, D. M. Chiarulli. "System Simulation of a GLV Projection System," SPIE Photonics West, Micromachining and Microfabrication, San Jose CA, January 25 - 31, 2003.

Technical Reports

[T6] Douglas M. Densmore, Trevor C. Meyerowitz, Abhijit Davare, Qi Zhu, and Guang Yang, "Metro II Execution Semantics for Mapping," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-16, February 18, 2008.

[T5] Abhijit Davare, "Automated Mapping for Heterogeneous Multiprocessor Embedded Systems," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-115, September 7, 2007.

[T4] Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore, Alberto Sangiovanni-Vincentelli. "Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2006-166, December 11, 2006.

[T3] Jike Chong, Abhijit Davare, Kelvin Lwin. "Concurrent Embedded Design for Multimedia: JPEG encoding on Xilinx FPGA Case Study," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2006-40, April 16, 2006.

[T2] Abhijit Davare, Qi Zhu, Alberto Sangiovanni-Vincentelli. "A Platform-based Design Flow for Kahn Process Networks," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2006-30, March 2006.

[T1] Abhijit Davare, Douglas Densmore, Vishal Shah, Haibo Zeng. "A Simple Case Study in Metropolis," EECS Department, University of California, Berkeley, UCB/ERL Technical Memorandum M04/37, September 2004.