Edward A. Lee

According to our database, Edward A. Lee authored at least 294 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca.

Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla

CoRR, 2024

2023

High-performance Deterministic Concurrency Using Lingua Franca.

Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jerónimo Castrillón, Edward A. Lee

ACM Trans. Archit. Code Optim., December, 2023

Towards Building Verifiable CPS using Lingua Franca.

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia

ACM Trans. Embed. Comput. Syst., October, 2023

Consistency vs. Availability in Distributed Cyber-Physical Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

ACM Trans. Embed. Comput. Syst., October, 2023

Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca.

Jacky Kwok, Marten Lohstroh, Edward A. Lee

CoRR, 2023

Modal Reactors.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee

CoRR, 2023

Consistency vs. Availability in Distributed Real-Time Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2023

Deep Neural Networks, Explanations, and Rationality.

Edward A. Lee

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Beyond the Threaded Programming Model on Real-Time Operating Systems.

Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv H. Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee

Proceedings of the Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023

Polyglot Modal Models through Lingua Franca.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Logical Time for Reactive Software.

Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

InterPRET: a Time-predictable Multicore Processor.

Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee

CoRR, 2022

Pragmatics Twelve Years Later: A Report on Lingua Franca.

Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Generalizing Logical Execution Time.

Edward A. Lee, Marten Lohstroh

Proceedings of the Principles of Systems Design, 2022

Are We Losing Control?

Edward A. Lee

Perspectives on Digital Humanism, 2022

2021

Semantic Localization for IoT.

Matthew Weber, Edward A. Lee

Proceedings of the Semantic IoT: Theory and Applications, 2021

Programmable Logic Controllers in the Context of Industry 4.0.

Martin A. Sehr, Marten Lohstroh, Matthew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, Edward A. Lee

IEEE Trans. Ind. Informatics, 2021

Toward a Lingua Franca for Deterministic Concurrent Systems.

Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2021

Determinism.

Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2021

Quantifying and Generalizing the CAP Theorem.

Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2021

Time for All Programs, Not Just Real-Time Programs.

Edward A. Lee, Marten Lohstroh

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.

Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee

ACM Trans. Internet Things, 2020

Gordian: Formal Reasoning-based Outlier Detection for Secure Localization.

Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli

ACM Trans. Cyber Phys. Syst., 2020

Learning Branching Heuristics for Propositional Model Counting.

Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus

CoRR, 2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning.

Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee

Proceedings of the 8th International Conference on Learning Representations, 2020

A Language for Deterministic Coordination Across Multiple Timelines.

Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee

Proceedings of the Forum for Specification and Design Languages, 2020

Model Checking Software in Cyberphysical Systems.

Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Formal Semantics of Predictable Pipelines: a Comparative Study.

Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Hybrid co-simulation: it's about time.

Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis

Softw. Syst. Model., 2019

Creating a Resilient IoT With Edge Computing.

Hokeun Kim, Edward A. Lee, Schahram Dustdar

Computer, 2019

Modeling in engineering and science.

Edward A. Lee

Commun. ACM, 2019

On Enabling Technologies for the Internet of Important Things.

Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee

IEEE Access, 2019

Work-in-Progress: Real-Time Reactors in C.

Marten Lohstroh, Edward A. Lee

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Observation and Interaction - Invited Paper.

Edward A. Lee

Proceedings of the Language and Automata Theory and Applications, 2019

Service Discovery for the Connected Car with Semantic Accessors.

Matthew Weber, Ravi Akella, Edward A. Lee

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli.

Edward A. Lee

Proceedings of the 2019 International Symposium on Physical Design, 2019

A fundamental look at models and intelligence: abstract of keynote.

Edward A. Lee

Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

Deterministic Actors.

Marten Lohstroh, Edward A. Lee

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Programs with ironclad timing guarantees: work-in-progress.

Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee

Proceedings of the International Conference on Embedded Software Companion, 2019

Actors Revisited for Time-Critical Systems.

Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Reactors: A Deterministic Model for Composable Reactive Systems.

Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

