Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Edward A. Lee
@article{DBLP:journals/corr/abs-2401-09185,
author = {Alexander Schulz{-}Rosengarten and
Akash Ahmad and
Malte Clement and
Reinhard von Hanxleden and
Benjamin Asch and
Marten Lohstroh and
Edward A. Lee and
Gustavo Quiros Araya and
Ankit Shukla},
title = {Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua
Franca},
journal = {CoRR},
volume = {abs/2401.09185},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09185},
doi = {10.48550/ARXIV.2401.09185},
eprinttype = {arXiv},
eprint = {2401.09185},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/MenardLBCDDFLSTKCL23,
author = {Christian Menard and
Marten Lohstroh and
Soroush Bateni and
Matthew Chorlian and
Arthur Deng and
Peter Donovan and
Cl{\'{e}}ment Fournier and
Shaokai Lin and
Felix Suchert and
Tassilo Tanneberger and
Hokeun Kim and
Jer{\'{o}}nimo Castrill{\'{o}}n and
Edward A. Lee},
title = {High-performance Deterministic Concurrency Using Lingua Franca},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {20},
number = {4},
pages = {48:1--48:29},
year = {2023},
url = {https://doi.org/10.1145/3617687},
doi = {10.1145/3617687},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/MenardLBCDDFLSTKCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LeeABLLM23,
author = {Edward A. Lee and
Ravi Akella and
Soroush Bateni and
Shaokai Lin and
Marten Lohstroh and
Christian Menard},
title = {Consistency vs. Availability in Distributed Cyber-Physical Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {5s},
pages = {138:1--138:24},
year = {2023},
url = {https://doi.org/10.1145/3609119},
doi = {10.1145/3609119},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/LeeABLLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LinMLPYJLS23,
author = {Shaokai Lin and
Yatin A. Manerkar and
Marten Lohstroh and
Elizabeth Polgreen and
Sheng{-}Jung Yu and
Chadlia Jerad and
Edward A. Lee and
Sanjit A. Seshia},
title = {Towards Building Verifiable {CPS} using Lingua Franca},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {5s},
pages = {155:1--155:24},
year = {2023},
url = {https://doi.org/10.1145/3609134},
doi = {10.1145/3609134},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/LinMLPYJLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/LohstrohLEB23,
author = {Marten Lohstroh and
Edward A. Lee and
Stephen A. Edwards and
David Broman},
title = {Logical Time for Reactive Software},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {313--318},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587494},
doi = {10.1145/3576914.3587494},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/LohstrohLEB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/JellumLDJWLLS23,
author = {Erling Rennemo Jellum and
Shaokai Lin and
Peter Donovan and
Chadlia Jerad and
Edward Wang and
Marten Lohstroh and
Edward A. Lee and
Martin Schoeberl},
title = {InterPRET: a Time-predictable Multicore Processor},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {331--336},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587497},
doi = {10.1145/3576914.3587497},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/JellumLDJWLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/Schulz-Rosengarten23,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Marten Lohstroh and
Edward A. Lee and
Soroush Bateni},
title = {Polyglot Modal Models through Lingua Franca},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {337--342},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587498},
doi = {10.1145/3576914.3587498},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/Schulz-Rosengarten23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchulzRosengartenHLBL23,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Marten Lohstroh and
Soroush Bateni and
Edward A. Lee},
title = {Polyglot Modal Models through Lingua Franca},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2023, Antwerp, Belgium, April 17-19, 2023},
pages = {1--2},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/DATE56975.2023.10136890},
doi = {10.23919/DATE56975.2023.10136890},
timestamp = {Wed, 07 Jun 2023 22:08:03 +0200},
biburl = {https://dblp.org/rec/conf/date/SchulzRosengartenHLBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/JellumLDSSBOLL23,
author = {Erling Rennemo Jellum and
Shaokai Lin and
Peter Donovan and
Efsane Soyer and
Fuzail Shakir and
Torleiv H. Bryne and
Milica Orlandic and
Marten Lohstroh and
Edward A. Lee},
editor = {Federico Terraneo and
Daniele Cattaneo},
title = {Beyond the Threaded Programming Model on Real-Time Operating Systems},
booktitle = {Fourth Workshop on Next Generation Real-Time Embedded Systems, {NG-RES}
2023, January 18, 2023, Toulouse, France},
series = {OASIcs},
volume = {108},
pages = {3:1--3:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/OASIcs.NG-RES.2023.3},
doi = {10.4230/OASICS.NG-RES.2023.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/JellumLDSSBOLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BateniLWKLML23,
author = {Soroush Bateni and
Marten Lohstroh and
Hou Seng Wong and
Hokeun Kim and
Shaokai Lin and
Christian Menard and
Edward A. Lee},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical
Systems},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {1--11},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316195},
timestamp = {Fri, 15 Dec 2023 12:01:04 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BateniLWKLML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Lee23,
author = {Edward A. Lee},
editor = {Bernhard Steffen},
title = {Deep Neural Networks, Explanations, and Rationality},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {11--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_1},
doi = {10.1007/978-3-031-46002-9\_1},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Lee23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02444,
author = {Christian Menard and
Marten Lohstroh and
Soroush Bateni and
Matthew Chorlian and
Arthur Deng and
Peter Donovan and
Cl{\'{e}}ment Fournier and
Shaokai Lin and
Felix Suchert and
Tassilo Tanneberger and
Hokeun Kim and
Jer{\'{o}}nimo Castrill{\'{o}}n and
Edward A. Lee},
title = {High-Performance Deterministic Concurrency using Lingua Franca},
journal = {CoRR},
volume = {abs/2301.02444},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02444},
doi = {10.48550/ARXIV.2301.02444},
eprinttype = {arXiv},
eprint = {2301.02444},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08906,
author = {Edward A. Lee and
Ravi Akella and
Soroush Bateni and
Shaokai Lin and
Marten Lohstroh and
Christian Menard},
title = {Consistency vs. Availability in Distributed Real-Time Systems},
journal = {CoRR},
volume = {abs/2301.08906},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.08906},
doi = {10.48550/ARXIV.2301.08906},
eprinttype = {arXiv},
eprint = {2301.08906},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-08906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-09597,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Marten Lohstroh and
Soroush Bateni and
Edward A. Lee},
title = {Modal Reactors},
journal = {CoRR},
volume = {abs/2301.09597},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.09597},
doi = {10.48550/ARXIV.2301.09597},
eprinttype = {arXiv},
eprint = {2301.09597},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-09597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04704,
author = {Jacky Kwok and
Marten Lohstroh and
Edward A. Lee},
title = {Optimizing Distributed Reinforcement Learning with Reactor Model and
Lingua Franca},
journal = {CoRR},
volume = {abs/2312.04704},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.04704},
doi = {10.48550/ARXIV.2312.04704},
eprinttype = {arXiv},
eprint = {2312.04704},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-04704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LeeL22,
author = {Edward A. Lee and
Marten Lohstroh},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Generalizing Logical Execution Time},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {160--181},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_8},
doi = {10.1007/978-3-031-22337-2\_8},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LeeL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HanxledenLFSDLB22,
author = {Reinhard von Hanxleden and
Edward A. Lee and
Hauke Fuhrmann and
Alexander Schulz{-}Rosengarten and
S{\"{o}}ren Domr{\"{o}}s and
Marten Lohstroh and
Soroush Bateni and
Christian Menard},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Pragmatics Twelve Years Later: {A} Report on Lingua Franca},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {60--89},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_5},
doi = {10.1007/978-3-031-19756-7\_5},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HanxledenLFSDLB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/Lee22,
author = {Edward A. Lee},
title = {Are We Losing Control?},
booktitle = {Perspectives on Digital Humanism},
pages = {3--7},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-86144-5\_1},
doi = {10.1007/978-3-030-86144-5\_1},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/Lee22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/22/WPLG2022,
editor = {Hannes Werthner and
Erich Prem and
Edward A. Lee and
Carlo Ghezzi},
title = {Perspectives on Digital Humanism},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-86144-5},
doi = {10.1007/978-3-030-86144-5},
isbn = {978-3-030-86143-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/WPLG2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-09555,
author = {Soroush Bateni and
Marten Lohstroh and
Hou Seng Wong and
Rohan Tabish and
Hokeun Kim and
Shaokai Lin and
Christian Menard and
Cong Liu and
Edward A. Lee},
title = {Xronos: Predictable Coordination for Safety-Critical Distributed Embedded
Systems},
journal = {CoRR},
volume = {abs/2207.09555},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.09555},
doi = {10.48550/ARXIV.2207.09555},
eprinttype = {arXiv},
eprint = {2207.09555},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LohstrohMBL21,
author = {Marten Lohstroh and
Christian Menard and
Soroush Bateni and
Edward A. Lee},
title = {Toward a Lingua Franca for Deterministic Concurrent Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {4},
pages = {36:1--36:27},
year = {2021},
url = {https://doi.org/10.1145/3448128},
doi = {10.1145/3448128},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/LohstrohMBL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Lee21,
author = {Edward A. Lee},
title = {Determinism},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5},
pages = {38:1--38:34},
year = {2021},
url = {https://doi.org/10.1145/3453652},
doi = {10.1145/3453652},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/Lee21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/SehrLWUWNHNL21,
author = {Martin A. Sehr and
Marten Lohstroh and
Matthew Weber and
Ines Ugalde and
Martin Witte and
Joerg Neidig and
Stephan Hoeme and
Mehrdad Niknami and
Edward A. Lee},
title = {Programmable Logic Controllers in the Context of Industry 4.0},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {17},
number = {5},
pages = {3523--3533},
year = {2021},
url = {https://doi.org/10.1109/TII.2020.3007764},
doi = {10.1109/TII.2020.3007764},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/SehrLWUWNHNL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LeeL21,
author = {Edward A. Lee and
Marten Lohstroh},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Time for All Programs, Not Just Real-Time Programs},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {213--232},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_15},
doi = {10.1007/978-3-030-89159-6\_15},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LeeL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/WeberL21,
author = {Matthew Weber and
Edward A. Lee},
editor = {Rajiv Pandey and
Marcin Paprzycki and
Nidhi Srivastava and
Subhash Bhalla and
Katarzyna Wasielewska{-}Michniewska},
title = {Semantic Localization for IoT},
booktitle = {Semantic IoT: Theory and Applications - Interoperability, Provenance
and Beyond},
series = {Studies in Computational Intelligence},
volume = {941},
pages = {365--383},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-64619-6\_16},
doi = {10.1007/978-3-030-64619-6\_16},
timestamp = {Sat, 12 Jun 2021 13:41:42 +0200},
biburl = {https://dblp.org/rec/series/sci/WeberL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-07771,
author = {Edward A. Lee and
Soroush Bateni and
Shaokai Lin and
Marten Lohstroh and
Christian Menard},
title = {Quantifying and Generalizing the {CAP} Theorem},
journal = {CoRR},
volume = {abs/2109.07771},
year = {2021},
url = {https://arxiv.org/abs/2109.07771},
eprinttype = {arXiv},
eprint = {2109.07771},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WeberJLSLSS20,
author = {Matthew Weber and
Baihong Jin and
Gil Lederman and
Yasser Shoukry and
Edward A. Lee and
Sanjit Seshia and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Gordian: Formal Reasoning-based Outlier Detection for Secure Localization},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {4},
number = {4},
pages = {43:1--43:27},
year = {2020},
url = {https://doi.org/10.1145/3386568},
doi = {10.1145/3386568},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcps/WeberJLSLSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiot/KimKBL20,
author = {Hokeun Kim and
Eunsuk Kang and
David Broman and
Edward A. Lee},
title = {Resilient Authentication and Authorization for the Internet of Things
(IoT) Using Edge Computing},
journal = {{ACM} Trans. Internet Things},
volume = {1},
number = {1},
pages = {4:1--4:27},
year = {2020},
url = {https://doi.org/10.1145/3375837},
doi = {10.1145/3375837},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tiot/KimKBL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/JanASL20,
author = {Mathieu Jan and
Mihail Asavoae and
Martin Schoeberl and
Edward A. Lee},
title = {Formal Semantics of Predictable Pipelines: a Comparative Study},
booktitle = {25th Asia and South Pacific Design Automation Conference, {ASP-DAC}
2020, Beijing, China, January 13-16, 2020},
pages = {103--108},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ASP-DAC47756.2020.9045351},
doi = {10.1109/ASP-DAC47756.2020.9045351},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/JanASL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SirjaniLK20,
author = {Marjan Sirjani and
Edward A. Lee and
Ehsan Khamespanah},
title = {Model Checking Software in Cyberphysical Systems},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {1017--1026},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.0-138},
doi = {10.1109/COMPSAC48688.2020.0-138},
timestamp = {Tue, 29 Sep 2020 12:30:55 +0200},
biburl = {https://dblp.org/rec/conf/compsac/SirjaniLK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LohstrohMSWCL20,
author = {Marten Lohstroh and
Christian Menard and
Alexander Schulz{-}Rosengarten and
Matthew Weber and
Jer{\'{o}}nimo Castrill{\'{o}}n and
Edward A. Lee},
title = {A Language for Deterministic Coordination Across Multiple Timelines},
booktitle = {Forum for Specification and Design Languages, {FDL} 2020, Kiel, Germany,
September 15-17, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FDL50818.2020.9232939},
doi = {10.1109/FDL50818.2020.9232939},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/LohstrohMSWCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/LedermanRSL20,
author = {Gil Lederman and
Markus N. Rabe and
Sanjit Seshia and
Edward A. Lee},
title = {Learning Heuristics for Quantified Boolean Formulas through Reinforcement
Learning},
booktitle = {8th International Conference on Learning Representations, {ICLR} 2020,
Addis Ababa, Ethiopia, April 26-30, 2020},
publisher = {OpenReview.net},
year = {2020},
url = {https://openreview.net/forum?id=BJluxREKDB},
timestamp = {Thu, 07 May 2020 17:11:47 +0200},
biburl = {https://dblp.org/rec/conf/iclr/LedermanRSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/0001LKSKM20,
author = {Maryam Bagheri and
Edward A. Lee and
Eunsuk Kang and
Marjan Sirjani and
Ehsan Khamespanah and
Ali Movaghar},
title = {Lightweight Formal Method for Robust Routing in Track-based Traffic
Control Systems},
booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
pages = {1--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MEMOCODE51338.2020.9315135},
doi = {10.1109/MEMOCODE51338.2020.9315135},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/0001LKSKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03204,
author = {Pashootan Vaezipoor and
Gil Lederman and
Yuhuai Wu and
Chris J. Maddison and
Roger B. Grosse and
Edward A. Lee and
Sanjit A. Seshia and
Fahiem Bacchus},
title = {Learning Branching Heuristics for Propositional Model Counting},
journal = {CoRR},
volume = {abs/2007.03204},
year = {2020},
url = {https://arxiv.org/abs/2007.03204},
eprinttype = {arXiv},
eprint = {2007.03204},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LohstrohKEJOL19,
author = {Marten Lohstroh and
Hokeun Kim and
John C. Eidson and
Chadlia Jerad and
Beth Osyk and
Edward A. Lee},
title = {On Enabling Technologies for the Internet of Important Things},
journal = {{IEEE} Access},
volume = {7},
pages = {27244--27256},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2901509},
doi = {10.1109/ACCESS.2019.2901509},
timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LohstrohKEJOL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lee19,
author = {Edward A. Lee},
title = {Modeling in engineering and science},
journal = {Commun. {ACM}},
volume = {62},
number = {1},
pages = {35--36},
year = {2019},
url = {https://doi.org/10.1145/3231590},
doi = {10.1145/3231590},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Lee19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KimLD19,
author = {Hokeun Kim and
Edward A. Lee and
Schahram Dustdar},
title = {Creating a Resilient IoT With Edge Computing},
journal = {Computer},
volume = {52},
number = {8},
pages = {43--53},
year = {2019},
url = {https://doi.org/10.1109/MC.2018.2888768},
doi = {10.1109/MC.2018.2888768},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/KimLD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CremonaLBLMT19,
author = {Fabio Cremona and
Marten Lohstroh and
David Broman and
Edward A. Lee and
Michael Masin and
Stavros Tripakis},
title = {Hybrid co-simulation: it's about time},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1655--1679},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0633-6},
doi = {10.1007/S10270-017-0633-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CremonaLBLMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/LohstrohRGDCLS19,
author = {Marten Lohstroh and
{\'{I}}{\~{n}}igo {\'{I}}ncer Romeo and
Andr{\'{e}}s Goens and
Patricia Derler and
Jer{\'{o}}nimo Castrill{\'{o}}n and
Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Roger D. Chamberlain and
Martin Edin Grimheden and
Walid Taha},
title = {Reactors: {A} Deterministic Model for Composable Reactive Systems},
booktitle = {Cyber Physical Systems. Model-Based Design - 9th International Workshop,
CyPhy 2019, and 15th International Workshop, {WESE} 2019, New York
City, NY, USA, October 17-18, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11971},
pages = {59--85},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41131-2\_4},
doi = {10.1007/978-3-030-41131-2\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/LohstrohRGDCLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LohstrohSGWGSL19,
author = {Marten Lohstroh and
Martin Schoeberl and
Andr{\'{e}}s Goens and
Armin Wasicek and
Christopher D. Gill and
Marjan Sirjani and
Edward A. Lee},
title = {Actors Revisited for Time-Critical Systems},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019,
{DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
pages = {152},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316781.3323469},
doi = {10.1145/3316781.3323469},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LohstrohSGWGSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LohstrohSJWL19,
author = {Marten Lohstroh and
Martin Schoeberl and
Mathieu Jan and
Edward Wang and
Edward A. Lee},
title = {Programs with ironclad timing guarantees: work-in-progress},
booktitle = {Proceedings of the International Conference on Embedded Software Companion,
New York, NY, USA, October 13-18, 2019},
pages = {1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3349568.3351553},
doi = {10.1145/3349568.3351553},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/LohstrohSJWL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LohstrohL19,
author = {Marten Lohstroh and
Edward A. Lee},
editor = {Tom J. Kazmierski and
Reinhard von Hanxleden and
Terrence S. T. Mak},
title = {Deterministic Actors},
booktitle = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
United Kingdom, September 2-4, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FDL.2019.8876922},
doi = {10.1109/FDL.2019.8876922},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/LohstrohL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Lee19,
author = {Edward A. Lee},
editor = {Tom{\'{a}}s Bures and
Bradley R. Schmerl and
John S. Fitzgerald and
Danny Weyns},
title = {A fundamental look at models and intelligence: abstract of keynote},
booktitle = {Proceedings of the 5th International Workshop on Software Engineering
for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC,
Canada, May 28, 2019},
pages = {1},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEsCPS.2019.00007},
doi = {10.1109/SESCPS.2019.00007},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/Lee19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispd/Lee19,
author = {Edward A. Lee},
editor = {Ismail Bustany and
William Swartz},
title = {Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli},
booktitle = {Proceedings of the 2019 International Symposium on Physical Design,
{ISPD} 2019, San Francisco, CA, USA, April 14-17, 2019},
pages = {126},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3299902.3320432},
doi = {10.1145/3299902.3320432},
timestamp = {Thu, 11 Apr 2019 09:48:44 +0200},
biburl = {https://dblp.org/rec/conf/ispd/Lee19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/WeberAL19,
author = {Matthew Weber and
Ravi Akella and
Edward A. Lee},
title = {Service Discovery for the Connected Car with Semantic Accessors},
booktitle = {2019 {IEEE} Intelligent Vehicles Symposium, {IV} 2019, Paris, France,
June 9-12, 2019},
pages = {2417--2422},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IVS.2019.8813884},
doi = {10.1109/IVS.2019.8813884},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ivs/WeberAL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Lee19,
author = {Edward A. Lee},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {Observation and Interaction - Invited Paper},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {31--42},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_2},
doi = {10.1007/978-3-030-13435-8\_2},
timestamp = {Tue, 03 Mar 2020 11:22:06 +0100},
biburl = {https://dblp.org/rec/conf/lata/Lee19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LohstrohL19,
author = {Marten Lohstroh and
Edward A. Lee},
title = {Work-in-Progress: Real-Time Reactors in {C}},
booktitle = {{IEEE} Real-Time Systems Symposium, {RTSS} 2019, Hong Kong, SAR, China,
December 3-6, 2019},
pages = {572--575},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RTSS46320.2019.00067},
doi = {10.1109/RTSS46320.2019.00067},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/LohstrohL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lee18,
author = {Edward A. Lee},
title = {Is software the result of top-down intelligent design or evolution?},
journal = {Commun. {ACM}},
volume = {61},
number = {9},
pages = {34--36},
year = {2018},
url = {https://doi.org/10.1145/3213763},
doi = {10.1145/3213763},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lee18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/Lee18,
author = {Edward A. Lee},
title = {What Is Real Time Computing? {A} Personal View},
journal = {{IEEE} Des. Test},
volume = {35},
number = {2},
pages = {64--72},
year = {2018},
url = {https://doi.org/10.1109/MDAT.2017.2766560},
doi = {10.1109/MDAT.2017.2766560},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/Lee18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BagheriSKKAML18,
author = {Maryam Bagheri and
Marjan Sirjani and
Ehsan Khamespanah and
Narges Khakpour and
Ilge Akkaya and
Ali Movaghar and
Edward A. Lee},
title = {Coordinated actor model of self-adaptive track-based traffic control
systems},
journal = {J. Syst. Softw.},
volume = {143},
pages = {116--139},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.05.034},
doi = {10.1016/J.JSS.2018.05.034},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BagheriSKKAML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BrooksJKLLNOW18,
author = {Christopher X. Brooks and
Chadlia Jerad and
Hokeun Kim and
Edward A. Lee and
Marten Lohstroh and
Victor Nouvelletz and
Beth Osyk and
Matthew Weber},
title = {A Component Architecture for the Internet of Things},
journal = {Proc. {IEEE}},
volume = {106},
number = {9},
pages = {1527--1542},
year = {2018},
url = {https://doi.org/10.1109/JPROC.2018.2812598},
doi = {10.1109/JPROC.2018.2812598},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BrooksJKLLNOW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/LeeS18,
author = {Edward A. Lee and
Marjan Sirjani},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {What Good are Models?},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {3--31},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_1},
doi = {10.1007/978-3-030-02146-7\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/LeeS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Lee18,
author = {Edward A. Lee},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Models of Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {17--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_2},
doi = {10.1007/978-3-030-00151-3\_2},
timestamp = {Sat, 09 Apr 2022 12:48:56 +0200},
biburl = {https://dblp.org/rec/conf/formats/Lee18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icii/JeradL18,
author = {Chadlia Jerad and
Edward A. Lee},
title = {Deterministic Timing for the Industrial Internet of Things},
booktitle = {{IEEE} International Conference on Industrial Internet, {ICII} 2018,
Seattle, WA, USA, October 21-23, 2018},
pages = {13--22},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICII.2018.00010},
doi = {10.1109/ICII.2018.00010},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icii/JeradL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CremonaLBLMT18,
author = {Fabio Cremona and
Marten Lohstroh and
David Broman and
Edward A. Lee and
Michael Masin and
Stavros Tripakis},
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Hybrid Co-simulation: It's About Time},
booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
pages = {368},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372.3242896},
doi = {10.1145/3239372.3242896},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CremonaLBLMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ZhangJRWL18,
author = {Ben Zhang and
Xin Jin and
Sylvia Ratnasamy and
John Wawrzynek and
Edward A. Lee},
editor = {Sergey Gorinsky and
J{\'{a}}nos Tapolcai},
title = {AWStream: adaptive wide-area streaming analytics},
booktitle = {Proceedings of the 2018 Conference of the {ACM} Special Interest Group
on Data Communication, {SIGCOMM} 2018, Budapest, Hungary, August 20-25,
2018},
pages = {236--252},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230543.3230554},
doi = {10.1145/3230543.3230554},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/ZhangJRWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03923,
author = {{\'{I}}{\~{n}}igo {\'{I}}ncer Romeo and
Marten Lohstroh and
Antonio Iannopollo and
Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A Metric for Linear Temporal Logic},
journal = {CoRR},
volume = {abs/1812.03923},
year = {2018},
url = {http://arxiv.org/abs/1812.03923},
eprinttype = {arXiv},
eprint = {1812.03923},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/KimL17,
author = {Hokeun Kim and
Edward A. Lee},
title = {Authentication and Authorization for the Internet of Things},
journal = {{IT} Prof.},
volume = {19},
number = {5},
pages = {27--33},
year = {2017},
url = {https://doi.org/10.1109/MITP.2017.3680960},
doi = {10.1109/MITP.2017.3680960},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/KimL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BagheriKSML17,
author = {Maryam Bagheri and
Ehsan Khamespanah and
Marjan Sirjani and
Ali Movaghar and
Edward A. Lee},
title = {Runtime compositional analysis of track-based traffic control systems},
journal = {{SIGBED} Rev.},
volume = {14},
number = {3},
pages = {38--39},
year = {2017},
url = {https://doi.org/10.1145/3166227.3166233},
doi = {10.1145/3166227.3166233},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/BagheriKSML17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/KimWL17,
author = {Hokeun Kim and
Armin Wasicek and
Edward A. Lee},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {An Integrated Simulation Tool for Computer Architecture and Cyber-Physical
Systems},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International
Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11267},
pages = {83--93},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-17910-6\_7},
doi = {10.1007/978-3-030-17910-6\_7},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/KimWL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LohstrohKL17,
author = {Marten Lohstroh and
Hokeun Kim and
Edward A. Lee},
title = {Contextual callbacks for resource discovery and trust negotiation
on the internet of things: work-in-progress},
booktitle = {Proceedings of the Thirteenth {ACM} International Conference on Embedded
Software 2017 Companion, {EMSOFT} 2017 Companion, Seoul, Republic
of Korea, October 15-20, 2017},
pages = {14:1--14:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3125503.3125629},
doi = {10.1145/3125503.3125629},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/LohstrohKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdi/KimKLB17,
author = {Hokeun Kim and
Eunsuk Kang and
Edward A. Lee and
David Broman},
editor = {Tarek F. Abdelzaher and
P. R. Kumar and
Alejandro P. Buchmann and
Chenyang Lu},
title = {A Toolkit for Construction of Authorization Service Infrastructure
for the Internet of Things},
booktitle = {Proceedings of the Second International Conference on Internet-of-Things
Design and Implementation, IoTDI 2017, Pittsburgh, PA, USA, April
18-21, 2017},
pages = {147--158},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3054977.3054980},
doi = {10.1145/3054977.3054980},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iotdi/KimKLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LeeRZ17,
author = {Edward A. Lee and
Jan Reineke and
Michael Zimmer},
title = {Abstract {PRET} Machines},
booktitle = {2017 {IEEE} Real-Time Systems Symposium, {RTSS} 2017, Paris, France,
December 5-8, 2017},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTSS.2017.00041},
doi = {10.1109/RTSS.2017.00041},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LeeRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/KimKBL17,
author = {Hokeun Kim and
Eunsuk Kang and
David Broman and
Edward A. Lee},
editor = {M. Rasit Eskicioglu},
title = {An Architectural Mechanism for Resilient IoT Services},
booktitle = {Proceedings of the 1st {ACM} Workshop on the Internet of Safe Things,
SafeThings@SenSys 2017, Delft, The Netherlands, November 5, 2017},
pages = {8--13},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3137003.3137010},
doi = {10.1145/3137003.3137010},
timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
biburl = {https://dblp.org/rec/conf/sensys/KimKBL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChengLR17,
author = {Chih{-}Hong Cheng and
Edward A. Lee and
Harald Ruess},
editor = {Axel Legay and
Tiziana Margaria},
title = {autoCode4: Structural Controller Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {398--404},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_23},
doi = {10.1007/978-3-662-54577-5\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChengLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/alr/EmotoAL16,
author = {Shuhei Emoto and
Ilge Akkaya and
Edward A. Lee},
title = {Information seeking and model predictive control of a cooperative
multi-robot system},
journal = {Artif. Life Robotics},
volume = {21},
number = {4},
pages = {393--398},
year = {2016},
url = {https://doi.org/10.1007/s10015-016-0315-4},
doi = {10.1007/S10015-016-0315-4},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/alr/EmotoAL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/MorZKCGSLAWLK16,
author = {Nitesh Mor and
Ben Zhang and
John Kolb and
Douglas S. Chan and
Nikhil Goyal and
Nicholas Sun and
Ken Lutz and
Eric Allman and
John Wawrzynek and
Edward A. Lee and
John Kubiatowicz},
title = {Toward a Global Data Infrastructure},
journal = {{IEEE} Internet Comput.},
volume = {20},
number = {3},
pages = {54--62},
year = {2016},
url = {https://doi.org/10.1109/MIC.2016.51},
doi = {10.1109/MIC.2016.51},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/internet/MorZKCGSLAWLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AkkayaDEL16,
author = {Ilge Akkaya and
Patricia Derler and
Shuhei Emoto and
Edward A. Lee},
title = {Systems Engineering for Industrial Cyber-Physical Systems Using Aspects},
journal = {Proc. {IEEE}},
volume = {104},
number = {5},
pages = {997--1012},
year = {2016},
url = {https://doi.org/10.1109/JPROC.2015.2512265},
doi = {10.1109/JPROC.2015.2512265},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/AkkayaDEL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Lee16,
author = {Edward A. Lee},
title = {Fundamental Limits of Cyber-Physical Systems Modeling},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {1},
number = {1},
pages = {3:1--3:26},
year = {2016},
url = {https://doi.org/10.1145/2912149},
doi = {10.1145/2912149},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/Lee16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/AkkayaLL16,
author = {Ilge Akkaya and
Yan Liu and
Edward A. Lee},
title = {Uncertainty Analysis of Middleware Services for Streaming Smart Grid
Applications},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {9},
number = {2},
pages = {174--185},
year = {2016},
url = {https://doi.org/10.1109/TSC.2015.2456888},
doi = {10.1109/TSC.2015.2456888},
timestamp = {Sat, 22 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/AkkayaLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BagheriAKKSML16,
author = {Maryam Bagheri and
Ilge Akkaya and
Ehsan Khamespanah and
Narges Khakpour and
Marjan Sirjani and
Ali Movaghar and
Edward A. Lee},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Coordinated Actors for Reliable Self-adaptive Systems},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {241--259},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_15},
doi = {10.1007/978-3-319-57666-4\_15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BagheriAKKSML16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/KimWML16,
author = {Hokeun Kim and
Armin Wasicek and
Benjamin Mehne and
Edward A. Lee},
editor = {Muhammad Younas and
Irfan Awan and
Winston Seah},
title = {A Secure Network Architecture for the Internet of Things Based on
Local Authorization Entities},
booktitle = {4th {IEEE} International Conference on Future Internet of Things and
Cloud, FiCloud 2016, Vienna, Austria, August 22-24, 2016},
pages = {114--122},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/FiCloud.2016.24},
doi = {10.1109/FICLOUD.2016.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/KimWML16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/LohstrohBL16,
author = {Marten Lohstroh and
Christopher X. Brooks and
Edward A. Lee},
title = {Demo Abstract: Building IoT Applications with Accessors in CapeCode},
booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2016, Vienna, Austria, April 11-14, 2016},
pages = {41:1},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICCPS.2016.7479096},
doi = {10.1109/ICCPS.2016.7479096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/LohstrohBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdi/AkkayaFVDLS16,
author = {Ilge Akkaya and
Daniel J. Fremont and
Rafael Valle and
Alexandre Donz{\'{e}} and
Edward A. Lee and
Sanjit A. Seshia},
title = {Control Improvisation with Probabilistic Temporal Specifications},
booktitle = {First {IEEE} International Conference on Internet-of-Things Design
and Implementation, IoTDI 2016, Berlin, Germany, April 4-8, 2016},
pages = {187--198},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/IoTDI.2015.33},
doi = {10.1109/IOTDI.2015.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iotdi/AkkayaFVDLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/CremonaLBNLT16,
author = {Fabio Cremona and
Marten Lohstroh and
David Broman and
Marco Di Natale and
Edward A. Lee and
Stavros Tripakis},
title = {Step revision in hybrid Co-simulation with {FMI}},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {173--183},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797762},
doi = {10.1109/MEMCOD.2016.7797762},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/CremonaLBNLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/EmotoAL16,
author = {Shuhei Emoto and
Ilge Akkaya and
Edward A. Lee},
title = {Cooperative multi-robot information acquisition based on distributed
robust model predictive control},
booktitle = {2016 {IEEE} International Conference on Robotics and Biomimetics,
{ROBIO} 2016, Qingdao, China, December 3-7, 2016},
pages = {874--879},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ROBIO.2016.7866434},
doi = {10.1109/ROBIO.2016.7866434},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/robio/EmotoAL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CremonaLTBL16,
author = {Fabio Cremona and
Marten Lohstroh and
Stavros Tripakis and
Christopher X. Brooks and
Edward A. Lee},
editor = {Sascha Ossowski},
title = {{FIDE:} an {FMI} integrated development environment},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1759--1766},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851677},
doi = {10.1145/2851613.2851677},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CremonaLTBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/LeeZ16,
author = {Edward A. Lee and
Danella Zhao},
editor = {Karan S. Bhatia and
Massimo Alioto and
Danella Zhao and
Andrew Marshall and
Ramalingam Sridhar},
title = {Plenary {I:} The Internet of important things},
booktitle = {29th {IEEE} International System-on-Chip Conference, {SOCC} 2016,
Seattle, WA, USA, September 6-9, 2016},
pages = {1--3},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SOCC.2016.7905418},
doi = {10.1109/SOCC.2016.7905418},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/socc/LeeZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/LatronicoLLSWW15,
author = {Elizabeth Latronico and
Edward A. Lee and
Marten Lohstroh and
Chris Shaver and
Armin Wasicek and
Matthew Weber},
title = {A Vision of Swarmlets},
journal = {{IEEE} Internet Comput.},
volume = {19},
number = {2},
pages = {20--28},
year = {2015},
url = {https://doi.org/10.1109/MIC.2015.17},
doi = {10.1109/MIC.2015.17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/LatronicoLLSWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/Lee15,
author = {Edward A. Lee},
title = {The Past, Present and Future of Cyber-Physical Systems: {A} Focus
on Models},
journal = {Sensors},
volume = {15},
number = {3},
pages = {4837--4869},
year = {2015},
url = {https://doi.org/10.3390/s150304837},
doi = {10.3390/S150304837},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/Lee15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MatsikoudisL15,
author = {Eleftherios Matsikoudis and
Edward A. Lee},
title = {The fixed-point theory of strictly causal functions},
journal = {Theor. Comput. Sci.},
volume = {574},
pages = {39--77},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.01.036},
doi = {10.1016/J.TCS.2015.01.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MatsikoudisL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ZimmerHL15,
author = {Michael Zimmer and
J. Karl Hedrick and
Edward A. Lee},
title = {Ramifications of software implementation and deployment: {A} case
study on yaw moment controller design},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {2014--2019},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171029},
doi = {10.1109/ACC.2015.7171029},
timestamp = {Fri, 03 Dec 2021 13:03:59 +0100},
biburl = {https://dblp.org/rec/conf/amcc/ZimmerHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Lee15,
author = {Edward A. Lee},
editor = {{\"{O}}zcan {\"{O}}zturk and
Kemal Ebcioglu and
Sandhya Dwarkadas},
title = {Architectural Support for Cyber-Physical Systems},
booktitle = {Proceedings of the Twentieth International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2015, Istanbul, Turkey, March 14-18, 2015},
pages = {1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2694344.2694375},
doi = {10.1145/2694344.2694375},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Lee15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WasicekLKGIA15,
author = {Armin Wasicek and
Edward A. Lee and
Hokeun Kim and
Lev Greenberg and
Akihito Iwai and
Ilge Akkaya},
title = {System simulation from operational data},
booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
CA, USA, June 7-11, 2015},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2744769.2747944},
doi = {10.1145/2744769.2747944},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WasicekLKGIA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LeeNNW15,
author = {Edward A. Lee and
Mehrdad Niknami and
Thierry S. Nouidui and
Michael Wetter},
editor = {Alain Girault and
Nan Guan},
title = {Modeling and simulating cyber-physical systems using CyPhySim},
booktitle = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
Amsterdam, Netherlands, October 4-9, 2015},
pages = {115--124},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMSOFT.2015.7318266},
doi = {10.1109/EMSOFT.2015.7318266},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/LeeNNW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotcloud/ZhangMKCLAWLK15,
author = {Ben Zhang and
Nitesh Mor and
John Kolb and
Douglas S. Chan and
Ken Lutz and
Eric Allman and
John Wawrzynek and
Edward A. Lee and
John Kubiatowicz},
editor = {Irfan Ahmad and
Tim Kraska},
title = {The Cloud is Not Enough: Saving IoT from the Cloud},
booktitle = {7th {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud '15,
Santa Clara, CA, USA, July 6-7, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/hotcloud15/workshop-program/presentation/zhang},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotcloud/ZhangMKCLAWLK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotstorage/ZhangMKCLAWLK15,
author = {Ben Zhang and
Nitesh Mor and
John Kolb and
Douglas S. Chan and
Ken Lutz and
Eric Allman and
John Wawrzynek and
Edward A. Lee and
John Kubiatowicz},
editor = {Kenneth Salem and
John D. Strunk},
title = {The Cloud is Not Enough: Saving IoT from the Cloud},
booktitle = {7th {USENIX} Workshop on Hot Topics in Storage and File Systems, HotStorage
2015, Santa Clara, CA, USA, July 6-7, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/hotcloud15/workshop-program/presentation/zhang},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotstorage/ZhangMKCLAWLK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BromanGLMTW15,
author = {David Broman and
Lev Greenberg and
Edward A. Lee and
Michael Masin and
Stavros Tripakis and
Michael Wetter},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Requirements for hybrid cosimulation standards},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {179--188},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728629},
doi = {10.1145/2728606.2728629},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BromanGLMTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BrooksLLNW15,
author = {Christopher X. Brooks and
Edward A. Lee and
David Lorenzetti and
Thierry S. Nouidui and
Michael Wetter},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {CyPhySim: a cyber-physical systems simulator},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {301--302},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728641},
doi = {10.1145/2728606.2728641},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BrooksLLNW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/WeberL15,
author = {Matthew Weber and
Edward A. Lee},
editor = {Suman Nath and
Bhaskar Krishnamachari and
Anthony Rowe},
title = {A model for semantic localization},
booktitle = {Proceedings of the 14th International Conference on Information Processing
in Sensor Networks, {IPSN} 2015, Seattle, WA, USA, April 14-16, 2015},
pages = {350--351},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737095.2742933},
doi = {10.1145/2737095.2742933},
timestamp = {Tue, 23 May 2023 07:17:06 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/WeberL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/KimBLZSO15,
author = {Hokeun Kim and
David Broman and
Edward A. Lee and
Michael Zimmer and
Aviral Shrivastava and
Junkwang Oh},
title = {A predictable and command-level priority-based {DRAM} controller for
mixed-criticality systems},
booktitle = {21st {IEEE} Real-Time and Embedded Technology and Applications Symposium,
Seattle, WA, USA, April 13-16, 2015},
pages = {317--326},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTAS.2015.7108455},
doi = {10.1109/RTAS.2015.7108455},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/KimBLZSO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LohstrohL15,
author = {Marten Lohstroh and
Edward A. Lee},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {An Interface Theory for the Internet of Things},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {20--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_2},
doi = {10.1007/978-3-319-22969-0\_2},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LohstrohL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AkkayaFVDLS15,
author = {Ilge Akkaya and
Daniel J. Fremont and
Rafael Valle and
Alexandre Donz{\'{e}} and
Edward A. Lee and
Sanjit A. Seshia},
title = {Control Improvisation with Probabilistic Temporal Specifications},
journal = {CoRR},
volume = {abs/1511.02279},
year = {2015},
url = {http://arxiv.org/abs/1511.02279},
eprinttype = {arXiv},
eprint = {1511.02279},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AkkayaFVDLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/Lee14,
author = {Edward A. Lee},
title = {Constructive Models of Discrete and Continuous Physical Phenomena},
journal = {{IEEE} Access},
volume = {2},
pages = {797--821},
year = {2014},
url = {https://doi.org/10.1109/ACCESS.2014.2345759},
doi = {10.1109/ACCESS.2014.2345759},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/Lee14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/LeeHKRWWRPSSBDFGTJJKMPMR14,
author = {Edward A. Lee and
Bj{\"{o}}rn Hartmann and
John Kubiatowicz and
Tajana Simunic Rosing and
John Wawrzynek and
David Wessel and
Jan M. Rabaey and
Kris Pister and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia and
David T. Blaauw and
Prabal Dutta and
Kevin Fu and
Carlos Guestrin and
Ben Taskar and
Roozbeh Jafari and
Douglas L. Jones and
Vijay Kumar and
Rahul Mangharam and
George J. Pappas and
Richard M. Murray and
Anthony Rowe},
title = {The Swarm at the Edge of the Cloud},
journal = {{IEEE} Des. Test},
volume = {31},
number = {3},
pages = {8--20},
year = {2014},
url = {https://doi.org/10.1109/MDAT.2014.2314600},
doi = {10.1109/MDAT.2014.2314600},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/LeeHKRWWRPSSBDFGTJJKMPMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/GuoZNPSL14,
author = {Liangpeng Guo and
Qi Zhu and
Pierluigi Nuzzo and
Roberto Passerone and
Alberto L. Sangiovanni{-}Vincentelli and
Edward A. Lee},
editor = {Radu Marculescu and
Gabriela Nicolescu},
title = {Metronomy: {A} function-architecture co-simulation framework for timing
verification of cyber-physical systems},
booktitle = {2014 International Conference on Hardware/Software Codesign and System
Synthesis, {CODES+ISSS} 2014, Uttar Pradesh, India, October 12-17,
2014},
pages = {24:1--24:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2656075.2656093},
doi = {10.1145/2656075.2656093},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/GuoZNPSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/LeeP14,
author = {Edward A. Lee and
Peter Palensky},
title = {Message from the Chairs},
booktitle = {Workshop on Modeling and Simulation of Cyber-Physical Energy Systems,
MSCPES@CPSWeek 2014, Berlin, Germany, April 14, 2014},
pages = {1--2},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MSCPES.2014.6842393},
doi = {10.1109/MSCPES.2014.6842393},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/LeeP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WasicekDL14,
author = {Armin Wasicek and
Patricia Derler and
Edward A. Lee},
title = {Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {21:1--21:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2593095},
doi = {10.1145/2593069.2593095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/WasicekDL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/Lee14,
author = {Edward A. Lee},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Constructive Collisions},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {161--176},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_11},
doi = {10.1007/978-3-642-54848-2\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/Lee14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Lee14,
author = {Edward A. Lee},
title = {It's about Time: Leveraging Clock Synchronization for Distributed
Real-Time Programming},
booktitle = {17th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2014, Reno, NV, USA, June
10-12, 2014},
pages = {213},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISORC.2014.63},
doi = {10.1109/ISORC.2014.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Lee14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reconfig/Lee14,
author = {Edward A. Lee},
title = {Keynote - It's about time},
booktitle = {2014 International Conference on ReConFigurable Computing and FPGAs,
ReConFig14, Cancun, Mexico, December 8-10, 2014},
pages = {1},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ReConFig.2014.7032479},
doi = {10.1109/RECONFIG.2014.7032479},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/reconfig/Lee14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZimmerBSL14,
author = {Michael Zimmer and
David Broman and
Chris Shaver and
Edward A. Lee},
title = {FlexPRET: {A} processor platform for mixed-criticality systems},
booktitle = {20th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2014, Berlin, Germany, April 15-17, 2014},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTAS.2014.6925994},
doi = {10.1109/RTAS.2014.6925994},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ZimmerBSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sui/ZhangCTDLLH14,
author = {Ben Zhang and
Yu{-}Hsiang Chen and
Claire Tuna and
Achal Dave and
Yang Li and
Edward A. Lee and
Bj{\"{o}}rn Hartmann},
editor = {Andy Wilson and
Frank Steinicke and
Evan A. Suma and
Wolfgang Stuerzlinger},
title = {{HOBS:} head orientation-based selection in physical spaces},
booktitle = {Proceedings of the 2nd {ACM} Symposium on Spatial User Interaction,
{SUI} 2014, Honolulu, HI, USA, October 4-5, 2014},
pages = {17--25},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2659766.2659773},
doi = {10.1145/2659766.2659773},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sui/ZhangCTDLLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/TripakisSSL13,
author = {Stavros Tripakis and
Christos Stergiou and
Chris Shaver and
Edward A. Lee},
title = {A modular formal semantics for Ptolemy},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {834--881},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000278},
doi = {10.1017/S0960129512000278},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/TripakisSSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TripakisBGRL13,
author = {Stavros Tripakis and
Dai N. Bui and
Marc Geilen and
Bert Rodiers and
Edward A. Lee},
title = {Compositionality in synchronous data flow: Modular code generation
from hierarchical {SDF} graphs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {3},
pages = {83:1--83:26},
year = {2013},
url = {https://doi.org/10.1145/2442116.2442133},
doi = {10.1145/2442116.2442133},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/TripakisBGRL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/KimGLS13,
author = {Hokeun Kim and
Liangpeng Guo and
Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A tool integration approach for architectural exploration of aircraft
electric power systems},
booktitle = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
pages = {38--43},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CPSNA.2013.6614244},
doi = {10.1109/CPSNA.2013.6614244},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsna/KimGLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/FisherJLMSS13,
author = {Amit Fisher and
Clas A. Jacobson and
Edward A. Lee and
Richard M. Murray and
Alberto L. Sangiovanni{-}Vincentelli and
Eelco Scholte},
editor = {Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Daniel Krob and
Clotilde Marchal},
title = {Industrial Cyber-Physical Systems - iCyPhy},
booktitle = {Complex Systems Design {\&} Management, Proceedings of the Fourth
International Conference on Complex Systems Design {\&} Management
CSD{\&}M 2013, Paris, France, December 4-6, 2013},
pages = {21--37},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02812-5\_2},
doi = {10.1007/978-3-319-02812-5\_2},
timestamp = {Wed, 24 May 2017 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/csdm/FisherJLMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BromanBGLMTW13,
author = {David Broman and
Christopher X. Brooks and
Lev Greenberg and
Edward A. Lee and
Michael Masin and
Stavros Tripakis and
Michael Wetter},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Determinate composition of FMUs for co-simulation},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {2:1--2:12},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658580},
doi = {10.1109/EMSOFT.2013.6658580},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BromanBGLMTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MatsikoudisSL13,
author = {Eleftherios Matsikoudis and
Christos Stergiou and
Edward A. Lee},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {On the schedulability of real-time discrete-event systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {12:1--12:15},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658590},
doi = {10.1109/EMSOFT.2013.6658590},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/MatsikoudisSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BuiL13,
author = {Dai N. Bui and
Edward A. Lee},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {StreaMorph: {A} case for synthesizing energy-efficient adaptive programs
using high-level abstractions},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {20:1--20:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658598},
doi = {10.1109/EMSOFT.2013.6658598},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BuiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/MatsikoudisL13,
author = {Eleftherios Matsikoudis and
Edward A. Lee},
editor = {Leszek Gasieniec and
Frank Wolter},
title = {An Axiomatization of the Theory of Generalized Ultrametric Semilattices
of Linear Signals},
booktitle = {Fundamentals of Computation Theory - 19th International Symposium,
{FCT} 2013, Liverpool, UK, August 19-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8070},
pages = {248--258},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40164-0\_24},
doi = {10.1007/978-3-642-40164-0\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/MatsikoudisL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MatsikoudisL13,
author = {Eleftherios Matsikoudis and
Edward A. Lee},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {On Fixed Points of Strictly Causal Functions},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {183--197},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_13},
doi = {10.1007/978-3-642-40229-6\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/MatsikoudisL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/StergiouTML13,
author = {Christos Stergiou and
Stavros Tripakis and
Eleftherios Matsikoudis and
Edward A. Lee},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {On the Verification of Timed Discrete-Event Models},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {213--227},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_15},
doi = {10.1007/978-3-642-40229-6\_15},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/StergiouTML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DerlerLTT13,
author = {Patricia Derler and
Edward A. Lee and
Stavros Tripakis and
Martin T{\"{o}}rngren},
editor = {Chenyang Lu and
P. R. Kumar and
Radu Stoleru},
title = {Cyber-physical system design contracts},
booktitle = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
(with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
8-11, 2013},
pages = {109--118},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502524.2502540},
doi = {10.1145/2502524.2502540},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/DerlerLTT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/AkkayaLLG13,
author = {Ilge Akkaya and
Yan Liu and
Edward A. Lee and
Ian Gorton},
editor = {Karl M. G{\"{o}}schka and
Jos{\'{e}} Orlando Pereira and
Patrick C. K. Hung},
title = {Modeling uncertainty for middleware-based streaming power grid applications},
booktitle = {Proceedings of the 8th Workshop on Middleware for Next Generation
Internet Computing, MW4NextGen 2013, Beijing, China, December 9-13,
2013},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2541608.2541612},
doi = {10.1145/2541608.2541612},
timestamp = {Tue, 21 Mar 2023 21:00:36 +0100},
biburl = {https://dblp.org/rec/conf/middleware/AkkayaLLG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/TripakisSBL13,
author = {Stavros Tripakis and
Christos Stergiou and
Manfred Broy and
Edward A. Lee},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Error-Completion in Interface Theories},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {358--375},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_22},
doi = {10.1007/978-3-642-39176-7\_22},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/TripakisSBL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MatsikoudisL13,
author = {Eleftherios Matsikoudis and
Edward A. Lee},
editor = {David Baelde and
Arnaud Carayol},
title = {The Fixed-Point Theory of Strictly Contracting Functions on Generalized
Ultrametric Semilattices},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {56--71},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.5},
doi = {10.4204/EPTCS.126.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/MatsikoudisL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengL13,
author = {Chih{-}Hong Cheng and
Edward A. Lee},
title = {Numerical {LTL} Synthesis for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1307.3722},
year = {2013},
url = {http://arxiv.org/abs/1307.3722},
eprinttype = {arXiv},
eprint = {1307.3722},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/DerlerLV12,
author = {Patricia Derler and
Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Modeling Cyber-Physical Systems},
journal = {Proc. {IEEE}},
volume = {100},
number = {1},
pages = {13--28},
year = {2012},
url = {https://doi.org/10.1109/JPROC.2011.2160929},
doi = {10.1109/JPROC.2011.2160929},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/DerlerLV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/EidsonLMSZ12,
author = {John C. Eidson and
Edward A. Lee and
Slobodan Matic and
Sanjit A. Seshia and
Jia Zou},
title = {Distributed Real-Time Software for Cyber-Physical Systems},
journal = {Proc. {IEEE}},
volume = {100},
number = {1},
pages = {45--59},
year = {2012},
url = {https://doi.org/10.1109/JPROC.2011.2161237},
doi = {10.1109/JPROC.2011.2161237},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/EidsonLMSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeOFLT12,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Thomas Huining Feng and
Edward A. Lee and
Stavros Tripakis},
title = {Verifying hierarchical Ptolemy {II} discrete-event models using Real-Time
Maude},
journal = {Sci. Comput. Program.},
volume = {77},
number = {12},
pages = {1235--1271},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2010.10.002},
doi = {10.1016/J.SCICO.2010.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaeOFLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/MatsikoudisL12,
author = {Eleftherios Matsikoudis and
Edward A. Lee},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {From Transitions to Executions},
booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
{CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
31 - April 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7399},
pages = {170--190},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_10},
doi = {10.1007/978-3-642-32784-1\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/MatsikoudisL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteLPTM12,
author = {Albert Benveniste and
Edward A. Lee and
Marc Pouzet and
Stavros Tripakis and
Florence Maraninchi},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {An overview of the career of Paul Caspi},
booktitle = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
pages = {195--196},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380392},
doi = {10.1145/2380356.2380392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteLPTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/LeeSJ12,
author = {Edward A. Lee and
Sanjit A. Seshia and
Jeff C. Jensen},
editor = {Peter Marwedel},
title = {Teaching embedded systems the Berkeley way},
booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems
Education, {WESE} 2012, Tampere, Finland, October 12, 2012},
pages = {1},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2530544.2530545},
doi = {10.1145/2530544.2530545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esweek/LeeSJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/LiuLVWA12,
author = {Isaac Liu and
Edward A. Lee and
Matthew Viele and
Guoqiang Wang and
Hugo A. Andrade},
title = {A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional
Computational Fluid Dynamics on FPGAs},
booktitle = {2012 {IEEE} 20th Annual International Symposium on Field-Programmable
Custom Computing Machines, {FCCM} 2012, 29 April - 1 May 2012, Toronto,
Ontario, Canada},
pages = {125--132},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/FCCM.2012.31},
doi = {10.1109/FCCM.2012.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/LiuLVWA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Lee12,
author = {Edward A. Lee},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Verifying Real-Time Software Is Not Reasonable (Today) - Abstract
of Invited Talk},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_2},
doi = {10.1007/978-3-642-39611-3\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Lee12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LiuRBZL12,
author = {Isaac Liu and
Jan Reineke and
David Broman and
Michael Zimmer and
Edward A. Lee},
title = {A {PRET} microarchitecture implementation with repeatable timing and
competitive performance},
booktitle = {30th International {IEEE} Conference on Computer Design, {ICCD} 2012,
Montreal, QC, Canada, September 30 - Oct. 3, 2012},
pages = {87--93},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCD.2012.6378622},
doi = {10.1109/ICCD.2012.6378622},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LiuRBZL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BromanLTT12,
author = {David Broman and
Edward A. Lee and
Stavros Tripakis and
Martin T{\"{o}}rngren},
editor = {C{\'{e}}cile Hardebolle and
Eugene Syriani and
Jonathan Sprinkle and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Viewpoints, formalisms, languages, and tools for cyber-physical systems},
booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling,
MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {49--54},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2508443.2508452},
doi = {10.1145/2508443.2508452},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/BromanLTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ShaverL12,
author = {Chris Shaver and
Edward A. Lee},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {The Coroutine Model of Computation},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {319--334},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_21},
doi = {10.1007/978-3-642-33666-9\_21},
timestamp = {Sun, 25 Jul 2021 11:43:55 +0200},
biburl = {https://dblp.org/rec/conf/models/ShaverL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/HanxledenLMF12,
author = {Reinhard von Hanxleden and
Edward A. Lee and
Christian Motika and
Hauke Fuhrmann},
editor = {Radu Calinescu and
David Garlan},
title = {Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing
Complex Cyber-Physical Systems},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {209--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_11},
doi = {10.1007/978-3-642-34059-8\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/HanxledenLMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZouML12,
author = {Jia Zou and
Slobodan Matic and
Edward A. Lee},
editor = {Marco Di Natale},
title = {PtidyOS: {A} Lightweight Microkernel for Ptides Real-Time Systems},
booktitle = {2012 {IEEE} 18th Real Time and Embedded Technology and Applications
Symposium, Beijing, China, April 16-19, 2012},
pages = {209--218},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RTAS.2012.28},
doi = {10.1109/RTAS.2012.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ZouML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/Lee12,
author = {Edward A. Lee},
title = {It's about time},
booktitle = {2012 International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} XII, Samos, Greece, July 16-19,
2012},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SAMOS.2012.6404149},
doi = {10.1109/SAMOS.2012.6404149},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/Lee12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TripakisLHL11,
author = {Stavros Tripakis and
Ben Lickly and
Thomas A. Henzinger and
Edward A. Lee},
title = {A Theory of Synchronous Relational Interfaces},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {4},
pages = {14:1--14:41},
year = {2011},
url = {https://doi.org/10.1145/1985342.1985345},
doi = {10.1145/1985342.1985345},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TripakisLHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ReinekeLPKL11,
author = {Jan Reineke and
Isaac Liu and
Hiren D. Patel and
Sungjun Kim and
Edward A. Lee},
editor = {Robert P. Dick and
Jan Madsen},
title = {{PRET} {DRAM} controller: bank privatization for predictability and
temporal isolation},
booktitle = {Proceedings of the 9th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
pages = {99--108},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039370.2039388},
doi = {10.1145/2039370.2039388},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/ReinekeLPKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BuiLLPR11,
author = {Dai N. Bui and
Edward A. Lee and
Isaac Liu and
Hiren D. Patel and
Jan Reineke},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Temporal isolation on multiprocessing architectures},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {274--279},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024787},
doi = {10.1145/2024724.2024787},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BuiLLPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LeeS11,
author = {Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Component-based design for the future},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1029},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763168},
doi = {10.1109/DATE.2011.5763168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/LeeS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Lee11,
author = {Edward A. Lee},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Heterogeneous actor modeling},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {3--12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038646},
doi = {10.1145/2038642.2038646},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Lee11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LicklySLL11,
author = {Ben Lickly and
Charles P. Shelton and
Elizabeth Latronico and
Edward A. Lee},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {A practical ontology framework for static model analysis},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {23--32},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038648},
doi = {10.1145/2038642.2038648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/LicklySLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BensalemGKOLS11,
author = {Saddek Bensalem and
Kees Goossens and
Christoph M. Kirsch and
Roman Obermaisser and
Edward A. Lee and
Joseph Sifakis},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Time-predictable and composable architectures for dependable embedded
systems},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {351--352},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038697},
doi = {10.1145/2038642.2038697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BensalemGKOLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/JensenLS11,
author = {Jeff C. Jensen and
Edward A. Lee and
Sanjit A. Seshia},
title = {An introductory capstone design course on embedded systems},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
15-19 2011, Rio de Janeiro, Brazil},
pages = {1199--1202},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISCAS.2011.5937784},
doi = {10.1109/ISCAS.2011.5937784},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/JensenLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/MaticAZEL11,
author = {Slobodan Matic and
Ilge Akkaya and
Michael Zimmer and
John C. Eidson and
Edward A. Lee},
title = {{PTIDES} model on a distributed testbed emulating smart grid real-time
applications},
booktitle = {2nd {IEEE} {PES} International Conference and Exhibition on "Innovative
Smart Grid Technologies", {ISGT} Europe 2011, Manchester, United Kingdom,
December 5-7, 2011},
pages = {1--8},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISGTEurope.2011.6162820},
doi = {10.1109/ISGTEUROPE.2011.6162820},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isgteurope/MaticAZEL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/JensenCL11,
author = {Jeff C. Jensen and
Danica H. Chang and
Edward A. Lee},
title = {A model-based design methodology for cyber-physical systems},
booktitle = {Proceedings of the 7th International Wireless Communications and Mobile
Computing Conference, {IWCMC} 2011, Istanbul, Turkey, 4-8 July, 2011},
pages = {1666--1671},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IWCMC.2011.5982785},
doi = {10.1109/IWCMC.2011.5982785},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/JensenCL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eoolt/2011,
editor = {Fran{\c{c}}ois E. Cellier and
David Broman and
Peter Fritzson and
Edward A. Lee},
title = {Proceedings of the 4th International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2011, Zurich, Switzerland, September
5, 2011},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {56},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2011},
url = {http://www.ep.liu.se/ecp/contents.asp?issue=56},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/ZhaoXLLZ10,
author = {Yang Zhao and
Yuhong Xiong and
Edward A. Lee and
Xiaojun Liu and
Lizhi C. Zhong},
title = {The design and application of structured types in Ptolemy {II}},
journal = {Int. J. Intell. Syst.},
volume = {25},
number = {2},
pages = {118--136},
year = {2010},
url = {https://doi.org/10.1002/int.20391},
doi = {10.1002/INT.20391},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/ZhaoXLLZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/WiggersTLSB10,
author = {Maarten Wiggers and
Lothar Thiele and
Edward A. Lee and
Simon Schliecker and
Marco Bekooij},
editor = {Tony Givargis and
Adam Donlin},
title = {Modeling and analyzing real-time multiprocessor systems},
booktitle = {Proceedings of the 8th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2010, part of ESWeek '10
Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010},
pages = {329--330},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1878961.1879019},
doi = {10.1145/1878961.1879019},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/WiggersTLSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/BrooksLT10,
author = {Christopher X. Brooks and
Edward A. Lee and
Stavros Tripakis},
editor = {Tony Givargis and
Adam Donlin},
title = {Exploring models of computation with ptolemy {II}},
booktitle = {Proceedings of the 8th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2010, part of ESWeek '10
Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010},
pages = {331--332},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1878961.1879020},
doi = {10.1145/1878961.1879020},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/BrooksLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Lee10,
author = {Edward A. Lee},
editor = {Sachin S. Sapatnekar},
title = {{CPS} foundations},
booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010,
Anaheim, California, USA, July 13-18, 2010},
pages = {737--742},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837274.1837462},
doi = {10.1145/1837274.1837462},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Lee10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/FengLS10,
author = {Thomas Huining Feng and
Edward A. Lee and
Lee W. Shruben},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Ptera: an event-oriented model of computation for heterogeneous systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {219--228},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879050},
doi = {10.1145/1879021.1879050},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/FengLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BucklGGKL10,
author = {Christian Buckl and
Irina Gaponova and
Michael Geisinger and
Alois C. Knoll and
Edward A. Lee},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Model-based specification of timing requirements},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {239--248},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879053},
doi = {10.1145/1879021.1879053},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BucklGGKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/LeeT10,
author = {Edward A. Lee and
Stavros Tripakis},
editor = {Peter Fritzson and
Edward A. Lee and
Fran{\c{c}}ois E. Cellier and
David Broman},
title = {Modal Models in Ptolemy},
booktitle = {Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2010, Oslo, Norway, October
3, 2010},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {47},
pages = {11--21},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2010},
url = {http://www.ep.liu.se/ecp/article.asp?issue=047\&\#38;article=002\&\#38;volume=},
timestamp = {Thu, 10 Oct 2019 13:06:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/LeeT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/LeeS10,
author = {Edward A. Lee and
Sanjit A. Seshia},
editor = {Peter Marwedel and
David Jeff Jackson and
Kenneth G. Ricks},
title = {An introductory textbook on cyber-physical systems},
booktitle = {Proceedings of the 2010 Workshop on Embedded Systems Education, {WESE}
2010, Scottsdale, AZ, USA, October 28, 2010},
pages = {1},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1930277.1930278},
doi = {10.1145/1930277.1930278},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esweek/LeeS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/TripakisBRL10,
author = {Stavros Tripakis and
Dai N. Bui and
Bert Rodiers and
Edward A. Lee},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {Compositionality in Synchronous Data Flow: modular code generation
from hierarchical {SDF} graphs},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {199},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795223},
doi = {10.1145/1795194.1795223},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/TripakisBRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FritzsonLCB10,
author = {Peter Fritzson and
Edward A. Lee and
Fran{\c{c}}ois E. Cellier and
David Broman},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Equation-Based Object-Oriented Modeling Languages and Tools - Report
on the Workshop {EOOLT} 2010 at {MODELS} 2010 Oslo, Norway, October
3, 2010},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {140--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_13},
doi = {10.1007/978-3-642-21210-9\_13},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/FritzsonLCB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Lee10,
author = {Edward A. Lee},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Disciplined Heterogeneous Modeling - Invited Paper},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6395},
pages = {273--287},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16129-2\_20},
doi = {10.1007/978-3-642-16129-2\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/Lee10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BuiPL10,
author = {Dai N. Bui and
Hiren D. Patel and
Edward A. Lee},
title = {Deploying Hard Real-Time Control Software on Chip-Multiprocessors},
booktitle = {16th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August
2010},
pages = {283--292},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTCSA.2010.43},
doi = {10.1109/RTCSA.2010.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BuiPL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/SchoeberlBL10,
author = {Martin Schoeberl and
Christopher X. Brooks and
Edward A. Lee},
editor = {Sang Lyul Min and
Robert G. Pettit IV and
Peter P. Puschner and
Theo Ungerer},
title = {Code Generation for Embedded Java with Ptolemy},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems - 8th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2010, Waidhofen/Ybbs, Austria,
October 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6399},
pages = {155--166},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16256-5\_16},
doi = {10.1007/978-3-642-16256-5\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/seus/SchoeberlBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eoolt/2010,
editor = {Peter Fritzson and
Edward A. Lee and
Fran{\c{c}}ois E. Cellier and
David Broman},
title = {Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2010, Oslo, Norway, October
3, 2010},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {47},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2010},
url = {http://www.ep.liu.se/ecp/contents.asp?issue=47},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lee09,
author = {Edward A. Lee},
title = {Computing needs time},
journal = {Commun. {ACM}},
volume = {52},
number = {5},
pages = {70--79},
year = {2009},
url = {https://doi.org/10.1145/1506409.1506426},
doi = {10.1145/1506409.1506426},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lee09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/GoderisBALG09,
author = {Antoon Goderis and
Christopher X. Brooks and
Ilkay Altintas and
Edward A. Lee and
Carole A. Goble},
title = {Heterogeneous composition of models of computation},
journal = {Future Gener. Comput. Syst.},
volume = {25},
number = {5},
pages = {552--560},
year = {2009},
url = {https://doi.org/10.1016/j.future.2008.06.014},
doi = {10.1016/J.FUTURE.2008.06.014},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/GoderisBALG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LeeLN09,
author = {Edward A. Lee and
Xiaojun Liu and
Stephen Neuendorffer},
title = {Classes and inheritance in actor-oriented design},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {8},
number = {4},
pages = {29:1--29:26},
year = {2009},
url = {https://doi.org/10.1145/1550987.1550992},
doi = {10.1145/1550987.1550992},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/LeeLN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChengRBLK09,
author = {Chih{-}Hong Cheng and
Markus Rickert and
Christian Buckl and
Edward A. Lee and
Alois C. Knoll},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {Toward the Design of Robotic Software with Verifiable Safety},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1},
pages = {622--623},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.89},
doi = {10.1109/COMPSAC.2009.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChengRBLK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TripakisLHL09,
author = {Stavros Tripakis and
Ben Lickly and
Thomas A. Henzinger and
Edward A. Lee},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {On relational interfaces},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {67--76},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629346},
doi = {10.1145/1629335.1629346},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/TripakisLHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/Lee09,
author = {Edward A. Lee},
editor = {Peter Marwedel and
Jeff Jackson and
Kenneth G. Ricks},
title = {Introducing embedded systems: a cyber-physical approach: extended
abstract},
booktitle = {Proceedings of the 2009 Workshop on Embedded Systems Education, {WESE}
'09, Grenoble, France, October 15, 2009},
pages = {1--2},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1719010.1719011},
doi = {10.1145/1719010.1719011},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esweek/Lee09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/EdwardsKLLPS09,
author = {Stephen A. Edwards and
Sungjun Kim and
Edward A. Lee and
Isaac Liu and
Hiren D. Patel and
Martin Schoeberl},
title = {A disruptive computer design idea: Architectures with repeatable timing},
booktitle = {27th International Conference on Computer Design, {ICCD} 2009, Lake
Tahoe, CA, USA, October 4-7, 2009},
pages = {54--59},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICCD.2009.5413177},
doi = {10.1109/ICCD.2009.5413177},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/EdwardsKLLPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/LeeMSZ09,
author = {Edward A. Lee and
Slobodan Matic and
Sanjit A. Seshia and
Jia Zou},
title = {The Case for Timing-Centric Distributed Software Invited Paper},
booktitle = {29th {IEEE} International Conference on Distributed Computing Systems
Workshops {(ICDCS} 2009 Workshops), 22-26 June 2009, Montreal, Qu{\'{e}}bec,
Canada},
pages = {57--64},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICDCSW.2009.108},
doi = {10.1109/ICDCSW.2009.108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/LeeMSZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/ZouABL09,
author = {Jia Zou and
Joshua S. Auerbach and
David F. Bacon and
Edward A. Lee},
editor = {Christoph M. Kirsch and
Mahmut T. Kandemir},
title = {{PTIDES} on flexible task graph: real-time embedded systembuilding
from theory to practice},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN/SIGBED} conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2009, Dublin, Ireland,
June 19-20, 2009},
pages = {31--40},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542452.1542457},
doi = {10.1145/1542452.1542457},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/ZouABL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LeungMLLSTL09,
author = {Man{-}Kit Leung and
Thomas Mandl and
Edward A. Lee and
Elizabeth Latronico and
Charles P. Shelton and
Stavros Tripakis and
Ben Lickly},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Scalable Semantic Annotation Using Lattice-Based Ontologies},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {393--407},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_31},
doi = {10.1007/978-3-642-04425-0\_31},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/LeungMLLSTL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZouMLFD09,
author = {Jia Zou and
Slobodan Matic and
Edward A. Lee and
Thomas Huining Feng and
Patricia Derler},
title = {Execution Strategies for PTIDES, a Programming Model for Distributed
Embedded Systems},
booktitle = {15th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2009, San Francisco, CA, USA, 13-16 April 2009},
pages = {77--86},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTAS.2009.39},
doi = {10.1109/RTAS.2009.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ZouMLFD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9481,
editor = {Albert Benveniste and
Stephen A. Edwards and
Edward A. Lee and
Klaus Schneider and
Reinhard von Hanxleden},
title = {{SYNCHRON} 2009, 22.11. - 27.11.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09481},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09481/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9481.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BenvenisteEL0H09,
author = {Albert Benveniste and
Stephen A. Edwards and
Edward A. Lee and
Klaus Schneider and
Reinhard von Hanxleden},
editor = {Albert Benveniste and
Stephen A. Edwards and
Edward A. Lee and
Klaus Schneider and
Reinhard von Hanxleden},
title = {09481 Abstracts Collection - {SYNCHRON} 2009},
booktitle = {{SYNCHRON} 2009, 22.11. - 27.11.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09481},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2434/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BenvenisteEL0H09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spm/BhattacharyyaBG08,
author = {Shuvra S. Bhattacharyya and
Jeffery C. Bier and
Wanda K. Gass and
Ram K. Krishnamurthy and
Edward A. Lee and
Konstantinos Konstantinides},
title = {Advances in hardware design and implementation of signal processing
systems {[DSP} Forum]},
journal = {{IEEE} Signal Process. Mag.},
volume = {25},
number = {6},
pages = {175--180},
year = {2008},
url = {https://doi.org/10.1109/MSP.2008.929838},
doi = {10.1109/MSP.2008.929838},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spm/BhattacharyyaBG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiuL08a,
author = {Xiaojun Liu and
Edward A. Lee},
title = {{CPO} semantics of timed interactive actor networks},
journal = {Theor. Comput. Sci.},
volume = {409},
number = {1},
pages = {110--125},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.08.044},
doi = {10.1016/J.TCS.2008.08.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiuL08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZhouL08,
author = {Ye Zhou and
Edward A. Lee},
title = {Causality interfaces for actor networks},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {7},
number = {3},
pages = {29:1--29:35},
year = {2008},
url = {https://doi.org/10.1145/1347375.1347382},
doi = {10.1145/1347375.1347382},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ZhouL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/LicklyLKPEL08,
author = {Ben Lickly and
Isaac Liu and
Sungjun Kim and
Hiren D. Patel and
Stephen A. Edwards and
Edward A. Lee},
editor = {Erik R. Altman},
title = {Predictable programming on a precision timed architecture},
booktitle = {Proceedings of the 2008 International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2008, Atlanta, GA, USA,
October 19-24, 2008},
pages = {137--146},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450095.1450117},
doi = {10.1145/1450095.1450117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/LicklyLKPEL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/ForbesPLA08,
author = {Shanna{-}Shaye Forbes and
Hiren D. Patel and
Edward A. Lee and
Hugo A. Andrade},
editor = {David J. Roberts and
Abdulmotaleb El{-}Saddik and
Alois Ferscha},
title = {An Automated Mapping of Timed Functional Specification to a Precision
Timed Architecture},
booktitle = {12th {IEEE/ACM} International Symposium on Distributed Simulation
and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada,
Proceedings},
pages = {322--325},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DS-RT.2008.45},
doi = {10.1109/DS-RT.2008.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/ForbesPLA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/DerlerLM08,
author = {Patricia Derler and
Edward A. Lee and
Slobodan Matic},
editor = {David J. Roberts and
Abdulmotaleb El{-}Saddik and
Alois Ferscha},
title = {Simulation and Implementation of the {PTIDES} Programming Model},
booktitle = {12th {IEEE/ACM} International Symposium on Distributed Simulation
and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada,
Proceedings},
pages = {330--333},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DS-RT.2008.51},
doi = {10.1109/DS-RT.2008.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/DerlerLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Lee08,
author = {Edward A. Lee},
title = {Time is a Resource, and Other Stories},
booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
pages = {355},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISORC.2008.26},
doi = {10.1109/ISORC.2008.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Lee08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Lee08a,
author = {Edward A. Lee},
title = {Cyber Physical Systems: Design Challenges},
booktitle = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
pages = {363--369},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISORC.2008.25},
doi = {10.1109/ISORC.2008.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Lee08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/FengL08,
author = {Thomas Huining Feng and
Edward A. Lee},
title = {Real-Time Distributed Discrete-Event Execution with Fault Tolerance},
booktitle = {Proceedings of the 14th {IEEE} Real-Time and Embedded Technology and
Applications Symposium, {RTAS} 2008, April 22-24, 2008, St. Louis,
Missouri, {USA}},
pages = {205--214},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTAS.2008.22},
doi = {10.1109/RTAS.2008.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/FengL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EdwardsL07,
author = {Stephen A. Edwards and
Edward A. Lee},
title = {The Case for the Precision Timed {(PRET)} Machine},
booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
San Diego, CA, USA, June 4-8, 2007},
pages = {264--265},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1145/1278480.1278545},
doi = {10.1145/1278480.1278545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/EdwardsL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LeeZ07,
author = {Edward A. Lee and
Haiyang Zheng},
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {Leveraging synchronous language principles for heterogeneous modeling
and design of embedded systems},
booktitle = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
pages = {114--123},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289927.1289949},
doi = {10.1145/1289927.1289949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/LeeZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/GoderisBALG07,
author = {Antoon Goderis and
Christopher X. Brooks and
Ilkay Altintas and
Edward A. Lee and
Carole A. Goble},
editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Composing Different Models of Computation in Kepler and Ptolemy {II}},
booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
Beijing, China, May 27 - 30, 2007, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {4489},
pages = {182--190},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72588-6\_33},
doi = {10.1007/978-3-540-72588-6\_33},
timestamp = {Tue, 08 Nov 2022 08:34:35 +0100},
biburl = {https://dblp.org/rec/conf/iccS/GoderisBALG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/ZhouLL07,
author = {Gang Zhou and
Man{-}Kit Leung and
Edward A. Lee},
editor = {Yann{-}Hang Lee and
Heung{-}Nam Kim and
Jong Kim and
Yongwan Park and
Laurence Tianruo Yang and
Sung Won Kim},
title = {A Code Generation Framework for Actor-Oriented Models with Partial
Evaluation},
booktitle = {Embedded Software and Systems, [Third] International Conference, {ICESS}
2007, Daegu, Korea, May 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4523},
pages = {193--206},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72685-2\_19},
doi = {10.1007/978-3-540-72685-2\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icess/ZhouLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ZhaoLL07,
author = {Yang Zhao and
Jie Liu and
Edward A. Lee},
title = {A Programming Model for Time-Synchronized Distributed Real-Time Systems},
booktitle = {Proceedings of the 13th {IEEE} Real-Time and Embedded Technology and
Applications Symposium, {RTAS} 2007, April 3-6, 2007, Bellevue, Washington,
{USA}},
pages = {259--268},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTAS.2007.5},
doi = {10.1109/RTAS.2007.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ZhaoLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Lee06,
author = {Edward A. Lee},
title = {The Problem with Threads},
journal = {Computer},
volume = {39},
number = {5},
pages = {33--42},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.180},
doi = {10.1109/MC.2006.180},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Lee06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LudascherABHJJLTZ06,
author = {Bertram Lud{\"{a}}scher and
Ilkay Altintas and
Chad Berkley and
Dan Higgins and
Efrat Jaeger and
Matthew B. Jones and
Edward A. Lee and
Jing Tao and
Yang Zhao},
title = {Scientific workflow management and the Kepler system},
journal = {Concurr. Comput. Pract. Exp.},
volume = {18},
number = {10},
pages = {1039--1065},
year = {2006},
url = {https://doi.org/10.1002/cpe.994},
doi = {10.1002/CPE.994},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/LudascherABHJJLTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LeeZ06,
author = {Edward A. Lee and
Haiyang Zheng},
editor = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {Hyvisual: a Hybrid System Modeling Framework based on Ptolemy {II}},
booktitle = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2006, Alghero, Italy, June 7-9, 2006},
series = {{IFAC} Proceedings Volumes},
volume = {39},
number = {5},
pages = {270--271},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.3182/20060607-3-IT-3902.00050},
doi = {10.3182/20060607-3-IT-3902.00050},
timestamp = {Fri, 12 Oct 2018 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/adhs/LeeZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LiuML06,
author = {Xiaojun Liu and
Eleftherios Matsikoudis and
Edward A. Lee},
editor = {Christel Baier and
Holger Hermanns},
title = {Modeling Timed Concurrent Systems},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {1--15},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_1},
doi = {10.1007/11817949\_1},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/LiuML06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ZhouL06,
author = {Ye Zhou and
Edward A. Lee},
editor = {Sang Lyul Min and
Wang Yi},
title = {A causality interface for deadlock analysis in dataflow},
booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
pages = {44--52},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176887.1176895},
doi = {10.1145/1176887.1176895},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ZhouL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Lee06,
author = {Edward A. Lee},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Concurrent Semantics Without the Notions of State or State Transitions},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {18--31},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_2},
doi = {10.1007/11867340\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Lee06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhengLA06,
author = {Haiyang Zheng and
Edward A. Lee and
Aaron D. Ames},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Beyond Zeno: Get on with It!},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop,
{HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3927},
pages = {568--582},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_42},
doi = {10.1007/11730637\_42},
timestamp = {Wed, 30 Aug 2023 16:03:58 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ZhengLA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/Lee06,
author = {Edward A. Lee},
editor = {L. Felipe Perrone and
Barry Lawson and
Jason Liu and
Frederick P. Wieland},
title = {Discrete event models: getting the semantics right},
booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
California, USA, December 3-6, 2006},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WSC.2006.323032},
doi = {10.1109/WSC.2006.323032},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/Lee06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/FengL06,
author = {Thomas Huining Feng and
Edward A. Lee},
editor = {L. Felipe Perrone and
Barry Lawson and
Jason Liu and
Frederick P. Wieland},
title = {Incremental checkpointing with application to distributed discrete
event simulation},
booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
California, USA, December 3-6, 2006},
pages = {1004--1011},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WSC.2006.323188},
doi = {10.1109/WSC.2006.323188},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/FengL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Lee05,
author = {Edward A. Lee},
title = {Absolutely Positively on Time: What Would It Take?},
journal = {Computer},
volume = {38},
number = {7},
pages = {85--87},
year = {2005},
url = {https://doi.org/10.1109/MC.2005.211},
doi = {10.1109/MC.2005.211},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Lee05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/XiongLLZZ05,
author = {Yuhong Xiong and
Edward A. Lee and
Xiaojun Liu and
Yang Zhao and
Lizhi C. Zhong},
editor = {Xiaohua Hu and
Qing Liu and
Andrzej Skowron and
Tsau Young Lin and
Ronald R. Yager and
Bo Zhang},
title = {The design and application of structured types in Ptolemy {II}},
booktitle = {2005 {IEEE} International Conference on Granular Computing, Beijing,
China, July 25-27, 2005},
pages = {683--688},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/GRC.2005.1547378},
doi = {10.1109/GRC.2005.1547378},
timestamp = {Fri, 09 Apr 2021 17:11:12 +0200},
biburl = {https://dblp.org/rec/conf/grc/XiongLLZZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LeeZ05,
author = {Edward A. Lee and
Haiyang Zheng},
editor = {Manfred Morari and
Lothar Thiele},
title = {Operational Semantics of Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop,
{HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3414},
pages = {25--53},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31954-2\_2},
doi = {10.1007/978-3-540-31954-2\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LeeZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/LeeZ05,
author = {Edward A. Lee and
Yang Zhao},
editor = {Fabrice Kordon and
Janos Sztipanovits},
title = {Reinventing Computing for Real Time},
booktitle = {Reliable Systems on Unreliable Networked Platforms - 12th Monterey
Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4322},
pages = {1--25},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-71156-8\_1},
doi = {10.1007/978-3-540-71156-8\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/LeeZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WandelerJLT05,
author = {Ernesto Wandeler and
J{\"{o}}rn W. Janneck and
Edward A. Lee and
Lothar Thiele},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Counting Interface Automata and their Application in Static Analysis
of Actor Models},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {106--116},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.14},
doi = {10.1109/SEFM.2005.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/WandelerJLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/CheongLZ05,
author = {Elaine Cheong and
Edward A. Lee and
Yang Zhao},
editor = {Jason Redi and
Hari Balakrishnan and
Feng Zhao},
title = {Viptos: a graphical development and simulation environment for tinyOS-based
wireless sensor networks},
booktitle = {Proceedings of the 3rd International Conference on Embedded Networked
Sensor Systems, SenSys 2005, San Diego, California, USA, November
2-4, 2005},
pages = {302},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1098918.1098967},
doi = {10.1145/1098918.1098967},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/CheongLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LeeX04,
author = {Edward A. Lee and
Yuhong Xiong},
title = {A behavioral type system and its application in Ptolemy {II}},
journal = {Formal Aspects Comput.},
volume = {16},
number = {3},
pages = {210--237},
year = {2004},
url = {https://doi.org/10.1007/s00165-004-0043-8},
doi = {10.1007/S00165-004-0043-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LeeX04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/LiuEJLL04,
author = {Jie Liu and
Johan Eker and
J{\"{o}}rn W. Janneck and
Xiaojun Liu and
Edward A. Lee},
title = {Actor-oriented control system design: a responsible framework perspective},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {12},
number = {2},
pages = {250--262},
year = {2004},
url = {https://doi.org/10.1109/TCST.2004.824310},
doi = {10.1109/TCST.2004.824310},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/LiuEJLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/BaldwinKLLZ04,
author = {Philip Baldwin and
Sanjeev Kohli and
Edward A. Lee and
Xiaojun Liu and
Yang Zhao},
editor = {Kannan Ramchandran and
Janos Sztipanovits and
Jennifer C. Hou and
Thrasyvoulos N. Pappas},
title = {Modeling of sensor nets in Ptolemy {II}},
booktitle = {Proceedings of the Third International Symposium on Information Processing
in Sensor Networks, {IPSN} 2004, Berkeley, California, USA, April
26-27, 2004},
pages = {359--368},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/984622.984675},
doi = {10.1145/984622.984675},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/BaldwinKLLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/LeeN04,
author = {Edward A. Lee and
Stephen Neuendorffer},
title = {Classes and subclasses in actor-oriented design},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {161--168},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459848},
doi = {10.1109/MEMCOD.2004.1459848},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/LeeN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/NeuendorfferL04,
author = {Stephen Neuendorffer and
Edward A. Lee},
title = {Hierarchical reconfiguration of dataflow models},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459852},
doi = {10.1109/MEMCOD.2004.1459852},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/NeuendorfferL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0018503,
author = {John R. Barry and
Edward A. Lee and
David G. Messerschmitt},
title = {Digital communication {(3.} ed.)},
publisher = {Springer},
year = {2003},
isbn = {978-0-7923-7548-7},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0018503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0015431,
author = {Edward A. Lee and
Pravin Varaiya},
title = {Structure and interpretation of signals and systems},
publisher = {Addison-Wesley},
year = {2003},
isbn = {978-0-201-74551-1},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0015431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/LeeNW03,
author = {Edward A. Lee and
Stephen Neuendorffer and
Michael J. Wirthlin},
title = {Actor-Oriented Design of Embedded Hardware and Software Systems},
journal = {J. Circuits Syst. Comput.},
volume = {12},
number = {3},
pages = {231--260},
year = {2003},
url = {https://doi.org/10.1142/S0218126603000751},
doi = {10.1142/S0218126603000751},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/LeeNW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/EkerJLLLLNSX03,
author = {Johan Eker and
J{\"{o}}rn W. Janneck and
Edward A. Lee and
Jie Liu and
Xiaojun Liu and
Jozsef Ludvig and
Stephen Neuendorffer and
Sonia R. Sachs and
Yuhong Xiong},
title = {Taming heterogeneity - the Ptolemy approach},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {127--144},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805829},
doi = {10.1109/JPROC.2002.805829},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/EkerJLLLLNSX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EdwardsL03,
author = {Stephen A. Edwards and
Edward A. Lee},
title = {The semantics and execution of a synchronous block-diagram language},
journal = {Sci. Comput. Program.},
volume = {48},
number = {1},
pages = {21--42},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00096-5},
doi = {10.1016/S0167-6423(02)00096-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EdwardsL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LiuL03,
author = {Jie Liu and
Edward A. Lee},
editor = {Oded Maler and
Amir Pnueli},
title = {On the Causality of Mixed-Signal and Hybrid Models},
booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {328--342},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_25},
doi = {10.1007/3-540-36580-X\_25},
timestamp = {Thu, 23 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/LiuL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/Lee02,
author = {Edward A. Lee},
title = {Embedded Software},
journal = {Adv. Comput.},
volume = {56},
pages = {55--95},
year = {2002},
url = {https://doi.org/10.1016/S0065-2458(02)80004-3},
doi = {10.1016/S0065-2458(02)80004-3},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/Lee02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/LiuL02,
author = {Jie Liu and
Edward A. Lee},
title = {A component-based approach to modeling and simulating mixed-signal
and hybrid systems},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {12},
number = {4},
pages = {343--368},
year = {2002},
url = {https://doi.org/10.1145/643120.643125},
doi = {10.1145/643120.643125},
timestamp = {Thu, 23 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/LiuL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/MurthyL02,
author = {Praveen K. Murthy and
Edward A. Lee},
title = {Multidimensional synchronous dataflow},
journal = {{IEEE} Trans. Signal Process.},
volume = {50},
number = {8},
pages = {2064--2079},
year = {2002},
url = {https://doi.org/10.1109/TSP.2002.800830},
doi = {10.1109/TSP.2002.800830},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsp/MurthyL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/LiuJL01,
author = {Jie Liu and
Stanley Jefferson and
Edward A. Lee},
title = {Motivating hierarchical run-time models in measurement and control
systems},
booktitle = {American Control Conference, {ACC} 2001, Arlington, VA, USA, 25-27
June, 2001},
pages = {3457--3462},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ACC.2001.946165},
doi = {10.1109/ACC.2001.946165},
timestamp = {Wed, 05 Jan 2022 10:14:49 +0100},
biburl = {https://dblp.org/rec/conf/amcc/LiuJL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/LiLL01,
author = {He Li and
Xiaojun Liu and
Edward A. Lee},
title = {Modeling distributed hybrid systems in Ptolemy {II}},
booktitle = {American Control Conference, {ACC} 2001, Arlington, VA, USA, 25-27
June, 2001},
pages = {4984--4985},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ACC.2001.945773},
doi = {10.1109/ACC.2001.945773},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/LiLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LeeX01,
author = {Edward A. Lee and
Yuhong Xiong},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {System-Level Types for Component-Based Design},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {237--253},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_16},
doi = {10.1007/3-540-45449-7\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/LeeX01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/LiuXL01,
author = {Xiaojun Liu and
Yuhong Xiong and
Edward A. Lee},
title = {The Ptolemy {II} Framework for Visual Languages},
booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
Italy},
pages = {50},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HCC.2001.995235},
doi = {10.1109/HCC.2001.995235},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/LiuXL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Lee97,
author = {Edward A. Lee},
title = {What's Ahead for Embedded Software?},
journal = {Computer},
volume = {33},
number = {9},
pages = {18--26},
year = {2000},
url = {https://doi.org/10.1109/2.868693},
doi = {10.1109/2.868693},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Lee97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/TsayHL00,
author = {Jeff Tsay and
Christopher Hylands and
Edward A. Lee},
title = {A code generation framework for Java component-based designs},
booktitle = {Proceedings of the 2000 International Conference on Compilers, Architectures
and Synthesis for Embedded Systems, {CASES} 2000, San Jose, California,
USA, November 7-18, 2000},
pages = {18--25},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/354880.354884},
doi = {10.1145/354880.354884},
timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
biburl = {https://dblp.org/rec/conf/cases/TsayHL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MalikALKSW00,
author = {Sharad Malik and
D. K. Arvind and
Edward A. Lee and
Phil Koopman and
Alberto L. Sangiovanni{-}Vincentelli and
Wayne H. Wolf},
editor = {Giovanni De Micheli},
title = {Embedded systems education (panel abstract)},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {519},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337563},
doi = {10.1145/337292.337563},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/MalikALKSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/XiongL00,
author = {Yuhong Xiong and
Edward A. Lee},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {An Extensible Type System for Component-Based Design},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {20--37},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_2},
doi = {10.1007/3-540-46419-0\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/XiongL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/Lee99,
author = {Edward A. Lee},
title = {Modeling Concurrent Real-Time Processes Using Discrete Events},
journal = {Ann. Softw. Eng.},
volume = {7},
pages = {25--45},
year = {1999},
url = {https://doi.org/10.1023/A:1018998524196},
doi = {10.1023/A:1018998524196},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/Lee99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/NajjarLG99,
author = {Walid A. Najjar and
Edward A. Lee and
Guang R. Gao},
title = {Advances in the dataflow computational model},
journal = {Parallel Comput.},
volume = {25},
number = {13-14},
pages = {1907--1929},
year = {1999},
url = {https://doi.org/10.1016/S0167-8191(99)00070-8},
doi = {10.1016/S0167-8191(99)00070-8},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/NajjarLG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/LeeM99,
author = {Edward A. Lee and
David G. Messerschmitt},
title = {A highest education in the year 2049},
journal = {Proc. {IEEE}},
volume = {87},
number = {9},
pages = {1685--1691},
year = {1999},
url = {https://doi.org/10.1109/5.784252},
doi = {10.1109/5.784252},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/LeeM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GiraultLL99,
author = {Alain Girault and
Bilung Lee and
Edward A. Lee},
title = {Hierarchical finite state machines with multiple concurrency models},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {6},
pages = {742--760},
year = {1999},
url = {https://doi.org/10.1109/43.766725},
doi = {10.1109/43.766725},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/GiraultLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/BhattacharyyaML99,
author = {Shuvra S. Bhattacharyya and
Praveen K. Murthy and
Edward A. Lee},
title = {Synthesis of Embedded Software from Synchronous Dataflow Specifications},
journal = {J. {VLSI} Signal Process.},
volume = {21},
number = {2},
pages = {151--166},
year = {1999},
url = {https://doi.org/10.1023/A:1008052406396},
doi = {10.1023/A:1008052406396},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/BhattacharyyaML99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/GuptaKL99,
author = {Rajarshi Gupta and
Kiran and
Edward A. Lee},
title = {Computationally efficient version of the decision feedback equalizer},
booktitle = {Proceedings of the 1999 {IEEE} International Conference on Acoustics,
Speech, and Signal Processing, {ICASSP} '99, Phoenix, Arizona, USA,
March 15-19, 1999},
pages = {1257--1260},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICASSP.1999.756207},
doi = {10.1109/ICASSP.1999.756207},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/GuptaKL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LeeM98,
author = {Edward A. Lee and
David G. Messerschmitt},
title = {Engineering and Education for the Future},
journal = {Computer},
volume = {31},
pages = {77--85},
year = {1998},
url = {https://doi.org/10.1109/2.641980},
doi = {10.1109/2.641980},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LeeM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LeeS98,
author = {Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A framework for comparing models of computation},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {17},
number = {12},
pages = {1217--1229},
year = {1998},
url = {https://doi.org/10.1109/43.736561},
doi = {10.1109/43.736561},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LeeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LeeL98,
author = {Bilung Lee and
Edward A. Lee},
title = {Hierarchical Concurrent Finite State Machines in Ptolemy},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {34--40},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657537},
doi = {10.1109/CSD.1998.657537},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LeeL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcltk/ReekieL98,
author = {H. John Reekie and
Edward A. Lee},
editor = {Don Libes and
Michael McLennan},
title = {The Tycho Slate: Complex Drawing and Editing in Tcl/Tk},
booktitle = {Proceedings of the 6th Annual Tcl/Tk Conference, San Diego, California,
USA, September 14-18, 1998},
publisher = {{USENIX} Association},
year = {1998},
url = {https://www.usenix.org/conference/6th-annual-tcltk-conference/tycho-slate-complex-drawing-and-editing-tcltk},
timestamp = {Tue, 02 Feb 2021 08:04:39 +0100},
biburl = {https://dblp.org/rec/conf/tcltk/ReekieL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/BhattacharyyaML97,
author = {Shuvra S. Bhattacharyya and
Praveen K. Murthy and
Edward A. Lee},
title = {{APGAN} and {RPMC:} Complementary Heuristics for Translating {DSP}
Block Diagrams into Efficient Software Implementations},
journal = {Des. Autom. Embed. Syst.},
volume = {2},
number = {1},
pages = {33--60},
year = {1997},
url = {https://doi.org/10.1023/A:1008806425898},
doi = {10.1023/A:1008806425898},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/BhattacharyyaML97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/KalavadeL97,
author = {Asawaree Kalavade and
Edward A. Lee},
title = {The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling,
and Implementation-bin Selection},
journal = {Des. Autom. Embed. Syst.},
volume = {2},
number = {2},
pages = {125--163},
year = {1997},
url = {https://doi.org/10.1023/A:1008872518365},
doi = {10.1023/A:1008872518365},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/KalavadeL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MurthyBL97,
author = {Praveen K. Murthy and
Shuvra S. Bhattacharyya and
Edward A. Lee},
title = {Joint Minimization of Code and Data for Synchronous Dataflow Programs},
journal = {Formal Methods Syst. Des.},
volume = {11},
number = {1},
pages = {41--70},
year = {1997},
url = {https://doi.org/10.1023/A:1008633809454},
doi = {10.1023/A:1008633809454},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/MurthyBL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/EdwardsLLS97,
author = {Stephen A. Edwards and
Luciano Lavagno and
Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Design of embedded systems: formal models, validation, and synthesis},
journal = {Proc. {IEEE}},
volume = {85},
number = {3},
pages = {366--390},
year = {1997},
url = {https://doi.org/10.1109/5.558710},
doi = {10.1109/5.558710},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/EdwardsLLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/BhattacharyyaSL97,
author = {Shuvra S. Bhattacharyya and
Sundararajan Sriram and
Edward A. Lee},
title = {Optimizing synchronization in multiprocessor {DSP} systems},
journal = {{IEEE} Trans. Signal Process.},
volume = {45},
number = {6},
pages = {1605--1618},
year = {1997},
url = {https://doi.org/10.1109/78.600002},
doi = {10.1109/78.600002},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsp/BhattacharyyaSL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/ChangHL97,
author = {Wan{-}Teh Chang and
Soonhoi Ha and
Edward A. Lee},
title = {Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow},
journal = {J. {VLSI} Signal Process.},
volume = {15},
number = {1-2},
pages = {127--144},
year = {1997},
url = {https://doi.org/10.1023/A:1007930622942},
doi = {10.1023/A:1007930622942},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/ChangHL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/SriramL97,
author = {Sundararajan Sriram and
Edward A. Lee},
title = {Determining the Order of Processor Transactions in Statically Scheduled
Multiprocessors},
journal = {J. {VLSI} Signal Process.},
volume = {15},
number = {3},
pages = {207--220},
year = {1997},
url = {https://doi.org/10.1023/A:1007956226232},
doi = {10.1023/A:1007956226232},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/SriramL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/BhattacharyyaML97,
author = {Shuvra S. Bhattacharyya and
Praveen K. Murthy and
Edward A. Lee},
title = {Optimized software synthesis for synchronous dataflow},
booktitle = {1997 International Conference on Application-Specific Systems, Architectures,
and Processors {(ASAP} '97), 14-16 July 1997, Zurich, Switzerland},
pages = {250--262},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASAP.1997.606831},
doi = {10.1109/ASAP.1997.606831},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asap/BhattacharyyaML97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/MiyazakiL97,
author = {Takashi Miyazaki and
Edward A. Lee},
title = {Code generation by using integer-controlled dataflow graph},
booktitle = {1997 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing, {ICASSP} '97, Munich, Germany, April 21-24, 1997},
pages = {703--706},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICASSP.1997.599865},
doi = {10.1109/ICASSP.1997.599865},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/MiyazakiL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcltk/HylandsLR97,
author = {Christopher Hylands and
Edward A. Lee and
H. John Reekie},
editor = {Joseph A. Konstan and
Brent Welch},
title = {The Tycho User Interface System},
booktitle = {Proceedings of the Fifth Annual Tcl/Tk Workshop 1997, Boston, Massachusetts,
USA, July 14-17, 1997},
publisher = {{USENIX} Association},
year = {1997},
url = {https://www.usenix.org/legacy/publications/library/proceedings/tcl97/hylands.html},
timestamp = {Tue, 02 Feb 2021 08:04:40 +0100},
biburl = {https://dblp.org/rec/conf/tcltk/HylandsLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/BarryLM96,
author = {John R. Barry and
Edward A. Lee and
David G. Messerschmitt},
title = {Capacity penalty due to ideal zero-forcing decision-feedback equalization},
journal = {{IEEE} Trans. Inf. Theory},
volume = {42},
number = {4},
pages = {1062--1071},
year = {1996},
url = {https://doi.org/10.1109/18.508833},
doi = {10.1109/18.508833},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/BarryLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/KalavadeL96,
author = {Asawaree Kalavade and
Edward A. Lee},
title = {Complexity management in system-level design},
journal = {J. {VLSI} Signal Process.},
volume = {14},
number = {2},
pages = {157--169},
year = {1996},
url = {https://doi.org/10.1007/BF00925497},
doi = {10.1007/BF00925497},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/KalavadeL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/BhattacharyyaSL96,
author = {Shuvra S. Bhattacharyya and
Sundararajan Sriram and
Edward A. Lee},
title = {Latency-constrained Resynchronization for Multiprocessor {DSP} Implementation},
booktitle = {1996 International Conference on Application-Specific Systems, Architectures,
and Processors {(ASAP} '96), August 19-23, 1996, Chicago, {IL} , {USA}},
pages = {365--380},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ASAP.1996.542830},
doi = {10.1109/ASAP.1996.542830},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asap/BhattacharyyaSL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ChiangEHKLMRS96,
author = {Kenneth H. Chiang and
Brian L. Evans and
William T. Huang and
Ferenc Kovac and
Edward A. Lee and
David G. Messerschmitt and
H. John Reekie and
S. Shankar Sastry},
title = {Real-time {DSP} for sophomores},
booktitle = {1996 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing Conference Proceedings, {ICASSP} '96, Atlanta, Georgia,
USA, May 7-10, 1996},
pages = {1097--1100},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICASSP.1996.543555},
doi = {10.1109/ICASSP.1996.543555},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/ChiangEHKLMRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/PinoWL96,
author = {Jos{\'{e}} Luis Pino and
Michael C. Williamson and
Edward A. Lee},
title = {Interface synthesis in heterogeneous system-level {DSP} design tools},
booktitle = {1996 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing Conference Proceedings, {ICASSP} '96, Atlanta, Georgia,
USA, May 7-10, 1996},
pages = {1268--1271},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICASSP.1996.543598},
doi = {10.1109/ICASSP.1996.543598},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/PinoWL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/MurthyL96,
author = {Praveen K. Murthy and
Edward A. Lee},
title = {An extension of multidimensional synchronous dataflow to handle arbitrary
sampling lattices},
booktitle = {1996 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing Conference Proceedings, {ICASSP} '96, Atlanta, Georgia,
USA, May 7-10, 1996},
pages = {3306--3309},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICASSP.1996.550584},
doi = {10.1109/ICASSP.1996.550584},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/MurthyL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LeeS96,
author = {Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Rob A. Rutenbar and
Ralph H. J. M. Otten},
title = {Comparing models of computation},
booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996},
pages = {234--241},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1996},
url = {https://doi.org/10.1109/ICCAD.1996.569613},
doi = {10.1109/ICCAD.1996.569613},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/LeeS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BhattacharyyaSL96,
author = {Shuvra S. Bhattacharyya and
Sundararajan Sriram and
Edward A. Lee},
title = {Self-Timed Resynchronization: {A} Post-Optimization for Static Multiprocessor
Schedules},
booktitle = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
pages = {199--205},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IPPS.1996.508058},
doi = {10.1109/IPPS.1996.508058},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BhattacharyyaSL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/LeeP95,
author = {Edward A. Lee and
Thomas M. Parks},
title = {Dataflow process networks},
journal = {Proc. {IEEE}},
volume = {83},
number = {5},
pages = {773--801},
year = {1995},
url = {https://doi.org/10.1109/5.381846},
doi = {10.1109/5.381846},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/LeeP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/PinoHLB95,
author = {Jos{\'{e}} Luis Pino and
Soonhoi Ha and
Edward A. Lee and
Joseph T. Buck},
title = {Software synthesis for {DSP} using ptolemy},
journal = {J. {VLSI} Signal Process.},
volume = {9},
number = {1-2},
pages = {7--21},
year = {1995},
url = {https://doi.org/10.1007/BF02406468},
doi = {10.1007/BF02406468},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/PinoHLB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/BhattacharyyaSL95,
author = {Shuvra S. Bhattacharyya and
Sundararajan Sriram and
Edward A. Lee},
title = {Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor
Systems},
booktitle = {The International Conference on Application Specific Array Processors
(ASAP'95), July 24-26, 1995, Strasbourg, France},
pages = {298--309},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ASAP.1995.522934},
doi = {10.1109/ASAP.1995.522934},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asap/BhattacharyyaSL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/PinoL95,
author = {Jos{\'{e}} Luis Pino and
Edward A. Lee},
title = {Hierarchical static scheduling of dataflow graphs onto multiple processors},
booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995},
pages = {2643--2646},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICASSP.1995.480104},
doi = {10.1109/ICASSP.1995.480104},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/PinoL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/KalavadePL95,
author = {Asawaree Kalavade and
Jos{\'{e}} Luis Pino and
Edward A. Lee},
title = {Managing complexity in heterogeneous system specification, simulation,
and synthesis},
booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995},
pages = {2833--2836},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICASSP.1995.479434},
doi = {10.1109/ICASSP.1995.479434},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/KalavadePL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/BambergerELMY95,
author = {Roberto H. Bamberger and
Brian L. Evans and
Edward A. Lee and
James H. McClellan and
Mark A. Yoder},
title = {Integrating analysis, simulation, and implementation tools in electronic
courseware for teaching signal processing},
booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995},
pages = {2873--2876},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICASSP.1995.479444},
doi = {10.1109/ICASSP.1995.479444},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/BambergerELMY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ParksL95,
author = {Thomas M. Parks and
Edward A. Lee},
title = {Non-preemptive real-time scheduling of dataflow systems},
booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995},
pages = {3235--3238},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICASSP.1995.479574},
doi = {10.1109/ICASSP.1995.479574},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/ParksL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/KhiarL95,
author = {Karim P. Khiar and
Edward A. Lee},
title = {Modeling radar systems using hierarchical dataflow},
booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995},
pages = {3259--3262},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICASSP.1995.479580},
doi = {10.1109/ICASSP.1995.479580},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/KhiarL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/TeichTL95,
author = {J{\"{u}}rgen Teich and
Lothar Thiele and
Edward A. Lee},
editor = {Pierre G. Paulin and
Farhad Mavaddat},
title = {Modeling and simulation of heterogeneous real-time systems based on
a deterministic discrete event model},
booktitle = {Proceedings of the 8th International Symposium on System Synthesis
{(ISSS} 1995), September 13-15, 1995, Cannes, France},
pages = {156--161},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224486.224535},
doi = {10.1145/224486.224535},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss/TeichTL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/KalavadeL95,
author = {Asawaree Kalavade and
Edward A. Lee},
title = {The extended partitioning problem: hardware/software mapping and implementation-bin
selection},
booktitle = {Sixth {IEEE} International Workshop on Rapid System Prototyping {(RSP}
'95), Chapel Hill, North Carolina, USA, June 7-9, 1995},
pages = {12--18},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/IWRSP.1995.518565},
doi = {10.1109/IWRSP.1995.518565},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/KalavadeL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BhattacharyyaML95,
author = {Shuvra S. Bhattacharyya and
Praveen K. Murthy and
Edward A. Lee},
title = {Converting graphical {DSP} programs into memory constrained software
prototypes},
booktitle = {Sixth {IEEE} International Workshop on Rapid System Prototyping {(RSP}
'95), Chapel Hill, North Carolina, USA, June 7-9, 1995},
pages = {194--200},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/IWRSP.1995.518591},
doi = {10.1109/IWRSP.1995.518591},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/BhattacharyyaML95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0076891,
author = {Edward A. Lee and
David G. Messerschmitt},
title = {Digital communication {(2.} ed.)},
publisher = {Kluwer},
year = {1994},
isbn = {978-0-7923-9391-7},
timestamp = {Fri, 29 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0076891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BhattacharyyaL94,
author = {Shuvra S. Bhattacharyya and
Edward A. Lee},
title = {Looped Schedules for Dataflow Descriptions of Multirate Signal Processing
Algorithms},
journal = {Formal Methods Syst. Des.},
volume = {5},
number = {3},
pages = {183--205},
year = {1994},
url = {https://doi.org/10.1007/BF01383830},
doi = {10.1007/BF01383830},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BhattacharyyaL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcs/BuckHLM94,
author = {Joseph T. Buck and
Soonhoi Ha and
Edward A. Lee and
David G. Messerschmitt},
title = {Ptolemy: {A} Framework for Simulating and Prototyping Heterogenous
Systems},
journal = {Int. J. Comput. Simul.},
volume = {4},
number = {2},
year = {1994},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcs/BuckHLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/BhattacharyyaL94,
author = {Shuvra S. Bhattacharyya and
Edward A. Lee},
title = {Memory management for dataflow programming of multirate signal processing
algorithms},
journal = {{IEEE} Trans. Signal Process.},
volume = {42},
number = {5},
pages = {1190--1201},
year = {1994},
url = {https://doi.org/10.1109/78.295199},
doi = {10.1109/78.295199},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsp/BhattacharyyaL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/KalavadeL94,
author = {Asawaree Kalavade and
Edward A. Lee},
title = {A global criticality/local phase driven algorithm for the constrained
hardware/software partitioning problem},
booktitle = {Proceedings of the Third International Workshop on Hardware/Software
Codesign, {CODES} 1994, Grenoble, France, September 22-24, 1994},
pages = {42--48},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/HSC.1994.336724},
doi = {10.1109/HSC.1994.336724},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/KalavadeL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KalavadeeL94,
author = {Asawaree Kalavade and
Edward A. Lee},
editor = {Michael J. Lorenzetti},
title = {Manifestations of Heterogeneity in Hardware/Software Co-Design},
booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego,
California, USA, June 6-10, 1994},
pages = {437--438},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/196244.196457},
doi = {10.1145/196244.196457},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KalavadeeL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/CortadellaFL94,
author = {Jordi Cortadella and
Jos{\'{e}} A. B. Fortes and
Edward A. Lee},
title = {Design and Prototyping of Digital Signal Processing {(DSP)} Systems:
Introduction},
booktitle = {27th Annual Hawaii International Conference on System Sciences (HICSS-27),
January 4-7, 1994, Maui, Hawaii, {USA}},
pages = {56--57},
publisher = {{IEEE} Computer Society},
year = {1994},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/CortadellaFL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/Lee94b,
author = {Edward A. Lee},
title = {Computing and signal processing: an experimental multidisciplinary
course},
booktitle = {Proceedings of {ICASSP} '94: {IEEE} International Conference on Acoustics,
Speech and Signal Processing, Adelaide, South Australia, Australia,
April 19-22, 1994},
pages = {45--48},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICASSP.1994.389907},
doi = {10.1109/ICASSP.1994.389907},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/Lee94b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/PinoPL94,
author = {Jos{\'{e}} Luis Pino and
Thomas M. Parks and
Edward A. Lee},
title = {Automatic code generation for heterogeneous multiprocessors},
booktitle = {Proceedings of {ICASSP} '94: {IEEE} International Conference on Acoustics,
Speech and Signal Processing, Adelaide, South Australia, Australia,
April 19-22, 1994},
pages = {445--448},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICASSP.1994.389626},
doi = {10.1109/ICASSP.1994.389626},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/PinoPL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/MurthyBL94,
author = {Praveen K. Murthy and
Shuvra S. Bhattacharyya and
Edward A. Lee},
title = {Minimizing memory requirements for chain-structured synchronous dataflow
programs},
booktitle = {Proceedings of {ICASSP} '94: {IEEE} International Conference on Acoustics,
Speech and Signal Processing, Adelaide, South Australia, Australia,
April 19-22, 1994},
pages = {453--456},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICASSP.1994.389625},
doi = {10.1109/ICASSP.1994.389625},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/MurthyBL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/KalavadeL94,
author = {Asawaree Kalavade and
Edward A. Lee},
editor = {Pierre G. Paulin},
title = {A methodology for simulation and synthesis of mixed hardware/software
systems},
booktitle = {Proceedings of the 7th International Symposium on High Level Synthesis,
HLSS'94, Niagra-on-the-Lake, ON, Canada, May 18-20, 1994},
pages = {10},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1109/ISHLS.1994.302349},
doi = {10.1109/ISHLS.1994.302349},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/isss/KalavadeL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/KalavadeL93,
author = {Asawaree Kalavade and
Edward A. Lee},
title = {A Hardware-Software Codesign Methodology for {DSP} Applications},
journal = {{IEEE} Des. Test Comput.},
volume = {10},
number = {3},
pages = {16--28},
year = {1993},
url = {https://doi.org/10.1109/54.232469},
doi = {10.1109/54.232469},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/KalavadeL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/BarryKKLM93,
author = {John R. Barry and
Joseph M. Kahn and
William J. Krause and
Edward A. Lee and
David G. Messerschmitt},
title = {Simulation of Multipath Impulse Response for Indoor Wireless Optical
Channels},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {11},
number = {3},
pages = {367--379},
year = {1993},
url = {https://doi.org/10.1109/49.219552},
doi = {10.1109/49.219552},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/BarryKKLM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/SihL93,
author = {Gilbert C. Sih and
Edward A. Lee},
title = {A Compile-Time Scheduling Heuristic for Interconnection-Constrained
Heterogeneous Processor Architectures},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {4},
number = {2},
pages = {175--187},
year = {1993},
url = {https://doi.org/10.1109/71.207593},
doi = {10.1109/71.207593},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/SihL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/SihL93a,
author = {Gilbert C. Sih and
Edward A. Lee},
title = {Declustering: {A} New Multiprocessor Scheduling Technique},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {4},
number = {6},
pages = {625--637},
year = {1993},
url = {https://doi.org/10.1109/71.242160},
doi = {10.1109/71.242160},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/SihL93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/BhattacharyyaL93,
author = {Shuvra S. Bhattacharyya and
Edward A. Lee},
title = {Scheduling synchronous dataflow graphs for efficient looping},
journal = {J. {VLSI} Signal Process.},
volume = {6},
number = {3},
pages = {271--288},
year = {1993},
url = {https://doi.org/10.1007/BF01608539},
doi = {10.1007/BF01608539},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/BhattacharyyaL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/SriramL93,
author = {Sundararajan Sriram and
Edward A. Lee},
title = {Design and implementation of an ordered memory access architecture},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '93, Minneapolis, Minnesota, USA, April 27-30, 1993},
pages = {345--348},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.ieeecomputersociety.org/10.1109/ICASSP.1993.319126},
doi = {10.1109/ICASSP.1993.319126},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/SriramL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/BuckL93,
author = {Joseph T. Buck and
Edward A. Lee},
title = {Scheduling dynamic dataflow graphs with bounded memory using the token
flow model},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '93, Minneapolis, Minnesota, USA, April 27-30, 1993},
pages = {429--432},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.ieeecomputersociety.org/10.1109/ICASSP.1993.319147},
doi = {10.1109/ICASSP.1993.319147},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/BuckL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/Lee93,
author = {Edward A. Lee},
title = {Representing and exploiting data parallelism using multidimensional
dataflow diagrams},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '93, Minneapolis, Minnesota, USA, April 27-30, 1993},
pages = {453--456},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.ieeecomputersociety.org/10.1109/ICASSP.1993.319153},
doi = {10.1109/ICASSP.1993.319153},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/Lee93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/Lee93,
author = {Edward A. Lee},
editor = {Michel Cosnard and
Kemal Ebcioglu and
Jean{-}Luc Gaudiot},
title = {Mulitdimensional Streams Rooted in Dataflow},
booktitle = {Proceedings of the {IFIP} {WG10.3.} Working Conference on Architectures
and Compilation Techniques for Fine and Medium Grain Parallelism,
{PACT} 1993, Orlando, Florida, USA, January 20-22, 1993},
series = {{IFIP} Transactions},
volume = {{A-23}},
pages = {295--306},
publisher = {North-Holland},
year = {1993},
url = {http://dl.acm.org/citation.cfm?id=714248},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/Lee93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/Lee92,
author = {Edward A. Lee},
title = {A design lab for statistical signal processing},
booktitle = {1992 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing, {ICASSP} '92, San Francisco, California, USA, March 23-26,
1992},
pages = {81--84},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICASSP.1992.226406},
doi = {10.1109/ICASSP.1992.226406},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/Lee92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/PowellLN92,
author = {Douglas B. Powell and
Edward A. Lee and
William C. Newman},
title = {Direct synthesis of optimized {DSP} assembly code from signal flow
block diagrams},
booktitle = {1992 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing, {ICASSP} '92, San Francisco, California, USA, March 23-26,
1992},
pages = {553--556},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICASSP.1992.226560},
doi = {10.1109/ICASSP.1992.226560},
timestamp = {Mon, 29 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/PowellLN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/network/BarryKLM91,
author = {John R. Barry and
Joseph M. Kahn and
Edward A. Lee and
David G. Messerschmitt},
title = {High-speed nondirective optical communication for wireless networks},
journal = {{IEEE} Netw.},
volume = {5},
number = {6},
pages = {44--54},
year = {1991},
url = {https://doi.org/10.1109/65.103810},
doi = {10.1109/65.103810},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/network/BarryKLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HaL91,
author = {Soonhoi Ha and
Edward A. Lee},
title = {Compile-Time Scheduling and Assignment of Data-Flow Program Graphs
with Data-Dependent Iteration},
journal = {{IEEE} Trans. Computers},
volume = {40},
number = {11},
pages = {1225--1238},
year = {1991},
url = {https://doi.org/10.1109/12.102826},
doi = {10.1109/12.102826},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/HaL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/Lee91,
author = {Edward A. Lee},
title = {Consistency in Dataflow Graphs},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {2},
number = {2},
pages = {223--235},
year = {1991},
url = {https://doi.org/10.1109/71.89067},
doi = {10.1109/71.89067},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/Lee91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/Lee91,
author = {Edward A. Lee},
title = {Consistency in dataflow graphs},
booktitle = {Application Specific Array Processors, 1991. Proceedings of the International
Conference on, Barcelona, Spain, 2-4 Sept., 1991},
pages = {355--369},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/ASAP.1991.238909},
doi = {10.1109/ASAP.1991.238909},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/asap/Lee91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/BarreraL91,
author = {Brian Barrera and
Edward A. Lee},
title = {Multirate signal processing in Comdisco's {SPW}},
booktitle = {1991 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '91, Toronto, Ontario, Canada, May 14-17, 1991},
pages = {1113--1116},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICASSP.1991.150561},
doi = {10.1109/ICASSP.1991.150561},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/BarreraL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/BuckHLM91,
author = {Joseph T. Buck and
Soonhoi Ha and
Edward A. Lee and
David G. Messerschmitt},
title = {Multirate signal processing in Ptolemy},
booktitle = {1991 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '91, Toronto, Ontario, Canada, May 14-17, 1991},
pages = {1245--1248},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICASSP.1991.150620},
doi = {10.1109/ICASSP.1991.150620},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/BuckHLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/LeeB90,
author = {Edward A. Lee and
Jeffery C. Bier},
title = {Architectures for Statically Scheduled Dataflow},
journal = {J. Parallel Distributed Comput.},
volume = {10},
number = {4},
pages = {333--348},
year = {1990},
url = {https://doi.org/10.1016/0743-7315(90)90034-M},
doi = {10.1016/0743-7315(90)90034-M},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/LeeB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/Lee90,
author = {Edward A. Lee},
title = {Programmable DSPs: a brief overview},
journal = {{IEEE} Micro},
volume = {10},
number = {5},
pages = {14--16},
year = {1990},
url = {https://doi.org/10.1109/40.60522},
doi = {10.1109/40.60522},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/Lee90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/BierGHLOSL90,
author = {Jeffery C. Bier and
Edwin E. Goei and
Wai H. Ho and
Philip D. Lapsley and
Maureen P. O'Reilly and
Gilbert C. Sih and
Edward A. Lee},
title = {Gabriel: a design environment for {DSP}},
journal = {{IEEE} Micro},
volume = {10},
number = {5},
pages = {28--45},
year = {1990},
url = {https://doi.org/10.1109/40.60524},
doi = {10.1109/40.60524},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/BierGHLOSL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BarryL90,
author = {John R. Barry and
Edward A. Lee},
title = {Performance of coherent optical receivers},
journal = {Proc. {IEEE}},
volume = {78},
number = {8},
pages = {1369--1394},
year = {1990},
url = {https://doi.org/10.1109/5.58322},
doi = {10.1109/5.58322},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BarryL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/SihL90,
author = {Gilbert C. Sih and
Edward A. Lee},
editor = {Benjamin W. Wah},
title = {Scheduling to Account for Interprocessor Communication within Interconnection-Constrained
Processor Networks},
booktitle = {Proceedings of the 1990 International Conference on Parallel Processing,
Urbana-Champaign, IL, USA, August 1990. Volume 1: Architecture},
pages = {9--16},
publisher = {Pennsylvania State University Press},
year = {1990},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/SihL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/SihL90,
author = {Gilbert C. Sih and
Edward A. Lee},
title = {Dynamic-level scheduling for heterogeneous processor networks},
booktitle = {Proceedings of the Second {IEEE} Symposium on Parallel and Distributed
Processing, {SPDP} 1990, Dallas, Texas, USA, December 9-13, 1990},
pages = {42--49},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/SPDP.1990.143505},
doi = {10.1109/SPDP.1990.143505},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spdp/SihL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/LeeHGBB89,
author = {Edward A. Lee and
W.{-}H. Ho and
E. Goei and
Jeffery C. Bier and
Shuvra S. Bhattacharyya},
title = {Gabriel: a design environment for {DSP}},
journal = {{IEEE} Trans. Acoust. Speech Signal Process.},
volume = {37},
number = {11},
pages = {1751--1762},
year = {1989},
url = {https://doi.org/10.1109/29.46557},
doi = {10.1109/29.46557},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/LeeHGBB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LeeGHHBBG89,
author = {Edward A. Lee and
E. Goei and
H. Heine and
W.{-}H. Ho and
Shuvra S. Bhattacharyya and
Jeffery C. Bier and
E. Guntvedt},
editor = {Donald E. Thomas},
title = {{GABRIEL:} {A} Design Environment for Programmable DSPs},
booktitle = {Proceedings of the 26th {ACM/IEEE} Design Automation Conference, Las
Vegas, Nevada, USA, June 25-29, 1989},
pages = {141--146},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/74382.74407},
doi = {10.1145/74382.74407},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LeeGHHBBG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BierL89,
author = {Jeffrey C. Bier and
Edward A. Lee},
title = {Frigg: a simulation environment for multiple-processor {DSP} system
development},
booktitle = {Computer Design: {VLSI} in Computers and Processors, {ICCD} 1989.
Proceedings., 1989 {IEEE} International Conference on, Cambridge,
MA, USA, October 2-4, 1989},
pages = {280--283},
publisher = {{IEEE}},
year = {1989},
url = {https://doi.org/10.1109/ICCD.1989.63371},
doi = {10.1109/ICCD.1989.63371},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/iccd/BierL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/LeeM87,
author = {Edward A. Lee and
David G. Messerschmitt},
title = {Synchronous data flow},
journal = {Proc. {IEEE}},
volume = {75},
number = {9},
pages = {1235--1245},
year = {1987},
url = {https://doi.org/10.1109/PROC.1987.13876},
doi = {10.1109/PROC.1987.13876},
timestamp = {Fri, 09 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/LeeM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LeeM87,
author = {Edward Ashford Lee and
David G. Messerschmitt},
title = {Static Scheduling of Synchronous Data Flow Programs for Digital Signal
Processing},
journal = {{IEEE} Trans. Computers},
volume = {36},
number = {1},
pages = {24--35},
year = {1987},
url = {https://doi.org/10.1109/TC.1987.5009446},
doi = {10.1109/TC.1987.5009446},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LeeM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/LeeM87,
author = {Edward A. Lee and
David G. Messerschmitt},
title = {Pipeline interleaved programmable DSP's: Architecture},
journal = {{IEEE} Trans. Acoust. Speech Signal Process.},
volume = {35},
number = {9},
pages = {1320--1333},
year = {1987},
url = {https://doi.org/10.1109/TASSP.1987.1165274},
doi = {10.1109/TASSP.1987.1165274},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/LeeM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/LeeM87a,
author = {Edward A. Lee and
David G. Messerschmitt},
title = {Pipeline interleaved programmable DSP's: Synchronous data flow programming},
journal = {{IEEE} Trans. Acoust. Speech Signal Process.},
volume = {35},
number = {9},
pages = {1334--1345},
year = {1987},
url = {https://doi.org/10.1109/TASSP.1987.1165275},
doi = {10.1109/TASSP.1987.1165275},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/LeeM87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/LeeM87,
author = {Edward A. Lee and
David G. Messerschmitt},
title = {Synchronous Data Flow: Describing Signal Processing Algorithm for
Parallel Computation},
booktitle = {COMPCON'87, Digest of Papers, Thirty-Second {IEEE} Computer Society
International Conference, San Francisco, California, USA, February
23-27, 1987},
pages = {310--315},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Tue, 27 Jun 2006 14:43:07 +0200},
biburl = {https://dblp.org/rec/conf/compcon/LeeM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/TsengSL87,
author = {Ho{-}Ping Tseng and
Michael J. Sabin and
Edward A. Lee},
title = {Fuzzy vector quantazation applied to hidden Markov modeling},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '87, Dallas, Texas, USA, April 6-9, 1987},
pages = {641--644},
publisher = {{IEEE}},
year = {1987},
url = {https://doi.org/10.1109/ICASSP.1987.1169570},
doi = {10.1109/ICASSP.1987.1169570},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/TsengSL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/MengLM87,
author = {Teresa H.{-}Y. Meng and
Edward A. Lee and
David G. Messerschmitt},
title = {Least squares computation at arbitrarily high speeds},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '87, Dallas, Texas, USA, April 6-9, 1987},
pages = {1398--1401},
publisher = {{IEEE}},
year = {1987},
url = {https://doi.org/10.1109/ICASSP.1987.1169528},
doi = {10.1109/ICASSP.1987.1169528},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/MengLM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/LeeM85,
author = {Edward Ashford Lee and
David G. Messerschmitt},
title = {On quantization effects in state-variable filter implementations},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '85, Tampa, Florida, USA, March 26-29, 1985},
pages = {1719--1722},
publisher = {{IEEE}},
year = {1985},
url = {https://doi.org/10.1109/ICASSP.1985.1168191},
doi = {10.1109/ICASSP.1985.1168191},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/LeeM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
