Search results

• Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures, Mark McKelvin, Alberto Sangiovanni-Vincentelli, SAE World Congress and Exhibition 2009, April, 2009
• Single and Multi-CPU Performance Modeling for Embedded Systems (Dissertation Talk), Trevor Meyerowitz, 26, February, 2008
• CHIC: Checking Interface Compatibility, Dirk Beyer, Arindam Chakrabarti, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Cindy Song, UC Berkeley, December, 2007
• A Framework for Compositional Design and Analysis of Systems, Arindam Chakrabarti, UC Berkeley, December, 2007
• An Application of Web-Service Interfaces, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit Seshia, IEEE International Conference on Web Services (ICWS) 2007, IEEE Computer Society Press, 831-838, July, 2007
• A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Gang Zhou, Man-Kit Leung, Edward A. Lee, Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et al., 786-799, May, 2007
• Group pursuit policies for UUVs using nonlinear model predictive control and reachable sets, Jongho Lee, J. Mikael Eklund, Shankar Sastry, May, 2007
• Synthesis of task and message activation models in real-time distributed automotive systems, wei zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni-Vincentelli, Design, Automation and Test in Europe, April, 2007
• Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems, Alex A. Kurzhanskiy, Pravin Varaiya, IEEE Transactions Automatic Control, 52, 1, 26-38, 2007
• Unsupervised Segmentation of Natural Images via Lossy Data Compression, Allen Yang, John Wright, Shankar Sastry, Yi Ma, University of California, Berkeley, UCB/EECS-2006-195, December, 2006
• Multiple Targets: Pursuing and Monitoring, Jongho Lee, J. Mikael Eklund, Shankar Sastry, 4, October, 2006
• A Causality Interface for Deadlock Analysis in Dataflow, Ye Zhou, Edward A. Lee, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi, ACM, 44-52, October, 2006
• An Overlap-based MILP Formulation for Task Allocation and Scheduling, Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore, Alberto Sangiovanni-Vincentelli, submitted, October, 2006
• Strategy Improvement for Stochastic Rabin and Streett Games, Krishnendu Chatterjee, Tom Henzinger, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns, 375-389, August, 2006
• A Semantic-Driven Synthesis Flow for Platform-Based Design, Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli, submitted to Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), July, 2006
• Functional Model Exploration for Multimedia Applications via Algebraic Operators, Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto Sangiovanni-Vincentelli, ACSD 2006 - Sixth International Conference on Application of Concurrency to System Design, 229-238, June, 2006
• Design Space Exploration of Automotive Platforms in Metropolis, Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan, Claudio Pinello, Society of Automotive Engineers Congress, April, 2006
• Concurrent Embedded Design for Multimedia: JPEG encoding on Xilinx FPGA Case Study, Jike Chong, Abhijit Davare, Kelvin Lwin, UC Berkeley, April, 2006
• An Interface Algebra for Real-time Components, Tom Henzinger, Slobodan Matic, Proceedings of RTAS 2006, 253-263, April, 2006
• A Platform-based Design Flow for Kahn Process Networks, Abhijit Davare, Qi Zhu, Alberto Sangiovanni-Vincentelli, UC Berkeley, 2006-30, March, 2006
• On the Partitioning of Syntax and Semantics For Hybrid Systems Tools, Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry, 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), IEEE Controls Society, 4694-4699, December, 2005
• Trading End-to-End Latency for Composability, Slobodan Matic, Tom Henzinger, Proceedings of RTSS 2005, 99-110, December, 2005
• Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems, Elaine Cheong, Jie Liu, Feng Zhao, 15, November, 2005
• Online Safety Calculations for Glideslope Recapture, Jonathan Sprinkle, Aaron Ames, J. Mikael Eklund, Ian Mitchell, Shankar Sastry, Innovations in Systems and Software Engineering, 1, 2, 157-175, September, 2005
• JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study, Abhijit Davare, Qi Zhu, John Moondanos, Alberto Sangiovanni-Vincentelli, ESTIMedia 2005: 3rd Workshop on Embedded Systems for Real-time Multimedia, September, 2005
• An Interface Formalism for Web Services, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Foundations of Interface Technologies (FIT), 2005, August, 2005
• Simulation Based Deadlock Analysis for System Level Designs, Xi Chen, Abhijit Davare, Harry Hsieh, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe, 42nd Annual Design Automation Conference, 260-265, June, 2005
• Composable Code Generation for Distributed Giotto, Tom Henzinger, Christoph Kirsch, Slobodan Matic, Proceedings of LCTES 2005, 21-30, June, 2005
• Web Service Interfaces, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Proceedings of the 14th World Wide Web Conference (WWW) 2005, 148-159, May, 2005

Found 29 publications.