Edward A. Lee
Edward Ashford Lee
https://ptolemy.eecs.berkeley.edu/~eal/
https://scholar.google.com/citations?user=IJgXsgwAAAAJ
https://en.wikipedia.org/wiki/Edward_A._Lee
https://orcid.org/0000-0002-5663-0584
https://www.wikidata.org/entity/Q57062733
https://id.loc.gov/authorities/names/n88074176
https://d-nb.info/gnd/1055748504
University of California, Berkeley, USA
Presidential Young Investigator Award
conf/birthday/2018lee
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.
2024
abs/2401.09185
CoRR
https://doi.org/10.48550/arXiv.2401.09185
db/journals/corr/corr2401.html#abs-2401-09185
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.
48:1-48:29
2023
December
20
ACM Trans. Archit. Code Optim.
4
https://doi.org/10.1145/3617687
db/journals/taco/taco20.html#MenardLBCDDFLSTKCL23
Edward A. Lee
Ravi Akella
Soroush Bateni
Shaokai Lin
Marten Lohstroh
Christian Menard
Consistency vs. Availability in Distributed Cyber-Physical Systems.
138:1-138:24
2023
October
22
ACM Trans. Embed. Comput. Syst.
5s
https://doi.org/10.1145/3609119
db/journals/tecs/tecs22.html#LeeABLLM23
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.
155:1-155:24
2023
October
22
ACM Trans. Embed. Comput. Syst.
5s
https://doi.org/10.1145/3609134
db/journals/tecs/tecs22.html#LinMLPYJLS23
Marten Lohstroh
Edward A. Lee
Stephen A. Edwards
David Broman
Logical Time for Reactive Software.
313-318
2023
CPS-IoT Week Workshops
https://doi.org/10.1145/3576914.3587494
conf/cpsweek/2023w
db/conf/cpsweek/cpsweek2023w.html#LohstrohLEB23
Erling Rennemo Jellum
Shaokai Lin
Peter Donovan
Chadlia Jerad
Edward Wang
Marten Lohstroh
Edward A. Lee
Martin Schoeberl
InterPRET: a Time-predictable Multicore Processor.
331-336
2023
CPS-IoT Week Workshops
https://doi.org/10.1145/3576914.3587497
conf/cpsweek/2023w
db/conf/cpsweek/cpsweek2023w.html#JellumLDJWLLS23
Alexander Schulz-Rosengarten
Reinhard von Hanxleden
Marten Lohstroh
Edward A. Lee
Soroush Bateni
Polyglot Modal Models through Lingua Franca.
337-342
2023
CPS-IoT Week Workshops
https://doi.org/10.1145/3576914.3587498
conf/cpsweek/2023w
db/conf/cpsweek/cpsweek2023w.html#Schulz-Rosengarten23
Alexander Schulz-Rosengarten
Reinhard von Hanxleden
Marten Lohstroh
Soroush Bateni
Edward A. Lee
Polyglot Modal Models through Lingua Franca.
1-2
2023
DATE
https://doi.org/10.23919/DATE56975.2023.10136890
conf/date/2023
db/conf/date/date2023.html#SchulzRosengartenHLBL23
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.
3:1-3:13
2023
NG-RES@HiPEAC
https://doi.org/10.4230/OASIcs.NG-RES.2023.3
conf/hipeac/2023ngres
db/conf/hipeac/ngres2023.html#JellumLDSSBOLL23
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.
1-11
2023
MEMOCODE
https://ieeexplore.ieee.org/document/10316195
conf/memocode/2023
db/conf/memocode/memocode2023.html#BateniLWKLML23
Edward A. Lee
Deep Neural Networks, Explanations, and Rationality.
11-21
2023
AISoLA
https://doi.org/10.1007/978-3-031-46002-9_1
conf/aisola/2023
db/conf/aisola/aisola2023.html#Lee23
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.
2023
abs/2301.02444
CoRR
https://doi.org/10.48550/arXiv.2301.02444
db/journals/corr/corr2301.html#abs-2301-02444
Edward A. Lee
Ravi Akella
Soroush Bateni
Shaokai Lin
Marten Lohstroh
Christian Menard
Consistency vs. Availability in Distributed Real-Time Systems.
2023
abs/2301.08906
CoRR
https://doi.org/10.48550/arXiv.2301.08906
db/journals/corr/corr2301.html#abs-2301-08906
Alexander Schulz-Rosengarten
Reinhard von Hanxleden
Marten Lohstroh
Soroush Bateni
Edward A. Lee
Modal Reactors.
2023
abs/2301.09597
CoRR
https://doi.org/10.48550/arXiv.2301.09597
db/journals/corr/corr2301.html#abs-2301-09597
Jacky Kwok
Marten Lohstroh
Edward A. Lee
Optimizing Distributed Reinforcement Learning with Reactor Model and Lingua Franca.
2023
abs/2312.04704
CoRR
https://doi.org/10.48550/arXiv.2312.04704
db/journals/corr/corr2312.html#abs-2312-04704
Edward A. Lee
Marten Lohstroh
Generalizing Logical Execution Time.
160-181
2022
Principles of Systems Design
https://doi.org/10.1007/978-3-031-22337-2_8
conf/birthday/2022henzinger
db/conf/birthday/henzinger2022.html#LeeL22
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.
60-89
2022
ISoLA (2)
https://doi.org/10.1007/978-3-031-19756-7_5
conf/isola/2022-2
db/conf/isola/isola2022-2.html#HanxledenLFSDLB22
Edward A. Lee
Are We Losing Control?
3-7
2022
Perspectives on Digital Humanism
https://doi.org/10.1007/978-3-030-86144-5_1
db/books/collections/WPLG2022.html#Lee22
Hannes Werthner
Erich Prem
Edward A. Lee
Carlo Ghezzi
Perspectives on Digital Humanism
Springer
2022
978-3-030-86143-8
978-3-030-86144-5
https://doi.org/10.1007/978-3-030-86144-5
db/books/collections/WPLG2022.html
Soroush Bateni
Marten Lohstroh
Hou Seng Wong
Rohan Tabish
Hokeun Kim
Shaokai Lin
Christian Menard
Cong Liu 0005
Edward A. Lee
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.
2022
abs/2207.09555
CoRR
https://doi.org/10.48550/arXiv.2207.09555
db/journals/corr/corr2207.html#abs-2207-09555
Marten Lohstroh
Christian Menard
Soroush Bateni
Edward A. Lee
Toward a Lingua Franca for Deterministic Concurrent Systems.
36:1-36:27
2021
20
ACM Trans. Embed. Comput. Syst.
4
https://doi.org/10.1145/3448128
db/journals/tecs/tecs20.html#LohstrohMBL21
Edward A. Lee
Determinism.
38:1-38:34
2021
20
ACM Trans. Embed. Comput. Syst.
5
https://doi.org/10.1145/3453652
db/journals/tecs/tecs20.html#Lee21
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.
3523-3533
2021
17
IEEE Trans. Ind. Informatics
5
https://doi.org/10.1109/TII.2020.3007764
db/journals/tii/tii17.html#SehrLWUWNHNL21
Edward A. Lee
Marten Lohstroh
Time for All Programs, Not Just Real-Time Programs.
213-232
2021
ISoLA
https://doi.org/10.1007/978-3-030-89159-6_15
conf/isola/2021
db/conf/isola/isola2021.html#LeeL21
Matthew Weber
Edward A. Lee
Semantic Localization for IoT.
365-383
2021
Semantic IoT
https://doi.org/10.1007/978-3-030-64619-6_16
series/sci/941
db/series/sci/sci941.html#WeberL21
Edward A. Lee
Soroush Bateni
Shaokai Lin
Marten Lohstroh
Christian Menard
Quantifying and Generalizing the CAP Theorem.
2021
abs/2109.07771
CoRR
https://arxiv.org/abs/2109.07771
db/journals/corr/corr2109.html#abs-2109-07771
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.
43:1-43:27
2020
4
ACM Trans. Cyber Phys. Syst.
4
https://doi.org/10.1145/3386568
db/journals/tcps/tcps4.html#WeberJLSLSS20
Hokeun Kim
Eunsuk Kang
David Broman
Edward A. Lee
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.
4:1-4:27
2020
1
ACM Trans. Internet Things
1
https://doi.org/10.1145/3375837
db/journals/tiot/tiot1.html#KimKBL20
Mathieu Jan
Mihail Asavoae
Martin Schoeberl
Edward A. Lee
Formal Semantics of Predictable Pipelines: a Comparative Study.
103-108
2020
ASP-DAC
https://doi.org/10.1109/ASP-DAC47756.2020.9045351
conf/aspdac/2020
db/conf/aspdac/aspdac2020.html#JanASL20
Marjan Sirjani
Edward A. Lee
Ehsan Khamespanah
Model Checking Software in Cyberphysical Systems.
1017-1026
2020
COMPSAC
https://doi.org/10.1109/COMPSAC48688.2020.0-138
conf/compsac/2020
db/conf/compsac/compsac2020.html#SirjaniLK20
Marten Lohstroh
Christian Menard
Alexander Schulz-Rosengarten
Matthew Weber
Jerónimo Castrillón
Edward A. Lee
A Language for Deterministic Coordination Across Multiple Timelines.
1-8
2020
FDL
https://doi.org/10.1109/FDL50818.2020.9232939
conf/fdl/2020
db/conf/fdl/fdl2020.html#LohstrohMSWCL20
Gil Lederman
Markus N. Rabe
Sanjit Seshia
Edward A. Lee
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning.
2020
ICLR
https://openreview.net/forum?id=BJluxREKDB
conf/iclr/2020
db/conf/iclr/iclr2020.html#LedermanRSL20
Maryam Bagheri 0001
Edward A. Lee
Eunsuk Kang
Marjan Sirjani
Ehsan Khamespanah
Ali Movaghar 0001
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.
1-10
2020
MEMOCODE
https://doi.org/10.1109/MEMOCODE51338.2020.9315135
conf/memocode/2020
db/conf/memocode/memocode2020.html#0001LKSKM20
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.
2020
abs/2007.03204
CoRR
https://arxiv.org/abs/2007.03204
db/journals/corr/corr2007.html#abs-2007-03204
Marten Lohstroh
Hokeun Kim
John C. Eidson
Chadlia Jerad
Beth Osyk
Edward A. Lee
On Enabling Technologies for the Internet of Important Things.
27244-27256
2019
7
IEEE Access
https://doi.org/10.1109/ACCESS.2019.2901509
db/journals/access/access7.html#LohstrohKEJOL19
Edward A. Lee
Modeling in engineering and science.
35-36
2019
62
Commun. ACM
1
https://doi.org/10.1145/3231590
db/journals/cacm/cacm62.html#Lee19
Hokeun Kim
Edward A. Lee
Schahram Dustdar
Creating a Resilient IoT With Edge Computing.
43-53
2019
52
Computer
8
https://doi.org/10.1109/MC.2018.2888768
db/journals/computer/computer52.html#KimLD19
Fabio Cremona
Marten Lohstroh
David Broman
Edward A. Lee
Michael Masin
Stavros Tripakis
Hybrid co-simulation: it's about time.
1655-1679
2019
18
Softw. Syst. Model.
3
https://doi.org/10.1007/s10270-017-0633-6
https://www.wikidata.org/entity/Q59612173
db/journals/sosym/sosym18.html#CremonaLBLMT19
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.
59-85
2019
CyPhy/WESE
https://doi.org/10.1007/978-3-030-41131-2_4
conf/cyphy/2019
db/conf/cyphy/cyphy2019.html#LohstrohRGDCLS19
Marten Lohstroh
Martin Schoeberl
Andrés Goens
Armin Wasicek
Christopher D. Gill
Marjan Sirjani
Edward A. Lee
Actors Revisited for Time-Critical Systems.
152
2019
DAC
https://doi.org/10.1145/3316781.3323469
https://ieeexplore.ieee.org/document/8806963
conf/dac/2019
db/conf/dac/dac2019.html#LohstrohSGWGSL19
Marten Lohstroh
Martin Schoeberl
Mathieu Jan
Edward Wang
Edward A. Lee
Programs with ironclad timing guarantees: work-in-progress.
1
2019
EMSOFT Companion
https://doi.org/10.1145/3349568.3351553
https://ieeexplore.ieee.org/document/117665439
conf/emsoft/2019c
db/conf/emsoft/emsoft2019c.html#LohstrohSJWL19
Marten Lohstroh
Edward A. Lee
Deterministic Actors.
1-8
2019
FDL
https://doi.org/10.1109/FDL.2019.8876922
conf/fdl/2019
db/conf/fdl/fdl2019.html#LohstrohL19
Edward A. Lee
A fundamental look at models and intelligence: abstract of keynote.
1
2019
SEsCPS@ICSE
https://doi.org/10.1109/SEsCPS.2019.00007
https://dl.acm.org/citation.cfm?id=3354018
conf/icse/2019sescps
db/conf/icse/sescps2019.html#Lee19
Edward A. Lee
Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli.
126
2019
ISPD
https://doi.org/10.1145/3299902.3320432
conf/ispd/2019
db/conf/ispd/ispd2019.html#Lee19
Matthew Weber
Ravi Akella
Edward A. Lee
Service Discovery for the Connected Car with Semantic Accessors.
2417-2422
2019
IV
https://doi.org/10.1109/IVS.2019.8813884
conf/ivs/2019
db/conf/ivs/ivs2019.html#WeberAL19
Edward A. Lee
Observation and Interaction - Invited Paper.
31-42
2019
LATA
https://doi.org/10.1007/978-3-030-13435-8_2
conf/lata/2019
db/conf/lata/lata2019.html#Lee19
Marten Lohstroh
Edward A. Lee
Work-in-Progress: Real-Time Reactors in C.
572-575
2019
RTSS
https://doi.org/10.1109/RTSS46320.2019.00067
conf/rtss/2019
db/conf/rtss/rtss2019.html#LohstrohL19
Edward A. Lee
Is software the result of top-down intelligent design or evolution?
34-36
2018
61
Commun. ACM
9
https://doi.org/10.1145/3213763
db/journals/cacm/cacm61.html#Lee18
Edward A. Lee
What Is Real Time Computing? A Personal View.
64-72
2018
35
IEEE Des. Test
2
https://doi.org/10.1109/MDAT.2017.2766560
db/journals/dt/dt35.html#Lee18
Maryam Bagheri 0001
Marjan Sirjani
Ehsan Khamespanah
Narges Khakpour
Ilge Akkaya
Ali Movaghar 0001
Edward A. Lee
Coordinated actor model of self-adaptive track-based traffic control systems.
116-139
2018
143
J. Syst. Softw.
https://doi.org/10.1016/j.jss.2018.05.034
db/journals/jss/jss143.html#BagheriSKKAML18
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.
1527-1542
2018
106
Proc. IEEE
9
https://doi.org/10.1109/JPROC.2018.2812598
db/journals/pieee/pieee106.html#BrooksJKLLNOW18
Edward A. Lee
Marjan Sirjani
What Good are Models?
3-31
2018
FACS
https://doi.org/10.1007/978-3-030-02146-7_1
conf/facs2/2018
db/conf/facs2/facs2018.html#LeeS18
Edward A. Lee
Models of Timed Systems.
17-33
2018
FORMATS
https://doi.org/10.1007/978-3-030-00151-3_2
conf/formats/2018
db/conf/formats/formats2018.html#Lee18
Chadlia Jerad
Edward A. Lee
Deterministic Timing for the Industrial Internet of Things.
13-22
2018
ICII
https://doi.org/10.1109/ICII.2018.00010
conf/icii/2018
db/conf/icii/icii2018.html#JeradL18
Fabio Cremona
Marten Lohstroh
David Broman
Edward A. Lee
Michael Masin
Stavros Tripakis
Hybrid Co-simulation: It's About Time.
368
2018
MoDELS
https://doi.org/10.1145/3239372.3242896
conf/models/2018
db/conf/models/models2018.html#CremonaLBLMT18
Ben Zhang 0003
Xin Jin 0008
Sylvia Ratnasamy
John Wawrzynek
Edward A. Lee
AWStream: adaptive wide-area streaming analytics.
236-252
2018
SIGCOMM
https://doi.org/10.1145/3230543.3230554
conf/sigcomm/2018
db/conf/sigcomm/sigcomm2018.html#ZhangJRWL18
Íñigo Íncer Romeo
Marten Lohstroh
Antonio Iannopollo
Edward A. Lee
Alberto L. Sangiovanni-Vincentelli
A Metric for Linear Temporal Logic.
2018
abs/1812.03923
CoRR
http://arxiv.org/abs/1812.03923
db/journals/corr/corr1812.html#abs-1812-03923
Hokeun Kim
Edward A. Lee
Authentication and Authorization for the Internet of Things.
27-33
2017
19
IT Prof.
5
https://doi.org/10.1109/MITP.2017.3680960
http://doi.ieeecomputersociety.org/10.1109/MITP.2017.3680960
db/journals/itpro/itpro19.html#KimL17
Maryam Bagheri 0001
Ehsan Khamespanah
Marjan Sirjani
Ali Movaghar 0001
Edward A. Lee
Runtime compositional analysis of track-based traffic control systems.
38-39
2017
14
SIGBED Rev.
3
https://doi.org/10.1145/3166227.3166233
db/journals/sigbed/sigbed14.html#BagheriKSML17
Hokeun Kim
Armin Wasicek
Edward A. Lee
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems.
83-93
2017
CyPhy
https://doi.org/10.1007/978-3-030-17910-6_7
conf/cyphy/2017
db/conf/cyphy/cyphy2017.html#KimWL17
Marten Lohstroh
Hokeun Kim
Edward A. Lee
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress.
14:1-14:2
2017
EMSOFT Companion
https://doi.org/10.1145/3125503.3125629
conf/emsoft/2017c
db/conf/emsoft/emsoft2017c.html#LohstrohKL17
Hokeun Kim
Eunsuk Kang
Edward A. Lee
David Broman
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.
147-158
2017
IoTDI
https://doi.org/10.1145/3054977.3054980
https://ieeexplore.ieee.org/document/7946870
conf/iotdi/2017
db/conf/iotdi/iotdi2017.html#KimKLB17
Edward A. Lee
Jan Reineke 0001
Michael Zimmer 0001
Abstract PRET Machines.
1-11
2017
RTSS
https://doi.org/10.1109/RTSS.2017.00041
https://doi.ieeecomputersociety.org/10.1109/RTSS.2017.00041
conf/rtss/2017
db/conf/rtss/rtss2017.html#LeeRZ17
Hokeun Kim
Eunsuk Kang
David Broman
Edward A. Lee
An Architectural Mechanism for Resilient IoT Services.
8-13
2017
SafeThings@SenSys
https://doi.org/10.1145/3137003.3137010
conf/sensys/2017safethings
db/conf/sensys/safethings2017.html#KimKBL17
Chih-Hong Cheng
Edward A. Lee
Harald Ruess
autoCode4: Structural Controller Synthesis.
398-404
2017
TACAS (1)
https://doi.org/10.1007/978-3-662-54577-5_23
conf/tacas/2017-1
db/conf/tacas/tacas2017-1.html#ChengLR17
Shuhei Emoto
Ilge Akkaya
Edward A. Lee
Information seeking and model predictive control of a cooperative multi-robot system.
393-398
2016
21
Artif. Life Robotics
4
https://doi.org/10.1007/s10015-016-0315-4
db/journals/alr/alr21.html#EmotoAL16
Nitesh Mor
Ben Zhang 0003
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.
54-62
2016
20
IEEE Internet Comput.
3
https://doi.org/10.1109/MIC.2016.51
http://doi.ieeecomputersociety.org/10.1109/MIC.2016.51
db/journals/internet/internet20.html#MorZKCGSLAWLK16
Ilge Akkaya
Patricia Derler
Shuhei Emoto
Edward A. Lee
Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.
997-1012
2016
104
Proc. IEEE
5
https://doi.org/10.1109/JPROC.2015.2512265
db/journals/pieee/pieee104.html#AkkayaDEL16
Edward A. Lee
Fundamental Limits of Cyber-Physical Systems Modeling.
3:1-3:26
2016
1
ACM Trans. Cyber Phys. Syst.
1
https://doi.org/10.1145/2912149
db/journals/tcps/tcps1.html#Lee16
Ilge Akkaya
Yan Liu 0001
Edward A. Lee
Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications.
174-185
2016
9
IEEE Trans. Serv. Comput.
2
https://doi.org/10.1109/TSC.2015.2456888
http://doi.ieeecomputersociety.org/10.1109/TSC.2015.2456888
db/journals/tsc/tsc9.html#AkkayaLL16
Maryam Bagheri 0001
Ilge Akkaya
Ehsan Khamespanah
Narges Khakpour
Marjan Sirjani
Ali Movaghar 0001
Edward A. Lee
Coordinated Actors for Reliable Self-adaptive Systems.
241-259
2016
FACS
https://doi.org/10.1007/978-3-319-57666-4_15
https://www.wikidata.org/entity/Q57835148
conf/facs2/2016
db/conf/facs2/facs2016.html#BagheriAKKSML16
Hokeun Kim
Armin Wasicek
Benjamin Mehne
Edward A. Lee
A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities.
114-122
2016
FiCloud
https://doi.org/10.1109/FiCloud.2016.24
https://doi.ieeecomputersociety.org/10.1109/FiCloud.2016.24
conf/ficloud/2016
db/conf/ficloud/ficloud2016.html#KimWML16
Marten Lohstroh
Christopher X. Brooks
Edward A. Lee
Demo Abstract: Building IoT Applications with Accessors in CapeCode.
41:1
2016
ICCPS
https://doi.org/10.1109/ICCPS.2016.7479096
https://doi.ieeecomputersociety.org/10.1109/ICCPS.2016.7479096
http://dl.acm.org/citation.cfm?id=2984505
conf/iccps/2016
db/conf/iccps/iccps2016.html#LohstrohBL16
Ilge Akkaya
Daniel J. Fremont
Rafael Valle
Alexandre Donzé
Edward A. Lee
Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications.
187-198
2016
IoTDI
https://doi.org/10.1109/IoTDI.2015.33
https://doi.ieeecomputersociety.org/10.1109/IoTDI.2015.33
conf/iotdi/2016
db/conf/iotdi/iotdi2016.html#AkkayaFVDLS16
Fabio Cremona
Marten Lohstroh
David Broman
Marco Di Natale
Edward A. Lee
Stavros Tripakis
Step revision in hybrid Co-simulation with FMI.
173-183
2016
MEMOCODE
https://doi.org/10.1109/MEMCOD.2016.7797762
conf/memocode/2016
db/conf/memocode/memocode2016.html#CremonaLBNLT16
Shuhei Emoto
Ilge Akkaya
Edward A. Lee
Cooperative multi-robot information acquisition based on distributed robust model predictive control.
874-879
2016
ROBIO
https://doi.org/10.1109/ROBIO.2016.7866434
conf/robio/2016
db/conf/robio/robio2016.html#EmotoAL16
Fabio Cremona
Marten Lohstroh
Stavros Tripakis
Christopher X. Brooks
Edward A. Lee
FIDE: an FMI integrated development environment.
1759-1766
2016
SAC
https://doi.org/10.1145/2851613.2851677
conf/sac/2016
db/conf/sac/sac2016.html#CremonaLTBL16
Edward A. Lee
Danella Zhao
Plenary I: The Internet of important things.
1-3
2016
SoCC
https://doi.org/10.1109/SOCC.2016.7905418
conf/socc/2016
db/conf/socc/socc2016.html#LeeZ16
Elizabeth Latronico
Edward A. Lee
Marten Lohstroh
Chris Shaver
Armin Wasicek
Matthew Weber
A Vision of Swarmlets.
20-28
2015
19
IEEE Internet Comput.
2
https://doi.org/10.1109/MIC.2015.17
http://doi.ieeecomputersociety.org/10.1109/MIC.2015.17
db/journals/internet/internet19.html#LatronicoLLSWW15
Edward A. Lee
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models.
4837-4869
2015
15
Sensors
3
https://doi.org/10.3390/s150304837
https://www.wikidata.org/entity/Q30411796
db/journals/sensors/sensors15.html#Lee15
Eleftherios Matsikoudis
Edward A. Lee
The fixed-point theory of strictly causal functions.
39-77
2015
574
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2015.01.036
db/journals/tcs/tcs574.html#MatsikoudisL15
Michael Zimmer 0001
J. Karl Hedrick
Edward A. Lee
Ramifications of software implementation and deployment: A case study on yaw moment controller design.
2014-2019
2015
ACC
https://doi.org/10.1109/ACC.2015.7171029
conf/amcc/2015
db/conf/amcc/acc2015.html#ZimmerHL15
Edward A. Lee
Architectural Support for Cyber-Physical Systems.
1
2015
ASPLOS
https://doi.org/10.1145/2694344.2694375
https://doi.org/10.1145/2775054.2694375
https://doi.org/10.1145/2786763.2694375
conf/asplos/2015
db/conf/asplos/asplos2015.html#Lee15
Armin Wasicek
Edward A. Lee
Hokeun Kim
Lev Greenberg
Akihito Iwai
Ilge Akkaya
System simulation from operational data.
3:1-3:6
2015
DAC
https://doi.org/10.1145/2744769.2747944
conf/dac/2015
db/conf/dac/dac2015.html#WasicekLKGIA15
Edward A. Lee
Mehrdad Niknami
Thierry S. Nouidui
Michael Wetter
Modeling and simulating cyber-physical systems using CyPhySim.
115-124
2015
EMSOFT
https://doi.org/10.1109/EMSOFT.2015.7318266
http://dl.acm.org/citation.cfm?id=2830878
conf/emsoft/2015
db/conf/emsoft/emsoft2015.html#LeeNNW15
Ben Zhang 0003
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.
2015
HotCloud
https://www.usenix.org/conference/hotcloud15/workshop-program/presentation/zhang
conf/hotcloud/2015
db/conf/hotcloud/hotcloud2015.html#ZhangMKCLAWLK15
Ben Zhang 0003
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.
2015
HotStorage
https://www.usenix.org/conference/hotcloud15/workshop-program/presentation/zhang
conf/hotstorage/2015
db/conf/hotstorage/hotstorage2015.html#ZhangMKCLAWLK15
David Broman
Lev Greenberg
Edward A. Lee
Michael Masin
Stavros Tripakis
Michael Wetter
Requirements for hybrid cosimulation standards.
179-188
2015
HSCC
https://doi.org/10.1145/2728606.2728629
conf/hybrid/2015
db/conf/hybrid/hscc2015.html#BromanGLMTW15
Christopher X. Brooks
Edward A. Lee
David Lorenzetti
Thierry S. Nouidui
Michael Wetter
CyPhySim: a cyber-physical systems simulator.
301-302
2015
HSCC
https://doi.org/10.1145/2728606.2728641
conf/hybrid/2015
db/conf/hybrid/hscc2015.html#BrooksLLNW15
Matthew Weber
Edward A. Lee
A model for semantic localization.
350-351
2015
IPSN
https://doi.org/10.1145/2737095.2742933
conf/ipsn/2015
db/conf/ipsn/ipsn2015.html#WeberL15
Hokeun Kim
David Broman
Edward A. Lee
Michael Zimmer 0001
Aviral Shrivastava
Junkwang Oh
A predictable and command-level priority-based DRAM controller for mixed-criticality systems.
317-326
2015
RTAS
https://doi.org/10.1109/RTAS.2015.7108455
https://doi.ieeecomputersociety.org/10.1109/RTAS.2015.7108455
conf/rtas/2015
db/conf/rtas/rtas2015.html#KimBLZSO15
Marten Lohstroh
Edward A. Lee
An Interface Theory for the Internet of Things.
20-34
2015
SEFM
https://doi.org/10.1007/978-3-319-22969-0_2
conf/sefm/2015
db/conf/sefm/sefm2015.html#LohstrohL15
Ilge Akkaya
Daniel J. Fremont
Rafael Valle
Alexandre Donzé
Edward A. Lee
Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications.
2015
abs/1511.02279
CoRR
http://arxiv.org/abs/1511.02279
db/journals/corr/corr1511.html#AkkayaFVDLS15
Edward A. Lee
Constructive Models of Discrete and Continuous Physical Phenomena.
797-821
2014
2
IEEE Access
https://doi.org/10.1109/ACCESS.2014.2345759
db/journals/access/access2.html#Lee14
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 0001
Rahul Mangharam
George J. Pappas
Richard M. Murray
Anthony Rowe 0001
The Swarm at the Edge of the Cloud.
8-20
2014
31
IEEE Des. Test
3
https://doi.org/10.1109/MDAT.2014.2314600
https://www.wikidata.org/entity/Q57380193
db/journals/dt/dt31.html#LeeHKRWWRPSSBDFGTJJKMPMR14
Liangpeng Guo
Qi Zhu 0002
Pierluigi Nuzzo 0002
Roberto Passerone
Alberto L. Sangiovanni-Vincentelli
Edward A. Lee
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.
24:1-24:10
2014
CODES+ISSS
https://doi.org/10.1145/2656075.2656093
https://ieeexplore.ieee.org/document/6971840/
conf/codes/2014
db/conf/codes/codes2014.html#GuoZNPSL14
Edward A. Lee
Peter Palensky
Message from the Chairs.
1-2
2014
MSCPES@CPSWeek
https://doi.org/10.1109/MSCPES.2014.6842393
conf/cpsweek/2014mscpes
db/conf/cpsweek/mscpes2014.html#LeeP14
Armin Wasicek
Patricia Derler
Edward A. Lee
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems.
21:1-21:6
2014
DAC
https://doi.org/10.1145/2593069.2593095
conf/dac/2014
db/conf/dac/dac2014.html#WasicekDL14
Edward A. Lee
Constructive Collisions.
161-176
2014
FPS@ETAPS
https://doi.org/10.1007/978-3-642-54848-2_11
conf/etaps/2014fps
db/conf/etaps/fps2014.html#Lee14
Edward A. Lee
It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming.
213
2014
ISORC
https://doi.org/10.1109/ISORC.2014.63
https://doi.ieeecomputersociety.org/10.1109/ISORC.2014.63
conf/isorc/2014
db/conf/isorc/isorc2014.html#Lee14
Edward A. Lee
Keynote - It's about time.
1
2014
ReConFig
https://doi.org/10.1109/ReConFig.2014.7032479
conf/reconfig/2014
db/conf/reconfig/reconfig2014.html#Lee14
Michael Zimmer 0001
David Broman
Chris Shaver
Edward A. Lee
FlexPRET: A processor platform for mixed-criticality systems.
101-110
2014
RTAS
https://doi.org/10.1109/RTAS.2014.6925994
https://doi.ieeecomputersociety.org/10.1109/RTAS.2014.6925994
conf/rtas/2014
db/conf/rtas/rtas2014.html#ZimmerBSL14
Ben Zhang 0003
Yu-Hsiang Chen
Claire Tuna
Achal Dave
Yang Li 0058
Edward A. Lee
Björn Hartmann
HOBS: head orientation-based selection in physical spaces.
17-25
2014
SUI
https://doi.org/10.1145/2659766.2659773
conf/sui/2014
db/conf/sui/sui2014.html#ZhangCTDLLH14
Stavros Tripakis
Christos Stergiou 0001
Chris Shaver
Edward A. Lee
A modular formal semantics for Ptolemy.
834-881
2013
23
Math. Struct. Comput. Sci.
4
https://doi.org/10.1017/S0960129512000278
db/journals/mscs/mscs23.html#TripakisSSL13
Stavros Tripakis
Dai N. Bui
Marc Geilen
Bert Rodiers
Edward A. Lee
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.
83:1-83:26
2013
12
ACM Trans. Embed. Comput. Syst.
3
https://doi.org/10.1145/2442116.2442133
db/journals/tecs/tecs12.html#TripakisBGRL13
Hokeun Kim
Liangpeng Guo
Edward A. Lee
Alberto L. Sangiovanni-Vincentelli
A tool integration approach for architectural exploration of aircraft electric power systems.
38-43
2013
CPSNA
https://doi.org/10.1109/CPSNA.2013.6614244
https://doi.ieeecomputersociety.org/10.1109/CPSNA.2013.6614244
conf/cpsna/2013
db/conf/cpsna/cpsna2013.html#KimGLS13
Amit Fisher
Clas A. Jacobson
Edward A. Lee
Richard M. Murray
Alberto L. Sangiovanni-Vincentelli
Eelco Scholte
Industrial Cyber-Physical Systems - iCyPhy.
21-37
2013
CSDM
https://doi.org/10.1007/978-3-319-02812-5_2
conf/csdm/2013
db/conf/csdm/csdm2013.html#FisherJLMSS13
David Broman
Christopher X. Brooks
Lev Greenberg
Edward A. Lee
Michael Masin
Stavros Tripakis
Michael Wetter
Determinate composition of FMUs for co-simulation.
2:1-2:12
2013
EMSOFT
https://doi.org/10.1109/EMSOFT.2013.6658580
http://dl.acm.org/citation.cfm?id=2555756
conf/emsoft/2013
db/conf/emsoft/emsoft2013.html#BromanBGLMTW13
Eleftherios Matsikoudis
Christos Stergiou 0001
Edward A. Lee
On the schedulability of real-time discrete-event systems.
12:1-12:15
2013
EMSOFT
https://doi.org/10.1109/EMSOFT.2013.6658590
http://dl.acm.org/citation.cfm?id=2555766
conf/emsoft/2013
db/conf/emsoft/emsoft2013.html#MatsikoudisSL13
Dai N. Bui
Edward A. Lee
StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions.
20:1-20:10
2013
EMSOFT
https://doi.org/10.1109/EMSOFT.2013.6658598
http://dl.acm.org/citation.cfm?id=2555774
conf/emsoft/2013
db/conf/emsoft/emsoft2013.html#BuiL13
Eleftherios Matsikoudis
Edward A. Lee
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals.
248-258
2013
FCT
https://doi.org/10.1007/978-3-642-40164-0_24
conf/fct/2013
db/conf/fct/fct2013.html#MatsikoudisL13
Eleftherios Matsikoudis
Edward A. Lee
On Fixed Points of Strictly Causal Functions.
183-197
2013
FORMATS
https://doi.org/10.1007/978-3-642-40229-6_13
conf/formats/2013
db/conf/formats/formats2013.html#MatsikoudisL13
Christos Stergiou 0001
Stavros Tripakis
Eleftherios Matsikoudis
Edward A. Lee
On the Verification of Timed Discrete-Event Models.
213-227
2013
FORMATS
https://doi.org/10.1007/978-3-642-40229-6_15
conf/formats/2013
db/conf/formats/formats2013.html#StergiouTML13
Patricia Derler
Edward A. Lee
Stavros Tripakis
Martin Törngren
Cyber-physical system design contracts.
109-118
2013
ICCPS
https://doi.org/10.1145/2502524.2502540
conf/iccps/2013
db/conf/iccps/iccps2013.html#DerlerLTT13
Ilge Akkaya
Yan Liu 0001
Edward A. Lee
Ian Gorton
Modeling uncertainty for middleware-based streaming power grid applications.
4:1-4:6
2013
MW4NextGen@Middleware
https://doi.org/10.1145/2541608.2541612
conf/middleware/2013mw4nextgen
db/conf/middleware/mw4nextgen2013.html#AkkayaLLG13
Stavros Tripakis
Christos Stergiou 0001
Manfred Broy
Edward A. Lee
Error-Completion in Interface Theories.
358-375
2013
SPIN
https://doi.org/10.1007/978-3-642-39176-7_22
conf/spin/2013
db/conf/spin/spin2013.html#TripakisSBL13
Eleftherios Matsikoudis
Edward A. Lee
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices.
FICS
2013
56-71
https://doi.org/10.4204/EPTCS.126.5
http://arxiv.org/abs/1309.0894
journals/corr/BaeldeC13
db/series/eptcs/eptcs126.html#MatsikoudisL13
Chih-Hong Cheng
Edward A. Lee
Numerical LTL Synthesis for Cyber-Physical Systems.
2013
CoRR
http://arxiv.org/abs/1307.3722
abs/1307.3722
db/journals/corr/corr1307.html#ChengL13
Patricia Derler
Edward A. Lee
Alberto L. Sangiovanni-Vincentelli
Modeling Cyber-Physical Systems.
13-28
2012
100
Proc. IEEE
1
https://doi.org/10.1109/JPROC.2011.2160929
https://www.wikidata.org/entity/Q57380247
db/journals/pieee/pieee100.html#DerlerLV12
John C. Eidson
Edward A. Lee
Slobodan Matic
Sanjit A. Seshia
Jia Zou 0002
Distributed Real-Time Software for Cyber-Physical Systems.
45-59
2012
100
Proc. IEEE
1
https://doi.org/10.1109/JPROC.2011.2161237
db/journals/pieee/pieee100.html#EidsonLMSZ12
Kyungmin Bae
Peter Csaba Ölveczky
Thomas Huining Feng
Edward A. Lee
Stavros Tripakis
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.
1235-1271
2012
77
Sci. Comput. Program.
12
https://doi.org/10.1016/j.scico.2010.10.002
db/journals/scp/scp77.html#BaeOFLT12
Eleftherios Matsikoudis
Edward A. Lee
From Transitions to Executions.
170-190
2012
CMCS
https://doi.org/10.1007/978-3-642-32784-1_10
conf/cmcs/2012
db/conf/cmcs/cmcs2012.html#MatsikoudisL12
Albert Benveniste
Edward A. Lee
Marc Pouzet
Stavros Tripakis
Florence Maraninchi
An overview of the career of Paul Caspi.
195-196
2012
EMSOFT
https://doi.org/10.1145/2380356.2380392
conf/emsoft/2012
db/conf/emsoft/emsoft2012.html#BenvenisteLPTM12
Edward A. Lee
Sanjit A. Seshia
Jeff C. Jensen
Teaching embedded systems the Berkeley way.
1
2012
WESE
https://doi.org/10.1145/2530544.2530545
conf/esweek/2012wese
db/conf/esweek/wese2012.html#LeeSJ12
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.
125-132
2012
FCCM
https://doi.org/10.1109/FCCM.2012.31
https://doi.ieeecomputersociety.org/10.1109/FCCM.2012.31
conf/fccm/2012
db/conf/fccm/fccm2012.html#LiuLVWA12
Edward A. Lee
Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk.
2
2012
Haifa Verification Conference
https://doi.org/10.1007/978-3-642-39611-3_2
conf/hvc/2012
db/conf/hvc/hvc2012.html#Lee12
Isaac Liu
Jan Reineke 0001
David Broman
Michael Zimmer 0001
Edward A. Lee
A PRET microarchitecture implementation with repeatable timing and competitive performance.
87-93
2012
ICCD
https://doi.org/10.1109/ICCD.2012.6378622
https://doi.ieeecomputersociety.org/10.1109/ICCD.2012.6378622
conf/iccd/2012
db/conf/iccd/iccd2012.html#LiuRBZL12
David Broman
Edward A. Lee
Stavros Tripakis
Martin Törngren
Viewpoints, formalisms, languages, and tools for cyber-physical systems.
49-54
2012
MPM@MoDELS
https://doi.org/10.1145/2508443.2508452
conf/models/2012mpm
db/conf/models/mpm2012.html#BromanLTT12
Chris Shaver
Edward A. Lee
The Coroutine Model of Computation.
319-334
2012
MoDELS
https://doi.org/10.1007/978-3-642-33666-9_21
conf/models/2012
db/conf/models/models2012.html#ShaverL12
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.
209-223
2012
Monterey Workshop
https://doi.org/10.1007/978-3-642-34059-8_11
conf/monterey/2012
db/conf/monterey/monterey2012.html#HanxledenLMF12
Jia Zou 0002
Slobodan Matic
Edward A. Lee
PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.
209-218
2012
IEEE Real-Time and Embedded Technology and Applications Symposium
https://doi.org/10.1109/RTAS.2012.28
https://doi.ieeecomputersociety.org/10.1109/RTAS.2012.28
conf/rtas/2012
db/conf/rtas/rtas2012.html#ZouML12
Edward A. Lee
It's about time.
2012
ICSAMOS
https://doi.org/10.1109/SAMOS.2012.6404149
conf/samos/2012ic
db/conf/samos/samos2012ic.html#Lee12
Stavros Tripakis
Ben Lickly
Thomas A. Henzinger
Edward A. Lee
A Theory of Synchronous Relational Interfaces.
14:1-14:41
2011
33
ACM Trans. Program. Lang. Syst.
4
https://doi.org/10.1145/1985342.1985345
db/journals/toplas/toplas33.html#TripakisLHL11
Jan Reineke 0001
Isaac Liu
Hiren D. Patel
Sungjun Kim
Edward A. Lee
PRET DRAM controller: bank privatization for predictability and temporal isolation.
99-108
2011
CODES+ISSS
https://doi.org/10.1145/2039370.2039388
conf/codes/2011
db/conf/codes/codes2011.html#ReinekeLPKL11
Dai N. Bui
Edward A. Lee
Isaac Liu
Hiren D. Patel
Jan Reineke 0001
Temporal isolation on multiprocessing architectures.
274-279
2011
DAC
https://doi.org/10.1145/2024724.2024787
conf/dac/2011
db/conf/dac/dac2011.html#BuiLLPR11
Edward A. Lee
Alberto L. Sangiovanni-Vincentelli
Component-based design for the future.
1029
2011
DATE
https://doi.org/10.1109/DATE.2011.5763168
https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763168
conf/date/2011
db/conf/date/date2011.html#LeeS11
Edward A. Lee
Heterogeneous actor modeling.
3-12
2011
EMSOFT
https://doi.org/10.1145/2038642.2038646
conf/emsoft/2011
db/conf/emsoft/emsoft2011.html#Lee11
Ben Lickly
Charles P. Shelton
Elizabeth Latronico
Edward A. Lee
A practical ontology framework for static model analysis.
23-32
2011
EMSOFT
https://doi.org/10.1145/2038642.2038648
conf/emsoft/2011
db/conf/emsoft/emsoft2011.html#LicklySLL11
Saddek Bensalem
Kees Goossens
Christoph M. Kirsch
Roman Obermaisser
Edward A. Lee
Joseph Sifakis
Time-predictable and composable architectures for dependable embedded systems.
351-352
2011
EMSOFT
https://doi.org/10.1145/2038642.2038697
conf/emsoft/2011
db/conf/emsoft/emsoft2011.html#BensalemGKOLS11
Jeff C. Jensen
Edward A. Lee
Sanjit A. Seshia
An introductory capstone design course on embedded systems.
1199-1202
2011
ISCAS
https://doi.org/10.1109/ISCAS.2011.5937784
conf/iscas/2011
db/conf/iscas/iscas2011.html#JensenLS11
Slobodan Matic
Ilge Akkaya
Michael Zimmer 0001
John C. Eidson
Edward A. Lee
PTIDES model on a distributed testbed emulating smart grid real-time applications.
1-8
2011
ISGT Europe
https://doi.org/10.1109/ISGTEurope.2011.6162820
conf/isgteurope/2011
db/conf/isgteurope/isgteurope2011.html#MaticAZEL11
Jeff C. Jensen
Danica H. Chang
Edward A. Lee
A model-based design methodology for cyber-physical systems.
1666-1671
2011
IWCMC
https://doi.org/10.1109/IWCMC.2011.5982785
conf/iwcmc/2011
db/conf/iwcmc/iwcmc2011.html#JensenCL11
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
EOOLT
Linköping University Electronic Press
Linköping Electronic Conference Proceedings
56
2011
http://www.ep.liu.se/ecp/contents.asp?issue=56
db/conf/eoolt/eoolt2011.html
Yang Zhao
Yuhong Xiong
Edward A. Lee
Xiaojun Liu 0001
Lizhi C. Zhong
The design and application of structured types in Ptolemy II.
118-136
2010
25
Int. J. Intell. Syst.
2
https://doi.org/10.1002/int.20391
db/journals/ijis/ijis25.html#ZhaoXLLZ10
Maarten Wiggers
Lothar Thiele
Edward A. Lee
Simon Schliecker
Marco Bekooij
Modeling and analyzing real-time multiprocessor systems.
329-330
2010
CODES+ISSS
https://doi.org/10.1145/1878961.1879019
conf/codes/2010
db/conf/codes/codes2010.html#WiggersTLSB10
Christopher X. Brooks
Edward A. Lee
Stavros Tripakis
Exploring models of computation with ptolemy II.
331-332
2010
CODES+ISSS
https://doi.org/10.1145/1878961.1879020
conf/codes/2010
db/conf/codes/codes2010.html#BrooksLT10
Edward A. Lee
CPS foundations.
737-742
2010
DAC
https://doi.org/10.1145/1837274.1837462
conf/dac/2010
db/conf/dac/dac2010.html#Lee10
Thomas Huining Feng
Edward A. Lee
Lee W. Shruben
Ptera: an event-oriented model of computation for heterogeneous systems.
219-228
2010
EMSOFT
https://doi.org/10.1145/1879021.1879050
conf/emsoft/2010
db/conf/emsoft/emsoft2010.html#FengLS10
Christian Buckl
Irina Gaponova
Michael Geisinger
Alois C. Knoll
Edward A. Lee
Model-based specification of timing requirements.
239-248
2010
EMSOFT
https://doi.org/10.1145/1879021.1879053
conf/emsoft/2010
db/conf/emsoft/emsoft2010.html#BucklGGKL10
Edward A. Lee
Stavros Tripakis
Modal Models in Ptolemy.
11-21
2010
EOOLT
http://www.ep.liu.se/ecp/article.asp?issue=047&article=002&volume=
conf/eoolt/2010
db/conf/eoolt/eoolt2010.html#LeeT10
Edward A. Lee
Sanjit A. Seshia
An introductory textbook on cyber-physical systems.
1
2010
WESE
https://doi.org/10.1145/1930277.1930278
conf/esweek/2010wese
db/conf/esweek/wese2010.html#LeeS10
Stavros Tripakis
Dai N. Bui
Bert Rodiers
Edward A. Lee
Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs.
199
2010
ICCPS
https://doi.org/10.1145/1795194.1795223
conf/iccps/2010
db/conf/iccps/iccps2010.html#TripakisBRL10
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.
140-144
2010
MoDELS (Workshops)
https://doi.org/10.1007/978-3-642-21210-9_13
conf/models/2010w
db/conf/models/models2010w.html#FritzsonLCB10
Edward A. Lee
Disciplined Heterogeneous Modeling - Invited Paper.
273-287
2010
MoDELS (2)
https://doi.org/10.1007/978-3-642-16129-2_20
conf/models/2010-2
db/conf/models/models2010-2.html#Lee10
Dai N. Bui
Hiren D. Patel
Edward A. Lee
Deploying Hard Real-Time Control Software on Chip-Multiprocessors.
283-292
2010
RTCSA
https://doi.org/10.1109/RTCSA.2010.43
https://doi.ieeecomputersociety.org/10.1109/RTCSA.2010.43
conf/rtcsa/2010
db/conf/rtcsa/rtcsa2010.html#BuiPL10
Martin Schoeberl
Christopher X. Brooks
Edward A. Lee
Code Generation for Embedded Java with Ptolemy.
155-166
2010
SEUS
https://doi.org/10.1007/978-3-642-16256-5_16
conf/seus/2010
db/conf/seus/seus2010.html#SchoeberlBL10
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
EOOLT
Linköping University Electronic Press
Linköping Electronic Conference Proceedings
47
2010
http://www.ep.liu.se/ecp/contents.asp?issue=47
db/conf/eoolt/eoolt2010.html
Edward A. Lee
Computing needs time.
70-79
2009
52
Commun. ACM
5
https://doi.org/10.1145/1506409.1506426
db/journals/cacm/cacm52.html#Lee09
Antoon Goderis
Christopher X. Brooks
Ilkay Altintas
Edward A. Lee
Carole A. Goble
Heterogeneous composition of models of computation.
552-560
2009
25
Future Gener. Comput. Syst.
5
https://doi.org/10.1016/j.future.2008.06.014
https://www.wikidata.org/entity/Q56966833
db/journals/fgcs/fgcs25.html#GoderisBALG09
Edward A. Lee
Xiaojun Liu 0001
Stephen Neuendorffer
Classes and inheritance in actor-oriented design.
2009
8
ACM Trans. Embed. Comput. Syst.
4
https://doi.org/10.1145/1550987.1550992
db/journals/tecs/tecs8.html#LeeLN09
29:1-29:26
Chih-Hong Cheng
Markus Rickert 0001
Christian Buckl
Edward A. Lee
Alois C. Knoll
Toward the Design of Robotic Software with Verifiable Safety.
622-623
2009
COMPSAC (1)
https://doi.org/10.1109/COMPSAC.2009.89
https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2009.89
https://www.wikidata.org/entity/Q58589521
conf/compsac/2009
db/conf/compsac/compsac2009-1.html#ChengRBLK09
Stavros Tripakis
Ben Lickly
Thomas A. Henzinger
Edward A. Lee
On relational interfaces.
67-76
2009
EMSOFT
https://doi.org/10.1145/1629335.1629346
conf/emsoft/2009
db/conf/emsoft/emsoft2009.html#TripakisLHL09
Edward A. Lee
Introducing embedded systems: a cyber-physical approach: extended abstract.
1-2
2009
WESE@ESWEEK
https://doi.org/10.1145/1719010.1719011
conf/esweek/2009wese
db/conf/esweek/wese2009.html#Lee09
Stephen A. Edwards
Sungjun Kim
Edward A. Lee
Isaac Liu
Hiren D. Patel
Martin Schoeberl
A disruptive computer design idea: Architectures with repeatable timing.
54-59
2009
ICCD
https://doi.org/10.1109/ICCD.2009.5413177
https://doi.ieeecomputersociety.org/10.1109/ICCD.2009.5413177
conf/iccd/2009
db/conf/iccd/iccd2009.html#EdwardsKLLPS09
Edward A. Lee
Slobodan Matic
Sanjit A. Seshia
Jia Zou 0002
The Case for Timing-Centric Distributed Software Invited Paper.
57-64
2009
ICDCS Workshops
https://doi.org/10.1109/ICDCSW.2009.108
https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2009.108
conf/icdcsw/2009
db/conf/icdcsw/icdcsw2009.html#LeeMSZ09
Jia Zou 0002
Joshua S. Auerbach
David F. Bacon
Edward A. Lee
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.
31-40
2009
LCTES
https://doi.org/10.1145/1542452.1542457
https://doi.org/10.1145/1543136.1542457
conf/lctrts/2009
db/conf/lctrts/lctes2009.html#ZouABL09
Man-Kit Leung
Thomas Mandl 0002
Edward A. Lee
Elizabeth Latronico
Charles P. Shelton
Stavros Tripakis
Ben Lickly
Scalable Semantic Annotation Using Lattice-Based Ontologies.
393-407
2009
MoDELS
https://doi.org/10.1007/978-3-642-04425-0_31
conf/models/2009
db/conf/models/models2009.html#LeungMLLSTL09
Jia Zou 0002
Slobodan Matic
Edward A. Lee
Thomas Huining Feng
Patricia Derler
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.
77-86
2009
IEEE Real-Time and Embedded Technology and Applications Symposium
https://doi.org/10.1109/RTAS.2009.39
https://doi.ieeecomputersociety.org/10.1109/RTAS.2009.39
conf/rtas/2009
db/conf/rtas/rtas2009.html#ZouMLFD09
Albert Benveniste
Stephen A. Edwards
Edward A. Lee
Klaus Schneider 0001
Reinhard von Hanxleden
SYNCHRON 2009, 22.11. - 27.11.2009
SYNCHRON 2009
09481
2009
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
Dagstuhl Seminar Proceedings
db/conf/dagstuhl/P9481.html
http://drops.dagstuhl.de/portals/09481/
Albert Benveniste
Stephen A. Edwards
Edward A. Lee
Klaus Schneider 0001
Reinhard von Hanxleden
09481 Abstracts Collection - SYNCHRON 2009.
2009
SYNCHRON 2009
http://drops.dagstuhl.de/opus/volltexte/2010/2434/
conf/dagstuhl/2009P9481
db/conf/dagstuhl/P9481.html#BenvenisteEL0H09
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].
175-180
2008
25
IEEE Signal Process. Mag.
6
https://doi.org/10.1109/MSP.2008.929838
db/journals/spm/spm25.html#BhattacharyyaBG08
Xiaojun Liu 0001
Edward A. Lee
CPO semantics of timed interactive actor networks.
110-125
2008
409
Theor. Comput. Sci.
1
https://doi.org/10.1016/j.tcs.2008.08.044
db/journals/tcs/tcs409.html#LiuL08a
Ye Zhou
Edward A. Lee
Causality interfaces for actor networks.
2008
7
ACM Trans. Embed. Comput. Syst.
3
https://doi.org/10.1145/1347375.1347382
db/journals/tecs/tecs7.html#ZhouL08
29:1-29:35
Ben Lickly
Isaac Liu
Sungjun Kim
Hiren D. Patel
Stephen A. Edwards
Edward A. Lee
Predictable programming on a precision timed architecture.
137-146
2008
CASES
https://doi.org/10.1145/1450095.1450117
conf/cases/2008
db/conf/cases/cases2008.html#LicklyLKPEL08
Shanna-Shaye Forbes
Hiren D. Patel
Edward A. Lee
Hugo A. Andrade
An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture.
322-325
2008
DS-RT
https://doi.org/10.1109/DS-RT.2008.45
https://doi.ieeecomputersociety.org/10.1109/DS-RT.2008.45
conf/dsrt/2008
db/conf/dsrt/dsrt2008.html#ForbesPLA08
Patricia Derler
Edward A. Lee
Slobodan Matic
Simulation and Implementation of the PTIDES Programming Model.
330-333
2008
DS-RT
https://doi.org/10.1109/DS-RT.2008.51
https://doi.ieeecomputersociety.org/10.1109/DS-RT.2008.51
conf/dsrt/2008
db/conf/dsrt/dsrt2008.html#DerlerLM08
Edward A. Lee
Time is a Resource, and Other Stories.
355
2008
ISORC
https://doi.org/10.1109/ISORC.2008.26
https://doi.ieeecomputersociety.org/10.1109/ISORC.2008.26
conf/isorc/2008
db/conf/isorc/isorc2008.html#Lee08
Edward A. Lee
Cyber Physical Systems: Design Challenges.
363-369
2008
ISORC
https://doi.org/10.1109/ISORC.2008.25
https://doi.ieeecomputersociety.org/10.1109/ISORC.2008.25
conf/isorc/2008
db/conf/isorc/isorc2008.html#Lee08a
Thomas Huining Feng
Edward A. Lee
Real-Time Distributed Discrete-Event Execution with Fault Tolerance.
205-214
2008
IEEE Real-Time and Embedded Technology and Applications Symposium
https://doi.org/10.1109/RTAS.2008.22
https://doi.ieeecomputersociety.org/10.1109/RTAS.2008.22
conf/rtas/2008
db/conf/rtas/rtas2008.html#FengL08
Stephen A. Edwards
Edward A. Lee
The Case for the Precision Timed (PRET) Machine.
264-265
2007
conf/dac/2007
DAC
https://doi.org/10.1145/1278480.1278545
db/conf/dac/dac2007.html#EdwardsL07
Edward A. Lee
Haiyang Zheng
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.
114-123
2007
EMSOFT
https://doi.org/10.1145/1289927.1289949
conf/emsoft/2007
db/conf/emsoft/emsoft2007.html#LeeZ07
Antoon Goderis
Christopher X. Brooks
Ilkay Altintas
Edward A. Lee
Carole A. Goble
Composing Different Models of Computation in Kepler and Ptolemy II.
182-190
2007
conf/iccS/2007-3
International Conference on Computational Science (3)
https://doi.org/10.1007/978-3-540-72588-6_33
db/conf/iccS/iccS2007-3.html#GoderisBALG07
Gang Zhou
Man-Kit Leung
Edward A. Lee
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.
193-206
2007
conf/icess/2007
ICESS
https://doi.org/10.1007/978-3-540-72685-2_19
db/conf/icess/icess2007.html#ZhouLL07
Yang Zhao
Jie Liu 0001
Edward A. Lee
A Programming Model for Time-Synchronized Distributed Real-Time Systems.
259-268
2007
IEEE Real-Time and Embedded Technology and Applications Symposium
https://doi.org/10.1109/RTAS.2007.5
https://doi.ieeecomputersociety.org/10.1109/RTAS.2007.5
conf/rtas/2007
db/conf/rtas/rtas2007.html#ZhaoLL07
Edward A. Lee
The Problem with Threads.
33-42
2006
39
Computer
5
https://doi.org/10.1109/MC.2006.180
http://doi.ieeecomputersociety.org/10.1109/MC.2006.180
db/journals/computer/computer39.html#Lee06
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.
1039-1065
2006
18
Concurr. Comput. Pract. Exp.
10
https://doi.org/10.1002/cpe.994
https://www.wikidata.org/entity/Q57566453
db/journals/concurrency/concurrency18.html#LudascherABHJJLTZ06
Edward A. Lee
Haiyang Zheng
Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II.
270-271
2006
ADHS
https://doi.org/10.3182/20060607-3-IT-3902.00050
conf/adhs/2006
db/conf/adhs/adhs2006.html#LeeZ06
Xiaojun Liu 0001
Eleftherios Matsikoudis
Edward A. Lee
Modeling Timed Concurrent Systems.
1-15
2006
conf/concur/2006
CONCUR
https://doi.org/10.1007/11817949_1
db/conf/concur/concur2006.html#LiuML06
Ye Zhou
Edward A. Lee
A causality interface for deadlock analysis in dataflow.
44-52
2006
conf/emsoft/2006
EMSOFT
https://doi.org/10.1145/1176887.1176895
db/conf/emsoft/emsoft2006.html#ZhouL06
Edward A. Lee
Concurrent Semantics Without the Notions of State or State Transitions.
18-31
2006
conf/formats/2006
FORMATS
https://doi.org/10.1007/11867340_2
db/conf/formats/formats2006.html#Lee06
Haiyang Zheng
Edward A. Lee
Aaron D. Ames
Beyond Zeno: Get on with It!
568-582
2006
conf/hybrid/2006
HSCC
https://doi.org/10.1007/11730637_42
db/conf/hybrid/hscc2006.html#ZhengLA06
Edward A. Lee
Discrete event models: getting the semantics right.
1
2006
conf/wsc/2006
WSC
https://doi.org/10.1109/WSC.2006.323032
https://doi.ieeecomputersociety.org/10.1109/WSC.2006.323032
http://dl.acm.org/citation.cfm?id=1218114
db/conf/wsc/wsc2006.html#Lee06
Thomas Huining Feng
Edward A. Lee
Incremental checkpointing with application to distributed discrete event simulation.
1004-1011
2006
conf/wsc/2006
WSC
https://doi.org/10.1109/WSC.2006.323188
https://doi.ieeecomputersociety.org/10.1109/WSC.2006.323188
http://dl.acm.org/citation.cfm?id=1218297
db/conf/wsc/wsc2006.html#FengL06
Edward A. Lee
Absolutely Positively on Time: What Would It Take?
85-87
2005
38
Computer
7
https://doi.org/10.1109/MC.2005.211
http://doi.ieeecomputersociety.org/10.1109/MC.2005.211
db/journals/computer/computer38.html#Lee05
Yuhong Xiong
Edward A. Lee
Xiaojun Liu 0001
Yang Zhao
Lizhi C. Zhong
The design and application of structured types in Ptolemy II.
683-688
2005
conf/grc/2005
GrC
https://doi.org/10.1109/GRC.2005.1547378
db/conf/grc/grc2005.html#XiongLLZZ05
Edward A. Lee
Haiyang Zheng
Operational Semantics of Hybrid Systems.
25-53
https://doi.org/10.1007/978-3-540-31954-2_2
2005
conf/hybrid/2005
HSCC
db/conf/hybrid/hscc2005.html#LeeZ05
Edward A. Lee
Yang Zhao
Reinventing Computing for Real Time.
1-25
2005
Monterey Workshop
https://doi.org/10.1007/978-3-540-71156-8_1
conf/monterey/2005
db/conf/monterey/monterey2005.html#LeeZ05
Ernesto Wandeler
Jörn W. Janneck
Edward A. Lee
Lothar Thiele
Counting Interface Automata and their Application in Static Analysis of Actor Models.
106-116
2005
conf/sefm/2005
SEFM
https://doi.org/10.1109/SEFM.2005.14
https://doi.ieeecomputersociety.org/10.1109/SEFM.2005.14
db/conf/sefm/sefm2005.html#WandelerJLT05
Elaine Cheong
Edward A. Lee
Yang Zhao
Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.
302
2005
conf/sensys/2005
SenSys
https://doi.org/10.1145/1098918.1098967
db/conf/sensys/sensys2005.html#CheongLZ05
Edward A. Lee
Yuhong Xiong
A behavioral type system and its application in Ptolemy II.
210-237
2004
16
Formal Aspects Comput.
3
https://doi.org/10.1007/s00165-004-0043-8
db/journals/fac/fac16.html#LeeX04
Jie Liu 0001
Johan Eker
Jörn W. Janneck
Xiaojun Liu 0001
Edward A. Lee
Actor-oriented control system design: a responsible framework perspective.
250-262
2004
12
IEEE Trans. Control. Syst. Technol.
2
https://doi.org/10.1109/TCST.2004.824310
db/journals/tcst/tcst12.html#LiuEJLL04
Philip Baldwin
Sanjeev Kohli
Edward A. Lee
Xiaojun Liu 0001
Yang Zhao
Modeling of sensor nets in Ptolemy II.
359-368
2004
conf/ipsn/2004
IPSN
https://doi.org/10.1145/984622.984675
https://doi.org/10.1109/IPSN.2004.1307357
db/conf/ipsn/ipsn2004.html#BaldwinKLLZ04
Edward A. Lee
Stephen Neuendorffer
Classes and subclasses in actor-oriented design.
161-168
2004
conf/memocode/2004
MEMOCODE
https://doi.org/10.1109/MEMCOD.2004.1459848
https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2004.1459848
db/conf/memocode/memocode2004.html#LeeN04
Stephen Neuendorffer
Edward A. Lee
Hierarchical reconfiguration of dataflow models.
179-188
2004
conf/memocode/2004
MEMOCODE
https://doi.org/10.1109/MEMCOD.2004.1459852
https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2004.1459852
db/conf/memocode/memocode2004.html#NeuendorfferL04
John R. Barry
Edward A. Lee
David G. Messerschmitt
Digital communication (3. ed.).
I-XVI, 1-838
Springer
2003
978-0-7923-7548-7
Edward A. Lee
Pravin Varaiya
Structure and interpretation of signals and systems.
I-XXI, 1-647
Addison-Wesley
2003
978-0-201-74551-1
Edward A. Lee
Stephen Neuendorffer
Michael J. Wirthlin
Actor-Oriented Design of Embedded Hardware and Software Systems.
231-260
2003
12
J. Circuits Syst. Comput.
3
https://doi.org/10.1142/S0218126603000751
db/journals/jcsc/jcsc12.html#LeeNW03
Johan Eker
Jörn W. Janneck
Edward A. Lee
Jie Liu 0001
Xiaojun Liu 0001
Jozsef Ludvig
Stephen Neuendorffer
Sonia R. Sachs
Yuhong Xiong
Taming heterogeneity - the Ptolemy approach.
127-144
2003
91
Proc. IEEE
1
db/journals/pieee/pieee91.html#EkerJLLLLNSX03
https://doi.org/10.1109/JPROC.2002.805829
https://www.wikidata.org/entity/Q59485854
Stephen A. Edwards
Edward A. Lee
The semantics and execution of a synchronous block-diagram language.
21-42
2003
48
Sci. Comput. Program.
1
https://doi.org/10.1016/S0167-6423(02)00096-5
db/journals/scp/scp48.html#EdwardsL03
Jie Liu 0001
Edward A. Lee
On the Causality of Mixed-Signal and Hybrid Models.
328-342
2003
conf/hybrid/2003
HSCC
https://doi.org/10.1007/3-540-36580-X_25
db/conf/hybrid/hscc2003.html#LiuL03
Edward A. Lee
Embedded Software.
55-95
2002
56
Adv. Comput.
db/journals/ac/ac56.html#Lee02
https://doi.org/10.1016/S0065-2458(02)80004-3
Jie Liu 0001
Edward A. Lee
A component-based approach to modeling and simulating mixed-signal and hybrid systems.
343-368
2002
12
ACM Trans. Model. Comput. Simul.
4
https://doi.org/10.1145/643120.643125
db/journals/tomacs/tomacs12.html#LiuL02
Praveen K. Murthy
Edward A. Lee
Multidimensional synchronous dataflow.
2064-2079
2002
50
IEEE Trans. Signal Process.
8
https://doi.org/10.1109/TSP.2002.800830
db/journals/tsp/tsp50.html#MurthyL02
Jie Liu
Stanley Jefferson
Edward A. Lee
Motivating hierarchical run-time models in measurement and control systems.
3457-3462
2001
ACC
https://doi.org/10.1109/ACC.2001.946165
conf/amcc/2001
db/conf/amcc/acc2001.html#LiuJL01
He Li 0001
Xiaojun Liu 0001
Edward A. Lee
Modeling distributed hybrid systems in Ptolemy II.
4984-4985
2001
ACC
https://doi.org/10.1109/ACC.2001.945773
conf/amcc/2001
db/conf/amcc/acc2001.html#LiLL01
Edward A. Lee
Yuhong Xiong
System-Level Types for Component-Based Design.
237-253
2001
conf/emsoft/2001
EMSOFT
https://doi.org/10.1007/3-540-45449-7_16
db/conf/emsoft/emsoft2001.html#LeeX01
Xiaojun Liu 0001
Yuhong Xiong
Edward A. Lee
The Ptolemy II Framework for Visual Languages.
50-
2001
conf/vl/2001
HCC
https://doi.org/10.1109/HCC.2001.995235
https://doi.ieeecomputersociety.org/10.1109/HCC.2001.995235
db/conf/vl/hcc2001.html#LiuXL01
Edward A. Lee
What's Ahead for Embedded Software?
18-26
2000
33
Computer
9
https://doi.org/10.1109/2.868693
http://doi.ieeecomputersociety.org/10.1109/2.868693
db/journals/computer/computer33.html#Lee97
Jeff Tsay
Christopher Hylands
Edward A. Lee
A code generation framework for Java component-based designs.
18-25
2000
conf/cases/2000
CASES
https://doi.org/10.1145/354880.354884
db/conf/cases/cases2000.html#TsayHL00
Sharad Malik
D. K. Arvind 0001
Edward A. Lee
Phil Koopman
Alberto L. Sangiovanni-Vincentelli
Wayne H. Wolf
Embedded systems education (panel abstract).
519
2000
conf/dac/2000
DAC
https://doi.org/10.1145/337292.337563
db/conf/dac/dac2000.html#MalikALKSW00
Yuhong Xiong
Edward A. Lee
An Extensible Type System for Component-Based Design.
20-37
https://doi.org/10.1007/3-540-46419-0_2
2000
conf/tacas/2000
TACAS
db/conf/tacas/tacas2000.html#XiongL00
Edward A. Lee
Modeling Concurrent Real-Time Processes Using Discrete Events.
25-45
1999
7
Ann. Softw. Eng.
db/journals/ansoft/ansoft7.html#Lee99
https://doi.org/10.1023/A:1018998524196
Walid A. Najjar
Edward A. Lee
Guang R. Gao
Advances in the dataflow computational model.
1907-1929
1999
25
Parallel Comput.
13-14
db/journals/pc/pc25.html#NajjarLG99
https://doi.org/10.1016/S0167-8191(99)00070-8
Edward A. Lee
David G. Messerschmitt
A highest education in the year 2049.
1685-1691
1999
87
Proc. IEEE
9
https://doi.org/10.1109/5.784252
db/journals/pieee/pieee87.html#LeeM99
Alain Girault
Bilung Lee
Edward A. Lee
Hierarchical finite state machines with multiple concurrency models.
742-760
1999
18
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
6
https://doi.org/10.1109/43.766725
db/journals/tcad/tcad18.html#GiraultLL99
Shuvra S. Bhattacharyya
Praveen K. Murthy
Edward A. Lee
Synthesis of Embedded Software from Synchronous Dataflow Specifications.
151-166
1999
21
J. VLSI Signal Process.
2
https://doi.org/10.1023/A:1008052406396
db/journals/vlsisp/vlsisp21.html#BhattacharyyaML99
Rajarshi Gupta
Kiran
Edward A. Lee
Computationally efficient version of the decision feedback equalizer.
1257-1260
1999
ICASSP
https://doi.org/10.1109/ICASSP.1999.756207
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1999.756207
conf/icassp/1999
db/conf/icassp/icassp1999.html#GuptaKL99
Edward A. Lee
David G. Messerschmitt
Engineering and Education for the Future.
77-85
1998
31
Computer
db/journals/computer/computer31.html#LeeM98
https://doi.org/10.1109/2.641980
http://doi.ieeecomputersociety.org/10.1109/2.641980
Edward A. Lee
Alberto L. Sangiovanni-Vincentelli
A framework for comparing models of computation.
1217-1229
1998
17
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
12
https://doi.org/10.1109/43.736561
https://www.wikidata.org/entity/Q56445309
db/journals/tcad/tcad17.html#LeeS98
Bilung Lee
Edward A. Lee
Hierarchical Concurrent Finite State Machines in Ptolemy.
34-40
1998
conf/acsd/1998
ACSD
https://doi.org/10.1109/CSD.1998.657537
https://doi.ieeecomputersociety.org/10.1109/CSD.1998.657537
db/conf/acsd/acsd1998.html#LeeL98
H. John Reekie
Edward A. Lee
The Tycho Slate: Complex Drawing and Editing in Tcl/Tk.
1998
Tcl/Tk Conference
https://www.usenix.org/conference/6th-annual-tcltk-conference/tycho-slate-complex-drawing-and-editing-tcltk
conf/tcltk/1998
db/conf/tcltk/tcltk1998.html#ReekieL98
Shuvra S. Bhattacharyya
Praveen K. Murthy
Edward A. Lee
APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations.
33-60
1997
2
Des. Autom. Embed. Syst.
1
https://doi.org/10.1023/A:1008806425898
db/journals/dafes/dafes2.html#BhattacharyyaML97
Asawaree Kalavade
Edward A. Lee
The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection.
125-163
1997
2
Des. Autom. Embed. Syst.
2
https://doi.org/10.1023/A:1008872518365
db/journals/dafes/dafes2.html#KalavadeL97
Praveen K. Murthy
Shuvra S. Bhattacharyya
Edward A. Lee
Joint Minimization of Code and Data for Synchronous Dataflow Programs.
41-70
1997
11
Formal Methods Syst. Des.
1
db/journals/fmsd/fmsd11.html#MurthyBL97
https://doi.org/10.1023/A:1008633809454
Stephen A. Edwards
Luciano Lavagno
Edward A. Lee
Alberto L. Sangiovanni-Vincentelli
Design of embedded systems: formal models, validation, and synthesis.
366-390
1997
85
Proc. IEEE
3
https://doi.org/10.1109/5.558710
https://www.wikidata.org/entity/Q57380826
db/journals/pieee/pieee85.html#EdwardsLLS97
Shuvra S. Bhattacharyya
Sundararajan Sriram
Edward A. Lee
Optimizing synchronization in multiprocessor DSP systems.
1605-1618
1997
45
IEEE Trans. Signal Process.
6
https://doi.org/10.1109/78.600002
db/journals/tsp/tsp45.html#BhattacharyyaSL97
Wan-Teh Chang
Soonhoi Ha
Edward A. Lee
Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow.
127-144
1997
15
J. VLSI Signal Process.
1-2
https://doi.org/10.1023/A:1007930622942
db/journals/vlsisp/vlsisp15.html#ChangHL97
Sundararajan Sriram
Edward A. Lee
Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors.
207-220
1997
15
J. VLSI Signal Process.
3
https://doi.org/10.1023/A:1007956226232
db/journals/vlsisp/vlsisp15.html#SriramL97
Shuvra S. Bhattacharyya
Praveen K. Murthy
Edward A. Lee
Optimized software synthesis for synchronous dataflow.
250-262
1997
conf/asap/1997
ASAP
https://doi.org/10.1109/ASAP.1997.606831
https://doi.ieeecomputersociety.org/10.1109/ASAP.1997.606831
db/conf/asap/asap1997.html#BhattacharyyaML97
Takashi Miyazaki
Edward A. Lee
Code generation by using integer-controlled dataflow graph.
703-706
1997
ICASSP
https://doi.org/10.1109/ICASSP.1997.599865
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1997.599865
conf/icassp/1997
db/conf/icassp/icassp1997.html#MiyazakiL97
Christopher Hylands
Edward A. Lee
H. John Reekie
The Tycho User Interface System.
1997
Tcl/Tk Workshop
https://www.usenix.org/legacy/publications/library/proceedings/tcl97/hylands.html
conf/tcltk/1997
db/conf/tcltk/tcltk1997.html#HylandsLR97
John R. Barry
Edward A. Lee
David G. Messerschmitt
Capacity penalty due to ideal zero-forcing decision-feedback equalization.
1062-1071
1996
42
IEEE Trans. Inf. Theory
4
db/journals/tit/tit42.html#BarryLM96
https://doi.org/10.1109/18.508833
Asawaree Kalavade
Edward A. Lee
Complexity management in system-level design.
157-169
1996
14
J. VLSI Signal Process.
2
https://doi.org/10.1007/BF00925497
db/journals/vlsisp/vlsisp14.html#KalavadeL96
Shuvra S. Bhattacharyya
Sundararajan Sriram
Edward A. Lee
Latency-constrained Resynchronization for Multiprocessor DSP Implementation.
365-380
1996
conf/asap/1996
ASAP
https://doi.org/10.1109/ASAP.1996.542830
https://doi.ieeecomputersociety.org/10.1109/ASAP.1996.542830
db/conf/asap/asap1996.html#BhattacharyyaSL96
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.
1097-1100
1996
ICASSP
https://doi.org/10.1109/ICASSP.1996.543555
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1996.543555
conf/icassp/1996
db/conf/icassp/icassp1996.html#ChiangEHKLMRS96
José Luis Pino
Michael C. Williamson
Edward A. Lee
Interface synthesis in heterogeneous system-level DSP design tools.
1268-1271
1996
ICASSP
https://doi.org/10.1109/ICASSP.1996.543598
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1996.543598
conf/icassp/1996
db/conf/icassp/icassp1996.html#PinoWL96
Praveen K. Murthy
Edward A. Lee
An extension of multidimensional synchronous dataflow to handle arbitrary sampling lattices.
3306-3309
1996
ICASSP
https://doi.org/10.1109/ICASSP.1996.550584
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1996.550584
conf/icassp/1996
db/conf/icassp/icassp1996.html#MurthyL96
Edward A. Lee
Alberto L. Sangiovanni-Vincentelli
Comparing models of computation.
234-241
1996
conf/iccad/1996
ICCAD
https://doi.org/10.1109/ICCAD.1996.569613
https://doi.ieeecomputersociety.org/10.1109/ICCAD.1996.569613
https://dl.acm.org/citation.cfm?id=244564
db/conf/iccad/iccad1996.html#LeeS96
Shuvra S. Bhattacharyya
Sundararajan Sriram
Edward A. Lee
Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules.
199-205
1996
conf/ipps/1996
IPPS
https://doi.org/10.1109/IPPS.1996.508058
https://doi.ieeecomputersociety.org/10.1109/IPPS.1996.508058
db/conf/ipps/ipps1996.html#BhattacharyyaSL96
Edward A. Lee
Thomas M. Parks
Dataflow process networks.
773-801
1995
83
Proc. IEEE
5
https://doi.org/10.1109/5.381846
https://www.wikidata.org/entity/Q120108032
db/journals/pieee/pieee83.html#LeeP95
José Luis Pino
Soonhoi Ha
Edward A. Lee
Joseph T. Buck
Software synthesis for DSP using ptolemy.
7-21
1995
9
J. VLSI Signal Process.
1-2
https://doi.org/10.1007/BF02406468
https://www.wikidata.org/entity/Q111896705
db/journals/vlsisp/vlsisp9.html#PinoHLB95
Shuvra S. Bhattacharyya
Sundararajan Sriram
Edward A. Lee
Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems.
298-309
1995
conf/asap/1995
ASAP
https://doi.org/10.1109/ASAP.1995.522934
https://doi.ieeecomputersociety.org/10.1109/ASAP.1995.522934
db/conf/asap/asap1995.html#BhattacharyyaSL95
José Luis Pino
Edward A. Lee
Hierarchical static scheduling of dataflow graphs onto multiple processors.
2643-2646
1995
ICASSP
https://doi.org/10.1109/ICASSP.1995.480104
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1995.480104
conf/icassp/1995
db/conf/icassp/icassp1995.html#PinoL95
Asawaree Kalavade
José Luis Pino
Edward A. Lee
Managing complexity in heterogeneous system specification, simulation, and synthesis.
2833-2836
1995
ICASSP
https://doi.org/10.1109/ICASSP.1995.479434
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1995.479434
conf/icassp/1995
db/conf/icassp/icassp1995.html#KalavadePL95
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.
2873-2876
1995
ICASSP
https://doi.org/10.1109/ICASSP.1995.479444
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1995.479444
conf/icassp/1995
db/conf/icassp/icassp1995.html#BambergerELMY95
Thomas M. Parks
Edward A. Lee
Non-preemptive real-time scheduling of dataflow systems.
3235-3238
1995
ICASSP
https://doi.org/10.1109/ICASSP.1995.479574
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1995.479574
conf/icassp/1995
db/conf/icassp/icassp1995.html#ParksL95
Karim P. Khiar
Edward A. Lee
Modeling radar systems using hierarchical dataflow.
3259-3262
1995
ICASSP
https://doi.org/10.1109/ICASSP.1995.479580
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1995.479580
conf/icassp/1995
db/conf/icassp/icassp1995.html#KhiarL95
Jürgen Teich
Lothar Thiele
Edward A. Lee
Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.
156-161
1995
conf/isss/1995
ISSS
https://doi.org/10.1145/224486.224535
https://doi.org/10.1109/ISSS.1995.520628
https://doi.ieeecomputersociety.org/10.1109/ISSS.1995.520628
db/conf/isss/isss1995.html#TeichTL95
Asawaree Kalavade
Edward A. Lee
The extended partitioning problem: hardware/software mapping and implementation-bin selection.
12-18
1995
RSP
https://doi.org/10.1109/IWRSP.1995.518565
https://doi.ieeecomputersociety.org/10.1109/IWRSP.1995.518565
conf/rsp/1995
db/conf/rsp/rsp1995.html#KalavadeL95
Shuvra S. Bhattacharyya
Praveen K. Murthy
Edward A. Lee
Converting graphical DSP programs into memory constrained software prototypes.
194-200
1995
RSP
https://doi.org/10.1109/IWRSP.1995.518591
https://doi.ieeecomputersociety.org/10.1109/IWRSP.1995.518591
conf/rsp/1995
db/conf/rsp/rsp1995.html#BhattacharyyaML95
Edward A. Lee
David G. Messerschmitt
Digital communication (2. ed.).
1-893
Kluwer
1994
978-0-7923-9391-7
Shuvra S. Bhattacharyya
Edward A. Lee
Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms.
183-205
1994
5
Formal Methods Syst. Des.
3
db/journals/fmsd/fmsd5.html#BhattacharyyaL94
https://doi.org/10.1007/BF01383830
Joseph T. Buck
Soonhoi Ha
Edward A. Lee
David G. Messerschmitt
Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems.
1994
4
Int. J. Comput. Simul.
2
db/journals/ijcs/ijcs4.html#BuckHLM94
Shuvra S. Bhattacharyya
Edward A. Lee
Memory management for dataflow programming of multirate signal processing algorithms.
1190-1201
1994
42
IEEE Trans. Signal Process.
5
https://doi.org/10.1109/78.295199
db/journals/tsp/tsp42.html#BhattacharyyaL94
Asawaree Kalavade
Edward A. Lee
A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem.
42-48
1994
conf/codes/1994
CODES
https://doi.org/10.1109/HSC.1994.336724
http://dl.acm.org/citation.cfm?id=947193
db/conf/codes/codes1994.html#KalavadeL94
Asawaree Kalavade
Edward A. Lee
Manifestations of Heterogeneity in Hardware/Software Co-Design.
437-438
1994
conf/dac/1994
DAC
https://doi.org/10.1145/196244.196457
db/conf/dac/dac94.html#KalavadeeL94
Jordi Cortadella
José A. B. Fortes
Edward A. Lee
Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction.
56-57
1994
conf/hicss/1994
HICSS (1)
db/conf/hicss/hicss1994.html#CortadellaFL94
Edward A. Lee
Computing and signal processing: an experimental multidisciplinary course.
45-48
1994
ICASSP (6)
https://doi.org/10.1109/ICASSP.1994.389907
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1994.389907
conf/icassp/1994
db/conf/icassp/icassp1994.html#Lee94b
José Luis Pino
Thomas M. Parks
Edward A. Lee
Automatic code generation for heterogeneous multiprocessors.
445-448
1994
ICASSP (2)
https://doi.org/10.1109/ICASSP.1994.389626
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1994.389626
conf/icassp/1994
db/conf/icassp/icassp1994.html#PinoPL94
Praveen K. Murthy
Shuvra S. Bhattacharyya
Edward A. Lee
Minimizing memory requirements for chain-structured synchronous dataflow programs.
453-456
1994
ICASSP (2)
https://doi.org/10.1109/ICASSP.1994.389625
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1994.389625
conf/icassp/1994
db/conf/icassp/icassp1994.html#MurthyBL94
Asawaree Kalavade
Edward A. Lee
A methodology for simulation and synthesis of mixed hardware/software systems.
10
1994
HLSS
https://doi.org/10.1109/ISHLS.1994.302349
http://dl.acm.org/citation.cfm?id=254213
conf/isss/1994
db/conf/isss/hlss1994.html#KalavadeL94
Asawaree Kalavade
Edward A. Lee
A Hardware-Software Codesign Methodology for DSP Applications.
16-28
1993
10
IEEE Des. Test Comput.
3
https://doi.org/10.1109/54.232469
http://doi.ieeecomputersociety.org/10.1109/54.232469
db/journals/dt/dt10.html#KalavadeL93
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.
367-379
1993
11
IEEE J. Sel. Areas Commun.
3
db/journals/jsac/jsac11.html#BarryKKLM93
https://doi.org/10.1109/49.219552
Gilbert C. Sih
Edward A. Lee
A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures.
175-187
1993
4
IEEE Trans. Parallel Distributed Syst.
2
https://doi.org/10.1109/71.207593
http://doi.ieeecomputersociety.org/10.1109/71.207593
db/journals/tpds/tpds4.html#SihL93
Gilbert C. Sih
Edward A. Lee
Declustering: A New Multiprocessor Scheduling Technique.
625-637
1993
4
IEEE Trans. Parallel Distributed Syst.
6
https://doi.org/10.1109/71.242160
http://doi.ieeecomputersociety.org/10.1109/71.242160
db/journals/tpds/tpds4.html#SihL93a
Shuvra S. Bhattacharyya
Edward A. Lee
Scheduling synchronous dataflow graphs for efficient looping.
271-288
1993
6
J. VLSI Signal Process.
3
https://doi.org/10.1007/BF01608539
db/journals/vlsisp/vlsisp6.html#BhattacharyyaL93
Sundararajan Sriram
Edward A. Lee
Design and implementation of an ordered memory access architecture.
345-348
1993
ICASSP (1)
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1993.319126
conf/icassp/1993
db/conf/icassp/icassp1993.html#SriramL93
Joseph T. Buck
Edward A. Lee
Scheduling dynamic dataflow graphs with bounded memory using the token flow model.
429-432
1993
ICASSP (1)
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1993.319147
conf/icassp/1993
db/conf/icassp/icassp1993.html#BuckL93
Edward A. Lee
Representing and exploiting data parallelism using multidimensional dataflow diagrams.
453-456
1993
ICASSP (1)
https://doi.ieeecomputersociety.org/10.1109/ICASSP.1993.319153
conf/icassp/1993
db/conf/icassp/icassp1993.html#Lee93
Edward A. Lee
Mulitdimensional Streams Rooted in Dataflow.
295-306
1993
conf/ifip10-3/1993
Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
db/conf/ifip10-3/ifip10-3-1993.html#Lee93
http://dl.acm.org/citation.cfm?id=714248
Edward A. Lee
A design lab for statistical signal processing.
81-84
1992
ICASSP
https://doi.org/10.1109/ICASSP.1992.226406
conf/icassp/1992
db/conf/icassp/icassp1992.html#Lee92
Douglas B. Powell
Edward A. Lee
William C. Newman
Direct synthesis of optimized DSP assembly code from signal flow block diagrams.
553-556
1992
ICASSP
https://doi.org/10.1109/ICASSP.1992.226560
conf/icassp/1992
db/conf/icassp/icassp1992.html#PowellLN92
John R. Barry
Joseph M. Kahn
Edward A. Lee
David G. Messerschmitt
High-speed nondirective optical communication for wireless networks.
44-54
1991
5
IEEE Netw.
6
https://doi.org/10.1109/65.103810
db/journals/network/network5.html#BarryKLM91
Soonhoi Ha
Edward A. Lee
Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration.
1225-1238
1991
40
IEEE Trans. Computers
11
db/journals/tc/tc40.html#HaL91
https://doi.org/10.1109/12.102826
http://doi.ieeecomputersociety.org/10.1109/12.102826
Edward A. Lee
Consistency in Dataflow Graphs.
223-235
1991
2
IEEE Trans. Parallel Distributed Syst.
2
https://doi.org/10.1109/71.89067
http://doi.ieeecomputersociety.org/10.1109/71.89067
db/journals/tpds/tpds2.html#Lee91
Edward A. Lee
Consistency in dataflow graphs.
355-369
1991
ASAP
https://doi.org/10.1109/ASAP.1991.238909
conf/asap/1991
db/conf/asap/asap1991.html#Lee91
Brian Barrera
Edward A. Lee
Multirate signal processing in Comdisco's SPW.
1113-1116
1991
ICASSP
https://doi.org/10.1109/ICASSP.1991.150561
conf/icassp/1991
db/conf/icassp/icassp1991.html#BarreraL91
Joseph T. Buck
Soonhoi Ha
Edward A. Lee
David G. Messerschmitt
Multirate signal processing in Ptolemy.
1245-1248
1991
ICASSP
https://doi.org/10.1109/ICASSP.1991.150620
conf/icassp/1991
db/conf/icassp/icassp1991.html#BuckHLM91
Edward A. Lee
Jeffery C. Bier
Architectures for Statically Scheduled Dataflow.
333-348
1990
10
J. Parallel Distributed Comput.
4
db/journals/jpdc/jpdc10.html#LeeB90
https://doi.org/10.1016/0743-7315(90)90034-M
Edward A. Lee
Programmable DSPs: a brief overview.
14-16
1990
10
IEEE Micro
5
https://doi.org/10.1109/40.60522
http://doi.ieeecomputersociety.org/10.1109/40.60522
db/journals/micro/micro10.html#Lee90
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.
28-45
1990
10
IEEE Micro
5
https://doi.org/10.1109/40.60524
http://doi.ieeecomputersociety.org/10.1109/40.60524
db/journals/micro/micro10.html#BierGHLOSL90
John R. Barry
Edward A. Lee
Performance of coherent optical receivers.
1369-1394
1990
78
Proc. IEEE
8
https://doi.org/10.1109/5.58322
db/journals/pieee/pieee78.html#BarryL90
Gilbert C. Sih
Edward A. Lee
Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks.
9-16
1990
conf/icpp/1990-1
ICPP (1)
db/conf/icpp/icpp90-1.html#SihL90
Gilbert C. Sih
Edward A. Lee
Dynamic-level scheduling for heterogeneous processor networks.
42-49
1990
conf/spdp/1990
SPDP
https://doi.org/10.1109/SPDP.1990.143505
https://doi.ieeecomputersociety.org/10.1109/SPDP.1990.143505
db/conf/spdp/spdp90.html#SihL90
Edward A. Lee
W.-H. Ho
E. Goei
Jeffery C. Bier
Shuvra S. Bhattacharyya
Gabriel: a design environment for DSP.
1751-1762
1989
37
IEEE Trans. Acoust. Speech Signal Process.
11
https://doi.org/10.1109/29.46557
db/journals/tsp/tsp37.html#LeeHGBB89
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.
141-146
1989
conf/dac/1989
DAC
https://doi.org/10.1145/74382.74407
db/conf/dac/dac89.html#LeeGHHBBG89
Jeffrey C. Bier
Edward A. Lee
Frigg: a simulation environment for multiple-processor DSP system development.
280-283
1989
ICCD
https://doi.org/10.1109/ICCD.1989.63371
conf/iccd/1989
db/conf/iccd/iccd1989.html#BierL89
Edward A. Lee
David G. Messerschmitt
Synchronous data flow.
1235-1245
1987
75
Proc. IEEE
9
https://doi.org/10.1109/PROC.1987.13876
db/journals/pieee/pieee75.html#LeeM87
Edward Ashford Lee
David G. Messerschmitt
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing.
24-35
1987
36
IEEE Trans. Computers
1
db/journals/tc/tc36.html#LeeM87
https://doi.org/10.1109/TC.1987.5009446
Edward A. Lee
David G. Messerschmitt
Pipeline interleaved programmable DSP's: Architecture.
1320-1333
1987
35
IEEE Trans. Acoust. Speech Signal Process.
9
https://doi.org/10.1109/TASSP.1987.1165274
db/journals/tsp/tsp35.html#LeeM87
Edward A. Lee
David G. Messerschmitt
Pipeline interleaved programmable DSP's: Synchronous data flow programming.
1334-1345
1987
35
IEEE Trans. Acoust. Speech Signal Process.
9
https://doi.org/10.1109/TASSP.1987.1165275
db/journals/tsp/tsp35.html#LeeM87a
Edward A. Lee
David G. Messerschmitt
Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation.
310-315
1987
conf/compcon/1987
COMPCON
db/conf/compcon/compcon1987.html#LeeM87
Ho-Ping Tseng
Michael J. Sabin
Edward A. Lee
Fuzzy vector quantazation applied to hidden Markov modeling.
641-644
1987
ICASSP
https://doi.org/10.1109/ICASSP.1987.1169570
conf/icassp/1987
db/conf/icassp/icassp1987.html#TsengSL87
Teresa H.-Y. Meng
Edward A. Lee
David G. Messerschmitt
Least squares computation at arbitrarily high speeds.
1398-1401
1987
ICASSP
https://doi.org/10.1109/ICASSP.1987.1169528
conf/icassp/1987
db/conf/icassp/icassp1987.html#MengLM87
Edward Ashford Lee
David G. Messerschmitt
On quantization effects in state-variable filter implementations.
1719-1722
1985
ICASSP
https://doi.org/10.1109/ICASSP.1985.1168191
conf/icassp/1985
db/conf/icassp/icassp1985.html#LeeM85
Akash Ahmad
Ravi Akella
Ilge Akkaya
Eric Allman
Ilkay Altintas
Aaron D. Ames
Hugo A. Andrade
Gustavo Quiros Araya
D. K. Arvind 0001
Mihail Asavoae
Benjamin Asch
Joshua S. Auerbach
Fahiem Bacchus
David F. Bacon
Kyungmin Bae
Maryam Bagheri 0001
Philip Baldwin
Roberto H. Bamberger
Brian Barrera
John R. Barry
Soroush Bateni
Marco Bekooij
Saddek Bensalem
Albert Benveniste
Chad Berkley
Shuvra S. Bhattacharyya
Jeffery C. Bier
Jeffrey C. Bier
David T. Blaauw
David Broman
Christopher X. Brooks
Manfred Broy
Torleiv H. Bryne
Joseph T. Buck
Christian Buckl
Dai N. Bui
Jerónimo Castrillón
François E. Cellier
Douglas S. Chan
Danica H. Chang
Wan-Teh Chang
Yu-Hsiang Chen
Chih-Hong Cheng
Elaine Cheong
Kenneth H. Chiang
Matthew Chorlian
Malte Clement
Jordi Cortadella
Fabio Cremona
Achal Dave
Arthur Deng
Patricia Derler
Sören Domrös
Peter Donovan
Alexandre Donzé
Schahram Dustdar
Prabal Dutta
Stephen A. Edwards
John C. Eidson
Johan Eker
Shuhei Emoto
Brian L. Evans
Thomas Huining Feng
Amit Fisher
Shanna-Shaye Forbes
José A. B. Fortes
Clément Fournier
Daniel J. Fremont
Peter Fritzson
Kevin Fu
Hauke Fuhrmann
Guang R. Gao
Irina Gaponova
Wanda GassWanda K. Gass
Marc Geilen
Michael Geisinger
Carlo Ghezzi
Christopher D. Gill
Alain Girault
Carole A. Goble
Antoon Goderis
E. Goei
Edwin E. Goei
Andres GoensAndrés Goens
Kees Goossens
Ian Gorton
Nikhil Goyal
Lev Greenberg
Roger B. Grosse
Carlos Guestrin
E. Guntvedt
Liangpeng Guo
Rajarshi Gupta
Soonhoi Ha
Reinhard von Hanxleden
Björn Hartmann
J. Karl Hedrick
H. Heine
Thomas A. Henzinger
Dan Higgins
W.-H. Ho
Wai H. Ho
Stephan Hoeme
William T. Huang
Christopher Hylands
Antonio Iannopollo
Inigo IncerÍñigo Íncer Romeo
Akihito Iwai
Clas A. Jacobson
Efrat Jaeger
Roozbeh Jafari
Mathieu Jan
Jörn W. Janneck
Stanley Jefferson
Erling Rennemo Jellum
Jeff C. Jensen
Chadlia Jerad
Baihong Jin
Xin Jin 0008
Douglas L. Jones
Matthew B. Jones
Joseph M. Kahn
Asawaree Kalavade
Eunsuk Kang
Narges Khakpour
Ehsan Khamespanah
Karim P. Khiar
Hokeun Kim
Sungjun Kim
Kiran
Christoph M. Kirsch
Alois C. Knoll
Sanjeev Kohli
John Kolb
Konstantinos Konstantinides
Philip KoopmanPhil Koopman
Ferenc Kovac
William J. Krause
Ram Krishnamurthy 0001Ram K. Krishnamurthy
John Kubiatowicz
Vijay Kumar 0001
Jacky Kwok
Philip D. Lapsley
Elizabeth Latronico
Luciano Lavagno
Gil Lederman
Bilung Lee
Man-Kit Leung
He Li 0001
Yang Li 0058
Ben Lickly
Shaokai Lin
Cong Liu 0005
Isaac Liu
Jie Liu
Jie Liu 0001
Xiaojun Liu 0001
Yan Liu 0001
Marten Lohstroh
David Lorenzetti
Bertram Ludäscher
Jozsef Ludvig
Ken Lutz
Chris J. Maddison
Sharad Malik
Thomas Mandl 0002
Yatin A. Manerkar
Rahul Mangharam
Florence Maraninchi
Michael Masin
Slobodan Matic
Eleftherios Matsikoudis
James H. McClellan
Benjamin Mehne
Christian Menard
Teresa H. MengTeresa H.-Y. Meng
David G. Messerschmitt
Takashi Miyazaki
Nitesh Mor
Christian Motika
Ali Movaghar-RahimabadiAli Movaghar 0001
Richard M. Murray
Praveen K. Murthy
Walid A. Najjar
Marco Di Natale
Jörg NeidigJoerg Neidig
Stephen Neuendorffer
William C. Newman
Mehrdad Niknami
Thierry S. Nouidui
Victor Nouvelletz
Pierluigi Nuzzo 0002
Roman Obermaisser
Junkwang Oh
Peter Csaba Ölveczky
Maureen P. O'Reilly
Milica Orlandic
Beth Osyk
Peter Palensky
George J. Pappas
Thomas M. Parks
Roberto Passerone
Hiren D. Patel
José Luis Pino
Kristofer S. J. PisterKris Pister
Elizabeth Polgreen
Marc Pouzet
Douglas B. Powell
Erich Prem
Jan M. Rabaey
Markus N. Rabe
Sylvia Ratnasamy
H. John Reekie
Jan Reineke 0001
Markus Rickert 0001
Bert Rodiers
Tajana RosingTajana Simunic Rosing
Anthony Rowe 0001
Harald Ruess
Michael J. Sabin
Sonia R. Sachs
Alberto L. Sangiovanni-Vincentelli
S. Shankar Sastry
Simon Schliecker
Klaus Schneider 0001
Martin Schoeberl
Eelco Scholte
Alexander Schulz-Rosengarten
Martin A. Sehr
Sanjit A. SeshiaSanjit Seshia
Fuzail Shakir
Chris Shaver
Charles P. Shelton
Yasser Shoukry
Aviral Shrivastava
Lee W. Shruben
Ankit Shukla
Joseph Sifakis
Gilbert C. Sih
Marjan Sirjani
Efsane Soyer
Sundararajan Sriram
Christos Stergiou 0001
Felix Suchert
Nicholas Sun
Rohan Tabish
Tassilo Tanneberger
Jing Tao
Ben Taskar
Jürgen Teich
Lothar Thiele
Martin Törngren
Stavros Tripakis
Jeff Tsay
Ho-Ping Tseng
Claire Tuna
Ines Ugalde
Pashootan Vaezipoor
Rafael Valle
Pravin Varaiya
Matthew Viele
Ernesto Wandeler
Edward Wang
Guoqiang Wang
Armin Wasicek
John Wawrzynek
Matthew Weber
Hannes Werthner
David Wessel
Michael Wetter
Maarten Wiggers
Michael C. Williamson
Michael J. Wirthlin
Martin Witte
Marilyn WolfWayne H. Wolf
Hou Seng Wong
Yuhuai Wu
Yuhong Xiong
Mark A. Yoder
Sheng-Jung Yu
Ben Zhang 0003
Danella Zhao
Yang Zhao
Haiyang Zheng
Lizhi C. Zhong
Gang Zhou
Ye Zhou
Qi Zhu 0002
Michael Zimmer 0001
Jia Zou 0002