Edward A. Lee - RankMe

346 papers A* 13A 16B 10C 26Misc 44Journal 121Unranked 103

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Actors for Timing Analysis of Distributed Redundant Controllers. Concurrent Programming, Open Systems and Formal Methods Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner, Alessandro V. Papadopoulos
2026	J	`jnl`	Engineering opportunistic digital twins with lingua franca. Future Gener. Comput. Syst. Vincenzo Barbuto, Claudio Savaglio, Edward A. Lee, Giancarlo Fortino
2026	—	`book`	Let's Talk AI - Interdisciplinarity Is a Must Let's Talk AI Barbara Steffen, Edward A. Lee, Bernhard Steffen
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Edward A. Lee. Let's Talk AI Edward A. Lee, Barbara Steffen
2026	—	`ch.`	Let's Talk AI: Impressions and Thoughts After 30 Interviews. Let's Talk AI Barbara Steffen, Edward A. Lee, Bernhard Steffen
2026	—	`conf`	Logical Time in Actor Systems. Concurrent Programming, Open Systems and Formal Methods Edward A. Lee
2026	J	`jnl`	Maxwait: A Generalized Mechanism for Distributed Time-Sensitive Systems. CoRR Francesco Paladino, Shulu Li, Edward A. Lee
2026	J	`jnl`	Resilient Infrastructures via Digital Unification. Commun. ACM Ang Chen, Sylvia Ratnasamy, Mohammad Alizadeh, Mosharaf Chowdhury, Seth D. Guikema, Ryan Huang, Suresh Jagannathan, Branko Kerkez, Edward A. Lee, Steven Low, Morley Mao, Johanna Mathieu, Michael K. Reiter, Xinyu Wang, Vinton G. Cerf
2026	J	`jnl`	Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca. ACM Trans. Model. Comput. Simul. Peter Donovan, Erling Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan
2025	J	`jnl`	A Preliminary Model of Coordination-free Consistency. CoRR Shulu Li, Edward A. Lee
2025	J	`jnl`	AI-Assisted Modeling: DSL-Driven AI Interactions. CoRR Steven Smyth, Daniel Busch, Moez Ben Haj Hmida, Edward A. Lee, Bernhard Steffen
2025	—	`conf`	Edge AI in the computing continuum: Consistency and Availability at Early Design Stages. IPDPS (Workshops) Vincenzo Barbuto, Claudio Savaglio, Giancarlo Fortino, Edward A. Lee
2025	J	`jnl`	Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation. CoRR Gustavo Quiros Araya, Yi Peng Zhu, Tao Cui, Shaokai Lin, Marten Lohstroh, Edward A. Lee
2025	—	`conf`	Extended Abstract: Will Embodied AI Become Sentient? AISoLA Edward A. Lee
2025	A*	`conf`	HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems. ICRA Jacky Kwok, Shulu Li, Marten Lohstroh, Edward A. Lee
2025	—	`conf`	Improving the Efficiency of Coordinating Timed Events in Distributed Systems. SIGSIM-PADS Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim
2025	J	`jnl`	It's Not the AI - It's Each of Us! Ten Commandments for the Wise & Responsible Use of AI. CoRR Barbara Steffen, Edward A. Lee, Moshe Y. Vardi, Bernhard Steffen
2025	J	`jnl`	Layered Scheduling: Toward Better Real-Time Lingua Franca. IEEE Embed. Syst. Lett. Francesco Paladino, Erling Jellum, Efsane Soyer, Edward A. Lee
2025	B	`conf`	PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. FMCAD Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2025	J	`jnl`	PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. CoRR Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2025	—	`conf`	Programming Time-Predictable Processors with Lingua Franca. NG-RES@HiPEAC Magnus Mæhlum, Erling Rennemo Jellum, Shaokai Lin, Marten Lohstroh, Martin Schoeberl, Sverre Hendseth, Edward A. Lee
2025	J	`jnl`	Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware. ACM Trans. Embed. Comput. Syst. Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Yimo Xu, Guangyu Feng, Magnus Mæhlum, Jian-Jia Chen, Martin Schoeberl, Linh Thi Xuan Phan, Jerónimo Castrillón, Sanjit A. Seshia, Edward A. Lee
2025	—	`conf`	RAG and Agentic Assistant: A Combined Approach. AISoLA Moez Ben HajHmida, Edward A. Lee
2025	—	`ed.`	Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday Rebeca for Actor Analysis in Action Edward A. Lee, Mohammad Reza Mousavi, Carolyn L. Talcott
2025	J	`jnl`	Software-Defined Watchdog Timers for Cyber-Physical Systems. IEEE Embed. Syst. Lett. Benjamin Asch, Erling Jellum, Marten Lohstroh, Edward A. Lee
2025	Misc	`conf`	Special Session - Predictable Timing Behavior in Distributed Cyber-Physical Systems. EMSOFT Jian-Jia Chen, Mario Günzel, Dakshina Dasari, Matthias Becker, Edward A. Lee, Timothy Bourke
2025	J	`jnl`	Toward Dynamism in Distributed Lingua Franca Programs. IEEE Embed. Syst. Lett. Chadlia Jerad, Edward A. Lee
2025	J	`jnl`	Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091). Dagstuhl Reports Jerónimo Castrillón Mazo, Chadlia Jerad, Edward A. Lee, Claire Pagetti, Shaokai Jerry Lin
2025	—	`conf`	Verify Engineering Models, Not Scientific Models. Rebeca for Actor Analysis in Action Shaokai Lin, Edward A. Lee
2024	—	`conf`	Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. ICSE Companion Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
2024	J	`jnl`	Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. CoRR Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla
2024	A	`conf`	Certainty or Intelligence: Pick One! DATE Edward A. Lee
2024	—	`conf`	Certainty vs. Intelligence. AISoLA Edward A. Lee
2024	—	`conf`	Context Engineering for AI-Assisted Programming for Domain-Specific Languages. AISoLA Moez Ben Haj Hmida, Edward A. Lee
2024	J	`jnl`	Deterministic Coordination across Multiple Timelines. ACM Trans. Embed. Comput. Syst. Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jerónimo Castrillón, Edward A. Lee
2024	C	`conf`	Efficient Coordination for Distributed Discrete-Event Systems. MEMOCODE Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim
2024	J	`jnl`	Efficient Coordination for Distributed Discrete-Event Systems. CoRR Byeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim
2024	B	`conf`	Efficient Parallel Reinforcement Learning Framework Using the Reactor Model. SPAA Jacky Kwok, Marten Lohstroh, Edward A. Lee
2024	J	`jnl`	HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems. CoRR Jacky Kwok, Shulu Li, Marten Lohstroh, Edward A. Lee
2024	—	`conf`	Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications. WCET Martin Schoeberl, Ehsan Khodadad, Shaokai Lin, Emad Jacob Maroun, Luca Pezzarossa, Edward A. Lee
2024	J	`jnl`	PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR 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 A. Seshia, Edward A. Lee
2024	J	`jnl`	Strongly-Consistent Distributed Discrete-event Systems. CoRR Peter Donovan, Erling Rennemo Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan
2024	C	`conf`	Timing enclaves for performance in Lingua Franca. FDL Julian Robledo, Christian Menard, Erling Rennemo Jellum, Edward A. Lee, Jerónimo Castrillón
2023	—	`conf`	Beyond the Threaded Programming Model on Real-Time Operating Systems. NG-RES@HiPEAC Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv H. Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee
2023	J	`jnl`	Consistency vs. Availability in Distributed Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2023	J	`jnl`	Consistency vs. Availability in Distributed Real-Time Systems. CoRR Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2023	—	`conf`	Deep Neural Networks, Explanations, and Rationality. AISoLA Edward A. Lee
2023	J	`jnl`	High-Performance Deterministic Concurrency using Lingua Franca. CoRR 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
2023	J	`jnl`	High-performance Deterministic Concurrency Using Lingua Franca. ACM Trans. Archit. Code Optim. 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
2023	—	`conf`	InterPRET: a Time-predictable Multicore Processor. CPS-IoT Week Workshops Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl
2023	—	`conf`	Logical Time for Reactive Software. CPS-IoT Week Workshops Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman
2023	J	`jnl`	Modal Reactors. CoRR Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
2023	J	`jnl`	Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca. CoRR Jacky Kwok, Marten Lohstroh, Edward A. Lee
2023	—	`conf`	Polyglot Modal Models through Lingua Franca. CPS-IoT Week Workshops Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni
2023	A	`conf`	Polyglot Modal Models through Lingua Franca. DATE Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee
2023	C	`conf`	Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. MEMOCODE Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee
2023	J	`jnl`	Time-Sensitive Software. Res. Dir. Cyber Phys. Syst. Edward A. Lee, Jim Woodcock
2023	J	`jnl`	Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
2022	—	`ch.`	Are We Losing Control? Perspectives on Digital Humanism Edward A. Lee
2022	—	`conf`	Generalizing Logical Execution Time. Principles of Systems Design Edward A. Lee, Marten Lohstroh
2022	—	`book`	Perspectives on Digital Humanism Hannes Werthner, Erich Prem, Edward A. Lee, Carlo Ghezzi
2022	—	`conf`	Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard
2022	J	`jnl`	Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. CoRR Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee
2021	J	`jnl`	Determinism. ACM Trans. Embed. Comput. Syst. Edward A. Lee
2021	J	`jnl`	Programmable Logic Controllers in the Context of Industry 4.0. IEEE Trans. Ind. Informatics Martin A. Sehr, Marten Lohstroh, Matthew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, Edward A. Lee
2021	J	`jnl`	Quantifying and Generalizing the CAP Theorem. CoRR Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2021	—	`ch.`	Semantic Localization for IoT. Semantic IoT Matthew Weber, Edward A. Lee
2021	C	`conf`	Time for All Programs, Not Just Real-Time Programs. ISoLA Edward A. Lee, Marten Lohstroh
2021	J	`jnl`	Toward a Lingua Franca for Deterministic Concurrent Systems. ACM Trans. Embed. Comput. Syst. Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee
2020	C	`conf`	A Language for Deterministic Coordination Across Multiple Timelines. FDL Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee
2020	—	`conf`	Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee
2020	J	`jnl`	Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Learning Branching Heuristics for Propositional Model Counting. CoRR Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus
2020	A*	`conf`	Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR Gil Lederman, Markus N. Rabe, Sanjit A. Seshia, Edward A. Lee
2020	C	`conf`	Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
2020	B	`conf`	Model Checking Software in Cyberphysical Systems. COMPSAC Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
2020	J	`jnl`	Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2019	—	`conf`	A fundamental look at models and intelligence: abstract of keynote. SEsCPS@ICSE Edward A. Lee
2019	A*	`conf`	Actors Revisited for Time-Critical Systems. DAC Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee
2019	J	`jnl`	Creating a Resilient IoT With Edge Computing. Computer Hokeun Kim, Edward A. Lee, Schahram Dustdar
2019	C	`conf`	Deterministic Actors. FDL Marten Lohstroh, Edward A. Lee
2019	—	`conf`	Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli. ISPD Edward A. Lee
2019	J	`jnl`	Hybrid co-simulation: it's about time. Softw. Syst. Model. Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
2019	J	`jnl`	Modeling in engineering and science. Commun. ACM Edward A. Lee
2019	C	`conf`	Observation and Interaction - Invited Paper. LATA Edward A. Lee
2019	J	`jnl`	On Enabling Technologies for the Internet of Important Things. IEEE Access Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee
2019	—	`conf`	Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee
2019	—	`conf`	Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2019	C	`conf`	Service Discovery for the Connected Car with Semantic Accessors. IV Matthew Weber, Ravi Akella, Edward A. Lee
2019	A	`conf`	Work-in-Progress: Real-Time Reactors in C. RTSS Marten Lohstroh, Edward A. Lee
2018	J	`jnl`	A Component Architecture for the Internet of Things. Proc. IEEE Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber
2018	J	`jnl`	A Metric for Linear Temporal Logic. CoRR Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2018	A*	`conf`	AWStream: adaptive wide-area streaming analytics. SIGCOMM Ben Zhang, Xin Jin, Sylvia Ratnasamy, John Wawrzynek, Edward A. Lee
2018	J	`jnl`	Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
2018	—	`conf`	Deterministic Timing for the Industrial Internet of Things. ICII Chadlia Jerad, Edward A. Lee
2018	A	`conf`	Hybrid Co-simulation: It's About Time. MoDELS Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
2018	J	`jnl`	Is software the result of top-down intelligent design or evolution? Commun. ACM Edward A. Lee
2018	—	`conf`	Models of Timed Systems. FORMATS Edward A. Lee
2018	—	`conf`	What Good are Models? FACS Edward A. Lee, Marjan Sirjani
2018	J	`jnl`	What Is Real Time Computing? A Personal View. IEEE Des. Test Edward A. Lee
2017	—	`conf`	A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman
2017	A	`conf`	Abstract PRET Machines. RTSS Edward A. Lee, Jan Reineke, Michael Zimmer
2017	—	`conf`	An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2017	—	`conf`	An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. CyPhy Hokeun Kim, Armin Wasicek, Edward A. Lee
2017	J	`jnl`	Authentication and Authorization for the Internet of Things. IT Prof. Hokeun Kim, Edward A. Lee
2017	—	`conf`	Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress. EMSOFT Companion Marten Lohstroh, Hokeun Kim, Edward A. Lee
2017	J	`jnl`	Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2017	—	`conf`	autoCode4: Structural Controller Synthesis. TACAS (1) Chih-Hong Cheng, Edward A. Lee, Harald Ruess
2016	—	`conf`	A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities. FiCloud Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee
2016	—	`conf`	Control Improvisation with Probabilistic Temporal Specifications. IoTDI Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
2016	—	`conf`	Cooperative multi-robot information acquisition based on distributed robust model predictive control. ROBIO Shuhei Emoto, Ilge Akkaya, Edward A. Lee
2016	—	`conf`	Coordinated Actors for Reliable Self-adaptive Systems. FACS Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
2016	—	`conf`	Demo Abstract: Building IoT Applications with Accessors in CapeCode. ICCPS Marten Lohstroh, Christopher X. Brooks, Edward A. Lee
2016	Misc	`conf`	FIDE: an FMI integrated development environment. SAC Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee
2016	J	`jnl`	Fundamental Limits of Cyber-Physical Systems Modeling. ACM Trans. Cyber Phys. Syst. Edward A. Lee
2016	J	`jnl`	Information seeking and model predictive control of a cooperative multi-robot system. Artif. Life Robotics Shuhei Emoto, Ilge Akkaya, Edward A. Lee
2016	—	`conf`	Plenary I: The Internet of important things. SoCC Edward A. Lee, Danella Zhao
2016	C	`conf`	Step revision in hybrid Co-simulation with FMI. MEMOCODE Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
2016	J	`jnl`	Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proc. IEEE Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee
2016	J	`jnl`	Toward a Global Data Infrastructure. IEEE Internet Comput. Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nikhil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz
2016	J	`jnl`	Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications. IEEE Trans. Serv. Comput. Ilge Akkaya, Yan Liu, Edward A. Lee
2015	J	`jnl`	A Vision of Swarmlets. IEEE Internet Comput. Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber
2015	—	`conf`	A model for semantic localization. IPSN Matthew Weber, Edward A. Lee
2015	A	`conf`	A predictable and command-level priority-based DRAM controller for mixed-criticality systems. RTAS Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh
2015	B	`conf`	An Interface Theory for the Internet of Things. SEFM Marten Lohstroh, Edward A. Lee
2015	A*	`conf`	Architectural Support for Cyber-Physical Systems. ASPLOS Edward A. Lee
2015	J	`jnl`	Control Improvisation with Probabilistic Temporal Specifications. CoRR Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
2015	—	`conf`	CyPhySim: a cyber-physical systems simulator. HSCC Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter
2015	Misc	`conf`	Modeling and simulating cyber-physical systems using CyPhySim. EMSOFT Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter
2015	C	`conf`	Ramifications of software implementation and deployment: A case study on yaw moment controller design. ACC Michael Zimmer, J. Karl Hedrick, Edward A. Lee
2015	—	`conf`	Requirements for hybrid cosimulation standards. HSCC David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
2015	A*	`conf`	System simulation from operational data. DAC Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya
2015	—	`conf`	The Cloud is Not Enough: Saving IoT from the Cloud. HotCloud Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz
2015	—	`conf`	The Cloud is Not Enough: Saving IoT from the Cloud. HotStorage Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz
2015	J	`jnl`	The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. Sensors Edward A. Lee
2015	J	`jnl`	The fixed-point theory of strictly causal functions. Theor. Comput. Sci. Eleftherios Matsikoudis, Edward A. Lee
2014	A*	`conf`	Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. DAC Armin Wasicek, Patricia Derler, Edward A. Lee
2014	—	`conf`	Constructive Collisions. FPS@ETAPS Edward A. Lee
2014	J	`jnl`	Constructive Models of Discrete and Continuous Physical Phenomena. IEEE Access Edward A. Lee
2014	A	`conf`	FlexPRET: A processor platform for mixed-criticality systems. RTAS Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee
2014	—	`conf`	HOBS: head orientation-based selection in physical spaces. SUI Ben Zhang, Yu-Hsiang Chen, Claire Tuna, Achal Dave, Yang Li, Edward A. Lee, Björn Hartmann
2014	C	`conf`	It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming. ISORC Edward A. Lee
2014	—	`conf`	Keynote - It's about time. ReConFig Edward A. Lee
2014	—	`conf`	Message from the Chairs. MSCPES@CPSWeek Edward A. Lee, Peter Palensky
2014	Misc	`conf`	Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee
2014	J	`jnl`	The Swarm at the Edge of the Cloud. IEEE Des. Test 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
2013	J	`jnl`	A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee
2013	—	`conf`	A tool integration approach for architectural exploration of aircraft electric power systems. CPSNA Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2013	B	`conf`	An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. FCT Eleftherios Matsikoudis, Edward A. Lee
2013	J	`jnl`	Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embed. Comput. Syst. Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee
2013	—	`conf`	Cyber-physical system design contracts. ICCPS Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren
2013	Misc	`conf`	Determinate composition of FMUs for co-simulation. EMSOFT David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
2013	—	`conf`	Error-Completion in Interface Theories. SPIN Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee
2013	—	`conf`	Industrial Cyber-Physical Systems - iCyPhy. CSDM Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Eelco Scholte
2013	—	`conf`	Modeling uncertainty for middleware-based streaming power grid applications. MW4NextGen@Middleware Ilge Akkaya, Yan Liu, Edward A. Lee, Ian Gorton
2013	J	`jnl`	Numerical LTL Synthesis for Cyber-Physical Systems. CoRR Chih-Hong Cheng, Edward A. Lee
2013	—	`conf`	On Fixed Points of Strictly Causal Functions. FORMATS Eleftherios Matsikoudis, Edward A. Lee
2013	—	`conf`	On the Verification of Timed Discrete-Event Models. FORMATS Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee
2013	Misc	`conf`	On the schedulability of real-time discrete-event systems. EMSOFT Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee
2013	Misc	`conf`	StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. EMSOFT Dai N. Bui, Edward A. Lee
2013	—	`conf`	The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. FICS Eleftherios Matsikoudis, Edward A. Lee
2012	Misc	`conf`	A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs. FCCM Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Wang, Hugo A. Andrade
2012	C	`conf`	A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee
2012	Misc	`conf`	An overview of the career of Paul Caspi. EMSOFT Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi
2012	J	`jnl`	Distributed Real-Time Software for Cyber-Physical Systems. Proc. IEEE John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou
2012	—	`conf`	From Transitions to Executions. CMCS Eleftherios Matsikoudis, Edward A. Lee
2012	—	`conf`	It's about time. ICSAMOS Edward A. Lee
2012	J	`jnl`	Modeling Cyber-Physical Systems. Proc. IEEE Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2012	—	`conf`	Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. Monterey Workshop Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann
2012	A	`conf`	PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Jia Zou, Slobodan Matic, Edward A. Lee
2012	—	`conf`	Teaching embedded systems the Berkeley way. WESE Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen
2012	A	`conf`	The Coroutine Model of Computation. MoDELS Chris Shaver, Edward A. Lee
2012	—	`conf`	Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk. Haifa Verification Conference Edward A. Lee
2012	J	`jnl`	Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
2012	—	`conf`	Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren
2011	J	`jnl`	A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
2011	B	`conf`	A model-based design methodology for cyber-physical systems. IWCMC Jeff C. Jensen, Danica H. Chang, Edward A. Lee
2011	Misc	`conf`	A practical ontology framework for static model analysis. EMSOFT Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee
2011	C	`conf`	An introductory capstone design course on embedded systems. ISCAS Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia
2011	A	`conf`	Component-based design for the future. DATE Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2011	Misc	`conf`	Heterogeneous actor modeling. EMSOFT Edward A. Lee
2011	Misc	`conf`	PRET DRAM controller: bank privatization for predictability and temporal isolation. CODES+ISSS Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee
2011	—	`conf`	PTIDES model on a distributed testbed emulating smart grid real-time applications. ISGT Europe Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee
2011	—	`ed.`	Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011 EOOLT François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee
2011	A*	`conf`	Temporal isolation on multiprocessing architectures. DAC Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke
2011	Misc	`conf`	Time-predictable and composable architectures for dependable embedded systems. EMSOFT Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis
2010	—	`conf`	An introductory textbook on cyber-physical systems. WESE Edward A. Lee, Sanjit A. Seshia
2010	A*	`conf`	CPS foundations. DAC Edward A. Lee
2010	—	`conf`	Code Generation for Embedded Java with Ptolemy. SEUS Martin Schoeberl, Christopher X. Brooks, Edward A. Lee
2010	—	`conf`	Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. ICCPS Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee
2010	B	`conf`	Deploying Hard Real-Time Control Software on Chip-Multiprocessors. RTCSA Dai N. Bui, Hiren D. Patel, Edward A. Lee
2010	—	`conf`	Disciplined Heterogeneous Modeling - Invited Paper. MoDELS (2) Edward A. Lee
2010	—	`conf`	Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. MoDELS (Workshops) Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman
2010	Misc	`conf`	Exploring models of computation with ptolemy II. CODES+ISSS Christopher X. Brooks, Edward A. Lee, Stavros Tripakis
2010	—	`conf`	Modal Models in Ptolemy. EOOLT Edward A. Lee, Stavros Tripakis
2010	Misc	`conf`	Model-based specification of timing requirements. EMSOFT Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee
2010	Misc	`conf`	Modeling and analyzing real-time multiprocessor systems. CODES+ISSS Maarten Wiggers, Lothar Thiele, Edward A. Lee, Simon Schliecker, Marco Bekooij
2010	—	`ed.`	Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010 EOOLT Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman
2010	Misc	`conf`	Ptera: an event-oriented model of computation for heterogeneous systems. EMSOFT Thomas Huining Feng, Edward A. Lee, Lee W. Shruben
2010	J	`jnl`	The design and application of structured types in Ptolemy II. Int. J. Intell. Syst. Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong
2009	—	`conf`	09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	C	`conf`	A disruptive computer design idea: Architectures with repeatable timing. ICCD Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl
2009	J	`jnl`	Classes and inheritance in actor-oriented design. ACM Trans. Embed. Comput. Syst. Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer
2009	J	`jnl`	Computing needs time. Commun. ACM Edward A. Lee
2009	A	`conf`	Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler
2009	J	`jnl`	Heterogeneous composition of models of computation. Future Gener. Comput. Syst. Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble
2009	—	`conf`	Introducing embedded systems: a cyber-physical approach: extended abstract. WESE@ESWEEK Edward A. Lee
2009	Misc	`conf`	On relational interfaces. EMSOFT Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
2009	B	`conf`	PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. LCTES Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee
2009	—	`ed.`	SYNCHRON 2009, 22.11. - 27.11.2009 SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	A	`conf`	Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly
2009	—	`conf`	The Case for Timing-Centric Distributed Software Invited Paper. ICDCS Workshops Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou
2009	—	`conf`	Toward the Design of Robotic Software with Verifiable Safety. COMPSAC (1) Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois C. Knoll
2008	J	`jnl`	Advances in hardware design and implementation of signal processing systems [DSP Forum]. IEEE Signal Process. Mag. Shuvra S. Bhattacharyya, Jeffery C. Bier, Wanda K. Gass, Ram K. Krishnamurthy, Edward A. Lee, Konstantinos Konstantinides
2008	C	`conf`	An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture. DS-RT Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade
2008	J	`jnl`	CPO semantics of timed interactive actor networks. Theor. Comput. Sci. Xiaojun Liu, Edward A. Lee
2008	J	`jnl`	Causality interfaces for actor networks. ACM Trans. Embed. Comput. Syst. Ye Zhou, Edward A. Lee
2008	C	`conf`	Cyber Physical Systems: Design Challenges. ISORC Edward A. Lee
2008	Misc	`conf`	Predictable programming on a precision timed architecture. CASES Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee
2008	A	`conf`	Real-Time Distributed Discrete-Event Execution with Fault Tolerance. IEEE Real-Time and Embedded Technology and Applications Symposium Thomas Huining Feng, Edward A. Lee
2008	C	`conf`	Simulation and Implementation of the PTIDES Programming Model. DS-RT Patricia Derler, Edward A. Lee, Slobodan Matic
2008	C	`conf`	Time is a Resource, and Other Stories. ISORC Edward A. Lee
2007	—	`conf`	A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. ICESS Gang Zhou, Man-Kit Leung, Edward A. Lee
2007	A	`conf`	A Programming Model for Time-Synchronized Distributed Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Yang Zhao, Jie Liu, Edward A. Lee
2007	Misc	`conf`	Composing Different Models of Computation in Kepler and Ptolemy II. International Conference on Computational Science (3) Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble
2007	Misc	`conf`	Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. EMSOFT Edward A. Lee, Haiyang Zheng
2007	A*	`conf`	The Case for the Precision Timed (PRET) Machine. DAC Stephen A. Edwards, Edward A. Lee
2006	Misc	`conf`	A causality interface for deadlock analysis in dataflow. EMSOFT Ye Zhou, Edward A. Lee
2006	—	`conf`	Beyond Zeno: Get on with It! HSCC Haiyang Zheng, Edward A. Lee, Aaron D. Ames
2006	—	`conf`	Concurrent Semantics Without the Notions of State or State Transitions. FORMATS Edward A. Lee
2006	Misc	`conf`	Discrete event models: getting the semantics right. WSC Edward A. Lee
2006	—	`conf`	Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II. ADHS Edward A. Lee, Haiyang Zheng
2006	Misc	`conf`	Incremental checkpointing with application to distributed discrete event simulation. WSC Thomas Huining Feng, Edward A. Lee
2006	B	`conf`	Modeling Timed Concurrent Systems. CONCUR Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee
2006	J	`jnl`	Scientific workflow management and the Kepler system. Concurr. Comput. Pract. Exp. Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew B. Jones, Edward A. Lee, Jing Tao, Yang Zhao
2006	J	`jnl`	The Problem with Threads. Computer Edward A. Lee
2005	J	`jnl`	Absolutely Positively on Time: What Would It Take? Computer Edward A. Lee
2005	B	`conf`	Counting Interface Automata and their Application in Static Analysis of Actor Models. SEFM Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele
2005	—	`conf`	Operational Semantics of Hybrid Systems. HSCC Edward A. Lee, Haiyang Zheng
2005	—	`conf`	Reinventing Computing for Real Time. Monterey Workshop Edward A. Lee, Yang Zhao
2005	Misc	`conf`	The design and application of structured types in Ptolemy II. GrC Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, Lizhi C. Zhong
2005	Misc	`conf`	Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. SenSys Elaine Cheong, Edward A. Lee, Yang Zhao
2004	J	`jnl`	A behavioral type system and its application in Ptolemy II. Formal Aspects Comput. Edward A. Lee, Yuhong Xiong
2004	J	`jnl`	Actor-oriented control system design: a responsible framework perspective. IEEE Trans. Control. Syst. Technol. Jie Liu, Johan Eker, Jörn W. Janneck, Xiaojun Liu, Edward A. Lee
2004	C	`conf`	Classes and subclasses in actor-oriented design. MEMOCODE Edward A. Lee, Stephen Neuendorffer
2004	C	`conf`	Hierarchical reconfiguration of dataflow models. MEMOCODE Stephen Neuendorffer, Edward A. Lee
2004	—	`conf`	Modeling of sensor nets in Ptolemy II. IPSN Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao
2003	J	`jnl`	Actor-Oriented Design of Embedded Hardware and Software Systems. J. Circuits Syst. Comput. Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin
2003	—	`book`	Digital communication (3. ed.). John R. Barry, Edward A. Lee, David G. Messerschmitt
2003	—	`conf`	On the Causality of Mixed-Signal and Hybrid Models. HSCC Jie Liu, Edward A. Lee
2003	—	`book`	Structure and interpretation of signals and systems. Edward A. Lee, Pravin Varaiya
2003	J	`jnl`	Taming heterogeneity - the Ptolemy approach. Proc. IEEE Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong
2003	J	`jnl`	The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. Stephen A. Edwards, Edward A. Lee
2002	J	`jnl`	A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM Trans. Model. Comput. Simul. Jie Liu, Edward A. Lee
2002	J	`jnl`	Embedded Software. Adv. Comput. Edward A. Lee
2002	J	`jnl`	Multidimensional synchronous dataflow. IEEE Trans. Signal Process. Praveen K. Murthy, Edward A. Lee
2001	C	`conf`	Modeling distributed hybrid systems in Ptolemy II. ACC He Li, Xiaojun Liu, Edward A. Lee
2001	C	`conf`	Motivating hierarchical run-time models in measurement and control systems. ACC Jie Liu, Stanley Jefferson, Edward A. Lee
2001	Misc	`conf`	System-Level Types for Component-Based Design. EMSOFT Edward A. Lee, Yuhong Xiong
2001	—	`conf`	The Ptolemy II Framework for Visual Languages. HCC Xiaojun Liu, Yuhong Xiong, Edward A. Lee
2000	Misc	`conf`	A code generation framework for Java component-based designs. CASES Jeff Tsay, Christopher Hylands, Edward A. Lee
2000	A	`conf`	An Extensible Type System for Component-Based Design. TACAS Yuhong Xiong, Edward A. Lee
2000	A*	`conf`	Embedded systems education (panel abstract). DAC Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf
2000	J	`jnl`	What's Ahead for Embedded Software? Computer Edward A. Lee
1999	J	`jnl`	A highest education in the year 2049. Proc. IEEE Edward A. Lee, David G. Messerschmitt
1999	J	`jnl`	Advances in the dataflow computational model. Parallel Comput. Walid A. Najjar, Edward A. Lee, Guang R. Gao
1999	Misc	`conf`	Computationally efficient version of the decision feedback equalizer. ICASSP Rajarshi Gupta, Kiran, Edward A. Lee
1999	J	`jnl`	Hierarchical finite state machines with multiple concurrency models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alain Girault, Bilung Lee, Edward A. Lee
1999	J	`jnl`	Modeling Concurrent Real-Time Processes Using Discrete Events. Ann. Softw. Eng. Edward A. Lee
1999	J	`jnl`	Synthesis of Embedded Software from Synchronous Dataflow Specifications. J. VLSI Signal Process. Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee
1998	J	`jnl`	A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Engineering and Education for the Future. Computer Edward A. Lee, David G. Messerschmitt
1998	—	`conf`	Hierarchical Concurrent Finite State Machines in Ptolemy. ACSD Bilung Lee, Edward A. Lee
1998	—	`conf`	The Tycho Slate: Complex Drawing and Editing in Tcl/Tk. Tcl/Tk Conference H. John Reekie, Edward A. Lee
1997	J	`jnl`	APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations. Des. Autom. Embed. Syst. Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee
1997	Misc	`conf`	Code generation by using integer-controlled dataflow graph. ICASSP Takashi Miyazaki, Edward A. Lee
1997	J	`jnl`	Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
1997	J	`jnl`	Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors. J. VLSI Signal Process. Sundararajan Sriram, Edward A. Lee
1997	J	`jnl`	Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow. J. VLSI Signal Process. Wan-Teh Chang, Soonhoi Ha, Edward A. Lee
1997	J	`jnl`	Joint Minimization of Code and Data for Synchronous Dataflow Programs. Formal Methods Syst. Des. Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee
1997	—	`conf`	Optimized software synthesis for synchronous dataflow. ASAP Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee
1997	J	`jnl`	Optimizing synchronization in multiprocessor DSP systems. IEEE Trans. Signal Process. Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee
1997	J	`jnl`	The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection. Des. Autom. Embed. Syst. Asawaree Kalavade, Edward A. Lee
1997	—	`conf`	The Tycho User Interface System. Tcl/Tk Workshop Christopher Hylands, Edward A. Lee, H. John Reekie
1996	Misc	`conf`	An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices. ICASSP Praveen K. Murthy, Edward A. Lee
1996	J	`jnl`	Capacity penalty due to ideal zero-forcing decision-feedback equalization. IEEE Trans. Inf. Theory John R. Barry, Edward A. Lee, David G. Messerschmitt
1996	A	`conf`	Comparing models of computation. ICCAD Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	Complexity management in system-level design. J. VLSI Signal Process. Asawaree Kalavade, Edward A. Lee
1996	Misc	`conf`	Interface synthesis in heterogeneous system-level DSP design tools. ICASSP José Luis Pino, Michael C. Williamson, Edward A. Lee
1996	—	`conf`	Latency-constrained Resynchronization for Multiprocessor DSP Implementation. ASAP Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee
1996	Misc	`conf`	Real-time DSP for sophomores. ICASSP Kenneth H. Chiang, Brian L. Evans, William T. Huang, Ferenc Kovac, Edward A. Lee, David G. Messerschmitt, H. John Reekie, S. Shankar Sastry
1996	—	`conf`	Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules. IPPS Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee
1995	C	`conf`	Converting graphical DSP programs into memory constrained software prototypes. RSP Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee
1995	J	`jnl`	Dataflow process networks. Proc. IEEE Edward A. Lee, Thomas M. Parks
1995	Misc	`conf`	Hierarchical static scheduling of dataflow graphs onto multiple processors. ICASSP José Luis Pino, Edward A. Lee
1995	Misc	`conf`	Integrating analysis, simulation, and implementation tools in electronic courseware for teaching signal processing. ICASSP Roberto H. Bamberger, Brian L. Evans, Edward A. Lee, James H. McClellan, Mark A. Yoder
1995	Misc	`conf`	Managing complexity in heterogeneous system specification, simulation, and synthesis. ICASSP Asawaree Kalavade, José Luis Pino, Edward A. Lee
1995	—	`conf`	Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems. ASAP Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee
1995	—	`conf`	Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model. ISSS Jürgen Teich, Lothar Thiele, Edward A. Lee
1995	Misc	`conf`	Modeling radar systems using hierarchical dataflow. ICASSP Karim P. Khiar, Edward A. Lee
1995	Misc	`conf`	Non-preemptive real-time scheduling of dataflow systems. ICASSP Thomas M. Parks, Edward A. Lee
1995	J	`jnl`	Software synthesis for DSP using ptolemy. J. VLSI Signal Process. José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck
1995	C	`conf`	The extended partitioning problem: hardware/software mapping and implementation-bin selection. RSP Asawaree Kalavade, Edward A. Lee
1994	—	`conf`	A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem. CODES Asawaree Kalavade, Edward A. Lee
1994	—	`conf`	A methodology for simulation and synthesis of mixed hardware/software systems. HLSS Asawaree Kalavade, Edward A. Lee
1994	—	`conf`	Automatic code generation for heterogeneous multiprocessors. ICASSP (2) José Luis Pino, Thomas M. Parks, Edward A. Lee
1994	—	`conf`	Computing and signal processing: an experimental multidisciplinary course. ICASSP (6) Edward A. Lee
1994	—	`conf`	Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction. HICSS (1) Jordi Cortadella, José A. B. Fortes, Edward A. Lee
1994	—	`book`	Digital communication (2. ed.). Edward A. Lee, David G. Messerschmitt
1994	J	`jnl`	Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. Formal Methods Syst. Des. Shuvra S. Bhattacharyya, Edward A. Lee
1994	A*	`conf`	Manifestations of Heterogeneity in Hardware/Software Co-Design. DAC Asawaree Kalavade, Edward A. Lee
1994	J	`jnl`	Memory management for dataflow programming of multirate signal processing algorithms. IEEE Trans. Signal Process. Shuvra S. Bhattacharyya, Edward A. Lee
1994	—	`conf`	Minimizing memory requirements for chain-structured synchronous dataflow programs. ICASSP (2) Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee
1994	J	`jnl`	Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. Int. J. Comput. Simul. Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt
1993	J	`jnl`	A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures. IEEE Trans. Parallel Distributed Syst. Gilbert C. Sih, Edward A. Lee
1993	J	`jnl`	A Hardware-Software Codesign Methodology for DSP Applications. IEEE Des. Test Comput. Asawaree Kalavade, Edward A. Lee
1993	J	`jnl`	Declustering: A New Multiprocessor Scheduling Technique. IEEE Trans. Parallel Distributed Syst. Gilbert C. Sih, Edward A. Lee
1993	—	`conf`	Design and implementation of an ordered memory access architecture. ICASSP (1) Sundararajan Sriram, Edward A. Lee
1993	—	`conf`	Mulitdimensional Streams Rooted in Dataflow. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism Edward A. Lee
1993	—	`conf`	Representing and exploiting data parallelism using multidimensional dataflow diagrams. ICASSP (1) Edward A. Lee
1993	—	`conf`	Scheduling dynamic dataflow graphs with bounded memory using the token flow model. ICASSP (1) Joseph T. Buck, Edward A. Lee
1993	J	`jnl`	Scheduling synchronous dataflow graphs for efficient looping. J. VLSI Signal Process. Shuvra S. Bhattacharyya, Edward A. Lee
1993	J	`jnl`	Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels. IEEE J. Sel. Areas Commun. John R. Barry, Joseph M. Kahn, William J. Krause, Edward A. Lee, David G. Messerschmitt
1992	Misc	`conf`	A design lab for statistical signal processing. ICASSP Edward A. Lee
1992	Misc	`conf`	Direct synthesis of optimized DSP assembly code from signal flow block diagrams. ICASSP Douglas B. Powell, Edward A. Lee, William C. Newman
1991	J	`jnl`	Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration. IEEE Trans. Computers Soonhoi Ha, Edward A. Lee
1991	J	`jnl`	Consistency in Dataflow Graphs. IEEE Trans. Parallel Distributed Syst. Edward A. Lee
1991	—	`conf`	Consistency in dataflow graphs. ASAP Edward A. Lee
1991	J	`jnl`	High-speed nondirective optical communication for wireless networks. IEEE Netw. John R. Barry, Joseph M. Kahn, Edward A. Lee, David G. Messerschmitt
1991	Misc	`conf`	Multirate signal processing in Comdisco's SPW. ICASSP Brian Barrera, Edward A. Lee
1991	Misc	`conf`	Multirate signal processing in Ptolemy. ICASSP Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt
1990	J	`jnl`	Architectures for Statically Scheduled Dataflow. J. Parallel Distributed Comput. Edward A. Lee, Jeffery C. Bier
1990	—	`conf`	Dynamic-level scheduling for heterogeneous processor networks. SPDP Gilbert C. Sih, Edward A. Lee
1990	J	`jnl`	Gabriel: a design environment for DSP. IEEE Micro Jeffery C. Bier, Edwin E. Goei, Wai H. Ho, Philip D. Lapsley, Maureen P. O'Reilly, Gilbert C. Sih, Edward A. Lee
1990	J	`jnl`	Performance of coherent optical receivers. Proc. IEEE John R. Barry, Edward A. Lee
1990	J	`jnl`	Programmable DSPs: a brief overview. IEEE Micro Edward A. Lee
1990	—	`conf`	Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks. ICPP (1) Gilbert C. Sih, Edward A. Lee
1989	C	`conf`	Frigg: a simulation environment for multiple-processor DSP system development. ICCD Jeffrey C. Bier, Edward A. Lee
1989	A*	`conf`	GABRIEL: A Design Environment for Programmable DSPs. DAC Edward A. Lee, E. Goei, H. Heine, W.-H. Ho, Shuvra S. Bhattacharyya, Jeffery C. Bier, E. Guntvedt
1989	J	`jnl`	Gabriel: a design environment for DSP. IEEE Trans. Acoust. Speech Signal Process. Edward A. Lee, W.-H. Ho, E. Goei, Jeffery C. Bier, Shuvra S. Bhattacharyya
1987	Misc	`conf`	Fuzzy vector quantazation applied to hidden Markov modeling. ICASSP Ho-Ping Tseng, Michael J. Sabin, Edward A. Lee
1987	Misc	`conf`	Least squares computation at arbitrarily high speeds. ICASSP Teresa H.-Y. Meng, Edward A. Lee, David G. Messerschmitt
1987	J	`jnl`	Pipeline interleaved programmable DSP's: Architecture. IEEE Trans. Acoust. Speech Signal Process. Edward A. Lee, David G. Messerschmitt
1987	J	`jnl`	Pipeline interleaved programmable DSP's: Synchronous data flow programming. IEEE Trans. Acoust. Speech Signal Process. Edward A. Lee, David G. Messerschmitt
1987	—	`conf`	Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation. COMPCON Edward A. Lee, David G. Messerschmitt
1987	J	`jnl`	Synchronous data flow. Proc. IEEE Edward A. Lee, David G. Messerschmitt