default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEdward A. Lee
Edward Ashford Lee
Person information
- affiliation: University of California, Berkeley, USA
- award (1997): Presidential Young Investigator Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j96]Chadlia Jerad
, Edward A. Lee:
Toward Dynamism in Distributed Lingua Franca Programs. IEEE Embed. Syst. Lett. 17(2): 111-114 (2025)- [j95]Benjamin Asch, Erling Jellum, Marten Lohstroh, Edward A. Lee:
Software-Defined Watchdog Timers for Cyber-Physical Systems. IEEE Embed. Syst. Lett. 17(2): 115-118 (2025) - [j94]Francesco Paladino, Erling Jellum, Efsane Soyer, Edward A. Lee:
Layered Scheduling: Toward Better Real-Time Lingua Franca. IEEE Embed. Syst. Lett. 17(2): 127-130 (2025) - [c202]Shaokai Lin, Edward A. Lee:
Verify Engineering Models, Not Scientific Models. Rebeca for Actor Analysis in Action 2025: 195-211 - [c201]Magnus Mæhlum, Erling Rennemo Jellum, Shaokai Lin, Marten Lohstroh, Martin Schoeberl, Sverre Hendseth, Edward A. Lee:
Programming Time-Predictable Processors with Lingua Franca. NG-RES@HiPEAC 2025: 1:1-1:13 - [e5]Edward A. Lee, Mohammad Reza Mousavi, Carolyn L. Talcott:
Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 15560, Springer 2025, ISBN 978-3-031-85133-9 [contents] - [i19]Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia:
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. CoRR abs/2503.03207 (2025) - [i18]Shulu Li, Edward A. Lee:
A Preliminary Model of Coordination-free Consistency. CoRR abs/2504.01141 (2025) - [i17]Gustavo Quiros Araya, Yi Peng Zhu, Tao Cui, Shaokai Lin, Marten Lohstroh, Edward A. Lee:
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation. CoRR abs/2504.04224 (2025) - 2024
- [j93]Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jerónimo Castrillón, Edward A. Lee:
Deterministic Coordination across Multiple Timelines. ACM Trans. Embed. Comput. Syst. 23(5): 77:1-77:29 (2024) - [j92]Erling Rennemo Jellum, Martin Schoeberl, Edward Ashford Lee, Milica Orlandic:
Codesign of Reactor-Oriented Hardware and Software for Cyber-Physical Systems. ACM Trans. Reconfigurable Technol. Syst. 17(4): 55:1-55:30 (2024) - [c200]Edward A. Lee:
Certainty or Intelligence: Pick One! DATE 2024: 1-2 - [c199]Julian Robledo, Christian Menard, Erling Rennemo Jellum, Edward A. Lee, Jerónimo Castrillón:
Timing enclaves for performance in Lingua Franca. FDL 2024: 1-9 - [c198]Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla:
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. ICSE Companion 2024: 304-305 - [c197]Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim:
Efficient Coordination for Distributed Discrete-Event Systems. MEMOCODE 2024: 114-118 - [c196]Jacky Kwok, Marten Lohstroh, Edward A. Lee:
Efficient Parallel Reinforcement Learning Framework Using the Reactor Model. SPAA 2024: 41-51 - [c195]Edward A. Lee:
Certainty vs. Intelligence. AISoLA 2024: 20-32 - [c194]Martin Schoeberl, Ehsan Khodadad, Shaokai Lin, Emad Jacob Maroun, Luca Pezzarossa, Edward A. Lee:
Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications. WCET 2024: 4:1-4:13 - [i16]Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla:
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. CoRR abs/2401.09185 (2024) - [i15]Peter Donovan, Erling Rennemo Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan:
Strongly-Consistent Distributed Discrete-event Systems. CoRR abs/2405.12117 (2024) - [i14]Shaokai Lin, Erling Rennemo Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jerónimo Castrillón, Sanjit Seshia, Edward A. Lee:
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR abs/2406.06253 (2024) - [i13]Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim:
Efficient Coordination for Distributed Discrete-Event Systems. CoRR abs/2410.06454 (2024) - [i12]Jacky Kwok, Shulu Li, Marten Lohstroh, Edward A. Lee:
HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems. CoRR abs/2412.01799 (2024) - 2023
- [j91]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:
High-performance Deterministic Concurrency Using Lingua Franca. ACM Trans. Archit. Code Optim. 20(4): 48:1-48:29 (2023) - [j90]Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard:
Consistency vs. Availability in Distributed Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 22(5s): 138:1-138:24 (2023) - [j89]Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia:
Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. 22(5s): 155:1-155:24 (2023) - [c193]Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman:
Logical Time for Reactive Software. CPS-IoT Week Workshops 2023: 313-318 - [c192]Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl:
InterPRET: a Time-predictable Multicore Processor. CPS-IoT Week Workshops 2023: 331-336 - [c191]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni:
Polyglot Modal Models through Lingua Franca. CPS-IoT Week Workshops 2023: 337-342 - [c190]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee:
Polyglot Modal Models through Lingua Franca. DATE 2023: 1-2 - [c189]Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv H. Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee:
Beyond the Threaded Programming Model on Real-Time Operating Systems. NG-RES@HiPEAC 2023: 3:1-3:13 - [c188]Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee:
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. MEMOCODE 2023: 1-11 - [c187]Edward A. Lee:
Deep Neural Networks, Explanations, and Rationality. AISoLA 2023: 11-21 - [i11]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:
High-Performance Deterministic Concurrency using Lingua Franca. CoRR abs/2301.02444 (2023) - [i10]Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard:
Consistency vs. Availability in Distributed Real-Time Systems. CoRR abs/2301.08906 (2023) - [i9]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee:
Modal Reactors. CoRR abs/2301.09597 (2023) - [i8]Jacky Kwok, Marten Lohstroh, Edward A. Lee:
Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca. CoRR abs/2312.04704 (2023) - 2022
- [c186]Edward A. Lee, Marten Lohstroh:
Generalizing Logical Execution Time. Principles of Systems Design 2022: 160-181 - [c185]Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard:
Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) 2022: 60-89 - [p2]Edward A. Lee:
Are We Losing Control? Perspectives on Digital Humanism 2022: 3-7 - [e4]Hannes Werthner, Erich Prem, Edward A. Lee, Carlo Ghezzi:
Perspectives on Digital Humanism. Springer 2022, ISBN 978-3-030-86143-8 [contents] - [i7]Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee:
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. CoRR abs/2207.09555 (2022) - 2021
- [j88]Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee:
Toward a Lingua Franca for Deterministic Concurrent Systems. ACM Trans. Embed. Comput. Syst. 20(4): 36:1-36:27 (2021) - [j87]Edward A. Lee:
Determinism. ACM Trans. Embed. Comput. Syst. 20(5): 38:1-38:34 (2021) - [j86]Martin A. Sehr, Marten Lohstroh, Matthew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, Edward A. Lee:
Programmable Logic Controllers in the Context of Industry 4.0. IEEE Trans. Ind. Informatics 17(5): 3523-3533 (2021) - [c184]Edward A. Lee, Marten Lohstroh:
Time for All Programs, Not Just Real-Time Programs. ISoLA 2021: 213-232 - [p1]Matthew Weber, Edward A. Lee:
Semantic Localization for IoT. Semantic IoT 2021: 365-383 - [i6]Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard:
Quantifying and Generalizing the CAP Theorem. CoRR abs/2109.07771 (2021) - 2020
- [j85]Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli:
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4(4): 43:1-43:27 (2020) - [j84]Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee:
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things 1(1): 4:1-4:27 (2020) - [c183]Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee:
Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC 2020: 103-108 - [c182]Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah:
Model Checking Software in Cyberphysical Systems. COMPSAC 2020: 1017-1026 - [c181]Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee:
A Language for Deterministic Coordination Across Multiple Timelines. FDL 2020: 1-8 - [c180]Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee:
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR 2020 - [c179]Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE 2020: 1-10 - [i5]Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus:
Learning Branching Heuristics for Propositional Model Counting. CoRR abs/2007.03204 (2020)
2010 – 2019
- 2019
- [j83]Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee:
On Enabling Technologies for the Internet of Important Things. IEEE Access 7: 27244-27256 (2019) - [j82]Edward A. Lee:
Modeling in engineering and science. Commun. ACM 62(1): 35-36 (2019) - [j81]Hokeun Kim, Edward A. Lee, Schahram Dustdar:
Creating a Resilient IoT With Edge Computing. Computer 52(8): 43-53 (2019) - [j80]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid co-simulation: it's about time. Softw. Syst. Model. 18(3): 1655-1679 (2019) - [c178]Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE 2019: 59-85 - [c177]Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee:
Actors Revisited for Time-Critical Systems. DAC 2019: 152 - [c176]Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee:
Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion 2019: 1 - [c175]Marten Lohstroh, Edward A. Lee:
Deterministic Actors. FDL 2019: 1-8 - [c174]Edward A. Lee:
A fundamental look at models and intelligence: abstract of keynote. SEsCPS@ICSE 2019: 1 - [c173]Edward A. Lee:
Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli. ISPD 2019: 126 - [c172]Matthew Weber, Ravi Akella, Edward A. Lee:
Service Discovery for the Connected Car with Semantic Accessors. IV 2019: 2417-2422 - [c171]Edward A. Lee:
Observation and Interaction - Invited Paper. LATA 2019: 31-42 - [c170]Marten Lohstroh, Edward A. Lee:
Work-in-Progress: Real-Time Reactors in C. RTSS 2019: 572-575 - 2018
- [j79]Edward A. Lee:
Is software the result of top-down intelligent design or evolution? Commun. ACM 61(9): 34-36 (2018) - [j78]Edward A. Lee:
What Is Real Time Computing? A Personal View. IEEE Des. Test 35(2): 64-72 (2018) - [j77]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee:
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143: 116-139 (2018) - [j76]Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber:
A Component Architecture for the Internet of Things. Proc. IEEE 106(9): 1527-1542 (2018) - [c169]Edward A. Lee, Marjan Sirjani:
What Good are Models? FACS 2018: 3-31 - [c168]Edward A. Lee:
Models of Timed Systems. FORMATS 2018: 17-33 - [c167]Chadlia Jerad, Edward A. Lee:
Deterministic Timing for the Industrial Internet of Things. ICII 2018: 13-22 - [c166]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. MoDELS 2018: 368 - [c165]Ben Zhang, Xin Jin, Sylvia Ratnasamy, John Wawrzynek, Edward A. Lee:
AWStream: adaptive wide-area streaming analytics. SIGCOMM 2018: 236-252 - [i4]Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A Metric for Linear Temporal Logic. CoRR abs/1812.03923 (2018) - 2017
- [j75]Hokeun Kim, Edward A. Lee:
Authentication and Authorization for the Internet of Things. IT Prof. 19(5): 27-33 (2017) - [j74]Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14(3): 38-39 (2017) - [c164]Hokeun Kim, Armin Wasicek, Edward A. Lee:
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. CyPhy 2017: 83-93 - [c163]Marten Lohstroh, Hokeun Kim, Edward A. Lee:
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress. EMSOFT Companion 2017: 14:1-14:2 - [c162]Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman:
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI 2017: 147-158 - [c161]Edward A. Lee, Jan Reineke, Michael Zimmer:
Abstract PRET Machines. RTSS 2017: 1-11 - [c160]Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee:
An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys 2017: 8-13 - [c159]Chih-Hong Cheng, Edward A. Lee, Harald Ruess:
autoCode4: Structural Controller Synthesis. TACAS (1) 2017: 398-404 - 2016
- [j73]Shuhei Emoto, Ilge Akkaya, Edward A. Lee:
Information seeking and model predictive control of a cooperative multi-robot system. Artif. Life Robotics 21(4): 393-398 (2016) - [j72]Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nikhil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz:
Toward a Global Data Infrastructure. IEEE Internet Comput. 20(3): 54-62 (2016) - [j71]Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee:
Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proc. IEEE 104(5): 997-1012 (2016) - [j70]Edward A. Lee:
Fundamental Limits of Cyber-Physical Systems Modeling. ACM Trans. Cyber Phys. Syst. 1(1): 3:1-3:26 (2016) - [j69]Ilge Akkaya, Yan Liu, Edward A. Lee:
Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications. IEEE Trans. Serv. Comput. 9(2): 174-185 (2016) - [c158]Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Coordinated Actors for Reliable Self-adaptive Systems. FACS 2016: 241-259 - [c157]Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee:
A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities. FiCloud 2016: 114-122 - [c156]Marten Lohstroh, Christopher X. Brooks, Edward A. Lee:
Demo Abstract: Building IoT Applications with Accessors in CapeCode. ICCPS 2016: 41:1 - [c155]Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. IoTDI 2016: 187-198 - [c154]Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c153]Shuhei Emoto, Ilge Akkaya, Edward A. Lee:
Cooperative multi-robot information acquisition based on distributed robust model predictive control. ROBIO 2016: 874-879 - [c152]Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee:
FIDE: an FMI integrated development environment. SAC 2016: 1759-1766 - [c151]Edward A. Lee, Danella Zhao:
Plenary I: The Internet of important things. SoCC 2016: 1-3 - 2015
- [j68]Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber:
A Vision of Swarmlets. IEEE Internet Comput. 19(2): 20-28 (2015) - [j67]Edward A. Lee:
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. Sensors 15(3): 4837-4869 (2015) - [j66]Eleftherios Matsikoudis, Edward A. Lee:
The fixed-point theory of strictly causal functions. Theor. Comput. Sci. 574: 39-77 (2015) - [c150]Michael Zimmer, J. Karl Hedrick, Edward A. Lee:
Ramifications of software implementation and deployment: A case study on yaw moment controller design. ACC 2015: 2014-2019 - [c149]Edward A. Lee:
Architectural Support for Cyber-Physical Systems. ASPLOS 2015: 1 - [c148]Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya:
System simulation from operational data. DAC 2015: 3:1-3:6 - [c147]Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter:
Modeling and simulating cyber-physical systems using CyPhySim. EMSOFT 2015: 115-124 - [c146]Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz:
The Cloud is Not Enough: Saving IoT from the Cloud. HotCloud 2015 - [c145]Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz:
The Cloud is Not Enough: Saving IoT from the Cloud. HotStorage 2015 - [c144]David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. HSCC 2015: 179-188 - [c143]Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter:
CyPhySim: a cyber-physical systems simulator. HSCC 2015: 301-302 - [c142]Matthew Weber, Edward A. Lee:
A model for semantic localization. IPSN 2015: 350-351 - [c141]Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh:
A predictable and command-level priority-based DRAM controller for mixed-criticality systems. RTAS 2015: 317-326 - [c140]Marten Lohstroh, Edward A. Lee:
An Interface Theory for the Internet of Things. SEFM 2015: 20-34 - [i3]Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. CoRR abs/1511.02279 (2015) - 2014
- [j65]Edward A. Lee:
Constructive Models of Discrete and Continuous Physical Phenomena. IEEE Access 2: 797-821 (2014) - [j64]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:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014) - [c139]Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee:
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS 2014: 24:1-24:10 - [c138]Edward A. Lee, Peter Palensky:
Message from the Chairs. MSCPES@CPSWeek 2014: 1-2 - [c137]Armin Wasicek, Patricia Derler, Edward A. Lee:
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. DAC 2014: 21:1-21:6 - [c136]Edward A. Lee:
Constructive Collisions. FPS@ETAPS 2014: 161-176 - [c135]Edward A. Lee:
It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming. ISORC 2014: 213 - [c134]Edward A. Lee:
Keynote - It's about time. ReConFig 2014: 1 - [c133]Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee:
FlexPRET: A processor platform for mixed-criticality systems. RTAS 2014: 101-110 - [c132]Ben Zhang, Yu-Hsiang Chen, Claire Tuna, Achal Dave, Yang Li, Edward A. Lee, Björn Hartmann:
HOBS: head orientation-based selection in physical spaces. SUI 2014: 17-25 - 2013
- [j63]Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee:
A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23(4): 834-881 (2013) - [j62]Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee:
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embed. Comput. Syst. 12(3): 83:1-83:26 (2013) - [c131]Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A tool integration approach for architectural exploration of aircraft electric power systems. CPSNA 2013: 38-43 - [c130]Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Eelco Scholte:
Industrial Cyber-Physical Systems - iCyPhy. CSDM 2013: 21-37 - [c129]David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Determinate composition of FMUs for co-simulation. EMSOFT 2013: 2:1-2:12 - [c128]Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee:
On the schedulability of real-time discrete-event systems. EMSOFT 2013: 12:1-12:15 - [c127]Dai N. Bui, Edward A. Lee:
StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. EMSOFT 2013: 20:1-20:10 - [c126]Eleftherios Matsikoudis, Edward A. Lee:
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. FCT 2013: 248-258 - [c125]Eleftherios Matsikoudis, Edward A. Lee:
On Fixed Points of Strictly Causal Functions. FORMATS 2013: 183-197 - [c124]Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee:
On the Verification of Timed Discrete-Event Models. FORMATS 2013: 213-227 - [c123]Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. ICCPS 2013: 109-118 - [c122]Ilge Akkaya, Yan Liu, Edward A. Lee, Ian Gorton:
Modeling uncertainty for middleware-based streaming power grid applications. MW4NextGen@Middleware 2013: 4:1-4:6 - [c121]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. SPIN 2013: 358-375 - [c120]Eleftherios Matsikoudis, Edward A. Lee:
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. FICS 2013: 56-71 - [i2]Chih-Hong Cheng, Edward A. Lee:
Numerical LTL Synthesis for Cyber-Physical Systems. CoRR abs/1307.3722 (2013) - 2012
- [j61]Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Modeling Cyber-Physical Systems. Proc. IEEE 100(1): 13-28 (2012) - [j60]John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou:
Distributed Real-Time Software for Cyber-Physical Systems. Proc. IEEE 100(1): 45-59 (2012) - [j59]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis:
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12): 1235-1271 (2012) - [c119]Eleftherios Matsikoudis, Edward A. Lee:
From Transitions to Executions. CMCS 2012: 170-190 - [c118]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [c117]Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen:
Teaching embedded systems the Berkeley way. WESE 2012: 1 - [c116]Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Wang, Hugo A. Andrade:
A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs. FCCM 2012: 125-132 - [c115]Edward A. Lee:
Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk. Haifa Verification Conference 2012: 2 - [c114]Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee:
A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD 2012: 87-93 - [c113]David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS 2012: 49-54 - [c112]Chris Shaver, Edward A. Lee:
The Coroutine Model of Computation. MoDELS 2012: 319-334 - [c111]Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann:
Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. Monterey Workshop 2012: 209-223 - [c110]Jia Zou, Slobodan Matic, Edward A. Lee:
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 209-218 - [c109]Edward A. Lee:
It's about time. ICSAMOS 2012 - 2011
- [j58]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14:1-14:41 (2011) - [c108]Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee:
PRET DRAM controller: bank privatization for predictability and temporal isolation. CODES+ISSS 2011: 99-108 - [c107]Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke:
Temporal isolation on multiprocessing architectures. DAC 2011: 274-279 - [c106]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Component-based design for the future. DATE 2011: 1029 - [c105]Edward A. Lee:
Heterogeneous actor modeling. EMSOFT 2011: 3-12 - [c104]Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee:
A practical ontology framework for static model analysis. EMSOFT 2011: 23-32 - [c103]Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis:
Time-predictable and composable architectures for dependable embedded systems. EMSOFT 2011: 351-352 - [c102]Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia:
An introductory capstone design course on embedded systems. ISCAS 2011: 1199-1202 - [c101]Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee:
PTIDES model on a distributed testbed emulating smart grid real-time applications. ISGT Europe 2011: 1-8 - [c100]Jeff C. Jensen, Danica H. Chang, Edward A. Lee:
A model-based design methodology for cyber-physical systems. IWCMC 2011: 1666-1671 - [e3]François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee:
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011. Linköping Electronic Conference Proceedings 56, Linköping University Electronic Press 2011 [contents] - 2010
- [j57]Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong:
The design and application of structured types in Ptolemy II. Int. J. Intell. Syst. 25(2): 118-136 (2010) - [c99]Maarten Wiggers, Lothar Thiele, Edward A. Lee, Simon Schliecker, Marco Bekooij:
Modeling and analyzing real-time multiprocessor systems. CODES+ISSS 2010: 329-330 - [c98]Christopher X. Brooks, Edward A. Lee, Stavros Tripakis:
Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332 - [c97]Edward A. Lee:
CPS foundations. DAC 2010: 737-742 - [c96]Thomas Huining Feng, Edward A. Lee, Lee W. Shruben:
Ptera: an event-oriented model of computation for heterogeneous systems. EMSOFT 2010: 219-228 - [c95]Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee:
Model-based specification of timing requirements. EMSOFT 2010: 239-248 - [c94]Edward A. Lee, Stavros Tripakis:
Modal Models in Ptolemy. EOOLT 2010: 11-21 - [c93]Edward A. Lee, Sanjit A. Seshia:
An introductory textbook on cyber-physical systems. WESE 2010: 1 - [c92]Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee:
Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. ICCPS 2010: 199 - [c91]Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman:
Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. MoDELS (Workshops) 2010: 140-144 - [c90]Edward A. Lee:
Disciplined Heterogeneous Modeling - Invited Paper. MoDELS (2) 2010: 273-287 - [c89]Dai N. Bui, Hiren D. Patel, Edward A. Lee:
Deploying Hard Real-Time Control Software on Chip-Multiprocessors. RTCSA 2010: 283-292 - [c88]Martin Schoeberl, Christopher X. Brooks, Edward A. Lee:
Code Generation for Embedded Java with Ptolemy. SEUS 2010: 155-166 - [e2]Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman:
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010. Linköping Electronic Conference Proceedings 47, Linköping University Electronic Press 2010 [contents]
2000 – 2009
- 2009
- [j56]Edward A. Lee:
Computing needs time. Commun. ACM 52(5): 70-79 (2009) - [j55]Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble:
Heterogeneous composition of models of computation. Future Gener. Comput. Syst. 25(5): 552-560 (2009) - [j54]Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer:
Classes and inheritance in actor-oriented design. ACM Trans. Embed. Comput. Syst. 8(4): 29:1-29:26 (2009) - [c87]Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll:
Toward the Design of Robotic Software with Verifiable Safety. COMPSAC (1) 2009: 622-623 - [c86]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
On relational interfaces. EMSOFT 2009: 67-76 - [c85]Edward A. Lee:
Introducing embedded systems: a cyber-physical approach: extended abstract. WESE@ESWEEK 2009: 1-2 - [c84]Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl:
A disruptive computer design idea: Architectures with repeatable timing. ICCD 2009: 54-59 - [c83]Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou:
The Case for Timing-Centric Distributed Software Invited Paper. ICDCS Workshops 2009: 57-64 - [c82]Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee:
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. LCTES 2009: 31-40 - [c81]Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly:
Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS 2009: 393-407 - [c80]Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler:
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 77-86 - [e1]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
SYNCHRON 2009, 22.11. - 27.11.2009. Dagstuhl Seminar Proceedings 09481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 2009 - 2008
- [j53]Shuvra S. Bhattacharyya, Jeffery C. Bier, Wanda K. Gass, Ram K. Krishnamurthy, Edward A. Lee, Konstantinos Konstantinides:
Advances in hardware design and implementation of signal processing systems [DSP Forum]. IEEE Signal Process. Mag. 25(6): 175-180 (2008) - [j52]Xiaojun Liu, Edward A. Lee:
CPO semantics of timed interactive actor networks. Theor. Comput. Sci. 409(1): 110-125 (2008) - [j51]Ye Zhou, Edward A. Lee:
Causality interfaces for actor networks. ACM Trans. Embed. Comput. Syst. 7(3): 29:1-29:35 (2008) - [c79]Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee:
Predictable programming on a precision timed architecture. CASES 2008: 137-146 - [c78]Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade:
An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture. DS-RT 2008: 322-325 - [c77]Patricia Derler, Edward A. Lee, Slobodan Matic:
Simulation and Implementation of the PTIDES Programming Model. DS-RT 2008: 330-333 - [c76]Edward A. Lee:
Time is a Resource, and Other Stories. ISORC 2008: 355 - [c75]Edward A. Lee:
Cyber Physical Systems: Design Challenges. ISORC 2008: 363-369 - [c74]Thomas Huining Feng, Edward A. Lee:
Real-Time Distributed Discrete-Event Execution with Fault Tolerance. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 205-214 - 2007
- [c73]Stephen A. Edwards, Edward A. Lee:
The Case for the Precision Timed (PRET) Machine. DAC 2007: 264-265 - [c72]Edward A. Lee, Haiyang Zheng:
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. EMSOFT 2007: 114-123 - [c71]Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble:
Composing Different Models of Computation in Kepler and Ptolemy II. International Conference on Computational Science (3) 2007: 182-190 - [c70]Gang Zhou, Man-Kit Leung, Edward A. Lee:
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. ICESS 2007: 193-206 - [c69]Yang Zhao, Jie Liu, Edward A. Lee:
A Programming Model for Time-Synchronized Distributed Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 259-268 - 2006
- [j50]Edward A. Lee:
The Problem with Threads. Computer 39(5): 33-42 (2006) - [j49]Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew B. Jones, Edward A. Lee, Jing Tao, Yang Zhao:
Scientific workflow management and the Kepler system. Concurr. Comput. Pract. Exp. 18(10): 1039-1065 (2006) - [c68]Edward A. Lee, Haiyang Zheng:
Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II. ADHS 2006: 270-271 - [c67]Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee:
Modeling Timed Concurrent Systems. CONCUR 2006: 1-15 - [c66]Ye Zhou, Edward A. Lee:
A causality interface for deadlock analysis in dataflow. EMSOFT 2006: 44-52 - [c65]Edward A. Lee:
Concurrent Semantics Without the Notions of State or State Transitions. FORMATS 2006: 18-31 - [c64]Haiyang Zheng, Edward A. Lee, Aaron D. Ames:
Beyond Zeno: Get on with It! HSCC 2006: 568-582 - [c63]Edward A. Lee:
Discrete event models: getting the semantics right. WSC 2006: 1 - [c62]Thomas Huining Feng, Edward A. Lee:
Incremental checkpointing with application to distributed discrete event simulation. WSC 2006: 1004-1011 - 2005
- [j48]Edward A. Lee:
Absolutely Positively on Time: What Would It Take? Computer 38(7): 85-87 (2005) - [c61]Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, Lizhi C. Zhong:
The design and application of structured types in Ptolemy II. GrC 2005: 683-688 - [c60]Edward A. Lee, Haiyang Zheng:
Operational Semantics of Hybrid Systems. HSCC 2005: 25-53 - [c59]Edward A. Lee, Yang Zhao:
Reinventing Computing for Real Time. Monterey Workshop 2005: 1-25 - [c58]Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele:
Counting Interface Automata and their Application in Static Analysis of Actor Models. SEFM 2005: 106-116 - [c57]Elaine Cheong, Edward A. Lee, Yang Zhao:
Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. SenSys 2005: 302 - 2004
- [j47]Edward A. Lee, Yuhong Xiong:
A behavioral type system and its application in Ptolemy II. Formal Aspects Comput. 16(3): 210-237 (2004) - [j46]Jie Liu, Johan Eker, Jörn W. Janneck, Xiaojun Liu, Edward A. Lee:
Actor-oriented control system design: a responsible framework perspective. IEEE Trans. Control. Syst. Technol. 12(2): 250-262 (2004) - [c56]Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao:
Modeling of sensor nets in Ptolemy II. IPSN 2004: 359-368 - [c55]Edward A. Lee, Stephen Neuendorffer:
Classes and subclasses in actor-oriented design. MEMOCODE 2004: 161-168 - [c54]Stephen Neuendorffer, Edward A. Lee:
Hierarchical reconfiguration of dataflow models. MEMOCODE 2004: 179-188 - 2003
- [b3]John R. Barry, Edward A. Lee, David G. Messerschmitt:
Digital communication (3. ed.). Springer 2003, ISBN 978-0-7923-7548-7, pp. I-XVI, 1-838 - [b2]Edward A. Lee, Pravin Varaiya:
Structure and interpretation of signals and systems. Addison-Wesley 2003, ISBN 978-0-201-74551-1, pp. I-XXI, 1-647 - [j45]Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin:
Actor-Oriented Design of Embedded Hardware and Software Systems. J. Circuits Syst. Comput. 12(3): 231-260 (2003) - [j44]Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong:
Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1): 127-144 (2003) - [j43]Stephen A. Edwards, Edward A. Lee:
The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48(1): 21-42 (2003) - [c53]Jie Liu, Edward A. Lee:
On the Causality of Mixed-Signal and Hybrid Models. HSCC 2003: 328-342 - 2002
- [j42]Edward A. Lee:
Embedded Software. Adv. Comput. 56: 55-95 (2002) - [j41]Jie Liu, Edward A. Lee:
A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM Trans. Model. Comput. Simul. 12(4): 343-368 (2002) - [j40]Praveen K. Murthy, Edward A. Lee:
Multidimensional synchronous dataflow. IEEE Trans. Signal Process. 50(8): 2064-2079 (2002) - 2001
- [c52]Jie Liu, Stanley Jefferson, Edward A. Lee:
Motivating hierarchical run-time models in measurement and control systems. ACC 2001: 3457-3462 - [c51]He Li, Xiaojun Liu, Edward A. Lee:
Modeling distributed hybrid systems in Ptolemy II. ACC 2001: 4984-4985 - [c50]Edward A. Lee, Yuhong Xiong:
System-Level Types for Component-Based Design. EMSOFT 2001: 237-253 - [c49]Xiaojun Liu, Yuhong Xiong, Edward A. Lee:
The Ptolemy II Framework for Visual Languages. HCC 2001: 50- - 2000
- [j39]Edward A. Lee:
What's Ahead for Embedded Software? Computer 33(9): 18-26 (2000) - [c48]Jeff Tsay, Christopher Hylands, Edward A. Lee:
A code generation framework for Java component-based designs. CASES 2000: 18-25 - [c47]Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf:
Embedded systems education (panel abstract). DAC 2000: 519 - [c46]Yuhong Xiong, Edward A. Lee:
An Extensible Type System for Component-Based Design. TACAS 2000: 20-37
1990 – 1999
- 1999
- [j38]Edward A. Lee:
Modeling Concurrent Real-Time Processes Using Discrete Events. Ann. Softw. Eng. 7: 25-45 (1999) - [j37]Walid A. Najjar, Edward A. Lee, Guang R. Gao:
Advances in the dataflow computational model. Parallel Comput. 25(13-14): 1907-1929 (1999) - [j36]Edward A. Lee, David G. Messerschmitt:
A highest education in the year 2049. Proc. IEEE 87(9): 1685-1691 (1999) - [j35]Alain Girault, Bilung Lee, Edward A. Lee:
Hierarchical finite state machines with multiple concurrency models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(6): 742-760 (1999) - [j34]Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee:
Synthesis of Embedded Software from Synchronous Dataflow Specifications. J. VLSI Signal Process. 21(2): 151-166 (1999) - [c45]Rajarshi Gupta, Kiran, Edward A. Lee:
Computationally efficient version of the decision feedback equalizer. ICASSP 1999: 1257-1260 - 1998
- [j33]Edward A. Lee, David G. Messerschmitt:
Engineering and Education for the Future. Computer 31: 77-85 (1998) - [j32]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(12): 1217-1229 (1998) - [c44]Bilung Lee, Edward A. Lee:
Hierarchical Concurrent Finite State Machines in Ptolemy. ACSD 1998: 34-40 - [c43]H. John Reekie, Edward A. Lee:
The Tycho Slate: Complex Drawing and Editing in Tcl/Tk. Tcl/Tk Conference 1998 - 1997
- [j31]Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee:
APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations. Des. Autom. Embed. Syst. 2(1): 33-60 (1997) - [j30]Asawaree Kalavade, Edward A. Lee:
The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection. Des. Autom. Embed. Syst. 2(2): 125-163 (1997) - [j29]Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee:
Joint Minimization of Code and Data for Synchronous Dataflow Programs. Formal Methods Syst. Des. 11(1): 41-70 (1997) - [j28]Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE 85(3): 366-390 (1997) - [j27]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee:
Optimizing synchronization in multiprocessor DSP systems. IEEE Trans. Signal Process. 45(6): 1605-1618 (1997) - [j26]Wan-Teh Chang, Soonhoi Ha, Edward A. Lee:
Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow. J. VLSI Signal Process. 15(1-2): 127-144 (1997) - [j25]Sundararajan Sriram, Edward A. Lee:
Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors. J. VLSI Signal Process. 15(3): 207-220 (1997) - [c42]Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee:
Optimized software synthesis for synchronous dataflow. ASAP 1997: 250-262 - [c41]Takashi Miyazaki, Edward A. Lee:
Code generation by using integer-controlled dataflow graph. ICASSP 1997: 703-706 - [c40]Christopher Hylands, Edward A. Lee, H. John Reekie:
The Tycho User Interface System. Tcl/Tk Workshop 1997 - 1996
- [j24]John R. Barry, Edward A. Lee, David G. Messerschmitt:
Capacity penalty due to ideal zero-forcing decision-feedback equalization. IEEE Trans. Inf. Theory 42(4): 1062-1071 (1996) - [j23]Asawaree Kalavade, Edward A. Lee:
Complexity management in system-level design. J. VLSI Signal Process. 14(2): 157-169 (1996) - [c39]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee:
Latency-constrained Resynchronization for Multiprocessor DSP Implementation. ASAP 1996: 365-380 - [c38]Kenneth H. Chiang, Brian L. Evans, William T. Huang, Ferenc Kovac, Edward A. Lee, David G. Messerschmitt, H. John Reekie, S. Shankar Sastry:
Real-time DSP for sophomores. ICASSP 1996: 1097-1100 - [c37]José Luis Pino, Michael C. Williamson, Edward A. Lee:
Interface synthesis in heterogeneous system-level DSP design tools. ICASSP 1996: 1268-1271 - [c36]Praveen K. Murthy, Edward A. Lee:
An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices. ICASSP 1996: 3306-3309 - [c35]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Comparing models of computation. ICCAD 1996: 234-241 - [c34]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee:
Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules. IPPS 1996: 199-205 - 1995
- [j22]Edward A. Lee, Thomas M. Parks:
Dataflow process networks. Proc. IEEE 83(5): 773-801 (1995) - [j21]José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck:
Software synthesis for DSP using ptolemy. J. VLSI Signal Process. 9(1-2): 7-21 (1995) - [c33]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee:
Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems. ASAP 1995: 298-309 - [c32]José Luis Pino, Edward A. Lee:
Hierarchical static scheduling of dataflow graphs onto multiple processors. ICASSP 1995: 2643-2646 - [c31]Asawaree Kalavade, José Luis Pino, Edward A. Lee:
Managing complexity in heterogeneous system specification, simulation, and synthesis. ICASSP 1995: 2833-2836 - [c30]Roberto H. Bamberger, Brian L. Evans, Edward A. Lee, James H. McClellan, Mark A. Yoder:
Integrating analysis, simulation, and implementation tools in electronic courseware for teaching signal processing. ICASSP 1995: 2873-2876 - [c29]Thomas M. Parks, Edward A. Lee:
Non-preemptive real-time scheduling of dataflow systems. ICASSP 1995: 3235-3238 - [c28]Karim P. Khiar, Edward A. Lee:
Modeling radar systems using hierarchical dataflow. ICASSP 1995: 3259-3262 - [c27]Jürgen Teich, Lothar Thiele, Edward A. Lee:
Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model. ISSS 1995: 156-161 - [c26]Asawaree Kalavade, Edward A. Lee:
The extended partitioning problem: hardware/software mapping and implementation-bin selection. RSP 1995: 12-18 - [c25]Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee:
Converting graphical DSP programs into memory constrained software prototypes. RSP 1995: 194-200 - 1994
- [b1]Edward A. Lee, David G. Messerschmitt:
Digital communication (2. ed.). Kluwer 1994, ISBN 978-0-7923-9391-7, pp. 1-893 - [j20]Shuvra S. Bhattacharyya, Edward A. Lee:
Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. Formal Methods Syst. Des. 5(3): 183-205 (1994) - [j19]Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt:
Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. Int. J. Comput. Simul. 4(2) (1994) - [j18]Shuvra S. Bhattacharyya, Edward A. Lee:
Memory management for dataflow programming of multirate signal processing algorithms. IEEE Trans. Signal Process. 42(5): 1190-1201 (1994) - [c24]Asawaree Kalavade, Edward A. Lee:
A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem. CODES 1994: 42-48 - [c23]Asawaree Kalavade, Edward A. Lee:
Manifestations of Heterogeneity in Hardware/Software Co-Design. DAC 1994: 437-438 - [c22]Jordi Cortadella, José A. B. Fortes, Edward A. Lee:
Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction. HICSS (1) 1994: 56-57 - [c21]Edward A. Lee:
Computing and signal processing: an experimental multidisciplinary course. ICASSP (6) 1994: 45-48 - [c20]José Luis Pino, Thomas M. Parks, Edward A. Lee:
Automatic code generation for heterogeneous multiprocessors. ICASSP (2) 1994: 445-448 - [c19]Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee:
Minimizing memory requirements for chain-structured synchronous dataflow programs. ICASSP (2) 1994: 453-456 - [c18]Asawaree Kalavade, Edward A. Lee:
A methodology for simulation and synthesis of mixed hardware/software systems. HLSS 1994: 10 - 1993
- [j17]Asawaree Kalavade, Edward A. Lee:
A Hardware-Software Codesign Methodology for DSP Applications. IEEE Des. Test Comput. 10(3): 16-28 (1993) - [j16]John R. Barry, Joseph M. Kahn, William J. Krause, Edward A. Lee, David G. Messerschmitt:
Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels. IEEE J. Sel. Areas Commun. 11(3): 367-379 (1993) - [j15]Gilbert C. Sih, Edward A. Lee:
A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures. IEEE Trans. Parallel Distributed Syst. 4(2): 175-187 (1993) - [j14]Gilbert C. Sih, Edward A. Lee:
Declustering: A New Multiprocessor Scheduling Technique. IEEE Trans. Parallel Distributed Syst. 4(6): 625-637 (1993) - [j13]Shuvra S. Bhattacharyya, Edward A. Lee:
Scheduling synchronous dataflow graphs for efficient looping. J. VLSI Signal Process. 6(3): 271-288 (1993) - [c17]Sundararajan Sriram, Edward A. Lee:
Design and implementation of an ordered memory access architecture. ICASSP (1) 1993: 345-348 - [c16]Joseph T. Buck, Edward A. Lee:
Scheduling dynamic dataflow graphs with bounded memory using the token flow model. ICASSP (1) 1993: 429-432 - [c15]Edward A. Lee:
Representing and exploiting data parallelism using multidimensional dataflow diagrams. ICASSP (1) 1993: 453-456 - [c14]Edward A. Lee:
Mulitdimensional Streams Rooted in Dataflow. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism 1993: 295-306 - 1992
- [c13]Edward A. Lee:
A design lab for statistical signal processing. ICASSP 1992: 81-84 - [c12]Douglas B. Powell, Edward A. Lee, William C. Newman:
Direct synthesis of optimized DSP assembly code from signal flow block diagrams. ICASSP 1992: 553-556 - 1991
- [j12]John R. Barry, Joseph M. Kahn, Edward A. Lee, David G. Messerschmitt:
High-speed nondirective optical communication for wireless networks. IEEE Netw. 5(6): 44-54 (1991) - [j11]Soonhoi Ha, Edward A. Lee:
Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration. IEEE Trans. Computers 40(11): 1225-1238 (1991) - [j10]Edward A. Lee:
Consistency in Dataflow Graphs. IEEE Trans. Parallel Distributed Syst. 2(2): 223-235 (1991) - [c11]Edward A. Lee:
Consistency in dataflow graphs. ASAP 1991: 355-369 - [c10]Brian Barrera, Edward A. Lee:
Multirate signal processing in Comdisco's SPW. ICASSP 1991: 1113-1116 - [c9]Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt:
Multirate signal processing in Ptolemy. ICASSP 1991: 1245-1248 - 1990
- [j9]Edward A. Lee, Jeffery C. Bier:
Architectures for Statically Scheduled Dataflow. J. Parallel Distributed Comput. 10(4): 333-348 (1990) - [j8]Edward A. Lee:
Programmable DSPs: a brief overview. IEEE Micro 10(5): 14-16 (1990) - [j7]Jeffery C. Bier, Edwin E. Goei, Wai H. Ho, Philip D. Lapsley, Maureen P. O'Reilly, Gilbert C. Sih, Edward A. Lee:
Gabriel: a design environment for DSP. IEEE Micro 10(5): 28-45 (1990) - [j6]John R. Barry, Edward A. Lee:
Performance of coherent optical receivers. Proc. IEEE 78(8): 1369-1394 (1990) - [c8]Gilbert C. Sih, Edward A. Lee:
Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks. ICPP (1) 1990: 9-16 - [c7]Gilbert C. Sih, Edward A. Lee:
Dynamic-level scheduling for heterogeneous processor networks. SPDP 1990: 42-49
1980 – 1989
- 1989
- [j5]Edward A. Lee, W.-H. Ho, E. Goei, Jeffery C. Bier, Shuvra S. Bhattacharyya:
Gabriel: a design environment for DSP. IEEE Trans. Acoust. Speech Signal Process. 37(11): 1751-1762 (1989) - [c6]Edward A. Lee, E. Goei, H. Heine, W.-H. Ho, Shuvra S. Bhattacharyya, Jeffery C. Bier, E. Guntvedt:
GABRIEL: A Design Environment for Programmable DSPs. DAC 1989: 141-146 - [c5]Jeffrey C. Bier, Edward A. Lee:
Frigg: a simulation environment for multiple-processor DSP system development. ICCD 1989: 280-283 - 1987
- [j4]Edward A. Lee, David G. Messerschmitt:
Synchronous data flow. Proc. IEEE 75(9): 1235-1245 (1987) - [j3]Edward Ashford Lee, David G. Messerschmitt:
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. IEEE Trans. Computers 36(1): 24-35 (1987) - [j2]Edward A. Lee, David G. Messerschmitt:
Pipeline interleaved programmable DSP's: Architecture. IEEE Trans. Acoust. Speech Signal Process. 35(9): 1320-1333 (1987) - [j1]Edward A. Lee, David G. Messerschmitt:
Pipeline interleaved programmable DSP's: Synchronous data flow programming. IEEE Trans. Acoust. Speech Signal Process. 35(9): 1334-1345 (1987) - [c4]Edward A. Lee, David G. Messerschmitt:
Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation. COMPCON 1987: 310-315 - [c3]Ho-Ping Tseng, Michael J. Sabin, Edward A. Lee:
Fuzzy vector quantazation applied to hidden Markov modeling. ICASSP 1987: 641-644 - [c2]Teresa H.-Y. Meng, Edward A. Lee, David G. Messerschmitt:
Least squares computation at arbitrarily high speeds. ICASSP 1987: 1398-1401 - 1985
- [c1]Edward Ashford Lee, David G. Messerschmitt:
On quantization effects in state-variable filter implementations. ICASSP 1985: 1719-1722
Coauthor Index
[j95] [c201] [i17] [j93] [c198] [c197] [c196] [i16] [i15] [i14] [i13] [i12] [j91] [j90] [j89] [c193] [c192] [c191] [c190] [c189] [c188] [i11] [i10] [i9] [i8] [c186] [c185] [i7] [j88] [j86] [c184] [i6] [c181] [j83] [j80] [c178] [c177] [c176] [c175] [c170] [j76] [c166] [i4] [c163] [c156] [c154] [c152] [j68] [c140]
Sanjit A. Seshia
aka: Sanjit Seshia
aka: Sanjit Seshia
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-12 23:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
