Search results

• PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications, Slobodan Matic, Ilge Akkaya, Michael Zimmer, John Eidson, Edward A. Lee, IEEE Conference on Innovative Smart Grid Technologies (ISGT-EUROPE), December, 2011
• Identifying efficient operations through linking measurements and models in commercial buildings, Rongxin Yin, 17, November, 2011
• Timing Analysis of Embedded Software for Families of Microarchitectures, Jan Reineke, Edward A. Lee, 17, November, 2011
• Clock Synchronization, IEEE 1588 and Recent Applications in Cyber-Physical Systems, John Eidson, 14, November, 2011
• From Streaming Models to Hardware Implementations, Arkadeb Ghosal, 7, November, 2011
• The Swarm at the Edge of the Cloud - the New Face of Wireless, Jan Rabaey, 24, October, 2011
• Deploying Formal in a Simulation World, Vigyan Singhal, 17, October, 2011
• A Practical Ontology Framework for Static Model Analysis, Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee, EMSOFT '11: Proceedings of the Ninth International Conference on Embedded Software, ACM, 23-32, 10, October, 2011
• PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation, Jan Reineke, 10, October, 2011
• A Practical Ontology Framework for Static Model Analysis, Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee, 10, October, 2011
• Heterogeneous Actor Models, Edward A. Lee, 10, October, 2011
• Repeatable Timing in Software and Networks, Edward A. Lee, 9, October, 2011
• Portable Real-Time Code from PTIDES Models, Patricia Derler, John Eidson, Edward A. Lee, Slobodan Matic, Christos Stergiou, Michael Zimmer, 9, October, 2011
• Statistics in Control, Anil Aswani, 6, October, 2011
• Synchronous statecharts for executing Esterel with Ptolemy, Christian Motika, 3, October, 2011
• Designing next-generation real-time streaming systems (tutorial abstract), Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke, CODES+ISSS, ACM, 375-376, October, 2011
• PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation, Jan Reineke, Isaac Liu, Hiren Patel, Sungjun Kim, Edward A. Lee, CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 99-108, October, 2011
• Time-predictable and composable architectures for dependable embedded systems, Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis, Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (CODES+ISSS '11), ACM, 351-352, October, 2011
• Correct and Non-Defensive Glue Design using Abstract Models, Stavros Tripakis, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Gerald Wang, Guang Yang, Jacob Korneup, Ian Wong, CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 59-68, October, 2011
• Robust Satisfaction of Signal Temporal Logics and Applications, Donze Alexandre, 26, September, 2011
• Timing problems and opportunities for embedded control systems; modeling and co-design, Martin Torngren, 19, September, 2011
• Integrated Architecture and Programming Model for Distribution and Microgrid Automation, Slobodan Matic, August, 2011
• A Model-Based Design Methodology for Cyber-Physical Systems, Jeff C. Jensen, Danica Chang, Edward A. Lee, Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th International, 1666 - 1671, 6, July, 2011
• Network Latency and Packet Delay Variation in Cyber-physical Systems, Janette Cardoso, Patricia Derler, John Eidson, Edward A. Lee, 2011 IEEE 1st International Workshop on Network Science (NSW 2011) West Point, NY, IEEE, 23, June, 2011
• Synthesis of Distributed Real-Time Embedded Software, Edward A. Lee, 5, June, 2011
• Temporal Isolation on Multiprocessing Architectures, Dai Bui, Edward A. Lee, Isaac Liu, Hiren Patel, Jan Reineke, Design Automation Conference (DAC), 274 - 279, June, 2011
• PTARM Simulator v1.0, Isaac Liu, University of California, Berkeley, 25, May, 2011
• Time for High-Confidence Software Systems, Edward A. Lee, 1, May, 2011
• An Introductory Capstone Design Course on Embedded Systems, Jeff C. Jensen, Edward A. Lee, Sanjit Seshia, In Proceedings of Circuits and Systems (ISCAS), 2011 IEEE International Symposium on, 1199-1202, May, 2011
• AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next, Jerome Hugues, 19, April, 2011
• The Earlier the Better: A Theory of Timed Actor Interfaces, Marc Geilen, Stavros Tripakis, Maarten Wiggers, Proceedings of the 14th international conference on Hybrid systems: computation and control (HSCC 11), ACM, 23-32, April, 2011
• An Introduction to the Pthales Domain of Ptolemy II, Rémi BARRERE, eric lenormand, Dai Bui, Edward A. Lee, Chris Shaver, Stavros Tripakis, EECS Department University of California, Berkeley, UCB/EECS-2011-32, April, 2011
• A Practical Ontology Framework for Static Model Analysis, Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee, EECS Department, University of California, Berkeley, UCB/EECS-2011-33, April, 2011
• Component-Based Design for the Future, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011, 1-5, 14, March, 2011
• A Template for Predictability Definitions with Supporting Evidence, Daniel Grund, Jan Reineke, Reinhard Wilhelm, Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 22-31, March, 2011
• Addressing Modeling Challenges in Cyber-Physical Systems, Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, EECS Department University of California, Berkeley, UCB/EECS-2011-17, March, 2011
• Modeling Kernel Language (MKL) - A formal and extensible approach to, David Broman, 17, February, 2011
• Error Handling in Model-Based design for Real-Time Systems, Shanna-Shaye Forbes, 16, February, 2011
• The Ptolemy Project: Advancing System Design, Edward A. Lee, 16, February, 2011
• Modular Code Generation, Dai Bui, Stavros Tripakis, Marc Geilen, Bert Rodiers, Edward A. Lee, 16, February, 2011
• Context Aware Actors, Anne Ngu, George Chin Jr., 16, February, 2011
• Ptolemy Miniconferences, Edward A. Lee, 16, February, 2011
• Kepler/G-Pack: A Kepler Package Using the Google Cloud for Interactive Scientific Workflows, Gongjing Cao, Lei Dou, Quinn Hart, Bertram Ludaescher, 16, February, 2011
• Design, Analysis, and Implementation of Static Dataflow Models for Hardware Targets, Kaushik Ravindran, Murali Parthasarathy, 16, February, 2011
• Workflow Recovery for Different Models of Computation and Models of Provenance, Sven Koehler, Bertram Ludaescher, Timothy McPhillips, 16, February, 2011
• Distributed Execution Architectures in Kepler, Jianwu Wang, Daniel Crawl, Ilkay Altintas, Chad Berkley, Matt Jones, 16, February, 2011
• The Dataflow Interchange Format: Towards Co-Design of DSP-oriented Dataflow Models and Transformations, Shuvra S. Bhattacharyya, 16, February, 2011
• To Meet or Not to Meet the Deadline, Jan Reineke, Isaac Liu, Gage Eads, Stephen A. Edwards, Sungjun Kim, Hiren Patel, 16, February, 2011
• Static Analysis using the Ptolemy II Ontologies Package, Charles Shelton, Beth Osyk, Ben Lickly, 16, February, 2011
• Semantics of Modal Models in Ptolemy, Stavros Tripakis, Edward A. Lee, 16, February, 2011
• Modeling Distributed Real-Time Systems with Ptolemy II, Patricia Derler, Jia Zou, Slobodan Matic, John Eidson, 16, February, 2011
• Malleable Dataflow Specification: An Essential Ingredient for Resource-Scalable Implementations, Soheil Ghiasi, 16, February, 2011
• A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties, Isaac Liu, Jan Reineke, 16, February, 2011
• Ninth Biennial Ptolemy Miniconference Presentations and Posters, Claudius Ptolemaus, 16, February, 2011
• From PTIDES to PtidyOS: Programming Distributed Real-Time Embedded Systems, Jia Zou, Slobodan Matic, John Eidson, 16, February, 2011
• IEEE 1588 Time Synchronization for Real-Time Distributed Systems, Michael Zimmer, 16, February, 2011
• Automated Bit-Width Analysis Using Ptolemy, Mike Wirthlin, 16, February, 2011
• The Earlier the Better: A Theory of Timed Actor Interfaces, Stavros Tripakis, Marc Geilen, Maarten Wiggers, 16, February, 2011
• Practical Ontologies with Infinite Lattices, Ben Lickly, Charles Shelton, Beth Osyk, 16, February, 2011
• Lattice Composition for Ontology Analysis, Beth Osyk, Charles Shelton, Ben Lickly, 16, February, 2011
• Towards flexible and robust cyber-physical-systems through self organization, Andreas Thuy, 16, February, 2011
• Multidimensional Dataflow Models, Chris Shaver, Dai Bui, Stavros Tripakis, 16, February, 2011
• The Distributed Power System Test Case for Distributed Real-Time Systems, John Eidson, Slobodan Matic, Casidhe Lee, Ilge Akkaya, 16, February, 2011
• Deadline Instructions in a PRET Architecture, Gage Eads, Edward A. Lee, Isaac Liu, Jan Reineke, Hiren Patel, 16, February, 2011
• KIELER Actor Oriented Modeling, Christian Motika, Miro Sponemann, Reinhard von Hanxleden, Christoph Krueger, John Julian Carstens, 16, February, 2011
• Using Ptolemy/VisualSim for Internet-based model Sharing and Communication., Darryl Koivisto, Deepak Shankar, 16, February, 2011
• Alternative Syntactic Representations of Graph-Based Models, Chris Shaver, 16, February, 2011
• My Thesis, Christopher Brooks, The Proceedings, 2011
• Model-Based Development of Deterministic, Event-Driven, Real-Time Distributed Systems, Patricia Derler, John Eidson, Edward A. Lee, Slobodan Matic, Michael Zimmer, International Workshop on Model-Based Design with a Focus on Extra-Functional Properties (MBDEFP), 2011
• Structure and Interpretation of Signals and Systems, Edward A. Lee, Pravin Varaiya, Lee and Varaiya, 2.01, 2011
• Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Edward A. Lee, Sanjit Seshia, Published by authors, First Edition, 2011, 978-0-557-70857-4

Found 71 publications.