Search results

• Behavioral Types as Interface Definitions, Edward A. Lee, 12, October, 2003
• Are "Embedded Systems" Just Systems Made with Small Computers?, Edward A. Lee, 11, October, 2003
• Embedded Software Challenges for the Next 10 Years, Edward A. Lee, 29, September, 2003
• Design Languages in 2010, Edward A. Lee, 26, September, 2003
• Model-Driven Development, From Object-Oriented Design to Actor-Oriented Design, Edward A. Lee, 24, September, 2003
• Sharp thresholds in Bootstrap Percolation, Jozef Balogh, Bela Bollobas, Physica A: Statistical Mechanics and its Applications, 326, 3-4, 305-312, August, 2003
• A behavioral type system and its application in Ptolemy II, Edward A. Lee, Yuhong Xiong, Formal Aspects of Computing, 16, 3, 210 - 237, August, 2003
• HyVisual: A Hybrid System Visual Modeler, Christopher Hylands, Edward A. Lee, Jie Liu, Xiaojun Liu, Stephen Neuendorffer, Haiyang Zheng, University of California, Berkeley, UCB/ERL M03/30,, July, 2003
• Self Adaptive Software for Fault Adaptive Control, G. Biswas, G. Simon, G. Karsai, S. Abdelwahed, N. Mahadevan, T. Szemethy, J. Ramirez, G. Peceli, Third Intl. Workshop on Self-Adaptive Software, June, 2003
• Debugging Temporal Specifications with Concept Analysis, Glenn Ammons, David Mandelin, Rastislav Bodik, James Larus, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June, 2003
• Model-Integrated Computing Infrastructure for Fault Management, Janos Sztipanovits, June, 2003
• Embedded Systems for the Distributed Structural Acoustic Control in a Launch Vehicle Payload Fairing, Ken Frampton, Invited to the special session on Interior Noise in Aircraft and Rocket Fairings, Acoustical Society of America Meeting, Nashville TN, May, 2003
• Re-Architecting System Science in Engineering Education, Edward A. Lee, 1, March, 2003
• Decentralized Vibration Control with Networked Embedded Systems, T. Tao, K. Frampton, ASME 2004 International Mechanical Engineering Congress and Exposition (IMECE2004), 41-46, March, 2003
• Center for Hybrid and Embedded Software Systems, Edward A. Lee, 27, February, 2003
• Schedule Carrying Code, Tom Henzinger, Christoph Kirsch, Slobodan Matic, Proc. EMSOFT, LNCS 2855, 241-256, 2003
• Counterexample-Guided Control, Tom Henzinger, Ranjit Jhala, Rupak Majumdar, Proc. 30th Int. Colloquium on Automata, Languages, and Programming (ICALP), volume 2719 of LNCS, 886-902, 2003
• Discounting the Future in Systems Theory, Luca de Alfaro, Tom Henzinger, Rupak Majumdar, Proc. of the 30th International Colloquium on Automata, Languages, and Programming (ICALP), 2003
• The Element of Surprise in Timed Games, Luca de Alfaro, Marco Faella, Tom Henzinger, Rupak Majumdar, CONCUR 2003 - Concurrency Theory, 144-158, 2003
• Stack Size Analysis for Interrupt-driven Programs, Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Tom Henzinger, Jens Palsbert, Proceedings of the 10th international conference on Static analysis (SAS'03), 2003
• Simple Stochastic Parity Games, Krishnendu Chatterjee, Marcin Jurdzinski, Tom Henzinger, In Proceedings of the International Conference for Computer Science Logic (CSL), 100-113, 2003
• NP-Click: A Programming Model for the Intel IXP1200, Niraj Shah, William Plishker, Kurt Keutzer, Proc. Of 2nd Workshop on Network Processors (NP-2), 9th International Symposium on High Performance Computer Architectures (HPCA), P. Crowley, M. Franklin, H. Hadimioglu, P. Onufryk, 181-201, 2003
• Model-Based Fault-Adaptive Control of Complex Dynamic Systems, Simon Gyula, Gabor Karsai, Gautam Biswas, Sherif Abdelwahed, Nagabhushan Mahadevan, Tivadar Szemethy, Gabor Peceli, Tamas Kovacshazy, Instrumentation and Measurement Technology Conference, 2003. IMTC '03. Proceedings of the 20th IEEE, 176 - 181, 2003
• Multicoloured extremal problems, Bela Bollobas, Peter Keevash, Journal of Combinatorial Theory, Series A 107, 2003
• Directed Scale-free Graph, Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan, Proc. 14th ACM-SIAM Symposium on Discrete Algorithms, 132-139, 2003
• Degree Distribution of the FKP Network Model, Noam Berger, Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan, ICALP 2003 International Colloquium on Automata, Languages and Programming, 306-316, 2003
• Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment, Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli, Lecture Notes in Computer Science, 2003, Volume 2855/2003, 35-50, 2003
• An End-to-End Domain-Driven Development Framework, A. Agrawal, G. Karsai, A. Ledeczi, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, ACM, 8-15, 2003
• Constraint-Based Design-Space Exploration and Model Synthesis, S. Neema, J. Sztipanovits, G. Karsai, Embedded Software Lecture Notes in Computer Science, Volume 2855/2003, 290-305, 2003
• Structure and Interpretation of Signals and Systems, Edward A. Lee, Pravin Varaiya, Addison-Wesley, 2003
• On the Use of Graph Transformations for the Formal Specification of Model Interpreters, G. Karsai, A. Agrawal, F. Shi, J. Sprinkle, Journal of Universal Computer Science, 9, 1296-1321, 2003
• Max Cut for random graphs with a planted partition, Bela Bollobas, Combinatorics, Probability and Computing, 13, 4-5, 2003
• Coupling Scale-free and Classical Random Graphs, B. Bollobas, A.D. Scott, Internet Math, 14, 2, 215-225, 2003
• Interpreter Writing using Graph Transformations, A. Agrawal, G. Karsai, F. Shi, Institute for Software Integrated Systems, ISIS-03-401, 2003
• Taming heterogeneity - the Ptolemy approach, Johan Eker, Jorn W Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Sonia Sachs, Yuhong Xiong, Stephen Neuendorffer, Proceedings of the IEEE, 91, 1, 127-144, 2003
• Chess Project Proposal, Shankar Sastry, The Chess Center, 2003

Found 36 publications.