A Component Architecture for the Internet of Things.

Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber

Proc. IEEE, 2018

Coordinated actor model of self-adaptive track-based traffic control systems.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee

J. Syst. Softw., 2018

What Is Real Time Computing? A Personal View.

Edward A. Lee

IEEE Des. Test, 2018

A Metric for Linear Temporal Logic.

Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

CoRR, 2018

Is software the result of top-down intelligent design or evolution?

Edward A. Lee

Commun. ACM, 2018

AWStream: adaptive wide-area streaming analytics.

Ben Zhang, Xin Jin, Sylvia Ratnasamy, John Wawrzynek, Edward A. Lee

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Deterministic Timing for the Industrial Internet of Things.

Chadlia Jerad, Edward A. Lee

Proceedings of the IEEE International Conference on Industrial Internet, 2018

Models of Timed Systems.

Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

What Good are Models?

Edward A. Lee, Marjan Sirjani

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Runtime compositional analysis of track-based traffic control systems.

Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee

SIGBED Rev., 2017

Authentication and Authorization for the Internet of Things.

Hokeun Kim, Edward A. Lee

IT Prof., 2017

autoCode4: Structural Controller Synthesis.

Chih-Hong Cheng, Edward A. Lee, Harald Ruess

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

An Architectural Mechanism for Resilient IoT Services.

Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

Abstract PRET Machines.

Edward A. Lee, Jan Reineke, Michael Zimmer

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.

Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress.

Marten Lohstroh, Hokeun Kim, Edward A. Lee

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems.

Hokeun Kim, Armin Wasicek, Edward A. Lee

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016

Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications.

Ilge Akkaya, Yan Liu, Edward A. Lee

IEEE Trans. Serv. Comput., 2016

Fundamental Limits of Cyber-Physical Systems Modeling.

Edward A. Lee

ACM Trans. Cyber Phys. Syst., 2016

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.

Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee

Proc. IEEE, 2016

Toward a Global Data Infrastructure.

Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nikhil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz

IEEE Internet Comput., 2016

Information seeking and model predictive control of a cooperative multi-robot system.

Shuhei Emoto, Ilge Akkaya, Edward A. Lee

Artif. Life Robotics, 2016

Plenary I: The Internet of important things.

Edward A. Lee, Danella Zhao

Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

FIDE: an FMI integrated development environment.

Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Cooperative multi-robot information acquisition based on distributed robust model predictive control.

Shuhei Emoto, Ilge Akkaya, Edward A. Lee

Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, 2016

Step revision in hybrid Co-simulation with FMI.

Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Control Improvisation with Probabilistic Temporal Specifications.

Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia

Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

Demo Abstract: Building IoT Applications with Accessors in CapeCode.

Marten Lohstroh, Christopher X. Brooks, Edward A. Lee

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities.

Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee

Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud, 2016

Coordinated Actors for Reliable Self-adaptive Systems.

Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

The fixed-point theory of strictly causal functions.

Eleftherios Matsikoudis, Edward A. Lee

Theor. Comput. Sci., 2015

The Past, Present and Future of Cyber-Physical Systems: A Focus on Models.

Edward A. Lee

Sensors, 2015

A Vision of Swarmlets.

Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber

IEEE Internet Comput., 2015

An Interface Theory for the Internet of Things.

Marten Lohstroh, Edward A. Lee

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A predictable and command-level priority-based DRAM controller for mixed-criticality systems.

Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

A model for semantic localization.

Matthew Weber, Edward A. Lee

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

CyPhySim: a cyber-physical systems simulator.

Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Requirements for hybrid cosimulation standards.

David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

The Cloud is Not Enough: Saving IoT from the Cloud.

Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz

Proceedings of the 7th USENIX Workshop on Hot Topics in Cloud Computing, 2015

Modeling and simulating cyber-physical systems using CyPhySim.

Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter

Proceedings of the 2015 International Conference on Embedded Software, 2015

System simulation from operational data.

Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya

Proceedings of the 52nd Annual Design Automation Conference, 2015

Architectural Support for Cyber-Physical Systems.

