Chess Talks and presentations

Chess Publications

The following links contain papers by Chess faculty and students.

Publications of Principal Investigators

Professor Thomas Henzinger's Publications, (UC Berkeley, EECS)

Professor Edward A. Lee's Publications, (UC Berkeley, EECS)

Professor Alberto Sangiovanni-Vincentelli's Papers

Professor Shankar Sastry's Publications, (UC Berkeley, EECS)

Professor Janos Sztipanovits, (Vanderbilt, Electrical and Computer Engineering)

Other resources

The Chess ITR Proposal has a number of relevant papers in the bibliography.

UCB EECS Department Publications

Team for Research in Ubiquitous Secure Technology (TRUST) Center Publications

Gigascale Silicon Research Center Publications

All Chess papers

2013

Patricia Derler, Edward A. Lee, Martin Torngren, Stavros Tripakis. Cyber-Physical System Design Contracts, ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems, 10, April, 2013.
Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, ACM Transactions on Embedded Computing Systems, 12(3), March 2013.
Marten Lohstroh. Maximally Permissive Composition of Actors in Ptolemy II, Technical report, EECS Department, University of California, Berkeley, March, 2013.
Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee. Error-Completion in Interface Theories, International SPIN Symposium on Model Checking of Software, 2013.

2012

Ilge Akkaya, Yan Liu, Ian Gorton. Modeling and Analysis of Middleware Design for Streaming Power-Grid Applications, to appear in Proceedings of International Middleware Conference (Middleware 2012), 3, December, 2012.
David Broman. High-Confidence Cyber-Physical Co-Design, in the Proceedings of the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012), Thomas Nolte (ed.), 12, December, 2012.
David Broman, Edward A. Lee, Stavros Tripakis, Martin Torngren. Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems, To appear in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 1, October, 2012; (preprint).
Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee. A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance, Proceedings of the 30th IEEE International Conference on Computer Design (ICCD 2012), October, 2012;
(C) Copyright 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Published version: http://dx.doi.org/10.1109/ICCD.2012.6378622 .
Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen. Teaching Embedded Systems the Berkeley Way, Proceedings of the Workshop on Embedded Systems Education (WESE), 11, October, 2012; WESE is a part of Embedded Systems Week (ESWeek), Tampere, Finland.
David Broman, Jeremy G. Siek. Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2012-173, June, 2012.
A. Ghosal, R. Limaye, K. Ravindran, S. Tripakis, A. Prasad, G. G. Wang, T. N. Tran, H. Andrade. Static dataflow with access patterns: semantics and analysis, DAC 2012, 7, June, 2012.
Anil Aswani, Neal Master, Jay Taneja, Virginia Smith, Andrew Krioukov, David Culler, Claire Tomlin. Identifying Models of HVAC Systems Using Semiparametric Regression, 2012 American Control Conference, 28, June, 2012.
Jia Zou, Slobodan Matic, Edward A. Lee. PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems, Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012, April, 2012.
Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Gerald Wang, Hugo Andrade. A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs, IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), Toronto, Canada, 29, April, 2012; Following section 8.1.9 (pg. 56) of the IEEE PSPB Operations Manual we make the following statement: "This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.".
Chris Shaver, Edward A. Lee. The Coroutine Model of Computation, Technical report, University of California Berkeley, April, 2012.
Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann. Multi-View Modeling and Pragmatics in 2020, Position Paper on Designing Complex Cyber-Physical Systems, Proceedings of the 17th International Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT System, to appear., LNCS, 19, March, 2012.
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. Distributed Real-Time Software for Cyber-Physical Systems, Proceedings of the IEEE (special issue on CPS), 100(1):45-59, January 2012.
Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. Modeling Cyber-Physical Systems, Proceedings of the IEEE (special issue on CPS), 100(1):13-28, January 2012.
Eleftherios Matsikoudis, Edward A. Lee. From Transitions to Executions, To appear in Proceedings of the Eleventh Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), 2012.
Eleftherios Matsikoudis, Edward A. Lee. Labelled Execution Systems [DRAFT], Unpublished article, 2012.
Christopher Brooks, Edward A. Lee. Creating Web Pages, Claudius Ptolemaeus (ed.), 348-365, 0.05, Ptolemy Project, 2012; This is a draft chapter for the book "System Design, Modeling, and Simulation," Claudius Ptolemaeus, Editor, Draft Version 0.05, January 7, 2012.
Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee. A Modular Formal Semantics for Ptolemy, Mathematical Structures in Computer Science. Accepted for publication, 2012.
Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Gerald Wang, Hugo Andrade. A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs, IEEE International Symposium on Field-Programmable Custom Computing Machines, 2012.

2011

Slobodan Matic, Ilge Akkaya, Michael Zimmer, John Eidson, Edward A. Lee. PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications, IEEE Conference on Innovative Smart Grid Technologies (ISGT-EUROPE), December, 2011.
Stavros Tripakis, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Gerald Wang, Guang Yang, Jacob Kornerup, Ian Wong. Correct and Non-Defensive Glue Design using Abstract Models, CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 59-68, October, 2011.
Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A. Lee. A Practical Ontology Framework for Static Model Analysis, EMSOFT '11: Proceedings of the Ninth International Conference on Embedded Software, ACM, 23-32, 10, October, 2011.
Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke. Designing next-generation real-time streaming systems (tutorial abstract), CODES+ISSS, ACM, 375-376, October, 2011.
Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis. Time-predictable and composable architectures for dependable embedded systems, Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (CODES+ISSS '11), ACM, 351-352, October, 2011.
Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee. PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation, CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 99-108, October, 2011.
Slobodan Matic. Integrated Architecture and Programming Model for Distribution and Microgrid Automation, Unpublished article, August, 2011; Idea submission to Siemens Smart Grid Innovation Contest (https://www.smartgridcontest.com/start.php). This idea shared 3rd prize.
Jeff C. Jensen, Danica Chang, Edward A. Lee. A Model-Based Design Methodology for Cyber-Physical Systems, Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th International, 1666 - 1671, 6, July, 2011.
Dai Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke. Temporal Isolation on Multiprocessing Architectures, Design Automation Conference (DAC), 274 - 279, June, 2011.
Janette Cardoso, Patricia Derler, John Eidson, Edward A. Lee. Network Latency and Packet Delay Variation in Cyber-physical Systems, 2011 IEEE 1st International Workshop on Network Science (NSW 2011) West Point, NY, IEEE, 23, June, 2011.
Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia. An Introductory Capstone Design Course on Embedded Systems, In Proceedings of Circuits and Systems (ISCAS), 2011 IEEE International Symposium on, 1199-1202, May, 2011.
Rémi BARRERE, eric lenormand, Dai Bui, Edward A. Lee, Chris Shaver, Stavros Tripakis. An Introduction to the Pthales Domain of Ptolemy II, Technical report, EECS Department University of California, Berkeley, UCB/EECS-2011-32, April, 2011.
Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A. Lee. A Practical Ontology Framework for Static Model Analysis, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2011-33, April, 2011; Following section 8.1.9 (pg. 56) of the IEEE PSPB Operations Manual we make the following statement: "This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.".
Marc Geilen, Stavros Tripakis, Maarten Wiggers. The Earlier the Better: A Theory of Timed Actor Interfaces, Proceedings of the 14th international conference on Hybrid systems: computation and control (HSCC 11), ACM, 23-32, April, 2011.
Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. Addressing Modeling Challenges in Cyber-Physical Systems, Technical report, EECS Department University of California, Berkeley, UCB/EECS-2011-17, March, 2011.
Edward A. Lee, Alberto Sangiovanni-Vincentelli. Component-Based Design for the Future, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011, 1-5, 14, March, 2011.
Daniel Grund, Jan Reineke, Reinhard Wilhelm. A Template for Predictability Definitions with Supporting Evidence, Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm (eds.), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 22-31, March, 2011.
Edward A. Lee, Pravin Varaiya. Structure and Interpretation of Signals and Systems, Lee and Varaiya, 2.01, 2011; http://LeeVaraiya.org.
Christopher Brooks. My Thesis, The Proceedings, 2011; This is a private document for demonstration purposes only.
Edward A. Lee, Sanjit A. Seshia. Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Published by authors, First Edition, 2011, 978-0-557-70857-4; Solutions are available at http://chess.eecs.berkeley.edu/instructors/".
Patricia Derler, John Eidson, Edward A. Lee, Slobodan Matic, Michael Zimmer. Model-Based Development of Deterministic, Event-Driven, Real-Time Distributed Systems, International Workshop on Model-Based Design with a Focus on Extra-Functional Properties (MBDEFP), 2011.

2010

Michael J. May, Edward A. Lee, Lindsay E. Jones. Strategic Directions in Software At Scale, Technical report, Office of Information Systems & Cyber Security (ISCS), Office of the Director, Defense Research & Engineering (DDR&E), DDRE-ISCS-2010-1, November, 2010; The presentations from the workshop may be found at http://chess.eecs.berkeley.edu/conferences/10/SDISAS/.
S. Shankar Sastry. CHESS ITR Annual Report 2009-2010: Foundations of Hybrid and Embedded Systems and Software, Technical report, Center for Hybrid and Embedded Software Systems, November, 2010.
Isaac Liu, Jan Reineke, Edward A. Lee. A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties, 44th Asilomar Conference on Signals, Systems, and Computers, 2111-2115, 7, November, 2010.
S. Shankar Sastry. CHESS ITR Final Report 2003-2010: Foundations of Hybrid and Embedded Systems and Software, Technical report, Center for Hybrid and Embedded Software Systems, November, 2010.
Edward A. Lee, Stavros Tripakis. Modal Models in Ptolemy, Proceedings of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2010), 1-11, October, 2010.
Marc Geilen, Stavros Tripakis, Maarten Wiggers. The Earlier the Better: A Theory of Timed Actor Interfaces, Technical report, UC Berkeley, UCB/EECS-2010-130, October, 2010.
John Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. A Time-Centric Model for Cyber-Physical Applications, Proceedings of 3rd International Workshop on Model Based Architecting and Construction of Embedded System (ACESMB 2010), 21-35, October, 2010.
Thomas Huining Feng, Edward A. Lee, Lee W. Schruben. Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems, EMSOFT, ACM Press, 219-228, 24, October, 2010; Conference presentation available at http://chess.eecs.berkeley.edu/pubs/768.html.
Edward A. Lee. Disciplined Heterogeneous Modeling, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS), D.C. Petriu, N. Rouquette, O. Haugen (eds.), LNCS 6395, Springer-Verlag, 273-287, 3, October, 2010.
Edward A. Lee, Sanjit A. Seshia. An Introductory Textbook on Cyber-Physical Systems, Peter Marwedel, Jeff Jackson , Kenneth G. Ricks (eds.), ACM, October, 2010; WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education .
Martin Schoeberl, Christopher Brooks, Edward A. Lee. Code Generation for Embedded Java with Ptolemy, Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), October, 2010.
Alvaro Cardenas, Svetlana Radosavac, Jens Grossklags, John Chuang, Chris Hoofnagle. An Economic Map of Cybercrime, The 37th Research Conference on Communication, Information and Internet Policy (TPRC) 2009, George Mason University Law School, Arlington, VA, September, 2010.
Anil Aswani, Keranen Soile VE, James Brown, Charless C Fowlkes, David W Knowles, Mark D Biggin, Peter Bickel, Claire Tomlin. Nonparametric identification of regulatory interactions from spatial and temporal gene expression data, BMC Bioinformatics, 413(11), August 2010.
Dai Bui, Hiren D. Patel, Edward A. Lee. Deploying Hard Real-time Control Software on Chip-multiprocessors, 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), August, 2010; http://dx.doi.org/10.1109/RTCSA.2010.43.
Sleiman Itani, J Gray, Claire Tomlin. An ODE Model for the HER2/3-AKT Signaling Pathway in Cancers that Overexpress HER2, American Control Conference (ACC), 30, July, 2010.
Daniel Grund, Jan Reineke. Toward Precise PLRU Cache Analysis, Proceedings of 10th International Workshop on Worst-Case Execution Time (WCET) Analysis, Bjoern Lisper (ed.), 28-39, July, 2010.
Edward A. Lee. CPS Foundations, Proc. of the 47th Design Automation Conference (DAC), ACM, 737-742, June, 2010.
Jens Grossklags, Svetlana Radosavac, Alvaro Cardenas, John Chuang. Nudge: Intermediaries Role in Interdependent Network Security, 3rd International Conference on Trust and Trustworthy Computing (TRUST 2010), Berlin, Germany, June, 2010.
Stavros Tripakis, Christos Stergiou, Roberto Lublinerman. Checking Non-Interference in SPMD Programs, 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar 2010), 1-6, June, 2010.
Stavros Tripakis, Dai Bui, Marc Geilen, Bert Rodiers, Edward A. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Technical report, UC Berkeley, UCB/EECS-2010-52, May, 2010; To appear in ACM Transactions on Embedded Computing Systems (TECS).
Kyungmin Bae, Peter Olveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis. Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude, Technical report, UC Berkeley, UCB/EECS-2010-50, May, 2010.
Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee. A Theory of Synchronous Relational Interfaces, Technical report, UC Berkeley, UCB/EECS-2010-45, April, 2010; Published in ACM Transactions on Programming Languages and Systems (TOPLAS). Vol. 33, Issue 4, July 2011.
Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs (Poster Abstract), ACM/IEEE First International Conference on Cyber-Physical Systems, Raj Rajkumar (ed.), April, 2010.
Stefan Resmerita, Patricia Derler, Edward A. Lee. Modeling and Simulation of Legacy Embedded Systems, Technical report, UC Berkeley, EECS-2010-38, April, 2010.
Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden. SYNCHRON 2009, Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider and Reinhard von Hanxleden (eds.), Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 1, 2010, 978-3-642-16276-3.
Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz. Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science, Springer, 6100, 2010.
Anil Aswani, Peter Bickel, Claire Tomlin. Regression on Manifolds: Estimation of the Exterior Derivative, Annals of Statistics, 2010; To appear.
Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong. The Design and Application of Structured Types in Ptolemy II, International Journal of Intelligent Systems, 25(2):118-136, 2010.
Anil Aswani, Claire Tomlin. Computer-Aided Drug Discovery for Pathway and Genetic Diseases, Unpublished article, 2010.
Milosh Drezgich, S. Shankar Sastry. Matrix Multiplicative Weights and Non-Zero Sum Games, 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, 2010; Submitted.
Milosh Drezgich, S. Shankar Sastry. On the NP in BQP, Unpublished article, 2010.
Edward A. Lee, Sanjit A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Lee and Seshia, 1, 2010, 978-0-557-70857-4.
J. Biermeyer, T. Templeton, C. Berger, H. Gonzalez, N. Naikal, B. Rumpe, S. S. Sastry. Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART), Proceedings des 11. Braunschweiger Symposiums "Automatisierungssysteme, Assistenzsysteme und eingebettete Systeme für Transportmittel", ITS Niedersachsen, Braunschweig, 2010.

