Search results

• Observability of Hybrid Systems and applications to ATM, Alessandro D'Innocenzo, 6, December, 2005
• Achievable Bisimilar Behaviours of Abstract State Systems, Giordano Pola, Arjan J. van der Schaft, Maria D. Di Benedetto, 6, December, 2005
• Semantic Foundation of the Tagged Signal Model, Xiaojun Liu, University of California, Berkeley, December, 2005
• Semi-perfect Information Games, Krishnendu Chatterjee, Tom Henzinger, FSTTCS, December, 2005
• Sufficient Conditions for the Existence of Zeno Behavior, Aaron Ames, Alessandro Abate, Shankar Sastry, IEEE Conference on Decision and Control, December, 2005
• Trading End-to-End Latency for Composability, Slobodan Matic, Tom Henzinger, Proceedings of RTSS 2005, 99-110, December, 2005
• 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
• Approximation Metrics for Discrete, Continuous and Hybrid Systems, Antoine Girard, George Pappas, 29, November, 2005
• Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems, Elaine Cheong, Jie Liu, Feng Zhao, 15, November, 2005
• Programmable Internet Environment (PIE), Sinisa Srbljic, 8, November, 2005
• Viptos 5.1-alpha, Elaine Cheong, Christopher Brooks, Edward A. Lee, UC Berkeley, 1, November, 2005
• A Simplified Catalytic Converter Model for Automotive Coldstart Control Applications, Pannag R Sanketi, Karl Hedrick, Tomoyuki Kaga, Proceedings of 2005 ASME International Mechanical Engineering Congress and Exposition (IMECE2005), November, 2005
• Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Elaine Cheong, Edward A. Lee, Yang Zhao, Proceedings of the Third ACM Conference on Embedded Networked Sensory Systems, ACM, November, 2005
• Reasoning about Timed Systems Using Boolean Methods, Sanjit Seshia, Randal Bryant, Kenneth Stevens, 11, October, 2005
• HyVisual 5.0.1, Haiyang Zheng, Christopher Brooks, Edward A. Lee, Jie Liu, Xiaojun Liu, Stephen Neuendorffer, UC Berkeley, 7, October, 2005
• Ptolemy II 5.0.1, Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Gang Zhou, Ye Zhou, UC Berkeley, 5, October, 2005
• Building Unreliable Systems out of Reliable Components: The Real Time Story, Edward A. Lee, EECS Dept., University of California, Berkeley, 5, October, 2005
• Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems, Aaron Ames, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Workshop on Networked Embedded Sensing and Control, October, 2005
• Verifying Quantitative Properties Using Bound Functions, Arindam Chakrabarti, Krishnendu Chatterjee, Tom Henzinger, Orna Kupferman, Rupak Majumdar, CHARME, 50--64, October, 2005
• Homogenous Semantic Preserving Deployments of Heterogenous Networks of Embedded Systems, Aaron Ames, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Workshop on Networked Embedded Sensing and Control, October, 2005
• 5th OOPSLA Workshop on Domain-Specific Modeling (DSM'05), Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, Computer Science and Information System Reports, Technical Reports, TR-36, University of Jyväskylä, Finland, October, 2005
• Building Unreliable Systems out of Reliable Components, Edward A. Lee, 23, September, 2005
• Counting Interface Automata and their Application in Static Analysis of Actor Models, E. Wandeler, J. W Janneck, E. A. Lee, L. Thiele, 3rd International Conference on Software Engineering and Formal Methods - SEFB 2005, SEFM 2005, September, 2005
• Using Dependent Types to Certify the Safety of Assembly Code, Matthew Harren, George Necula, Static Analysis Symposium (SAS), Springer-Verlag LNCS, 155-170, September, 2005
• Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living, J. Mikael Eklund, Thomas Riisgaard Hansen, Jonathan Sprinkle, Shankar Sastry, 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), 3931-3934, September, 2005
• Quantifying similarities between timed systems., Tom Henzinger, Rupak Majumdar, Vinayak Prabhu, Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science 3829, Springer, 2005, 226-241, September, 2005
• Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems, Jie Liu, Elaine Cheong, Feng Zhao, 5th ACM Conference on Embedded Software (EMSOFT 2005), EMSOFT '05, 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 automated exploration framework for FPGA-based soft multiprocessor systems, Yujia Jin, Nadathur Satish, Kaushik Ravindran, Kurt Keutzer, Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis CODES+ISSS '05, ACM Press, 273 - 278, September, 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
• Two-player Nonzero-sum \omega-Regular Games, Krishnendu Chatterjee, CONCUR, August, 2005
• An FPGA-Based Soft Multiprocessor System for IPv4 Packet Forwarding, Kaushik Ravindran, Nadathur Satish, Yujia Jin, Kurt Keutzer, Proceedings of the 15th International Conference on Field Programmable Logic and Applications (FPL-05), 487-492, August, 2005
• Computing Inverse MEG Signals in the Brain, J. Mikael Eklund, Ruzena Bajcsy, Jonathan Sprinkle, Gregory V. Simpson, 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 332-335, August, 2005
• Causality Interfaces and Compositional Causality Analysis, Edward A. Lee, Haiyang Zheng, Ye Zhou, Foundations of Interface Technologies (FIT), CONCUR 2005, ENTCS TBD, August, 2005
• An Interface Formalism for Web Services, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Foundations of Interface Technologies (FIT), 2005, August, 2005
• PtPlot 5.5, Edward A. Lee, Christopher Brooks, UC Berkeley, 28, July, 2005
• Ptolemy II 5.0, Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Gang Zhou, Ye Zhou, UC Berkeley, 21, July, 2005
• Dynamic Surface Control of Engine Exhaust Hydrocarbons and Catalyst Temperature for Reduced Coldstart Emissions, Pannag R Sanketi, Carlos Zavala, Karl Hedrick, Proc. of International Federation of Automatic Control (IFAC) Conference, July, 2005
• The Design and Application of Structured Types in Ptolemy II, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, lizhi zhong, IEEE Int. Conf. on Granular Computing, Grc 2005, July, 2005
• Heterogeneous Concurrent Modeling and Design in Java, (Volume 1, Introduction to Ptolemy II), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, EECS Dept., UC Berkeley, 21, July, 2005
• Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, EECS Dept., UC Berkeley, 22, July, 2005
• Heterogeneous Concurrent Modling and Design in Java (Volume 3: Ptolemy II Domains), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, EECS Dept., UC Berkeley, 23, July, 2005
• HyVisual: A Hybrid System Visual Modeler, Christopher Brooks, Adam Cataldo, Edward A. Lee, Jie Liu, Xiaojun Liu, Stephen Neuendorffer, Haiyang Zheng, EECS Dept., UC Berkeley, July, 2005
• VisualSense: Visual Modeling for Wireless and Sensor Network Systems, Phillip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao, EECS Dept., UC Berkeley, 25, July, 2005
• Counterexample-guided Planning, Krishnendu Chatterjee, Tom Henzinger, Ranjit Jhala, Rupak Majumdar, UAI, July, 2005
• The Complexity of Stochastic Rabin and Streett Games, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, ICALP, July, 2005
• Implementation of AFR Controller in an Event-driven Real Time Language, Arkadeb Ghosal, Carlos Zavala, Marco Sanvido, Karl Hedrick, 2005 American Control Conference, June, 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
• Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft, J. Mikael Eklund, Jonathan Sprinkle, Shankar Sastry, Proceedings of American Control Conference (ACC) 2005, 1509-1514, June, 2005
• Deciding to Land a UAV Safely in Real Time, Jonathan Sprinkle, J. Mikael Eklund, Shankar Sastry, Proceedings of American Control Conference (ACC) 2005, 3506-3511, June, 2005
• Mean-Payoff Parity Games, Krishnendu Chatterjee, Tom Henzinger, Marcin Jurdzinski, LICS 05, June, 2005
• Composable Code Generation for Distributed Giotto, Tom Henzinger, Christoph Kirsch, Slobodan Matic, Proceedings of LCTES 2005, 21-30, June, 2005
• Nonlinear Control Techniques to Reduce Automotive SI Engine Coldstart Hydrocarbon Emissions, Pannag R Sanketi, University of California at Berkeley, May, 2005
• Web Service Interfaces, Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Proceedings of the 14th World Wide Web Conference (WWW) 2005, 148-159, May, 2005
• Distributed Group-Based Vibration Control with a Networked Embedded System, Ken Frampton, Journal of Smart Materials and Structures, 14, 2, April, 2005
• The Operational Semantics of Hybrid Systems, Edward A. Lee, 9, March, 2005
• Reusable Idioms and Patterns in Graph Transformation Languages, A. Agrawal, Z.. Narayanan, F. Shi, A. Vizhanyo, G. Karsai, International Conference on Graph Transformations, Electronic Notes in Theoretical Computer Science (ENTCS), March, 2005
• Operational Semantics of Hybrid Systems, Edward A. Lee, Haiyang Zheng, Invited paper in Hybrid Systems: Computation and Control (HSCCS), 25-53, March, 2005
• Embedded Software: Building the Foundations, Edward A. Lee, 10, February, 2005
• New Congestion Control Schemes over Wireless Networks: Stability Analysis, M. Chen, A. Abate, S. Sastry, Proc. 16th IFAC World Congress, Prague, CZ, Jul. 2005, 2005
• New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations, A. Abate, M. Chen, S. Sastry, Proc. 16th IFAC World Congress, Prague, CZ, Jul. 2005, 2005
• A Jump to the Bell Number for Hereditary Graph Properties, J. Balogh, B. Bollobas, D. Weinreich, Journal of Combinatorial Theory B, 95, 29-48, 2005

Found 62 publications.