Edward A. Lee

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Ramifications of software implementation and deployment: A case study on yaw moment controller design.

Michael Zimmer, J. Karl Hedrick, Edward A. Lee

Proceedings of the American Control Conference, 2015

2014

The Swarm at the Edge of the Cloud.

Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe

IEEE Des. Test, 2014

Constructive Models of Discrete and Continuous Physical Phenomena.

Edward A. Lee

IEEE Access, 2014

HOBS: head orientation-based selection in physical spaces.

Ben Zhang, Yu-Hsiang Chen, Claire Tuna, Achal Dave, Yang Li, Edward A. Lee, Björn Hartmann

Proceedings of the 2nd ACM Symposium on Spatial User Interaction, 2014

FlexPRET: A processor platform for mixed-criticality systems.

Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Keynote - It's about time.

Edward A. Lee

Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs, 2014

It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming.

Edward A. Lee

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Constructive Collisions.

Edward A. Lee

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems.

Armin Wasicek, Patricia Derler, Edward A. Lee

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Message from the Chairs.

Edward A. Lee, Peter Palensky

Proceedings of the Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2014

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.

Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee

Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

2013

Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.

Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2013

A modular formal semantics for Ptolemy.

Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee

Math. Struct. Comput. Sci., 2013

The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

Numerical LTL Synthesis for Cyber-Physical Systems.

Chih-Hong Cheng, Edward A. Lee

CoRR, 2013

Error-Completion in Interface Theories.

Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Modeling uncertainty for middleware-based streaming power grid applications.

Ilge Akkaya, Yan Liu, Edward A. Lee, Ian Gorton

Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing, 2013

Cyber-physical system design contracts.

Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

On the Verification of Timed Discrete-Event Models.

Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

On Fixed Points of Strictly Causal Functions.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

On the schedulability of real-time discrete-event systems.

Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee

Proceedings of the International Conference on Embedded Software, 2013

StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions.

Dai N. Bui, Edward A. Lee

Proceedings of the International Conference on Embedded Software, 2013

Determinate composition of FMUs for co-simulation.

David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Proceedings of the International Conference on Embedded Software, 2013

Industrial Cyber-Physical Systems - iCyPhy.

Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Eelco Scholte

Proceedings of the Complex Systems Design & Management, 2013

A tool integration approach for architectural exploration of aircraft electric power systems.

Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis

Sci. Comput. Program., 2012

Distributed Real-Time Software for Cyber-Physical Systems.

John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou

Proc. IEEE, 2012

Modeling Cyber-Physical Systems.

Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proc. IEEE, 2012

It's about time.

Edward A. Lee

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.

Jia Zou, Slobodan Matic, Edward A. Lee

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems.

Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

The Coroutine Model of Computation.

Chris Shaver, Edward A. Lee

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Viewpoints, formalisms, languages, and tools for cyber-physical systems.

David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

A PRET microarchitecture implementation with repeatable timing and competitive performance.

Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk.

Edward A. Lee

Proceedings of the Hardware and Software: Verification and Testing, 2012

A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs.

Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Wang, Hugo A. Andrade

Proceedings of the 2012 IEEE 20th Annual International Symposium on Field-Programmable Custom Computing Machines, 2012

Teaching embedded systems the Berkeley way.

Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2012

An overview of the career of Paul Caspi.

Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi

Proceedings of the 12th International Conference on Embedded Software, 2012

From Transitions to Executions.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

A Theory of Synchronous Relational Interfaces.

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

ACM Trans. Program. Lang. Syst., 2011

A model-based design methodology for cyber-physical systems.

Jeff C. Jensen, Danica H. Chang, Edward A. Lee

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

PTIDES model on a distributed testbed emulating smart grid real-time applications.

Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee

Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

An introductory capstone design course on embedded systems.

Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

A practical ontology framework for static model analysis.

Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee

Proceedings of the 11th International Conference on Embedded Software, 2011

Heterogeneous actor modeling.

Edward A. Lee

Proceedings of the 11th International Conference on Embedded Software, 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 11th International Conference on Embedded Software, 2011