2009

Kyungmin Bae, Peter Csaba Olveczky, Thomas Huining Feng, Stavros Tripakis. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude, ICFEM '09: Proceedings of the 11th International Conference on Formal Engineering Methods, 717-736, 9, December, 2009.
Edward A. Lee. Finite State Machines and Modal Models in Ptolemy II, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2009-151, December, 2009.
Anil Aswani, Harendra Guturu, Claire Tomlin. System identiﬁcation of hunchback protein patterning in early Drosophila embryogenesis, Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, 7723-7728, 18, December, 2009.
Todd Templeton. Accurate Real-Time Reconstruction of Distant Scenes Using Computer Vision: The Recursive Multi-Frame Planar Parallax Algorithm, PhD thesis, University of California, Berkeley, December, 2009.
Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee. On Relational Interfaces, Embedded Software (EMSOFT'09), October, 2009.
Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl. A Disruptive Computer Design Idea: Architectures with Repeatable Timing, Proceedings of IEEE International Conference on Computer Design (ICCD), IEEE, 4, October, 2009; Lake Tahoe, CA.
Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee. Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Technical report, UC Berkeley, UCB/EECS-2009-143, October, 2009; Superceded by http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-52.html.
YuLun Huang, Alvaro Cardenas, Saurabh Amin, Song-Zyun Lin , Hsin-Yi Tsai, S. Shankar Sastry. Understanding the Physical and Economic Consequences of Attacks Against Control Systems., International Journal of Critical Infrastructure Protection, 2(3):72-83, October 2009.
Jackie Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles Shelton, Stavros Tripakis, Ben Lickly. Scalable Semantic Annotation using Lattice-based Ontologies, 12th International Conference on Model Driven Engineering Languages and Systems, ACM/IEEE, 393-407, 8, October, 2009; (recipient of the MODELS 2009 Distinguished Paper Award).
Stavros Tripakis. A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis, Runtime Verification (RV'09), LNCS, Springer, 152-167, September, 2009.
Yang Zhao. On the Design of Concurrent, Distributed Real-Time Systems, PhD thesis, University of California, Berkeley, August, 2009.
Alvaro Cardenas, Saurabh Amin, Bruno Sinopoli, Annarita Giani, Adrian Perrig, S. Shankar Sastry. Challenges for Securing Cyber Physical Systems, Workshop on Future Directions in Cyber-physical Systems Security, DHS, 23, July, 2009.
Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer. Classes and inheritance in actor-oriented design, ACM Transactions on Embedded Computing Systems (TECS), 8(4):Article No. 29, July 2009.
Edward A. Lee. Time-Critical Networking - Extended Abstract for Invited Presentation, Proceedings of IEEE Photonics Society Summer Topicals, 20, July, 2009; In Proceedings of IEEE Photonics Society Summer Topicals Newport Beach, CA, July 20-22, 2009. See http://yuba.stanford.edu/conferences/fgn09/index.htm.
Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer. Classes and Inheritance in Actor-Oriented Design, ACM Transactions on Embedded Computing Systems (TECS), 8(4):29-1, July 2009.
Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee. PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice, Languages, Compilers, and Tools for Embedded Systems (LCTES 2009), Dublin, Ireland, Published in ACM SIGPLAN Notices, 44(7), pp. 31-40, 19, June, 2009.
Anil Aswani, Nicholas Boyd, Claire Tomlin. Graph-theoretic topological control of biological genetic networks, ACC 2009, 1700–1705, 10, June, 2009.
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. The Case for Timing-Centric Distributed Software, IEEE International Conference on Distributed Computing Systems Workshops: Workshop on Cyber-Physical Systems, IEEE, 22, June, 2009.
Takashi Nagata, Masayoshi Tomizuka. Robust Engine Torque Control by Iterative Learning Control, Proceedings of the 2009 American Control Conference ACC09, St. Louis, Missouri, 2064-2069, 11, June, 2009.
Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis. Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms, Workshop on Exploiting Concurrency Efficiently and Correctly, May, 2009.
Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee. On Relational Interfaces, Technical report, UC Berkeley, 8, May, 2009.
Timothy McPhillips, Shawn Bowers, Daniel Zinn, Bertram Ludaescher. Scientific Workflow Design for Mere Mortals, Future Generation Computer Systems, 25(5):541-551, May 2009.
Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Gobel. Heterogeneous Composition of Models of Computation, Future Generation Computer Systems, 25(5):552-560, May 2009.
Dai Bui, Alessandro Pinto, Edward A. Lee. On-time Network On-Chip: Analysis and Architecture, Technical report, University of California, Berkeley, UCB/EECS-2009-59, May, 2009.
Thomas Huining Feng. Model Transformation with Hierarchical Discrete-Event Control, PhD thesis, University of California, Berkeley, May, 2009.
Alvaro Cardenas, Tanya Roosta, S. Shankar Sastry. Rethinking Security Properties, Threat Models and the Design Space in Sensor Networks : A case study in SCADA systems, Ad Hoc Networks, pp. in publication, May 2009.
Edward A. Lee. Computing Needs Time, Communications of the ACM, 52(5):70-79, May 2009.
Anil Aswani, Peter Bickel, Claire Tomlin. Statistics for Sparse, High-Dimensional, and Nonparametric System Identification, IEEE ICRA 2009, 2133–2138, 15, May, 2009.
Saurabh Amin, Alvaro Cardenas, S. Shankar Sastry. Safe and Secure Networked Control Systems Under Denial-of-Service Attacks., Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 31-45, 30, April, 2009.
Isaac Liu, Ben Lickly, Hiren D. Patel, Edward A. Lee. Poster Abstract: Timing Instructions - ISA Extensions for Timing Guarantees, IEEE Real-Time and Embedded Technology and Applications Symposium, April, 2009.
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler. Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems, 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009, IEEE Computer Society, 77-86, April, 2009; The published version can also be found at: http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39.
Mark McKelvin, Alberto Sangiovanni-Vincentelli. Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures, SAE World Congress and Exhibition 2009, April, 2009.
Roberto Lublinerman, Stavros Tripakis. Checking Equivalence of SPMD Programs Using Non-Interference, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2009-42, March, 2009.
Edward A. Lee. Center for Hybrid and Embedded Software Systems (CHESS) 2009 Prospectus, Technical report, Center for Hybrid and Embedded Software Systems (CHESS), UC Berkeley EECS Dept., January, 2009; 20 pages, printed copies available upon request.
Edward A. Lee. Disciplined Message Passing, Technical report, EECS Dept. University of California Berkeley, January, 2009.
Mohamed Feredj, Frédéric Boulanger, Aime Mokhoo Mbobi. A model of domain-polymorph component for heterogeneous system design, Journal of Systems and Software (JSS), 82(1):112-120, 2009; The paper discusses an implementation that uses Ptolemy II.
Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee. Poster Abstract: PtidyOS: An Operating System based on the PTIDES Programming Model, Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.
Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee. PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice, Technical report, University of California, Berkeley, IBM Research, 2009; This is the earlier technical report version of this paper. The published version of this version is at: http://chess.eecs.berkeley.edu/pubs/588.html.
P. Balister, B. Bollobas. Random transceiver networks, Adv. in Appl. Probab., 41(2):323-343, 2009.
Zong-Syun Lin, Alvaro Cardenas, Saurabh Amin, Yu-Lun Huang, Chi-Yen Huang, S. Shankar Sastry. Model-Based Detection of Attacks for Process Control Systems, 16th ACM Computer and Communications Security Conference, ACM, submitted, 2009.
S. Shankar Sastry. CHESS ITR Annual Report 2008-2009: Foundations of Hybrid and Embedded Systems and Software, Technical report, Center for Hybrid and Embedded Software Systems, 2009.

2008

Anil Aswani, Claire Tomlin. Topology Based Control of Biological Genetic Networks, Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 781-786, 9, December, 2008.
Alessandro D’Innocenzo, Alessandro Abate, Maria D. Di Benedetto, S. Shankar Sastry. Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems, Decision and Control, 2008. CDC 2008. 47th IEEE Conference on, 221-226, 9, December, 2008.
Jerry Ding, Jonathan Sprinkle, S. Shankar Sastry, Claire Tomlin. Reachability Calculations for Automated Aerial Refueling, IEEE Conference on Decision and Control, IEEE, 3706-3712, December, 2008.
Edward A. Lee. ThreadedComposite: A Mechanism for Building Concurrent and Parallel Ptolemy II Models, Technical report, EECS Dept., University of California, Berkeley, UCB/EECS-2008-151, December, 2008.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems, Automatica, 44(11):2724-2734, November 2008.
Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee. Predictable Programming on a Precision Timed Architecture, Proceedings of International Conference on Compilers, Architecture, and Synthesis from Embedded Systems (CASES), Atlanta, Georgia, Erik R. Altman (ed.), ACM, 137-146, 19, October, 2008; Published version available at ACM Portal.
Patricia Derler, Edward A. Lee, Slobodan Matic. Simulation and Implementation of the PTIDES Programming Model, Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT '08), 330-333, October, 2008.
Patricia Derler, Edward A. Lee, Slobodan Matic. Simulation and Implementation of the PTIDES Programming Model, Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 330-333, October, 2008.
Shanna-Shaye Forbes, Hugo Andrade, Hiren D. Patel, Edward A. Lee. An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture, Proceedings of the 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications, October, 2008.
Jackie Man-Kit Leung, Terry Filiba, Vinayak Nagpal. VHDL Code Generation in the Ptolemy II Environment, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-140, October, 2008.
Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden. Model Engineering using Multimodeling, 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM '08), September, 2008.
Jacob Burnim, Koushik Sen. Heuristics for Scalable Dynamic Test Generation, Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on, 443-446, 15, September, 2008.
Thomas Huining Feng, Edward A. Lee. Scalable Models Using Model Transformation, 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), September, 2008; Presentation may be found at http://chess.eecs.berkeley.edu/pubs/489.html.
Christopher Brooks. NSF-ITR 2007-2008 Annual Report: Foundations of Hybrid and embedded Systems and Software, Technical report, Center for Hybrid and embedded Software Systems (CHESS), September, 2008; This report covers research under the NSF-ITR no cost extension by Professor Tomlin and Professor Henzinger.
Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Ingar Grøtli, Pannag R Sanketi, Michael Moser, S. Shankar Sastry. Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data, Technical report, University of California, Berkeley, August, 2008.
Yamini Kannan, Koushik Sen. Universal symbolic execution and its application to likely data structure invariant generation, Proceedings of the 2008 international symposium on Software testing and analysis, International Symposium on Software Testing and Analysis, 283-294, July, 2008.
Alvaro Cardenas, Saurabh Amin, S. Shankar Sastry. Research Challenges for the Security of Control Systems., Proceedings of the 3rd USENIX Workshop on Hot topics in security, USENIX, Article 6, 25, July, 2008.
Albert Benveniste, Benoit Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems, ACM Transactions on embedded Computing Systems., 7(4):1-36, July 2008.
Takashi Nagata, Masayoshi Tomizuka. Robust Engine Torque Control by Discrete Event Disturbance Observer, Proceedings of the 17th World Congress, The International Federation of Automatic Control, 9473-9478, July, 2008.
Alvaro Cardenas, Saurabh Amin, S. Shankar Sastry. Secure Control: Towards Survivable Cyber-Physical Systems, First International Workshop on Cyber-Physical Systems, 495-500, 17, June, 2008.
Slobodan Matic, Michael Goraczko, Dimitrios Limberopoulos, Bodhi Priyantha, Jie Liu, Feng Zhao. Energy-Optimal Software Partitioning in Heterogeneous Multiprocessor Embedded Systems, DAC'08, accepted, June, 2008.
Alvaro Cárdenas, Saurabh Amin, S. Shankar Sastry. Secure Control: Towards Survivable Cyber-Physical Systems., First International Workshop on Cyber-Physical Systems (WCPS2008)., June, 2008.
Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto Sangiovanni-Vincentelli. Synthesis of Embedded Networks for Building Automation and Control, Proc. of American Control Conference (ACC 08), Seattle, Washington,, June, 2008.
Gang Zhou. Partial Evaluation for Optimized Compilation of Actor-Oriented Models, PhD thesis, University of California, Berkeley, May, 2008.
Edward A. Lee. Cyber Physical Systems: Design Challenges, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008; Invited Paper.
Edward A. Lee. Time is a Resource, and Other Stories, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008; Position statement for panel: "Wrong Assumptions and Neglected Areas in Embedded Research".
Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren D. Patel, Yang Zhao, Jia Zou. PTIDES: A Programming Model for Distributed Real-Time Embedded Systems, RTSS'08, submitted, May, 2008; Accepted as Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler. Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems, 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009, IEEE Computer Society, 77-86, April, 2009; The published version can also be found at: http://www2.computer.org/portal/web/csdl/doi/10.1109/RTAS.2009.39. .
Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu. Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-29, April, 2008.
Thomas Huining Feng, Edward A. Lee. Real-Time Distributed Discrete-Event Execution with Fault Tolerance, 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), IEEE, 205 - 214, April, 2008.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-30, April, 2008.
Daniel Lazaro Cuadrado. Automated Distribution Simulation in Ptolemy II, PhD thesis, Aalborg University, April, 2008.
Ye Zhou, Edward A. Lee. Causality Interfaces for Actor Networks, ACM Transactions on Embedded Computing Systems (TECS), 7(3):1-35, April 2008.
Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, Jia Zou. Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems, Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 08), Work-in-Progress Session, April, 2008.
Krishnendu Chatterjee, Tom Henzinger, Rupak Majumdar. Controller Synthesis with Budget Constraints, Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, Magnus Egerstedt and Bud Mishra (eds.), HSCC, 72-86, April, 2008.
Trevor Meyerowitz. Single and Multi-CPU Performance Modeling for Embedded Systems, PhD thesis, University of California at Berkeley, April, 2008.
Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu. Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-28, April, 2008.
Krishnendu Chatterjee, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, Alberto Sangiovanni-Vincentelli. Logical Reliability of Interacting Real-Time Tasks, Design, Automation and Test in Europe, 2008. DATE '08, 909-914, March, 2008.
Man-Kit Leung, Edward A. Lee. An Extensible Software Synthesis Framework for Heterogeneous Actor Models, SLA++P 2008, Model-driven High-level Programming of Embedded Systems, Artist, March, 2008; See SLA++P 2008.
Trevor Meyerowitz, Dominik Langen, Mirko Sauermann, Alberto Sangiovanni-Vincentelli. Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor, Design Automation Test Europe, IEEE, March, 2008.
Krishnendu Chatterjee, Tom Henzinger, Koushik Sen. Model-Checking omega-Regular Properties of Interval Markov Chains, Foundations of Software Science and Computation Structure (FoSSaCS) 2008, Roberto M. Amadio (ed.), 302-317, March, 2008.
Ethan Jackson. The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, Technical report, Institute For Software Integrated Systems (ISIS), ISIS-07-807, March, 2008.
Douglas Densmore, Trevor Meyerowitz, Abhijit Davare, Qi Zhu, Guang Yang. Metro II Execution Semantics for Mapping, Technical report, University of California, Berkeley, UCB/EECS-2008-16, February, 2008.
Slobodan Matic. Compositionality in Deterministic Real-Time Embedded Systems, PhD thesis, University of California, Berkeley, February, 2008.
Humberto Gonzalez, Esten Ingar Grøtli, Todd Templeton, Jan Biermeyer, Jonathan Sprinkle, S. Shankar Sastry. Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems, AAET: Automation, Assistance, and Embedded Systems for Transportation, Technical University, Braunschweig, 13, February, 2008.
Arkadeb Ghosal. A Hierarchical Coordination Language for Reliable Real-Time Tasks, PhD thesis, EECS Department, University of California, Berkeley, January, 2008.
Christopher Brooks, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden. Multimodeling: A Preliminary Case Study, Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2008-7, January, 2008.
Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu. Trading Infinite Memory for Uniform Randomness in Timed Games, Technical report, EECS Department University of California, Berkeley, UCB/EECS-2008-4, January, 2008.
Edward A. Lee. Cyber Physical Systems: Design Challenges, Technical report, University of California, Berkeley, EECS Dept., UCB/EECS-2008-8, January, 2008.
Tom Henzinger, Krishnendu Chatterjee, Vinayak Prabhu. Timed Parity Games: Complexity and Robustness, FORMATS: Formal Modeling and Analysis of Timed Systems, 2008; To appear.
Anil Aswani, Claire Tomlin. Monotone Piecewise Affine Systems, IEEE TAC, 2008; Submitted.
Saurabh Amin, Falk Hante, Alexandre Bayen. Exponential stability of switched hyperbolic systems in a bounded domain, Technical report, UC Berkeley, 2008.
Krishnendu Chatterjee, Tom Henzinger, Vinayak Prabhu. Trading Infinite Memory for Uniform Randomness in Timed Games, HSCC: Hybrid Systems -- Computation and Control, 2008.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Neuro-Dynamic Programming for Probabilistic Reachability of Stochastic Hybrid Systems, Submitted, 2008.
Alvaro Cardenas, Tanya Roosta, Gelareh Taban, S. Shankar Sastry. Cyber Security: Basic Defenses and Attack Trends, Giorgio Franceschetti and Marina Grossi (eds.), 4, 73-101, First, Artech House, 2008.
Xiaojun Liu, Edward A. Lee. CPO semantics of timed interactive actor Networks, Theoretical Computer Science, 409(1):110-125, 2008.
Douglas Densmore, Abhijit Davare. A Platform-Based Design Methodology for the Electronic System Level, VDM Verlag, 2008, 978-3836473149.
Alessandro Abate, Alessandro D'Innocenzo, Maria D Di Benedetto, S. Shankar Sastry. Markov Set-Chains as Abstractions of Stochastic Hybrid Systems, M. Egerstedt and B. Misra (eds.), 1, Springer Verlag, 2008.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps, M. Egerstedt and B. Misra (eds.), 598 - 601, Springer Verlag, 2008; Chapter in "Hybrid Systems: Computation and Control," 2008 .
Saurabh Amin, Falk Hante, Alexandre Bayen. On stability of switched linear hyperbolic conservation laws with reflecting boundaries, Magnus Egerstedt and Bud Mishra, (eds.), 602-605, Hybrid Systems: Comp, Springer-Verlag, 2008.

