Search results

• Cyber-Physical Systems, A Fundamental Intellectual Challenge, Edward A. Lee, 11, December, 2013
• Cyber-Physical Systems:A Rehash or A New Intellectual Challenge?, Edward A. Lee, 10, December, 2013
• Systems of Systems Modeling, Edward A. Lee, 4, December, 2013
• Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties and its Application to Cyber-Physical Systems, Puggelli Alberto , 26, November, 2013
• A Platform Architecture for Sensor Data Processing and Verification in Buildings, Jorge Ortiz, 19, November, 2013
• Specification Mining - New Formalisms, Algorithms and Applications, Wenchao Li, 12, November, 2013
• Modeling user interfaces with Cal and Ptolemy, Hallvard Traetteberg, 7, November, 2013
• Efficient Schedulability Testing for PTIDES, Christos Stergiou, 7, November, 2013
• Light-Weight Synthesis of Ptolemy Diagrams with KIELER, Ulf Ruegg, Christian Schneider, Christoph Daniel Schulze, Miro Spoenemann, Christian Motika, Reinhard von Hanxleden, 7, November, 2013
• Data Flow in the Data Center, Adam Cataldo, 7, November, 2013
• Precision Timed Compilers, David Broman, 7, November, 2013
• Web Service Architecture for Composable, Interdisciplinary Applications, Beth Osyk, 7, November, 2013
• Developing Faithful Models of Body Sensor Networks, Philip Asare, John Lach, John A. Stankovic, 7, November, 2013
• System-level Synthesis of Dataflow Applications for FPGA-based Distributed Platforms, Hugo Andrade, Kaushik Ravindran, Alejandro Asenjo, Casey Weltzin, 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
• Tenth Biennial Ptolemy Miniconference, Edward A. Lee, 7, November, 2013
• Taxonomies of MoC's, Chris Shaver, Marten Lohstroh, 7, November, 2013
• Attack Modeling in Ptolemy: Towards a Secure Design for Cyber-Physical Systems, Armin Wasicek, 7, November, 2013
• The Ptolemy Project: Advancing System Design, Edward A. Lee, 7, November, 2013
• Claudius Ptolemaeus, Geographer, Chamberlain Fong, 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
• Aspect Oriented Models and CPS, Patricia Derler, 7, November, 2013
• Aspect-Oriented Fault Modeling and Anomaly Detection in Ptolemy II, Ilge Akkaya, Patricia Derler, Edward A. Lee, 7, November, 2013
• A Formalization of the Ptolemy II Type System, Chris Shaver, Marten Lohstroh, 7, November, 2013
• Backward Type Inference, Marten Lohstroh, Edward A. Lee, 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
• Model-Based System Engineering: Past, Present and Future, Michael Tiller, 22, October, 2013
• Emergent Middleware Facing the Interoperability Challenge, Valerie Issarny, 15, October, 2013
• Short and Long-Term Research Challenges for Protecting Critical Infrastructure Systems, Alvaro Cardenas, October, 2013
• Determinate Composition of FMUs for Co-Simulation, David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter, 13th International Conference on Embedded Software (EMSOFT), Montreal, 29, September, 2013
• The ACROSS MPSoC: A New Generation of Multi-Core Processors Designed for Safety-Critical Embedded Systems, Armin Wasicek, 24, September, 2013
• Schedulability and Verification of Real-Time Discrete-Event Systems, Christos Stergiou, 16, September, 2013
• Cyber-Security for Controller Area Network and its Security-Aware Mapping, Chung-Wei Lin, 10, September, 2013
• The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices, Eleftherios Matsikoudis, Edward A. Lee, Workshop on Fixed Points in Computer Science (FICS), Torino, Italy, 1, September, 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
• On the Schedulability of Real-Time Discrete-Event Systems, Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee, 13th International Conference on Embedded Software (EMSOFT), September, 2013
• On the Verification of Timed Discrete-Event Models, Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 29, August, 2013
• On Fixed Points of Strictly Causal Functions, Eleftherios Matsikoudis, Edward A. Lee, 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Buenos Aires, Argentina, 29, August, 2013
• Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks, Dan Holcomb, 27, August, 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
• An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals, Eleftherios Matsikoudis, Edward A. Lee, 19th International Symposium on Fundamentals of Computation Theory (FCT), Liverpool, United Kingdom, 19, August, 2013
• Guaranteeing Safe Online Machin Learning via Reachability Analysis, Jeremy Gillula, 9, August, 2013
• Power Distribution Systems: Optimization, Control and Communication, Baosen Zhang, 2, August, 2013
• A modular formal semantics for Ptolemy, Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee, Mathematical Structures in Computer Science, 23, 04, 834-881, August, 2013
• Precision Timed Infrastructure: Languages, Compilers, and Hardware with Ubiquitous Notion of Time, David Broman, 28, June, 2013
• Bridging Fundtional and Architectural Aspects of Controller Design in Cyber-physical System, Liangpeng Guo, 7, June, 2013
• Schedulability, Deadlock Freedom, and Performance Analysis of Timed Actors, Marjan Sirjani, 4, June, 2013
• Cyber-Physical Systems:A Rehash or A New Intellectual Challenge?, Edward A. Lee, 4, June, 2013
• Precision Timed Infrastructure: Design Challenges, David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai, Aviral Shrivastava, Stephen A. Edwards, Edward A. Lee, In the Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), Austin, Texas, USA, 31, May, 2013
• Co-design of Control Algorithm and Embedded Platform for Building HVAC Systems, Mehdi Maasoumy, 21, May, 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
• Specification Mining of Industrial-scale Control Systems, Alexandre Donze, 14, May, 2013
• Reachability of Hybrid Systems in Space-Time, Goran Frehse, 7, May, 2013
• Deterministic Execution of Ptides Programs, Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee, Michael Zimmer, University of California, Berkeley, Technical Report No. UCB/EECS-20, May, 2013
• Model Predictive Control for Energy Efficient Buildings, Yudong Ma, 26, April, 2013
• Verifying Real-Time Software Is Not Reasonable (Today), Edward A. Lee, 24, April, 2013
• Models and Architectures for Heterogeneous System Design, Andreas Gerstlauer, 16, April, 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
• Distributed and Real-time Predictive Control, Melanie Zeilinger, 5, April, 2013
• Components, Interfaces and Compositions: from SoCs to SOCs, Partha S. Roop, 26, March, 2013
• Compositionality in system design: interfaces everywhere!, Stavros Tripakis, 19, March, 2013
• Tomorrow is Yesterday (or nearly so): Historical Lessons that Foretell the Future of Mobile and (Connected) Embedded Systems, Bob Iannucci, 5, March, 2013
• Control and Optimization of Cyber-Physical Energy Systems: Smart Buildings within Smart Grid, Mehdi Maasoumy, 1, March, 2013
• Maximally Permissive Composition of Actors in Ptolemy II, Marten Lohstroh, EECS Department, University of California, Berkeley, March, 2013
• Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs, Stavros Tripakis, Dai Bui, Bert Rodiers, Edward A. Lee, ACM Transactions on Embedded Computing Systems, 12, 3, March, 2013
• PTIDES AND PLATFORM-BASED DESIGN, Patricia Derler, 20, February, 2013
• ABC - a tool for sequential logic verication and synthesis, Sayak Ray, 20, February, 2013
• Semantic Localization in TerraSwarm, Ben Zhang, Edward A. Lee, 20, February, 2013
• Precision Timed Infrastructure, David Broman, 20, February, 2013
• DREAMS tutorial: The particle filter, Thomas Schon, 20, February, 2013
• Platform-based Design Approach to Modeling and Control of Energy Cyber-Physical Systems, Mehdi Maasoumy, 20, February, 2013
• Specification Mining for Cyberphysical Systems, Alexandre Donze, Sanjit Seshia, 20, February, 2013
• Overview of Research at CHESS, Stavros Tripakis, 20, February, 2013
• Automated and semi-automated memory management in real-time, Jan Vitek, 19, February, 2013
• Precision Timed Infrastructure, David Broman, 14, February, 2013
• An Overview of the CHESS Center, Christopher Brooks, Edward A. Lee, 14, February, 2013
• Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java, Christopher Brooks, Edward A. Lee, 14, February, 2013
• Networking Infrastructure and Data Management for Cyber-Physical Systems, Song Han, 5, February, 2013
• Error-Completion in Interface Theories, Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee, International SPIN Symposium on Model Checking of Software, 2013
• On the Schedulability of Real-Time Discrete-Event Systems, Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee, 13th International Conference on Embedded Software (EMSOFT), 2013
• Temporal Issues in Cyber-Physical Systems, David Broman, Patricia Derler, John Eidson, Journal of Indian Institute of Science, 2013

Found 82 publications.