Component-based design for the future.

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Design, Automation and Test in Europe, 2011

Temporal isolation on multiprocessing architectures.

Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke

Proceedings of the 48th Design Automation Conference, 2011

PRET DRAM controller: bank privatization for predictability and temporal isolation.

Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

The design and application of structured types in Ptolemy II.

Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong

Int. J. Intell. Syst., 2010

Code Generation for Embedded Java with Ptolemy.

Martin Schoeberl, Christopher X. Brooks, Edward A. Lee

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Deploying Hard Real-Time Control Software on Chip-Multiprocessors.

Dai N. Bui, Hiren D. Patel, Edward A. Lee

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Disciplined Heterogeneous Modeling - Invited Paper.

Edward A. Lee

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010.

Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman

Proceedings of the Models in Software Engineering, 2010

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs.

Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

An introductory textbook on cyber-physical systems.

Edward A. Lee, Sanjit A. Seshia

Proceedings of the 2010 Workshop on Embedded Systems Education, 2010

Modal Models in Ptolemy.

Edward A. Lee, Stavros Tripakis

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

Ptera: an event-oriented model of computation for heterogeneous systems.

Thomas Huining Feng, Edward A. Lee, Lee W. Shruben

Proceedings of the 10th International conference on Embedded software, 2010

Model-based specification of timing requirements.

Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee

Proceedings of the 10th International conference on Embedded software, 2010

CPS foundations.

Edward A. Lee

Proceedings of the 47th Design Automation Conference, 2010

Modeling and analyzing real-time multiprocessor systems.

Maarten Wiggers, Lothar Thiele, Edward A. Lee, Simon Schliecker, Marco Bekooij

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

Exploring models of computation with ptolemy II.

Christopher X. Brooks, Edward A. Lee, Stavros Tripakis

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

2009

Classes and inheritance in actor-oriented design.

Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer

ACM Trans. Embed. Comput. Syst., 2009

Heterogeneous composition of models of computation.

Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble

Future Gener. Comput. Syst., 2009

Computing needs time.

Edward A. Lee

Commun. ACM, 2009

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.

Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Scalable Semantic Annotation Using Lattice-Based Ontologies.

Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly

Proceedings of the Model Driven Engineering Languages and Systems, 2009

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.

Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

The Case for Timing-Centric Distributed Software Invited Paper.

Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

A disruptive computer design idea: Architectures with repeatable timing.

Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl

Proceedings of the 27th International Conference on Computer Design, 2009

Introducing embedded systems: a cyber-physical approach: extended abstract.

Edward A. Lee

Proceedings of the 2009 Workshop on Embedded Systems Education, 2009

On relational interfaces.

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

09481 Abstracts Collection - SYNCHRON 2009.

Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden

Proceedings of the SYNCHRON 2009, 22.11. - 27.11.2009, 2009

Toward the Design of Robotic Software with Verifiable Safety.

Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Causality interfaces for actor networks.

Ye Zhou, Edward A. Lee

ACM Trans. Embed. Comput. Syst., 2008

CPO semantics of timed interactive actor networks.

Xiaojun Liu, Edward A. Lee

Theor. Comput. Sci., 2008

Advances in hardware design and implementation of signal processing systems [DSP Forum].

Shuvra S. Bhattacharyya, Jeffery C. Bier, Wanda K. Gass, Ram K. Krishnamurthy, Edward A. Lee, Konstantinos Konstantinides

IEEE Signal Process. Mag., 2008

Real-Time Distributed Discrete-Event Execution with Fault Tolerance.

Thomas Huining Feng, Edward A. Lee

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Cyber Physical Systems: Design Challenges.

Edward A. Lee

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Time is a Resource, and Other Stories.

Edward A. Lee

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture.

Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Simulation and Implementation of the PTIDES Programming Model.

Patricia Derler, Edward A. Lee, Slobodan Matic

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Predictable programming on a precision timed architecture.

Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee

Proceedings of the 2008 International Conference on Compilers, 2008

2007

A Programming Model for Time-Synchronized Distributed Real-Time Systems.