2007

Aaron Ames, Alessandro Abate, S. Shankar Sastry. Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations, 46th IEEE Conference on Decision and Control and European Control, 4033-4038, December, 2007.
Saurabh Amin, Alexandre Bayen, Laurent El Ghaoui, S. Shankar Sastry. Robust feasibility for control of water flow in a canal reservoir system, Decision and Control, 2007 46th IEEE Conference on, 1571-1577, December, 2007.
Krishnendu Chatterjee. Markov Decision Processes with Multiple Long-run Average Objectives, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 473-484, December, 2007.
Arindam Chakrabarti. A Framework for Compositional Design and Analysis of Systems, PhD thesis, UC Berkeley, December, 2007.
Alessandro Abate, Ashish Tiwari, S. Shankar Sastry. The concept of Box Invariance for biologically-inspired dynamical systems, 46th IEEE Conference on Decision and Control and European Control, 5162-5167, December, 2007.
Krishnendu Chatterjee. Stochastic Muller Games are PSPACE-complete, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 436-448, December, 2007.
Alessandro Abate. Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications, PhD thesis, University of California, Berkeley, November, 2007.
Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Goble. Heterogeneous Composition of Models of Computation, Technical report, EECS Department University of California Berkeley, UCB/EECS-2007-139, November, 2007; An earlier version of this paper was published in ICCS. A later version has been accepted for publication in Future Generation Computer Systems (FGCS) Elsevier.
Edward A. Lee. Position Statement for Panel on Grand Challenges in Embedded Software, EMSOFT 07, Salzburg, Austria, October, 2007.
Alessandro Pinto, Luca Carloni, Alberto Sangiovanni-Vincentelli. A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control, EMSOFT 2007, October, 2007.
Ethan Jackson, Janos Sztipanovits. Constructive Techniques for Meta and Model Level Reasoning, Model Driven Engineering Languages and Systems, 405-419, October, 2007.
A. Abate, Y. Bai, N. Sznajder, C. Talcott, A. Tiwari. Quantitative and Probabilistic Modeling in Pathway Logic, Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, 922-929, October, 2007.
Krishnendu Chatterjee. Stochastic Omega-Regular Games, PhD thesis, EECS Department, University of California, Berkeley, October, 2007.
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis, Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering, 527-532, September, 2007.
Carlos Zavala, Pannag R Sanketi, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick. Simplified Models of Engine HC Emissions, Exhaust Temperature and Catalyst Temperature for Automotive Coldstart, Fifth IFAC Symposium for Advances in Automotive Control, IFAC, August, 2007.
Elaine Cheong. Actor-Oriented Programming for Wireless Sensor Networks, PhD thesis, University of California, Berkeley, August, 2007.
Pannag R Sanketi, Carlos Zavala, Mark Wilcutts, Tomoyuki Kaga, Karl Hedrick. MIMO Control for Automotive Coldstart, Fifth IFAC Symposium on Automotive Control, IFAC, August, 2007.
Thomas Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-François Raskin. Minimum-time reachability in timed games, ICALP 2007 Automata, Languages and Programming, 825-837, July, 2007.
Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit A. Seshia. An Application of Web-Service Interfaces, IEEE International Conference on Web Services (ICWS) 2007, IEEE Computer Society Press, 831-838, July, 2007.
Thomas Huining Feng, Miriam Zia. Multi-formalism modelling and model transformation for the design of reactive systems, 2007 Summer Computer Simulation Conference (SCSC 2007), July, 2007.
Stephen A. Edwards, Edward A. Lee. The Case for the Precision Timed (PRET) Machine, 2007 Design Automation Convention, June, 2007.
Stephen A. Edwards, Edward A. Lee. The Case for the Precision Timed (PRET) Machine, Proceedings of the 44th annual conference on Design automation, SESSION: Wild and crazy ideas (WACI), 264 - 265, June, 2007.
D. Balasubramanian, A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, G. Karsai. Applying a Grouping Operator in Model Transformations, 3rd International Workshop on Graph and Model Transformation (GraMoT), June, 2007; (Submitted).
Jonathan Sprinkle, Christopher Brooks. CHESS 2006-2007 Annual Report, Technical report, Center for Hybrid and Embedded Software Systems, June, 2007.
Ben Upcroft, Michael Moser, Alex Makarenko, David Johnson, Ashod Donikian, Alen Alempijevic, Robert Fitch, Will Uther, Esten Ingar Grøtli, Jan Biermeyer, Humberto Gonzalez, Todd Templeton, Vason P. srini, Jonathan Sprinkle. DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team, Technical report, University of Sydney; University of Technology, Sydney; University of California, Berkeley, June, 2007.
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli. Period Optimization for Hard Real-time Distributed Automotive Systems, Design Automation Conference, 278-283, June, 2007.
Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Goble Carol. Composing Different Models of Computation in Kepler and Ptolemy II, 2007 Proceedings, International Conference on Computational Science (ICCS), 182-190, May, 2007; A later version has been published in Future Generation Computer Systems (FGCS), Elsevier.
Haiyang Zheng. Operational Semantics of Hybrid Systems, PhD thesis, University of California, Berkeley, May, 2007.
Ye Zhou. Interface Theories for Causality Analysis in Actor Networks, PhD thesis, University of California, Berkeley, May, 2007.
Krishnendu Chatterjee, Tom Henzinger, Nir Piterman. Strategy Logic, Technical report, University of California, Berkeley, UCB/EECS-2007-78, May, 2007.
Edward A. Lee. Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report, Technical report, University of California, Berkeley, UCB/EECS-2007-72, May, 2007.
Takashi Nagata, Masayoshi Tomizuka. Engine Torque Control Based on Discrete Event Model and Disturbance Observer, ASME International Mechanical Engineering Congress and Exposition (IMECE2007), (submitted), May, 2007; Draft submitted in May 2007, to be presented in Nov. 2007.
Gang Zhou, Man-Kit Leung, Edward A. Lee. A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et al. (ed.), 786-799, May, 2007.
Jongho Lee, J. Mikael Eklund, S. Shankar Sastry. Group pursuit policies for UUVs using nonlinear model predictive control and reachable sets, Unpublished article, May, 2007.
Kai Chen, Janos Sztipanovits, Sandeep Neema. A Case Study on Semantic Unit Composition, Workshop on Modeling in Software Engineering, ICSE 2007 (MISE 2007), May, 2007.
Nadathur Satish, Kaushik Ravindran, Kurt Keutzer. A Decomposition-based Constraint Optimization Approach for Statically Scheduling Task Graphs with Communication Delays to Multiprocessors, 10th Conference of Design, Automation and Test in Europe (DATE-07), 57-62, April, 2007.
Thomas Huining Feng, Lynn Wang, wei zheng, Sri Kanajan, Sanjit A. Seshia. Automatic Model Generation for Black Box Real-Time Systems, Design, Automation and Test in Europe (DATE) Conference, April, 2007.
Sumitra Ganesh, Aaron Ames, Ruzena Bajcsy. Composition of Dynamical Systems for Estimation of Human Body Dynamics, Proceedings of 10th International Conference on Hybrid Systems Computation and Control 2007, Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.), 702-706, April, 2007.
Thomas A. Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-Francois Raskin. Minimum-Time Reachability in Timed Games, Technical report, University of California, Berkeley, UCB/EECS-2007-47, April, 2007.
Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli. An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, SAE, April, 2007.
Yang Zhao, Jie Liu, Edward A. Lee. A Programming Model for Time-Synchronized Distributed Real-Time Systems, 13th IEEE Real Time and Embedded Technology and Applications Symposium, 2007. RTAS '07, 259 - 268, April, 2007.
M. Daigle, I. Roychoudhury, G. Biswas, X. Koutsoukos. Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, Hybrid Systems: Computation and Control (HSCC 2007), Lecture Notes in Computer Science, vol. 4416, 680-683, April, 2007.
Kai Chen, Janos Sztipanovits, Sandeep Neema. Compositional Specification of Behavioral Semantics, Proceedings of Design Automation and Test in Europe Conference (DATE 07), 906-911, April, 2007.
Marco Di Natale, wei zheng, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni-Vincentelli. Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems, Real-Time and Embedded Technology and Applications Symposium, April, 2007.
wei zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto Sangiovanni-Vincentelli. Synthesis of task and message activation models in real-time distributed automotive systems, Design, Automation and Test in Europe, April, 2007.
D. Balasubramanian, A. Narayanan, S. Neema, F. Shi, R. Thibodeaux, G. Karsai. A Subgraph Operator for Graph Transformation Languages, Proceedings of 6th International Workshop on Graph Transformation and Visual Modeling Techniques, Braga, Portugal, March, 2007.
Alberto Sangiovanni-Vincentelli. Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design, Proceedings of the IEEE, 95(3):467-506, March 2007.
Krishnendu Chatterjee, Tom Henzinger, Nir Piterman. Generalized Parity Games, FOSSACS 07, March, 2007.
Janos Sztipanovits. Model-based Software Development, ESMD-SW Workshop, NASA, March, 2007.
Krishnendu Chatterjee, Tom Henzinger. Assume-guarantee Synthesis, TACAS, March, 2007.
J. Sztipanovits, J. Bay, L. Rohrbough, S. S. Sastry, D. Schmidt, N. Whitaker, D. C. Winter. ESCHER: A New Technology Transitioning Model, IEEE Computer, 40(3):90-92, March 2007.
Arkadeb Ghosal, Sri Kanajan, Randall Urbance, Alberto Sangiovanni-Vincentelli. An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures, SAE 2007 Transactions: Journal of Passenger Cars: Electronic and Electrical Systems, pp. 844-856, March 2007; ISBN: 978-0-7680-1839-4.
Krishnendu Chatterjee. Optimal Strategy Synthesis for Stochastic Muller Games, FOSSACS 07, March, 2007.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Technical report, University of California, Berkeley, UCB/EECS-2007-9, February, 2007.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Technical report, University of California, Berkeley, UCB/EECS-2007-7, February, 2007.
Gang Zhou, Man-Kit Leung, Edward A. Lee. A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Technical report, University of California, Berkeley, UCB/EECS-2007-29, February, 2007.
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu. A Next-Generation Design Framework for Platform-based Design, DVCon 2007, February, 2007.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Technical report, University of California, Berkeley, UCB/EECS-2007-8, February, 2007.
Edward A. Lee, Slobodan Matic. Determinism in Event-Triggered Distributed Systems with Time Synchronization, Proceedings of ISPCS07, January, 2007.
Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms, Fabrice Kordon and Janos Sztipanovits (eds.), Proceedings of the Sixth Monterey Workshop, LNCS Vol. 4322, January, 2007.
Alex A. Kurzhanskiy, Pravin Varaiya. Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems, IEEE Transactions Automatic Control, 52(1):26-38, 2007.
Eleftherios Matsikoudis, Edward A. Lee. Feedback in Strictly Causal Systems, Unpublished article, 2007.
A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S. S. Sastry. The Concept of Deadlock and Livelock in Hybrid Control Systems, A. Bemporad and A. Bicchi and G. Buttazzo (eds.), 628-632, 4416, Springer Verlag, 2007.
Manish Kushwaha, Isaac Amundson, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits. OASiS: A Programming Framework for Service-Oriented Sensor Networks, In IEEE/Create-Net COMSWARE 2007, 2007.
Aaron Ames. Homotopy Meaningful Hybrid Model Structures, Michael Farber, R . Ghrist, M. Burger, D . Koditschek (eds.), 121-144, American Mathematical Society, 2007.
I. Roychoudhury, M. Daigle, G. Biswas, X. Koutsoukos, P.J. Mosterman. A Method for Efficient Simulation of Hybrid Bond Graphs, International Conference on Bond Graph Modeling and Simulation (ICBGM 2007), 177-184, 2007.
Tom Henzinger. Games, time, and probability: Graph models for system design and analysis, Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Lecture Notes in Computer Science, Springer, 2007.
Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Anirudda Gokhale, Sandeep Neema, Jonathan Sprinkle. Domain-Specific Modeling (in CRC Handbook of Dynamic System Modeling), Paul A. Fishwick (ed.), 7, (in publication), CRC Press, 2007.
Joseph Makin, Alessandro Abate. A Neural Hybrid-System Model of the Basal Ganglia, Technical report, University of California, Berkeley, UCB/EECS-2007-16, 2007.
Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi zhong. The Design and Application of Structured Types in Ptolemy II, Technical report, University of California, Berkeley, UCB/EECS-2007-21, 2007.
A. Abate, S. Amin, M. Prandini, J. Lygeros, S. S. Sastry. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems, A. Bemporad A. Bicchi and G. Buttazzo (eds.), 4-17, 4416, Springer Verlag, 2007.
Edward A. Lee, Eleftherios Matsikoudis. The Semantics of Dataflow with Firing, Gérard Huet Gordon Plotkin Jean-Jacques Lévy Yves Bertot (ed.), preprint (March 7 2, Cambridge University Press, 2007; Chapter from "From Semantics to Computer Science: Essays in memory of Gilles Kahn".
Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Aniruddha Gokhale, Sandeep Neema, Jonathan Sprinkle. Domain-Specific Modeling, Paul A. Fishwick (ed.), 7, 7-1--7-20, Chapman & Hall/CRC, 2007.
Ethan Jackson, Janos Sztipanovits. Models as Structures: The Structural Semantics of Model-Based Design, Journal of Software and Systems Modeling (SOSYM), 2007; (Submitted).
Krishnendu Chatterjee, Tom Henzinger. Value Iteration, Unpublished article, 2007; A Survey Paper submitted for publication in "25 Years in Model Checking".
Edward A. Lee, Haiyang Zheng. Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software, Christoph M. Kirsch, Reinhard Wilhelm (eds.), ACM, 114-123, 2007.

2006

Allen Yang, John Wright, S. Shankar Sastry, Yi Ma. Unsupervised Segmentation of Natural Images via Lossy Data Compression, Technical report, University of California, Berkeley, UCB/EECS-2006-195, December, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Geometric Reduction of Hybrid Systems, 2006 45th IEEE Conference on Decision and Control, 923-929, December, 2006.
A. Abate, S. Amin, M. Prandini, J. Lygeros, S. S. Sastry. Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems, Proceedings of the 45th IEEE Conference on Decision and Control, IEEE, December, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Geometric Reduction of Hybrid Systems, 45th IEEE Conference on Decision and Control, 923 - 929, December, 2006.
Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore, Alberto Sangiovanni-Vincentelli. Classification, Customization, and Characterization: Using MILP for Task Allocation and Scheduling, Technical report, University of California, Berkeley, UCB/EECS-2006-166, December, 2006.
Thomas Huining Feng, Edward A. Lee. Incremental Checkpointing with Application to Distributed Discrete Event Simulation, Winter Simulation Conference (WSC 2006), December, 2006.
Adam Cataldo. The Power of Higher-Order Composition Languages in System Design, PhD thesis, University of California, Berkeley, December, 2006.
Alessandro Abate, Ashish Tiwari, S. Shankar Sastry. The concept of Box Invariance for biologically-inspired dynamical systems, Technical report, University of California, Berkeley, UCB/EECS-2006-185, December, 2006.
Krishnendu Chatterjee, Tom Henzinger, Nir Piterman. Generalized Parity Games, Technical report, University of California, Berkeley, UCB/EECS-2006-144, November, 2006.
Edward A. Lee, Stephen A. Edwards. Precision Timed (PRET) Computation in Cyber-Physical Systems, National Workshop on High Confidence Software Platforms for Cyber-Physical Systems: Research Needs and Roadmap, November, 2006.
Ye Zhou, Edward A. Lee. Causality Interfaces for Actor Networks, Technical report, University of California, Berkeley, UCB/EECS-2006-148, November, 2006.
Krishnendu Chatterjee, Tom Henzinger. Reduction of Stochastic Parity to Stochastic Mean-payoff Games, Technical report, University of California, Berkeley, UCB/EECS-2006-140, November, 2006.
Krishnendu Chatterjee, Rupak Majumdar, Tom Henzinger. Stochastic Limit-Average Games are in EXPTIME, Technical report, University of California, Berkeley, UCB/EECS-2006-143, November, 2006.
Stephen A. Edwards, Edward A. Lee. The Case for the Precision Timed (PRET) Machine, Technical report, University of California, Berkeley, UCB/EECS-2006-149, November, 2006.
Edward A. Lee, Stephen Neuendorffer, Xiaojun Liu. Classes and Inheritance in Actor-Oriented Design, Technical report, University of California, Berkeley, UCB/EECS-2006-154, November, 2006; See http://chess.eecs.berkeley.edu/pubs/429.html for the published version.
Abhijit Davare, Jike Chong, Qi Zhu, Douglas Densmore, Alberto Sangiovanni-Vincentelli. An Overlap-based MILP Formulation for Task Allocation and Scheduling, submitted, October, 2006.
Ye Zhou, Edward A. Lee. A Causality Interface for Deadlock Analysis in Dataflow, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM, 44-52, October, 2006.
Matthew Emerson, Janos Sztipanovits. Techniques for Metamodel Composition, OOPSLA – 6th Workshop on Domain Specific Modeling, 123-139, October, 2006.
Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli. A Hierarchical Coordination Language for Interacting Real-Time Tasks, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT'06), Sang Lyul Min, Wang Yi (eds.), ACM, 132-141, October, 2006.
Isaac Amundson, Manish Kushwaha, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits. Efficient Integration of Web Services in Ambient-aware Sensor Network Applications, 3rd IEEE/CreateNet International Workshop on Broadband Advanced Sensor Networks (BaseNets 2006), October, 2006.
Ethan Jackson, Janos Sztipanovits. Towards A Formal Foundation For Domain Specific Modeling Languages, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM, 53-63, October, 2006.
M. Emerson, S. Duncavage, J. Mathe, J. Sztipanovits. WiNeSim: A Wireless Network Simulation Tool, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM, October, 2006.
Janos Sztipanovits. Towards the Compositional Specification of Semantics for Heterogeneous Domain-Specific Modeling Languages, Workshop on Foundation of Composition, October, 2006.
Edward A. Lee, Yang Zhao. Reinventing Computing for Real Time, Proceedings of the 2006 Monterey Workshop, LNCS 4322, F. Kordon and J. Sztipanovits (eds.), Springer-Verlag Berlin Heidelberg, 1-25, October, 2006.
Edward A. Lee. Cyber-Physical Systems - Are Computing Foundations Adequate?, Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October, 2006.
6th OOPSLA Workshop On Domain-Specific Modeling, Juha-Pekka Tolvanen, Matti Rossi, Jonathan Sprinkle (eds.), University of Jyvaskala, October, 2006.
Yang Zhao, Edward A. Lee, Jie Liu. Application of Programming Temporally Integrated Distributed Embedded Systems, Proceedings of 2006 IEEE 1588 Conference, October, 2006.
Isaac Amundson, Manish Kushwaha, Xenofon Koutsoukos, Sandeep Neema, Janos Sztipanovits. OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks, Pervasive and Mobile Computing Journal on Middleware for Pervasive Computing, October 2006; (Submitted October, 2006).
Gabor Karsai, Anantha Narayanan, Sandeep Neema. On the Correctness of Model Transformations in the Development of Embedded Systems, Proceedings of the 2006 Monterey Workshop, October, 2006; (Paper presented at conference and submitted to publisher).
G. Karsai, A. Ledeczi, S. Neema, J. Sztipanovits. The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, Proc. of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, 50-55, October, 2006.
Tom Henzinger, Vinayak Prabhu. Timed alternating-time temporal logic, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, LCNS 4202, Asarin, Eugene; Bouyer, Patricia (eds.), 1-17, September, 2006.
Krishnendu Chatterjee, Tom Henzinger. Algorithms for Omega-Regular Games with Imperfect Information, CSL 06, September, 2006.
Edward A. Lee. Concurrent Semantics without the Notions of State or State Transitions, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, LCNS 4202, Asarin, Eugene; Bouyer, Patricia (eds.), 18-31, September, 2006.
A. Agrawal, G. Karsai, S. Neema, F. Shi, A. Vizhanyo. The Design of a Language for Model Transformations, Journal on Software and System Modeling, 5(3):261-288, September 2006.
Krishnendu Chatterjee. Concurrent Games with Tail Objectives, CSL 06, September, 2006.
Krishnendu Chatterjee, Luca de Alfaro and Thomas A. Henzinger. Strategy Improvement for Concurrent Reachability Games, QEST 06, September, 2006.
Krishnendu Chatterjee. Nash Equilibrium for Upward-Closed Objectives, CSL 06, September, 2006.
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Tom Henzinger, Rupak Majumdar, Marielle Stoelinga. Quantitative Compositional Pricing, QEST 06, September, 2006.
Bor-Yuh Evan Chang, Matthew Harren, George Necula. Analysis of Low-Level Code Using Cooperating Decompilers, The 13th International Static Analysis Symposium (SAS), Kwangkeun Yi (ed.), 318-335, September, 2006.
Takashi Nagata, Hwan Hur, Masayoshi Tomizuka. Model-Based Control for Smooth Gear Shifting by Engine-AT Collaboration, 8th International Symposium on Advanced Vehicle Control (AVEC '06), 635-640, August, 2006.
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee. Modeling Timed Concurrent Systems, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns (eds.), 1-15, August, 2006.
Tom Henzinger, Joseph Sifakis. The embedded systems design challenge, Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science, Springer, August, 2006.
Shamik Bandyopadhyay. Automated Memory Allocation of Actor Code and Data Buffer in Heterochronous Dataflow Models to Scratchpad Memory, Master's thesis, University of California, Berkeley, August, 2006.
Krishnendu Chatterjee, Tom Henzinger, Nir Piterman. Algorithms for Buchi Games, GDV 06, August, 2006.
Pannag R Sanketi, Carlos Zavala, Karl Hedrick, Mark Wilcutts, Tomoyuki Kaga. A Simplified Catalytic Converter Model for Automotive Coldstart Applications with Adaptive Parameter Fitting, 8th International Symposium on Advanced Vehicle Control, August, 2006.
Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli. Model-Based Design of Heterogeneous Systems for Fault Tree Analysis, 24th International System Safety Conference, Rodney J. Simmons, Ph.D., Norman J. Gauthier (eds.), System Safety Society, 400-409, August, 2006.
Krishnendu Chatterjee, Tom Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns (eds.), 375-389, August, 2006.
A. Abate, M. Chen, S. S. Sastry. Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks, Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, July, 2006.
Aaron Ames, Robert Gregg, Eric D.B. Wendel, S. Shankar Sastry. Towards the Geometric Reduction of Controlled Three-Dimensional Bipedal Robotic Walkers, 3rd Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, July, 2006.
A. Ames, R. Gregg, E.D.B. Wendel, S. S. Sastry. Towards the Geometric Reduction of Controlled Three-Dimensional Robotic Bipedal Walkers, Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, July, 2006.
Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli. A Semantic-Driven Synthesis Flow for Platform-Based Design, submitted to Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), July, 2006.
Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis, Haiyang Zheng. A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems, Workshop on Discrete Event Systems, July, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Routhian Reduction of Lagrangian Hybrid Systems, American Control Conference, June, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with Symmetry, American Control Conference, June, 2006.
Aaron Ames, Haiyang Zheng, Robert Gregg, S. Shankar Sastry. Is there Life after Zeno? Taking Executions Past the Breaking (Zeno) Point, American Control Conference, June, 2006.
Aaron Ames, Haiyang Zheng, Robert Gregg, S. Shankar Sastry. Is there Life after Zeno? Taking Executions Past the Breaking (Zeno) Point, American Control Conference, June, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with Symmetry, American Control Conference, June, 2006.
Alessandro Abate, Aaron Ames, S. Shankar Sastry. Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems, Proceedings of the 25th American Control Conference, June, 2006.
A. Abate, A. Tiwari. Box Invariance of hybrid and switched systems, Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ifac, June, 2006.
Alessandro Abate, Aaron Ames, S. Shankar Sastry. A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems, Proceedings of the 25th American Control Conference, June, 2006.
Krishnendu Chatterjee, Laurent Doyen, Tom Henzinger, Jean-Francois Raskin. Algorithms for Omega-Regular Games with Incomplete Information, Technical report, University of California, Berkeley, UCB/EECS-2006-89, June, 2006.
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, 229-238, June, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Routhian Reduction of Lagrangian Hybrid Systems, American Control Conference, June, 2006.
Kai Chen, Janos Sztipanovits, Sandeep Neema. Compositional Specification of Behavioral Semantics, Technical report, Institute For Software Integrated Systems (ISIS), ISIS-06-705, June, 2006.
Aaron Ames, Robert Gregg, Haiyang Zheng, S. Shankar Sastry. Is There Life After Zeno? Taking Executions past the Breaking (Zeno) Point, 2007 American Control Conference, ACS, 23, June, 2006; Presented in conjunction with BEARS 2006.
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee. Modeling Timed Concurrent Systems using Generalized Ultrametrics, Technical report, EECS Department, UC Berkeley, May, 2006.
Scott Weber, Kaushik Ravindran, Andrew Mihal, Kurt Keutzer. Accelerating Applications Using TIPI Sub-RISC Processing Elements, Unpublished article, May, 2006.
Edward A. Lee. The Problem with Threads, IEEE Computer, 39(5):33-42, May 2006.
William Plishker, Kurt Keutzer. Automated Mapping from a Domain Specific Language to a Commercial Embedded Multiprocessor, Unpublished article, May, 2006; Submitted to CODES 2006.
Xiaojun Liu, Edward A. Lee. COP Semantics of Timed Interactive Actor Networks, Technical report, EECS Department, UC Berkeley, 67, May, 2006.
Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli. Hierarchical Timing Language, Technical report, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-20, May, 2006.
Jonathan Sprinkle, Tracey Richards. Chess 2006 Annual Report, Technical report, Chess, May, 2006.
Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee, Andrew Mihal. A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property, Technical report, EECS Dept., University of California, Berkeley, 48, May, 2006.
Pannag R Sanketi, Carlos Zavala, Karl Hedrick. Automotive engine hybrid modelling and control for reduction of hydrocarbon emissions, International Journal of Control, 79(5):449-464, May 2006.
Jongho Lee. New real-time embedded software for an autonomous helicopter system using Giotto, Master's thesis, UC Berkeley, May, 2006.
Thomas Huining Feng, Edward A. Lee. Incremental Checkpointing with Application to Distributed Discrete Event Simulation, Technical report, EECS Dept., University of California Berkeley, 37, April, 2006.
Elaine Cheong, Edward A. Lee, Yang Zhao. Joint Modeling and Design of Wireless Networks and Sensor Node Software, Technical report, University of California, Berkeley, UCB/EECS-2006-150, April, 2006.
Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan, Claudio Pinello. Design Space Exploration of Automotive Platforms in Metropolis, Society of Automotive Engineers Congress, April, 2006.
Tom Henzinger, Slobodan Matic. An Interface Algebra for Real-time Components, Proceedings of RTAS 2006, 253-263, April, 2006.
Jike Chong, Abhijit Davare, Kelvin Lwin. Concurrent Embedded Design for Multimedia: JPEG encoding on Xilinx FPGA Case Study, Technical report, UC Berkeley, April, 2006.
Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli. Interchange Formats for Hybrid Systems: Abstract Semantics, Hybrid Systems: Computation and Control, Joao Hespanha and Ashish Tiwari (eds.), 491-506, March, 2006.
Adam Cataldo, Edward A. Lee. Composition Languages, Technical report, EECS Dept., University of California, Berkeley, 24, March, 2006; Found at: http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-24.pdf.
Krishnendu Chatterjee, Tom Henzinger. Finitary Winning in \omega-Regular Games, TACAS, March, 2006.
S. Amin, A. Abate, M. Prandini, J. Lygeros, S. S. Sastry. Reachability Analysis of Controlled Discrete-Time Stochastic Hybrid Systems, Hybrid Systems: Computation and Control, Proceedings of the 9th International Workshop, Santa Barbara, CA, vol. 3927 of Lecture Notes in Computer Science, J. Hespanha and A. Tiwari (eds.), Springer-Verlag, pp. 49-63, March, 2006.
Hwan Hur, Takashi Nagata, Masayoshi Tomizuka. Model-Based Optimal Gear Shift Pattern Scheduling and Smooth Gear Shifting Control, Steuerung und Regelung von Fahrzeugen und Motoren - AUTOREG 2006, VDI-Berichte Nr. 1931, 2006, VDI Wissensforum, 303-312, March, 2006.
Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto Sangiovanni-Vincentelli. Communication and Co-Simulation Infrastructure for Heterogeneous System Integration, Design Automation and Test in Europe, March, 2006.
Abhijit Davare, Qi Zhu, Alberto Sangiovanni-Vincentelli. A Platform-based Design Flow for Kahn Process Networks, Technical report, UC Berkeley, 2006-30, March, 2006.
Krishnendu Chatterjee, Tom Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games, STACS, February, 2006.
Krishnendu Chatterjee, Rupak Majumdar, Tom Henzinger. Markov Decision Processes with Multiple Objectives, STACS, February, 2006.
Elaine Cheong, Edward A. Lee, Yang Zhao, Christopher Brooks. Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Technical report, EECS Dept. UC Berkeley, 15, February, 2006; Presented in conjunction with BEARS 2006.
Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis, Haiyang Zheng. A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems, Technical report, EECS Dept. University of California, Berkeley, 4, 2006.
Edward A. Lee. The Problem with Threads, Technical report, EECS Dept., University of California, Berkeley, 1, 2006.
Edward A. Lee, Haiyang Zheng. HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II, IFAC Conference on Analysis and Design of Hybrid Systems, 2006; the right ball transfers its momentum to the middle ball, and then, without any time elapsing, the middle ball transfers its momentum to the left ball. The two events (state transitions in the state machine at the middle left)are simultaneous but ordered. Other initial conditions can be chosen where two simultaneous events are unordered (e.g., starting with two balls appropriately displaced). HyVisual allows a model to permit nondeterministic choice of enabled transitions.
Luca Carloni, Roberto Passerone, Alessandro Pinto, Alberto Sangiovanni-Vincentelli. Languages and Tools for Hybrid Systems Design, Foundations and Trends in Design Automation, 1(1):1-204, 2006.
Alessandro Abate, Aaron Ames, S. Shankar Sastry. A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems, Proc. 25th IEEE American Control Conference, Minneapolis, MN, Jun. 2006., 2006.
Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger. The Complexity of Quantitative Concurrent Parity Games, SODA, 2006.
Krishnendu Chatterjee, Tom Henzinger, Marcin Jurdzinski. Games with Secure Equilibria, Theoretica Computer Science, 2006.
Haiyang Zheng. Simulating Zeno Hybrid Systems Beyond Their Zeno Points, Technical report, UC Berkeley, 2006.
Haiyang Zheng, Edward A. Lee, Aaron Ames. Beyond Zeno: Get on with It!, Joao Hespanha, Ashish Tiwari (eds.), 568-582, 3927, Springer Berlin/Heidelberg, 2006; From "Hybrid Systems: Computation and Control, Proceedings". 3927, ISBN: 3-540-33170-0.
Matthew Emerson, Sandeep Neema, Janos Sztipanovits. Handbook of Real-Time and Embedded Systems, Insup Lee, Joseph Leung, Sang H. Son (eds.), CRC Press, 2006; ISBN: 1584886781.
Tivadar Szemethy, Gabor Karsai. PML: a Language for Platform Modeling, Electronic Communications of the EASST, 4(2006), 2006.
A. Ames, P. Tabuada, S. S. Sastry. On the Stability of Zeno Equilibria, 34-48, Lecture Notes in Com, 3927, Springer-Verlag, 2006.
Aaron Ames, S. Shankar Sastry. Hybrid Lagrangian and Hamiltonian Reduction of Simple Hybrid Systems, Unpublished article, 2006.
S. Amin, A. Abate, M. Prandini, J. Lygeros, S. S. Sastry. Reachability analysis for controlled discrete time stochastic hybrid systems, J. Hespanha and A. Tiwari (eds.), 49-63, 3927, Springer Verlag, 2006.
Alessandro Abate, Aaron Ames, S. Shankar Sastry. Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems, Proc. 25th IEEE American Control Conference, Minneapolis, MN, Jun. 2006., 2006.
Alessandro Abate, Aaron Ames, S. Shankar Sastry. Stochastic Approximations of Hybrid Systems, Proc. 24th IEEE American Control Conference, Portland, OR, 2005, 2006.
A. Narayanan, G. Karsai. Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations, Electronic Communications of the EASST, 4(2006), 2006.
Alex A. Kurzhanskiy, Pravin Varaiya. Ellipsoidal Toolbox, Technical report, EECS, UC Berkeley, 2006.
Tivadar Szemethy. Domain-Specific Models, Model Analysis, Model Transformations, PhD thesis, Vanderbilt University, 2006.

2005

Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, S. Shankar Sastry. On the Partitioning of Syntax and Semantics For Hybrid Systems Tools, 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), IEEE Controls Society, 4694-4699, December, 2005.
Krishnendu Chatterjee, Tom Henzinger. Semi-perfect Information Games, FSTTCS, December, 2005.
Aaron Ames, Alessandro Abate, S. Shankar Sastry. Sufficient Conditions for the Existence of Zeno Behavior, IEEE Conference on Decision and Control, December, 2005.
Slobodan Matic, Tom Henzinger. Trading End-to-End Latency for Composability, Proceedings of RTSS 2005, 99-110, December, 2005.
Xiaojun Liu. Semantic Foundation of the Tagged Signal Model, PhD thesis, University of California, Berkeley, December, 2005.
Pannag R Sanketi, Karl Hedrick, Tomoyuki Kaga. A Simplified Catalytic Converter Model for Automotive Coldstart Control Applications, Proceedings of 2005 ASME International Mechanical Engineering Congress and Exposition (IMECE2005), November, 2005; Orlando, Florida USA.
Elaine Cheong, Edward A. Lee, Yang Zhao. Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Proceedings of the Third ACM Conference on Embedded Networked Sensory Systems, ACM, November, 2005.
Edward A. Lee. Building Unreliable Systems out of Reliable Components: The Real Time Story, Technical report, EECS Dept., University of California, Berkeley, 5, October, 2005.
Arindam Chakrabarti, Krishnendu Chatterjee, Tom Henzinger, Orna Kupferman, Rupak Majumdar. Verifying Quantitative Properties Using Bound Functions, CHARME, 50--64, October, 2005.
Aaron Ames, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry. Homogenous Semantic Preserving Deployments of Heterogenous Networks of Embedded Systems, 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 (eds.), Computer Science and Information System Reports, Technical Reports, TR-36, University of Jyv�skyl�, Finland, October, 2005.
Aaron Ames, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry. Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems, Workshop on Networked Embedded Sensing and Control, October, 2005.
Yujia Jin, Nadathur Satish, Kaushik Ravindran, Kurt Keutzer. An automated exploration framework for FPGA-based soft multiprocessor systems, Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis CODES+ISSS '05, ACM Press (ed.), 273 - 278, September, 2005.
Jie Liu, Elaine Cheong, Feng Zhao. Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems, 5th ACM Conference on Embedded Software (EMSOFT 2005), EMSOFT '05, September, 2005.
E. Wandeler, J. Janneck, E. A. Lee, L. Thiele. Counting Interface Automata and their Application in Static Analysis of Actor Models, 3rd International Conference on Software Engineering and Formal Methods - SEFB 2005, SEFM 2005, September, 2005.
Matthew Harren, George Necula. Using Dependent Types to Certify the Safety of Assembly Code, Static Analysis Symposium (SAS), Springer-Verlag LNCS, 155-170, September, 2005; Available at http://www.cs.berkeley.edu/~matth/papers/sas05.pdf.
Tom Henzinger, Rupak Majumdar, Vinayak Prabhu. Quantifying similarities between timed systems., 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.
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, September, 2005.
Jonathan Sprinkle, Aaron Ames, J. Mikael Eklund, Ian Mitchell, S. Shankar Sastry. Online Safety Calculations for Glideslope Recapture, Innovations in Systems and Software Engineering, 1(2):157-175, September 2005; This was an invited paper, and was published without peer review.
J. Mikael Eklund, Thomas Riisgaard Hansen, Jonathan Sprinkle, S. Shankar Sastry. Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living, 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), 3931-3934, September, 2005.
Krishnendu Chatterjee. Two-player Nonzero-sum \omega-Regular Games, CONCUR, August, 2005.
J. Mikael Eklund, Ruzena Bajcsy, Jonathan Sprinkle, Gregory V. Simpson. Computing Inverse MEG Signals in the Brain, 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 332-335, August, 2005.
Edward A. Lee, Haiyang Zheng, Ye Zhou. Causality Interfaces and Compositional Causality Analysis, Foundations of Interface Technologies (FIT), CONCUR 2005, ENTCS TBD, August, 2005.
Dirk Beyer, Arindam Chakrabarti, Tom Henzinger. An Interface Formalism for Web Services, Foundations of Interface Technologies (FIT), 2005, August, 2005.
Kaushik Ravindran, Nadathur Satish, Yujia Jin, Kurt Keutzer. An FPGA-Based Soft Multiprocessor System for IPv4 Packet Forwarding, Proceedings of the 15th International Conference on Field Programmable Logic and Applications (FPL-05), 487-492, August, 2005.
Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, lizhi zhong. The Design and Application of Structured Types in Ptolemy II, IEEE Int. Conf. on Granular Computing, Grc 2005, July, 2005.
Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger. The Complexity of Stochastic Rabin and Streett Games, ICALP, July, 2005.
Pannag R Sanketi, Carlos Zavala, Karl Hedrick. Dynamic Surface Control of Engine Exhaust Hydrocarbons and Catalyst Temperature for Reduced Coldstart Emissions, Proc. of International Federation of Automatic Control (IFAC) Conference, July, 2005; Prague, Czech Rep.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java, (Volume 1, Introduction to Ptolemy II), Technical report, EECS Dept., UC Berkeley, 21, July, 2005.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Technical report, EECS Dept., UC Berkeley, 22, July, 2005.
Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng. Heterogeneous Concurrent Modling and Design in Java (Volume 3: Ptolemy II Domains), Technical report, EECS Dept., UC Berkeley, 23, July, 2005.
Phillip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao. VisualSense: Visual Modeling for Wireless and Sensor Network Systems, Technical report, EECS Dept., UC Berkeley, 25, July, 2005.
Krishnendu Chatterjee, Tom Henzinger, Ranjit Jhala, Rupak Majumdar. Counterexample-guided Planning, UAI, July, 2005.
Christopher Brooks, Adam Cataldo, Edward A. Lee, Jie Liu, Xiaojun Liu, Stephen Neuendorffer, Haiyang Zheng. HyVisual: A Hybrid System Visual Modeler, Technical report, EECS Dept., UC Berkeley, July, 2005.
J. Mikael Eklund, Jonathan Sprinkle, S. Shankar Sastry. Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft, Proceedings of American Control Conference (ACC) 2005, 1509-1514, June, 2005.
Arkadeb Ghosal, Carlos Zavala, Marco Sanvido, Karl Hedrick. Implementation of AFR Controller in an Event-driven Real Time Language, 2005 American Control Conference, June, 2005.
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe. Simulation Based Deadlock Analysis for System Level Designs, 42nd Annual Design Automation Conference, 260-265, June, 2005.
Krishnendu Chatterjee, Tom Henzinger, Marcin Jurdzinski. Mean-Payoff Parity Games, LICS 05, June, 2005.
Tom Henzinger, Christoph Kirsch, Slobodan Matic. Composable Code Generation for Distributed Giotto, Proceedings of LCTES 2005, 21-30, June, 2005.
Jonathan Sprinkle, J. Mikael Eklund, S. Shankar Sastry. Deciding to Land a UAV Safely in Real Time, Proceedings of American Control Conference (ACC) 2005, 3506-3511, June, 2005.
Dirk Beyer, Arindam Chakrabarti, Tom Henzinger. Web Service Interfaces, Proceedings of the 14th World Wide Web Conference (WWW) 2005, 148-159, May, 2005.
Pannag R Sanketi. Nonlinear Control Techniques to Reduce Automotive SI Engine Coldstart Hydrocarbon Emissions, Master's thesis, University of California at Berkeley, May, 2005.
Ken Frampton. Distributed Group-Based Vibration Control with a Networked Embedded System, Journal of Smart Materials and Structures, 14(2), April 2005.
A. Agrawal, Z.. Narayanan, F. Shi, A. Vizhanyo, G. Karsai. Reusable Idioms and Patterns in Graph Transformation Languages, International Conference on Graph Transformations, Electronic Notes in Theoretical Computer Science (ENTCS), March, 2005.
Edward A. Lee, Haiyang Zheng. Operational Semantics of Hybrid Systems, Invited paper in Hybrid Systems: Computation and Control (HSCCS), 25-53, March, 2005.
A. Abate, M. Chen, S. S. Sastry. New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations, Proc. 16th IFAC World Congress, Prague, CZ, Jul. 2005, 2005.
J. Balogh, B. Bollobas, D. Weinreich. A Jump to the Bell Number for Hereditary Graph Properties, Journal of Combinatorial Theory B, 95:29-48, 2005.
M. Chen, A. Abate, S. S. Sastry. New Congestion Control Schemes over Wireless Networks: Stability Analysis, Proc. 16th IFAC World Congress, Prague, CZ, Jul. 2005, 2005.

