Search results

• An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems, Hokeun Kim, Armin Wasicek, Edward A. Lee, the 6th Workshop on Design, Modeling and Evaluation of Cyber-Physical Systems (CyPhy'17), 19, October, 2017
• Process-Level Modeling and Simulation for HP's Multi Jet Fusion 3D Printing Technology, Hokeun Kim, Yan Zhao, Lihua Zhao, the 1st International Workshop on Cyber-Physical Production Systems (CPPS), 12, April, 2016
• Ptolemy II: An open-source platform for experimenting with actor-oriented design, Christopher Brooks, 11, February, 2016
• Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, TBD, 12, November, 2015
• From Streaming Data to Streaming Systems: Aspect-Oriented Data-Driven System Design, Ilge Akkaya, Edward A. Lee, 9, November, 2015
• Composing Learning Internet-of-Things Applications with Accessors, Armin Wasicek, 16, October, 2015
• Localize The World, Matt Weber, 16, October, 2015
• A Distributed Data-Parallel Execution Framework in the Kepler Scientific Workflow System, Ilkay Altintas, Daniel Crawl, Jianwu Wang, 16, October, 2015
• Code Generation for Quantized-State System (QSS) Simulation, Mehrdad Niknami, 16, October, 2015
• Adding time-step time management to a distributed Ptolemy-HLA framework, Yanxuan Li, Janette Cardoso, Pierre Siron, 16, October, 2015
• Scalable and reusable models for HLA-Ptolemy cosimulation framework, David Come, Janette Cardoso, 16, October, 2015
• Poster Summaries, Poster Presenters, 16, October, 2015
• Modeling and Analyzing Air Traffic Control Systems using Ptolemy, Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee, 16, October, 2015
• bioKepler: A Comprehensive Bioinformatics Scientific Workflow Module for Distributed Analysis of Large-Scale Biological Data, Ilkay Altintas, Daniel Crawl, 16, October, 2015
• Hybrid Cosimulation for Production Systems, Giacomo Barbieri, 16, October, 2015
• CyPhySim - A Cyber-Physical Systems Simulator, Christopher Brooks, Fabio Cremona, Edward A. Lee, David Lorenzetti, Thierry Nouidui, Michael Wetter, 16, October, 2015
• Automatic generation of master algorithms for FMI 2.0 Co-Simulation, Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, Edward A. Lee, 16, October, 2015
• Ptolemy Miniconferences, Edward A. Lee, 16, October, 2015
• Challenges of Implementing Timed Models on Timed Platforms, Patricia Derler, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Ankita Prasad, Trung N. Tran, Kaushik Ravindran, 16, October, 2015
• Machine Learning Module for Big Data Analysis in Kepler, Mai Nguyen, Daniel Crawl, Jianwu Wang, Ilkay Altintas, 16, October, 2015
• Integration of Robotic Systems into an IoT Framework via Access\ ors, Marcus Pan, Amanda Prorok, Philip Dames, Mark Oehlberg, Edward A. Lee, 16, October, 2015
• Building compositional learning and optimization applications for mobile sensor networks with PILOT, Ilge Akkaya, 16, October, 2015
• The Ptolemy Project: Closing Remarks, Edward A. Lee, 16, October, 2015
• A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Edward A. Lee, October, 2015
• Fast Simulation Techniques for HP Multi Jet Fusion(TM) 3D Printing Technology using Ptolemy II, Hokeun Kim, Yan Zhao, October, 2015
• Code Generation for SDF and FSM Models in Ptolemy II for Embedded Devices, Kevin Albers, Robert Bui, Jose Oyola, EECS 249B Final Report, May, 2015
• PILOT: An Actor-oriented Learning and Optimization Toolkit for Robotic Swarm Applications, Ilge Akkaya, Shuhei Emoto, Edward A. Lee, Second International Workshop on Robotic Sensor Networks (RSN'15), Cyber-Physical Systems Week 2015, 13, April, 2015
• PILOT: An Actor-Oriented Learning and Optimization Toolkit for the Swarm, Ilge Akkaya, 12, February, 2015
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 12, February, 2015
• Modeling and Simulation of Network Aspects for Distributed Cyber-Physical Energy Systems, Ilge Akkaya, Yan Liu, Edward A. Lee, Cyber Physical Systems Approach to Smart Electric Power Grid, 1-23, January, 2015
• Ptolemy II 10.0, Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Chihhong Patrick Cheng, Daniel Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, eric lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Christian Motika, Thierry Nouidui, Aaron T Schultz, Charles Shelton, Ishwinder Singh, Hallvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou, University of California, Berkeley, 18, December, 2014
• PILOT: A Machine Learning and Optimization Toolkit for the Swarm, Ilge Akkaya, Edward A. Lee, Shuhei Emoto, 17, November, 2014
• Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems, Armin Wasicek, Patricia Derler, Edward A. Lee, Proceedings of the 51st Design Automation Conference (DAC), June, 2014
• SCR in Ptolemy, Patricia Derler, 12, February, 2014
• Constructive Models of Discrete and Continuous Physical Phenomena, Edward A. Lee, EECS Department, UC Berkeley, UCB/EECS-2014-15, February, 2014
• Aspect-Oriented Fault Modeling and Anomaly Detection in Ptolemy II, Ilge Akkaya, Patricia Derler, Edward A. Lee, 7, November, 2013
• Attack Modeling in Ptolemy: Towards a Secure Design for Cyber-Physical Systems, Armin Wasicek, 7, November, 2013
• Aspect Oriented Models and CPS, Patricia Derler, 7, November, 2013
• BPDF: A Statically Analyzable DataFlow Model with Integer and Boolean Parameters, Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur, 7, November, 2013
• Claudius Ptolemaeus, Geographer, Chamberlain Fong, 7, November, 2013
• The Ptolemy Project: Advancing System Design, Edward A. Lee, 7, November, 2013
• Linking FMI-based components with Ptolemy II's Discrete Event Domain, Wolfgang Muller, Edmund Widl, Atiyah Elsheikh, Peter Palensky, 7, November, 2013
• Taxonomies of MoC's, Chris Shaver, Marten Lohstroh, 7, November, 2013
• Backward Type Inference, Marten Lohstroh, Edward A. Lee, 7, November, 2013
• A Formalization of the Ptolemy II Type System, Chris Shaver, Marten Lohstroh, 7, November, 2013
• Real-Time Control Improvisation for the SmartJukebox, Alexandre Donze, Ilge Akkaya, Sanjit Seshia, Edward A. Lee, David Wessel, 3, November, 2013
• Distributed Simulation of Heterogeneous and Real-time Systems, Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler, 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, November, 2013
• StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs Using High-Level Abstractions, Dai Bui, Edward A. Lee, International Conference on Embedded Software (EMSOFT), September, 2013
• A Tool Integration Approach for Architectural Exploration of Aircraft Electric Power Systems, Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto Sangiovanni-Vincentelli, Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on, IEEE, 38-43, 19, August, 2013
• Model-Based Evaluation of GPS Spoofing Attacks, Ilge Akkaya, Patricia Derler, Edward A. Lee, To appear in Proceedings of the IEEE Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 20, May, 2013
• Cyber-Physical System Design Contracts, Patricia Derler, Edward A. Lee, Martin Torngren, Stavros Tripakis, ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems, 10, April, 2013
• Maximally Permissive Composition of Actors in Ptolemy II, Marten Lohstroh, EECS Department, University of California, Berkeley, March, 2013
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 14, February, 2013
• Modeling and Analysis of Middleware Design for Streaming Power-Grid Applications, Ilge Akkaya, Yan Liu, Ian Gorton, In Proceedings of International Middleware Conference (Middleware 2012), 3, December, 2012
• Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages, David Broman, Jeremy G. Siek, EECS Department, University of California, Berkeley, UCB/EECS-2012-173, June, 2012
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 23, February, 2012
• From Transitions to Executions, Eleftherios Matsikoudis, Edward A. Lee, To appear in Proceedings of the Eleventh Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), 2012
• Labelled Execution Systems [DRAFT], Eleftherios Matsikoudis, Edward A. Lee, 2012
• Creating Web Pages, Christopher Brooks, Edward A. Lee, Claudius Ptolemaeus, 348-365, 0.05, Ptolemy Project, 2012
• 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
• Integrated Architecture and Programming Model for Distribution and Microgrid Automation, Slobodan Matic, August, 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
• 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
• Context Aware Actors, Anne Ngu, George Chin Jr., 16, February, 2011
• Multidimensional Dataflow Models, Chris Shaver, Dai Bui, Stavros Tripakis, 16, February, 2011
• Ptolemy Miniconferences, Edward A. Lee, 16, February, 2011
• Modular Code Generation, Dai Bui, Stavros Tripakis, Marc Geilen, Bert Rodiers, Edward A. Lee, 16, February, 2011
• Lattice Composition for Ontology Analysis, Beth Osyk, Charles Shelton, Ben Lickly, 16, February, 2011
• Distributed Execution Architectures in Kepler, Jianwu Wang, Daniel Crawl, Ilkay Altintas, Chad Berkley, Matt Jones, 16, February, 2011
• The Ptolemy Project: Advancing System Design, Edward A. Lee, 16, February, 2011
• Practical Ontologies with Infinite Lattices, Ben Lickly, Charles Shelton, Beth Osyk, 16, February, 2011
• Modeling Distributed Real-Time Systems with Ptolemy II, Patricia Derler, Jia Zou, Slobodan Matic, John Eidson, 16, February, 2011
• Deadline Instructions in a PRET Architecture, Gage Eads, Edward A. Lee, Isaac Liu, Jan Reineke, Hiren Patel, 16, February, 2011
• Towards flexible and robust cyber-physical-systems through self organization, Andreas Thuy, 16, February, 2011
• Semantics of Modal Models in Ptolemy, Stavros Tripakis, Edward A. Lee, 16, February, 2011
• Error Handling in Model-Based design for Real-Time Systems, Shanna-Shaye Forbes, 16, February, 2011
• The Earlier the Better: A Theory of Timed Actor Interfaces, Stavros Tripakis, Marc Geilen, Maarten Wiggers, 16, February, 2011
• Static Analysis using the Ptolemy II Ontologies Package, Charles Shelton, Beth Osyk, Ben Lickly, 16, February, 2011
• Malleable Dataflow Specification: An Essential Ingredient for Resource-Scalable Implementations, Soheil Ghiasi, 16, February, 2011
• Automated Bit-Width Analysis Using Ptolemy, Mike Wirthlin, 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
• A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties, Isaac Liu, Jan Reineke, 16, February, 2011
• IEEE 1588 Time Synchronization for Real-Time Distributed Systems, Michael Zimmer, 16, February, 2011
• The Dataflow Interchange Format: Towards Co-Design of DSP-oriented Dataflow Models and Transformations, Shuvra S. Bhattacharyya, 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
• From PTIDES to PtidyOS: Programming Distributed Real-Time Embedded Systems, Jia Zou, Slobodan Matic, John Eidson, 16, February, 2011
• Workflow Recovery for Different Models of Computation and Models of Provenance, Sven Koehler, Bertram Ludaescher, Timothy McPhillips, 16, February, 2011
• KIELER Actor Oriented Modeling, Christian Motika, Miro Sponemann, Reinhard von Hanxleden, Christoph Krueger, John Julian Carstens, 16, February, 2011
• Ninth Biennial Ptolemy Miniconference Presentations and Posters, Claudius Ptolemaus, 16, February, 2011
• Design, Analysis, and Implementation of Static Dataflow Models for Hardware Targets, Kaushik Ravindran, Murali Parthasarathy, 16, February, 2011
• Using Ptolemy/VisualSim for Internet-based model Sharing and Communication., Darryl Koivisto, Deepak Shankar, 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
• Alternative Syntactic Representations of Graph-Based Models, Chris Shaver, 16, February, 2011
• A PRET Architecture Supporting Concurrent Programs with Composable Timing Properties, Isaac Liu, Jan Reineke, Edward A. Lee, 44th Asilomar Conference on Signals, Systems, and Computers, 2111-2115, 7, November, 2010
• Computing Needs Time, Edward A. Lee, 2, November, 2010
• Ptolemy II 8.0.1: An open-source software framework supporting experimentation with actor-oriented design, Edward A. Lee, Christopher Brooks, Thomas Huining Feng, Jackie Man-Kit Leung, Bert Rodiers, Kyungmin Bae, Chad Berkley, Chihhong Cheng, Teale Fristoe, Shanna-Shaye Forbes, Hauke Fuhrmann, Ben Lickly, Isaac Liu, Michael Wetter, University of California, Berkeley, 28, October, 2010
• Exploring Models of Computation with Ptolemy II, Christopher Brooks, Edward A. Lee, Stavros Tripakis, 24, October, 2010
• Code Generation for Embedded Java with Ptolemy, Martin Schoeberl, Christopher Brooks, Edward A. Lee, Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), October, 2010
• Deploying Hard Real-time Control Software on Chip-multiprocessors, Dai Bui, Hiren Patel, Edward A. Lee, 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), August, 2010
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 11, February, 2010
• Monotonicity and Run-Time Scheduling, Maarten Wiggers, Marco Bekooij, Gerard Smit, 11, February, 2010
• Model-Based Engineering of Embedded Real-Time Systems, Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz, Lecture Notes in Computer Science, Springer, 6100, 2010
• Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude, Kyungmin Bae, Peter Csaba Olveczky, Thomas Huining Feng, Stavros Tripakis, ICFEM '09: Proceedings of the 11th International Conference on Formal Engineering Methods, 717-736, 9, December, 2009
• Finite State Machines and Modal Models in Ptolemy II, Edward A. Lee, EECS Department, University of California, Berkeley, UCB/EECS-2009-151, December, 2009
• A Disruptive Computer Design Idea: Architectures with Repeatable Timing, Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren Patel, Martin Schoeberl, Proceedings of IEEE International Conference on Computer Design (ICCD), IEEE, 4, October, 2009
• Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee, UC Berkeley, UCB/EECS-2009-143, October, 2009
• On the Design of Concurrent, Distributed Real-Time Systems, Yang Zhao, University of California, Berkeley, August, 2009
• Classes and Inheritance in Actor-Oriented Design, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, ACM Transactions on Embedded Computing Systems (TECS), 8, 4, 29:1--29:26, July, 2009
• Model Transformation with Hierarchical Discrete-Event Control, Thomas Huining Feng, 6, May, 2009
• Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms, Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis, Workshop on Exploiting Concurrency Efficiently and Correctly, May, 2009
• Heterogeneous Composition of Models of Computation, Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Gobel, Future Generation Computer Systems, 25, 5, 552-560, May, 2009
• Model Transformation with Hierarchical Discrete-Event Control, Thomas Huining Feng, University of California, Berkeley, May, 2009
• Scientific Workflow Design for Mere Mortals, Timothy McPhillips, Shawn Bowers, Daniel Zinn, Bertram Ludaescher, Future Generation Computer Systems, 25, 5, 541-551, May, 2009
• On-time Network On-Chip: Analysis and Architecture, Dai Bui, Alessandro Pinto, Edward A. Lee, University of California, Berkeley, UCB/EECS-2009-59, May, 2009
• Computing Needs Time, Edward A. Lee, Communications of the ACM, 52, 5, 70-79, May, 2009
• On Relational Interfaces, Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee, UC Berkeley, 8, May, 2009
• A Provenance Framework to Capture, Store, Query, and Browse Data Lineage in Kepler, Manish Anand, 16, April, 2009
• KAMon: A Kepler Module for Runtime Monitoring of Scientific Workflows, Faraaz Sareshwala, 16, April, 2009
• Model Ontologies: Generalizing Type System Ideas to Arbitrary Model, Beth Osyk, Thomas Mandl, Man-Kit Leung, 16, April, 2009
• Simulating the Calculus for Sensor Networks in VisualSense, Duarte Vieira, 16, April, 2009
• Model Transformation with the Ptera Controller, Thomas Huining Feng, 16, April, 2009
• An integrated approach to managing workflow runs and generating reports in Kepler, Ben Leinfelder, Ilkay Altintas, Derik Barseghian, Daniel Crawl, Matt Jones, Aaron T Schultz, Staggs Debi, 16, April, 2009
• Model Transformation with the Ptera Controller, Thomas Huining Feng, 16, April, 2009
• Using Actor-based design for IP Sharing, Darryl Koivisto, 16, April, 2009
• New Width Inference Algorithm, Bert Rodiers, Ben Lickly, 16, April, 2009
• Ptolemy Project Vision, Edward A. Lee, 16, April, 2009
• Taking LabVIEW further into the System Level Design Domain, Kaushik Ravindran, Hugo Andrade, Sadia Malik, Michael Rauser, Guoqiang Gerald Wang, Guang Yang, 16, April, 2009
• Kepler Project Overview, Status, and Future Directions, Bertram Ludaescher, 16, April, 2009
• Exploring Modeling Pragmatics with Ptolemy and KIELER, Hauke Fuhrmann, Reinhard von Hanxleden, 16, April, 2009
• Retargetable Model-Based Code Generation in Ptolemy II, Man-Kit Leung, Bert Rodiers, Christopher Brooks, Edward A. Lee, 16, April, 2009
• Model Transformation with the Ptera Controller, Thomas Huining Feng, 16, April, 2009
• Closing Remarks, Edward A. Lee, 16, April, 2009
• On-time Network On-Chip: Analysis and Architecture, Dai Bui, Alessandro Pinto, Edward A. Lee, 16, April, 2009
• Parallel Virtual Machines in Kepler, Daniel Zinn, 16, April, 2009
• Everyone Virtualizes Everything But Time, Silviu Craciunas, 16, April, 2009
• The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems, Stefan Resmerita, Patricia Derler, 16, April, 2009
• Modeling Network Lifetime in a WSN using Visual Sense, Ricardo Gonzalez, 16, April, 2009
• Precision Timed (PRET) Machines, Hiren Patel, Ben Lickly, Isaac Liu, 16, April, 2009
• Optimizing Comad for growing input data sets, Sean Riddle, Amber Hartman, Timothy McPhillips, Shawn Bowers, David Welker, Bertram Ludaescher, 16, April, 2009
• PTIDES (Programming Temporally Integrated Distributed Embedded Systems) and PtidyOS, Jia Zou, Slobodan Matic, 16, April, 2009
• A generalized framework for modeling and scheduling heterogeneous dataflow applications, Nimish Sane, 16, April, 2009
• Ptolemy Ptutorial, Christopher Brooks, Isaac Liu, Ben Lickly, Stavros Tripakis, Man-Kit Leung, Thomas Huining Feng, 15, April, 2009
• New Width Inference Algorithm, Bert Rodiers, Ben Lickly, 12, February, 2009
• Model Transformation Using ERG Controller, Thomas Huining Feng, Edward A. Lee, 12, February, 2009
• A model of domain-polymorph component for heterogeneous system design, Mohamed Feredj, Frédéric Boulanger, Aime Mokhoo Mbobi, Journal of Systems and Software (JSS), 82, 1, 112-120, 2009
• Model Engineering, Edward A. Lee, 21, October, 2008
• Predictable Programming on a Precision Timed Architecture, Ben Lickly, Isaac Liu, Sungjun Kim, Hiren Patel, Stephen A. Edwards, Edward A. Lee, Proceedings of International Conference on Compilers, Architecture, and Synthesis from Embedded Systems (CASES), Atlanta, Georgia, Erik R. Altman, ACM, 137-146, 19, October, 2008
• Multimodeling, Edward A. Lee, 3, October, 2008
• VHDL Code Generation in the Ptolemy II Environment, Jackie Man-Kit Leung, Terry Filiba, Vinayak Nagpal, EECS Department, University of California, Berkeley, UCB/EECS-2008-140, October, 2008
• Scalable Models Using Model Transformation, Thomas Huining Feng, Edward A. Lee, 29, September, 2008
• Disciplined Concurrent Models of Computation for Parallel Software, Edward A. Lee, 3, August, 2008
• Component Architectures for Time-Sensitive Systems, Edward A. Lee, 22, July, 2008
• Partial Evaluation for Optimized Compilation of Actor-Oriented Models, Gang Zhou, University of California, Berkeley, May, 2008
• Time is a Resource, and Other Stories, Edward A. Lee, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008
• Cyber Physical Systems: Design Challenges, Edward A. Lee, International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May, 2008
• Ptolemy II 7.0.1, Edward A. Lee, Christopher Brooks, Thomas Huining Feng, Man-Kit Leung, Teale Fristoe, Adam Cataldo, Elaine Cheong, University of California, Berkeley, 4, April, 2008
• Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems, Thomas Huining Feng, Edward A. Lee, Hiren Patel, Jia Zou, Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 08), Work-in-Progress Session, April, 2008
• Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu, EECS Department, University of California, Berkeley, UCB/EECS-2008-28, April, 2008
• Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Christopher Brooks, Edward A. Lee, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Xiaojun Liu, EECS Department, University of California, Berkeley, UCB/EECS-2008-29, April, 2008
• Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, EECS Department, University of California, Berkeley, UCB/EECS-2008-30, April, 2008
• Automated Distribution Simulation in Ptolemy II, Daniel Lazaro Cuadrado, Aalborg University, April, 2008
• An Extensible Software Synthesis Framework for Heterogeneous Actor Models, Man-Kit Leung, Edward A. Lee, SLA++P 2008, Model-driven High-level Programming of Embedded Systems, Artist, March, 2008
• Model Transformation for Systematic Development of Actor Models, Thomas Huining Feng, Edward A. Lee, 21, February, 2008
• Software Development in an Academic Environment: Lessons learned and not learned, Christopher Brooks, 1, November, 2007
• Heterogeneous Composition of Models of Computation, Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Carol Goble, EECS Department University of California Berkeley, UCB/EECS-2007-139, November, 2007
• Software Challenges and Opportunities for Real-Time on Multicore Machines, Edward A. Lee, 21, August, 2007
• An Overview of Concurrent Models of Computation for Real-Time Systems, Edward A. Lee, 20, August, 2007
• Actor-Oriented Programming for Wireless Sensor Networks, Elaine Cheong, University of California, Berkeley, August, 2007
• Making Concurrency Mainstream, Christopher Brooks, Edward A. Lee, 16, July, 2007
• Multi-formalism modelling and model transformation for the design of reactive systems, Thomas Huining Feng, Miriam Zia, 2007 Summer Computer Simulation Conference (SCSC 2007), July, 2007
• Composing Different Models of Computation in Kepler and Ptolemy II, Antoon Goderis, Christopher Brooks, Ilkay Altintas, Edward A. Lee, Goble Carol, 2007 Proceedings, International Conference on Computational Science (ICCS), 182-190, May, 2007
• Interface Theories for Causality Analysis in Actor Networks, Ye Zhou, University of California, Berkeley, May, 2007
• Operational Semantics of Hybrid Systems, Haiyang Zheng, University of California, Berkeley, May, 2007
• Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report, Edward A. Lee, University of California, Berkeley, UCB/EECS-2007-72, May, 2007
• A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Gang Zhou, Man-Kit Leung, Edward A. Lee, Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et al., 786-799, May, 2007
• Correctness in Causal Systems, Eleftherios Matsikoudis, 13, February, 2007
• Nesting and Unnesting Models of Computation, Edward A. Lee, 13, February, 2007
• Causality Interfaces for Actor Networks, Ye Zhou, Edward A. Lee, 13, February, 2007
• Using the RExpression Actor in Kepler Workflows, Daniel Higgins, Josh Madin, 13, February, 2007
• Ptolemy Project Vision, Edward A. Lee, 13, February, 2007
• COMAD:Collection-Oriented Modeling and Design of Scientific Workflows and Data, Timothy McPhillips, Shawn Bowers, Bertram Ludaescher, 13, February, 2007
• VHDL code generation framework in Ptolemy II, Vinayak Nagpal, Terry Filiba, Man-Kit Leung, 13, February, 2007
• Kepler Project Overview, Status, and Future Directions, Matt Jones, 13, February, 2007
• The Power of Higher-Order Components in System Design, Adam Cataldo, 13, February, 2007
• Actor Oriented as OpenOffice.org Macro Language, Rodolfo Totaro, 13, February, 2007
• Provenance Framework in Kepler, Norbert Podhorszki, Ilkay Altintas, 13, February, 2007
• Ptolemy Reconfigurable and Programmable Hardware Platform, Mohamed A. Salem, 13, February, 2007
• The Kepler Actor Repository: Enabling Remote Storage, Query and Retrieval of Actors and other Workflow Components, Chad Berkley, 13, February, 2007
• Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks, Elaine Cheong, 13, February, 2007
• How to measure Multi-Instruction, Multi-Core Processor Performance using Simulation, Darryl Koivisto, Deepak Shankar, 13, February, 2007
• Leveraging synchronous language principles for continuous-time, discrete-event, and hybrid system models, Haiyang Zheng, Edward A. Lee, 13, February, 2007
• The CAL Actor Language: Synthesizing Models to FPGA, Jorn W Janneck, 13, February, 2007
• Overcoming the Gap Between Design at Electronic System Level (ESL) and Implementation, Horst Salzwedel, 13, February, 2007
• Scheduling Data-Intensive Workflows in Kepler, Daniel Zinn, Tim H. Wong, Bertram Ludaescher, 13, February, 2007
• Cyber-Physical Systems: A Vision of the Future, Edward A. Lee, 13, February, 2007
• PTIDES: Programming Temporally Integrated Distributed Embedded Systems, Yang Zhao, Edward A. Lee, Jie Liu, 13, February, 2007
• Joint Modeling and Design of Wireless Networks and Sensor Node Design, Edward A. Lee, Yang Zhao, 13, February, 2007
• Extending Domains and the User Interface, Edward A. Lee, 13, February, 2007
• S. Bowers, T. McPhillips, B. Ludaescher, A. Ngu, N. Haasch, T. Critchlow, S. Bowers, T. McPhillips, B. Ludaescher, 13, February, 2007
• Real-Time Fault-Tolerant Distributed DE for Embedded Systems, Edward A. Lee, Feng Zhao, 13, February, 2007
• Partial Evaluation for Optimized Compilation of Actor-oriented Models, Gang Zhou, Edward A. Lee, Man-Kit Leung, 13, February, 2007
• A Kepler-based Three Tier Architecture applied to LiDAR Interpolation, Efrat Jaeger-Frank, Ilkay Altintas, 13, February, 2007
• Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, University of California, Berkeley, UCB/EECS-2007-7, February, 2007
• Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, University of California, Berkeley, UCB/EECS-2007-8, February, 2007
• Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains), Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, University of California, Berkeley, UCB/EECS-2007-9, February, 2007
• A Code Generation Framework for Actor-Oriented Models with Partial Evaluation, Gang Zhou, Man-Kit Leung, Edward A. Lee, University of California, Berkeley, UCB/EECS-2007-29, February, 2007
• The UC Discovery Grant Program, Mona D. Lee, 13, January, 2007
• Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems, Edward A. Lee, Haiyang Zheng, Proceedings of the 7th ACM & IEEE international conference on Embedded software, Christoph M. Kirsch, Reinhard Wilhelm, ACM, 114-123, 2007
• Feedback in Strictly Causal Systems, Eleftherios Matsikoudis, Edward A. Lee, 2007
• The Semantics of Dataflow with Firing, Edward A. Lee, Eleftherios Matsikoudis, Gérard Huet Gordon Plotkin Jean-Jacques Lévy Yves Bertot, preprint (March 7 2, Cambridge University Press, 2007
• The Design and Application of Structured Types in Ptolemy II, Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi zhong, University of California, Berkeley, UCB/EECS-2007-21, 2007
• Diesel Engine ECU Overview Ptolemy Ideas, Thomas Mandl, 12, December, 2006
• The Power of Higher-Order Composition Languages in System Design, Adam Cataldo, University of California, Berkeley, December, 2006
• Incremental Checkpointing with Application to Distributed Discrete Event Simulation, Thomas Huining Feng, Edward A. Lee, Winter Simulation Conference (WSC 2006), December, 2006
• Classes and Inheritance in Actor-Oriented Design, Edward A. Lee, Stephen Neuendorffer, Xiaojun Liu, University of California, Berkeley, UCB/EECS-2006-154, November, 2006
• Causality Interfaces for Actor Networks, Ye Zhou, Edward A. Lee, University of California, Berkeley, UCB/EECS-2006-148, November, 2006
• A Causality Interface for Deadlock Analysis in Dataflow, Ye Zhou, Edward A. Lee, Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi, ACM, 44-52, October, 2006
• Modeling Timed Concurrent Systems, Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee, CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns, 1-15, August, 2006
• Automated Memory Allocation of Actor Code and Data Buffer in Heterochronous Dataflow Models to Scratchpad Memory, Shamik Bandyopadhyay, University of California, Berkeley, August, 2006
• A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems, Adam Cataldo, Edward A. Lee, Xiaojun Liu, Eleftherios Matsikoudis, Haiyang Zheng, Workshop on Discrete Event Systems, July, 2006
• The Problem with Threads, Edward A. Lee, IEEE Computer, 39, 5, 33-42, May, 2006
• Joint Modeling and Design of Wireless Networks and Sensor Node Software, Elaine Cheong, Edward A. Lee, Yang Zhao, University of California, Berkeley, UCB/EECS-2006-150, April, 2006
• Simulating Zeno Hybrid Systems Beyond Their Zeno Points, Haiyang Zheng, UC Berkeley, 2006
• Viptos 5.1-alpha, Elaine Cheong, Christopher Brooks, Edward A. Lee, UC Berkeley, 1, November, 2005
• HyVisual 5.0.1, Haiyang Zheng, Christopher Brooks, Edward A. Lee, Jie Liu, Xiaojun Liu, Stephen Neuendorffer, UC Berkeley, 7, October, 2005
• Ptolemy II 5.0.1, Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Gang Zhou, Ye Zhou, UC Berkeley, 5, October, 2005
• PtPlot 5.5, Edward A. Lee, Christopher Brooks, UC Berkeley, 28, July, 2005
• Ptolemy II 5.0, Christopher Brooks, Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng, Gang Zhou, Ye Zhou, UC Berkeley, 21, July, 2005
• Operational Semantics of Hybrid Systems, Edward A. Lee, Haiyang Zheng, Invited paper in Hybrid Systems: Computation and Control (HSCCS), 25-53, March, 2005
• Actor-Oriented Metaprogramming, Stephen Neuendorffer, University of California, Berkeley, December, 2004
• A behavioral type system and its application in Ptolemy II, Edward A. Lee, Yuhong Xiong, Formal Aspects of Computing, 16, 3, 210 - 237, August, 2003
• Taming heterogeneity - the Ptolemy approach, Johan Eker, Jorn W Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Sonia Sachs, Yuhong Xiong, Stephen Neuendorffer, Proceedings of the IEEE, 91, 1, 127-144, 2003

Found 232 publications.