Yang Zhao, Jie Liu, Edward A. Lee

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.

Gang Zhou, Man-Kit Leung, Edward A. Lee

Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Composing Different Models of Computation in Kepler and Ptolemy II.

Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 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, 2007

The Case for the Precision Timed (PRET) Machine.

Stephen A. Edwards, Edward A. Lee

Proceedings of the 44th Design Automation Conference, 2007

2006

Scientific workflow management and the Kepler system.

Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew B. Jones, Edward A. Lee, Jing Tao, Yang Zhao

Concurr. Comput. Pract. Exp., 2006

The Problem with Threads.

Edward A. Lee

Computer, 2006

Discrete event models: getting the semantics right.

Edward A. Lee

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Incremental checkpointing with application to distributed discrete event simulation.

Thomas Huining Feng, Edward A. Lee

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Beyond Zeno: Get on with It!

Haiyang Zheng, Edward A. Lee, Aaron D. Ames

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Concurrent Semantics Without the Notions of State or State Transitions.

Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

A causality interface for deadlock analysis in dataflow.

Ye Zhou, Edward A. Lee

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Modeling Timed Concurrent Systems.

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II.

Edward A. Lee, Haiyang Zheng

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Absolutely Positively on Time: What Would It Take?

Edward A. Lee

Computer, 2005

Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.

Elaine Cheong, Edward A. Lee, Yang Zhao

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Counting Interface Automata and their Application in Static Analysis of Actor Models.

Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Reinventing Computing for Real Time.

Edward A. Lee, Yang Zhao

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Operational Semantics of Hybrid Systems.

Edward A. Lee, Haiyang Zheng

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004

Actor-oriented control system design: a responsible framework perspective.

Jie Liu, Johan Eker, Jörn W. Janneck, Xiaojun Liu, Edward A. Lee

IEEE Trans. Control. Syst. Technol., 2004

A behavioral type system and its application in Ptolemy II.

Edward A. Lee, Yuhong Xiong

Formal Aspects Comput., 2004

Hierarchical reconfiguration of dataflow models.

Stephen Neuendorffer, Edward A. Lee

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Classes and subclasses in actor-oriented design.

Edward A. Lee, Stephen Neuendorffer

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Modeling of sensor nets in Ptolemy II.

Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

2003

The semantics and execution of a synchronous block-diagram language.

Stephen A. Edwards, Edward A. Lee

Sci. Comput. Program., 2003

Taming heterogeneity - the Ptolemy approach.

Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong

Proc. IEEE, 2003

Actor-Oriented Design of Embedded Hardware and Software Systems.

Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin

J. Circuits Syst. Comput., 2003

On the Causality of Mixed-Signal and Hybrid Models.

Jie Liu, Edward A. Lee

Proceedings of the Hybrid Systems: Computation and Control, 2003

Digital communication (3. ed.).

John R. Barry, Edward A. Lee, David G. Messerschmitt

Springer, ISBN: 978-0-7923-7548-7, 2003

Structure and interpretation of signals and systems.

Edward A. Lee, Pravin Varaiya

Addison-Wesley, ISBN: 978-0-201-74551-1, 2003

2002

Multidimensional synchronous dataflow.

Praveen K. Murthy, Edward A. Lee

IEEE Trans. Signal Process., 2002

A component-based approach to modeling and simulating mixed-signal and hybrid systems.

Jie Liu, Edward A. Lee

ACM Trans. Model. Comput. Simul., 2002

Embedded Software.

Edward A. Lee

Adv. Comput., 2002

2001

The Ptolemy II Framework for Visual Languages.

Xiaojun Liu, Yuhong Xiong, Edward A. Lee

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

System-Level Types for Component-Based Design.

Edward A. Lee, Yuhong Xiong

Proceedings of the Embedded Software, First International Workshop, 2001

Motivating hierarchical run-time models in measurement and control systems.

Jie Liu, Stanley Jefferson, Edward A. Lee

Proceedings of the American Control Conference, 2001

Modeling distributed hybrid systems in Ptolemy II.