2004

Aditya Agrawal, Gyula Simon, Gabor Karsai. Semantic Translation of Simulink/Stateflow models to Hybrid Automata using GReAT, Proceedings of International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT) 2004. Electronic Notes in Theoretical Computer Science (ENTCS), December, 2004.
Aaron Ames, S. Shankar Sastry. Blowing Up Affine Hybrid Systems, In Decision and Control, 2004. CDC. 43rd IEEE Conference on, 473-478, December, 2004.
Stephen Neuendorffer. Actor-Oriented Metaprogramming, PhD thesis, University of California, Berkeley, December, 2004.
P. Balister, B. Bollobas, M. Haenggi, M. Walters. Fast Transmission in Ad Hoc Networks, Information Theory, 2004. ISIT 2004. Proceedings. International Symposium on, July, 2004.
S. Abdelwahed, J. Wu, G. Biswas, J.W. Ramirez, E.J. Manders. Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems, International Conference On Environmental Systems, Denver, CO, July, 2004.
Jonathan Sprinkle, Gabor Karsai. A Domain-Specific Visual Language For Domain Model Evolution, Journal of Visual Languages & Computing, 15(3-4):291-307, June 2004.
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao. Modeling of Sensor Nets in Ptolemy II, Information Processing in Sensor Networks, 2004. IPSN 2004. Third International Symposium on, 359 - 368, April, 2004.
Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu. VisualSense: Visual Modeling for Wireless and Sensor Network Systems, Technical report, University of California, Berkeley, UCB/ERL M04/08, April, 2004.
Jie Liu, Johan Eker, Jorn Janneck, Xiaojun Liu, Edward A. Lee. Actor-Oriented Control System Design: A Responsible Framework Perspective, Control Systems Technology, IEEE Transactions on, 12(2):250-262, March 2004.
A. Abate, L. Shi, S. Simic, S. S. Sastry. A stability criterion for Stochastic Hybrid Systems, Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems, Leuven, Jul. 2004, January, 2004.
Paul Balister, Bela Bollobas, Mark Walters. Continuum percolation with steps in an annulus, Annals of Applied Probability, 14(4):1869-1879, 2004.
P. Balister, B. Bollobas, A. Sarkar. Connectivity of Random Geometric Graph, 2004 Combinatorics, Graph Theory and Computing Conference, 2004.
John R. Barry, Edward A. Lee, David G. Messerschmitt. Digital Communication, Springer, 3rd, 2004, 978-0-7923-7548-7.
A. Abate, L. El Ghaoui. Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning, Proc. 43rd IEEE Conference on Decision and Control, The Bahamas, Dec. 2004, 2004.
I. Amundson, P. Schmidt, K. Frampton. A Decentralized Approach to Sound Source Localization with Sensor Networks, ASME 2004 International Mechanical Engineering Congress and Exposition (IMECE2004), 1311-1317, 2004.
Aaron Ames, S. Shankar Sastry. Affine Hybrid Systems, in Hybrid Systems: Computation and Control, LNCS Vol. 2993, 16-31, 2004.
Ling Shi, Alessandro Abate, S. Shankar Sastry. Optimal Control for a class of Stochastic Hybrid Systems, Proc. 43rd IEEE Conference on Decision and Control, The Bahamas, Dec. 2004., 2004.

