Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.