He Li, Xiaojun Liu, Edward A. Lee

Proceedings of the American Control Conference, 2001

2000

What's Ahead for Embedded Software?

Edward A. Lee

Computer, 2000

An Extensible Type System for Component-Based Design.

Yuhong Xiong, Edward A. Lee

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Embedded systems education (panel abstract).

Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf

Proceedings of the 37th Conference on Design Automation, 2000

A code generation framework for Java component-based designs.

Jeff Tsay, Christopher Hylands, Edward A. Lee

Proceedings of the 2000 International Conference on Compilers, 2000

1999

Synthesis of Embedded Software from Synchronous Dataflow Specifications.

Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee

J. VLSI Signal Process., 1999

Hierarchical finite state machines with multiple concurrency models.

Alain Girault, Bilung Lee, Edward A. Lee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

A highest education in the year 2049.

Edward A. Lee, David G. Messerschmitt

Proc. IEEE, 1999

Advances in the dataflow computational model.

Walid A. Najjar, Edward A. Lee, Guang R. Gao

Parallel Comput., 1999

Modeling Concurrent Real-Time Processes Using Discrete Events.

Edward A. Lee

Ann. Softw. Eng., 1999

Computationally efficient version of the decision feedback equalizer.

Rajarshi Gupta, Kiran, Edward A. Lee

Proceedings of the 1999 IEEE International Conference on Acoustics, 1999

1998

A framework for comparing models of computation.

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Engineering and Education for the Future.

Edward A. Lee, David G. Messerschmitt

Computer, 1998

The Tycho Slate: Complex Drawing and Editing in Tcl/Tk.

H. John Reekie, Edward A. Lee

Proceedings of the 6th Annual Tcl/Tk Conference, 1998

Hierarchical Concurrent Finite State Machines in Ptolemy.

Bilung Lee, Edward A. Lee

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors.

Sundararajan Sriram, Edward A. Lee

J. VLSI Signal Process., 1997

Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow.

Wan-Teh Chang, Soonhoi Ha, Edward A. Lee

J. VLSI Signal Process., 1997

Optimizing synchronization in multiprocessor DSP systems.

Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee

IEEE Trans. Signal Process., 1997

Design of embedded systems: formal models, validation, and synthesis.

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proc. IEEE, 1997

Joint Minimization of Code and Data for Synchronous Dataflow Programs.

Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee

Formal Methods Syst. Des., 1997

The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection.

Asawaree Kalavade, Edward A. Lee

Des. Autom. Embed. Syst., 1997

APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations.

Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee

Des. Autom. Embed. Syst., 1997

The Tycho User Interface System.

Christopher Hylands, Edward A. Lee, H. John Reekie

Proceedings of the Fifth Annual Tcl/Tk Workshop 1997, 1997

Code generation by using integer-controlled dataflow graph.

Takashi Miyazaki, Edward A. Lee

Proceedings of the 1997 IEEE International Conference on Acoustics, 1997

Optimized software synthesis for synchronous dataflow.

Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee

Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996

Complexity management in system-level design.

Asawaree Kalavade, Edward A. Lee

J. VLSI Signal Process., 1996

Capacity penalty due to ideal zero-forcing decision-feedback equalization.

John R. Barry, Edward A. Lee, David G. Messerschmitt

IEEE Trans. Inf. Theory, 1996

Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules.

Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee

Proceedings of IPPS '96, 1996

Comparing models of computation.

Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

Interface synthesis in heterogeneous system-level DSP design tools.

José Luis Pino, Michael C. Williamson, Edward A. Lee

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices.

Praveen K. Murthy, Edward A. Lee

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Real-time DSP for sophomores.

Kenneth H. Chiang, Brian L. Evans, William T. Huang, Ferenc Kovac, Edward A. Lee, David G. Messerschmitt, H. John Reekie, S. Shankar Sastry

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

Latency-constrained Resynchronization for Multiprocessor DSP Implementation.

Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee

Proceedings of the 1996 International Conference on Application-Specific Systems, 1996