2003

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

2002

S. Abdelwahed, G. Biswas. Online Safety Control of a Class of Hybrid Systems, Decision and Control, 2002, Proceedings of the 41st IEEE Conference on, 12, December, 2002.
Ken Frampton. Decentralized Vibration Control in a Launch Vehicle Payload Fairing, Proceedings of the ASME International Mechanical Engineering Conference and Exposition,, November, 2002.
J. Sprinkle, A. Agrawal, T. Levendovsky, F. Shi, G. Karsai. Domain Evolution in Visual Languages Using Graph Transformations, In OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, November, 2002.
Ken Frampton. Decentralized Structural Acoustic Control of a Launch Vehicle Payload Fairing, Journal of the Acoustical Society of America, 111(5):2453, 2002.
A. Agrawal, T. Levendovszky, J. Sprinkle, F. Shi, G. Karsai. Generative Programming via Graph Transformations in the Model-Driven Architecture, In OOPSLA 2002 Workshop in Generative Techniques in the context of Model Driven Architecture, 2002.
Arindam Chakrabarti, Luca de Alfaro, Tom Henzinger, Marielle Stoelinga. Resource Interfaces, In Proc. EMSOFT, LNCS 2855, 117--133, 2002.
S. Abdelwahed, G. Karsai, G. Biswas. Online Safety Control of a Class of Hybrid Systems, Proc. 41st IEEE Conference on Decision and Control, Las Vegas, NV, 2002., 2002.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.