1995

Software synthesis for DSP using ptolemy.

José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck

J. VLSI Signal Process., 1995

Dataflow process networks.

Edward A. Lee, Thomas M. Parks

Proc. IEEE, 1995

The extended partitioning problem: hardware/software mapping and implementation-bin selection.

Asawaree Kalavade, Edward A. Lee

Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Converting graphical DSP programs into memory constrained software prototypes.

Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee

Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.

Jürgen Teich, Lothar Thiele, Edward A. Lee

Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

Hierarchical static scheduling of dataflow graphs onto multiple processors.

José Luis Pino, Edward A. Lee

Proceedings of the 1995 International Conference on Acoustics, 1995

Non-preemptive real-time scheduling of dataflow systems.

Thomas M. Parks, Edward A. Lee

Proceedings of the 1995 International Conference on Acoustics, 1995

Modeling radar systems using hierarchical dataflow.

Karim P. Khiar, Edward A. Lee

Proceedings of the 1995 International Conference on Acoustics, 1995

Managing complexity in heterogeneous system specification, simulation, and synthesis.

Asawaree Kalavade, José Luis Pino, Edward A. Lee

Proceedings of the 1995 International Conference on Acoustics, 1995

Integrating analysis, simulation, and implementation tools in electronic courseware for teaching signal processing.

Roberto H. Bamberger, Brian L. Evans, Edward A. Lee, James H. McClellan, Mark A. Yoder

Proceedings of the 1995 International Conference on Acoustics, 1995

Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems.

Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee

Proceedings of the International Conference on Application Specific Array Processors (ASAP'95), 1995

1994

Memory management for dataflow programming of multirate signal processing algorithms.

Shuvra S. Bhattacharyya, Edward A. Lee

IEEE Trans. Signal Process., 1994

Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems.

Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt

Int. J. Comput. Simul., 1994

Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms.

Shuvra S. Bhattacharyya, Edward A. Lee

Formal Methods Syst. Des., 1994

A methodology for simulation and synthesis of mixed hardware/software systems.

Asawaree Kalavade, Edward A. Lee

Proceedings of the 7th International Symposium on High Level Synthesis, 1994

Automatic code generation for heterogeneous multiprocessors.

José Luis Pino, Thomas M. Parks, Edward A. Lee

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Minimizing memory requirements for chain-structured synchronous dataflow programs.

Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Computing and signal processing: an experimental multidisciplinary course.

Edward A. Lee

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction.

Jordi Cortadella, José A. B. Fortes, Edward A. Lee

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Manifestations of Heterogeneity in Hardware/Software Co-Design.

Asawaree Kalavade, Edward A. Lee

Proceedings of the 31st Conference on Design Automation, 1994

A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem.

Asawaree Kalavade, Edward A. Lee

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

Digital communication (2. ed.).

Edward A. Lee, David G. Messerschmitt

Kluwer, ISBN: 978-0-7923-9391-7, 1994

1993

Scheduling synchronous dataflow graphs for efficient looping.

Shuvra S. Bhattacharyya, Edward A. Lee

J. VLSI Signal Process., 1993

Declustering: A New Multiprocessor Scheduling Technique.

Gilbert C. Sih, Edward A. Lee

IEEE Trans. Parallel Distributed Syst., 1993

A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures.

Gilbert C. Sih, Edward A. Lee

IEEE Trans. Parallel Distributed Syst., 1993

Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels.

John R. Barry, Joseph M. Kahn, William J. Krause, Edward A. Lee, David G. Messerschmitt

IEEE J. Sel. Areas Commun., 1993

A Hardware-Software Codesign Methodology for DSP Applications.

Asawaree Kalavade, Edward A. Lee

IEEE Des. Test Comput., 1993

Mulitdimensional Streams Rooted in Dataflow.

Edward A. Lee

Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993

Design and implementation of an ordered memory access architecture.

Sundararajan Sriram, Edward A. Lee

Proceedings of the IEEE International Conference on Acoustics, 1993

Representing and exploiting data parallelism using multidimensional dataflow diagrams.

Edward A. Lee

Proceedings of the IEEE International Conference on Acoustics, 1993

Scheduling dynamic dataflow graphs with bounded memory using the token flow model.

Joseph T. Buck, Edward A. Lee

Proceedings of the IEEE International Conference on Acoustics, 1993

1992

Direct synthesis of optimized DSP assembly code from signal flow block diagrams.

Douglas B. Powell, Edward A. Lee, William C. Newman

Proceedings of the 1992 IEEE International Conference on Acoustics, 1992

A design lab for statistical signal processing.

Edward A. Lee

Proceedings of the 1992 IEEE International Conference on Acoustics, 1992

1991

Consistency in Dataflow Graphs.

Edward A. Lee

IEEE Trans. Parallel Distributed Syst., 1991

Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration.

Soonhoi Ha, Edward A. Lee

IEEE Trans. Computers, 1991

High-speed nondirective optical communication for wireless networks.

John R. Barry, Joseph M. Kahn, Edward A. Lee, David G. Messerschmitt

IEEE Netw., 1991

Multirate signal processing in Ptolemy.

Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt

Proceedings of the 1991 International Conference on Acoustics, 1991

Multirate signal processing in Comdisco's SPW.

Brian Barrera, Edward A. Lee

Proceedings of the 1991 International Conference on Acoustics, 1991

1990

Performance of coherent optical receivers.

John R. Barry, Edward A. Lee

Proc. IEEE, 1990

Programmable DSPs: a brief overview.

Edward A. Lee

IEEE Micro, 1990

Gabriel: a design environment for DSP.

Jeffery C. Bier, Edwin E. Goei, Wai H. Ho, Philip D. Lapsley, Maureen P. O'Reilly, Gilbert C. Sih, Edward A. Lee

IEEE Micro, 1990

Architectures for Statically Scheduled Dataflow.

Edward A. Lee, Jeffery C. Bier

J. Parallel Distributed Comput., 1990

Dynamic-level scheduling for heterogeneous processor networks.

Gilbert C. Sih, Edward A. Lee

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks.

Gilbert C. Sih, Edward A. Lee

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

Gabriel: a design environment for DSP.

Edward A. Lee, W.-H. Ho, E. Goei, Jeffery C. Bier, Shuvra S. Bhattacharyya

IEEE Trans. Acoust. Speech Signal Process., 1989

Frigg: a simulation environment for multiple-processor DSP system development.

Jeffrey C. Bier, Edward A. Lee

Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

GABRIEL: A Design Environment for Programmable DSPs.

Edward A. Lee, E. Goei, H. Heine, W.-H. Ho, Shuvra S. Bhattacharyya, Jeffery C. Bier, E. Guntvedt

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1987

Pipeline interleaved programmable DSP's: Synchronous data flow programming.

Edward A. Lee, David G. Messerschmitt

IEEE Trans. Acoust. Speech Signal Process., 1987

Pipeline interleaved programmable DSP's: Architecture.

Edward A. Lee, David G. Messerschmitt

IEEE Trans. Acoust. Speech Signal Process., 1987

Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing.

Edward Ashford Lee, David G. Messerschmitt

IEEE Trans. Computers, 1987

Synchronous data flow.

Edward A. Lee, David G. Messerschmitt

Proc. IEEE, 1987

Fuzzy vector quantazation applied to hidden Markov modeling.

Ho-Ping Tseng, Michael J. Sabin, Edward A. Lee

Proceedings of the IEEE International Conference on Acoustics, 1987

Least squares computation at arbitrarily high speeds.

Teresa H.-Y. Meng, Edward A. Lee, David G. Messerschmitt

Proceedings of the IEEE International Conference on Acoustics, 1987

Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation.

Edward A. Lee, David G. Messerschmitt

Proceedings of the COMPCON'87, 1987

1985

On quantization effects in state-variable filter implementations.

Edward Ashford Lee, David G. Messerschmitt

Proceedings of the IEEE International Conference on Acoustics, 1985