Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Edward A. Lee
2010 – today
- 2013
[j49]Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee: Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embedded Comput. Syst. 12(3): 83 (2013)- [c80]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee: Error-Completion in Interface Theories. SPIN 2013: 358-375
- 2012
- [j48]Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli: Modeling Cyber-Physical Systems. Proceedings of the IEEE 100(1): 13-28 (2012)
- [j47]John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou: Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE 100(1): 45-59 (2012)
- [j46]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis: Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12): 1235-1271 (2012)
- [c79]
- [c78]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi: An overview of the career of Paul Caspi. EMSOFT 2012: 195-196
- [c77]Isaac Liu, Edward A. Lee, Matthew Viele, Guoqiang Wang, Hugo A. Andrade: A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs. FCCM 2012: 125-132
- [c76]Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee: A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD 2012: 87-93
- [c75]
- [c74]Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann: Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. Monterey Workshop 2012: 209-223
- [c73]Jia Zou, Slobodan Matic, Edward A. Lee: PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 209-218
- [c72]
- 2011
- [j45]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14 (2011)
- [c71]Jan Reineke, Isaac Liu, Hiren D. Patel, Sungjun Kim, Edward A. Lee: PRET DRAM controller: bank privatization for predictability and temporal isolation. CODES+ISSS 2011: 99-108
- [c70]Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke: Temporal isolation on multiprocessing architectures. DAC 2011: 274-279
- [c69]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli: Component-based design for the future. DATE 2011: 1029
- [c68]
- [c67]Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee: A practical ontology framework for static model analysis. EMSOFT 2011: 23-32
- [c66]Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis: Time-predictable and composable architectures for dependable embedded systems. EMSOFT 2011: 351-352
- [c65]Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia: An introductory capstone design course on embedded systems. ISCAS 2011: 1199-1202
- [c64]Jeff C. Jensen, Danica H. Chang, Edward A. Lee: A model-based design methodology for cyber-physical systems. IWCMC 2011: 1666-1671
- [e2]François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee (Eds.): Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011. Linköping Electronic Conference Proceedings 56, Linköping University Electronic Press 2011
- 2010
- [j44]Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong: The design and application of structured types in Ptolemy II. Int. J. Intell. Syst. 25(2): 118-136 (2010)
- [c63]Maarten Wiggers, Lothar Thiele, Edward A. Lee, Simon Schliecker, Marco Bekooij: Modeling and analyzing real-time multiprocessor systems. CODES+ISSS 2010: 329-330
- [c62]Christopher X. Brooks, Edward A. Lee, Stavros Tripakis: Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332
- [c61]
- [c60]Thomas Huining Feng, Edward A. Lee, Lee W. Shruben: Ptera: an event-oriented model of computation for heterogeneous systems. EMSOFT 2010: 219-228
- [c59]Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee: Model-based specification of timing requirements. EMSOFT 2010: 239-248
- [c58]
- [c57]Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee: Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. ICCPS 2010: 199
- [c56]Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman: Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. MoDELS Workshops 2010: 140-144
- [c55]
- [c54]Dai N. Bui, Hiren D. Patel, Edward A. Lee: Deploying Hard Real-Time Control Software on Chip-Multiprocessors. RTCSA 2010: 283-292
- [c53]Martin Schoeberl, Christopher X. Brooks, Edward A. Lee: Code Generation for Embedded Java with Ptolemy. SEUS 2010: 155-166
- [e1]Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman (Eds.): Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010. Linköping Electronic Conference Proceedings 47, Linköping University Electronic Press 2010
2000 – 2009
- 2009
- [j43]
- [j42]Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble: Heterogeneous composition of models of computation. Future Generation Comp. Syst. 25(5): 552-560 (2009)
- [j41]Edward A. Lee, Xiaojun Liu, Stephen Neuendorffer: Classes and inheritance in actor-oriented design. ACM Trans. Embedded Comput. Syst. 8(4) (2009)
- [c52]Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois Knoll: Toward the Design of Robotic Software with Verifiable Safety. COMPSAC (1) 2009: 622-623
- [c51]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: On relational interfaces. EMSOFT 2009: 67-76
- [c50]Stephen A. Edwards, Sungjun Kim, Edward A. Lee, Isaac Liu, Hiren D. Patel, Martin Schoeberl: A disruptive computer design idea: Architectures with repeatable timing. ICCD 2009: 54-59
- [c49]Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou: The Case for Timing-Centric Distributed Software Invited Paper. ICDCS Workshops 2009: 57-64
- [c48]Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee: PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. LCTES 2009: 31-40
- [c47]Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly: Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS 2009: 393-407
- [c46]Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler: Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 77-86
- 2008
- [j40]Xiaojun Liu, Edward A. Lee: CPO semantics of timed interactive actor networks. Theor. Comput. Sci. 409(1): 110-125 (2008)
- [j39]Ye Zhou, Edward A. Lee: Causality interfaces for actor networks. ACM Trans. Embedded Comput. Syst. 7(3) (2008)
- [c45]Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel, Stephen A. Edwards, Edward A. Lee: Predictable programming on a precision timed architecture. CASES 2008: 137-146
- [c44]Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade: An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture. DS-RT 2008: 322-325
- [c43]Patricia Derler, Edward A. Lee, Slobodan Matic: Simulation and Implementation of the PTIDES Programming Model. DS-RT 2008: 330-333
- [c42]
- [c41]
- [c40]Thomas Huining Feng, Edward A. Lee: Real-Time Distributed Discrete-Event Execution with Fault Tolerance. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 205-214
- 2007
- [c39]Stephen A. Edwards, Edward A. Lee: The Case for the Precision Timed (PRET) Machine. DAC 2007: 264-265
- [c38]Edward A. Lee, Haiyang Zheng: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. EMSOFT 2007: 114-123
- [c37]Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble: Composing Different Models of Computation in Kepler and Ptolemy II. International Conference on Computational Science (3) 2007: 182-190
- [c36]Gang Zhou, Man-Kit Leung, Edward A. Lee: A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. ICESS 2007: 193-206
- [c35]Yang Zhao, Jie Liu, Edward A. Lee: A Programming Model for Time-Synchronized Distributed Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 259-268
- 2006
- [j38]
- [j37]Bertram Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew B. Jones, Edward A. Lee, Jing Tao, Yang Zhao: Scientific workflow management and the Kepler system. Concurrency and Computation: Practice and Experience 18(10): 1039-1065 (2006)
- [c34]Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee: Modeling Timed Concurrent Systems. CONCUR 2006: 1-15
- [c33]
- [c32]Edward A. Lee: Concurrent Semantics Without the Notions of State or State Transitions. FORMATS 2006: 18-31
- [c31]
- [c30]Edward A. Lee: Discrete event models: getting the semantics right. Winter Simulation Conference 2006: 1
- [c29]Thomas Huining Feng, Edward A. Lee: Incremental checkpointing with application to distributed discrete event simulation. Winter Simulation Conference 2006: 1004-1011
- 2005
- [j36]
- [c28]Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, Lizhi C. Zhong: The design and application of structured types in Ptolemy II. GrC 2005: 683-688
- [c27]
- [c26]
- [c25]Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele: Counting Interface Automata and their Application in Static Analysis of Actor Models. SEFM 2005: 106-116
- [c24]Elaine Cheong, Edward A. Lee, Yang Zhao: Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. SenSys 2005: 302
- 2004
- [j35]Edward A. Lee, Yuhong Xiong: A behavioral type system and its application in Ptolemy II. Formal Asp. Comput. 16(3): 210-237 (2004)
- [c23]Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao: Modeling of sensor nets in Ptolemy II. IPSN 2004: 359-368
- [c22]Edward A. Lee, Stephen Neuendorffer: Classes and subclasses in actor-oriented design. MEMOCODE 2004: 161-168
- [c21]Stephen Neuendorffer, Edward A. Lee: Hierarchical reconfiguration of dataflow models. MEMOCODE 2004: 179-188
- 2003
- [b3]John R. Barry, Edward A. Lee, David G. Messerschmitt: Digital communication (3. ed.). Springer 2003, ISBN 978-0-7923-7548-7, pp. I-XVI, 1-838
- [b2]Edward A. Lee, Pravin Varaiya: Structure and interpretation of signals and systems. Addison-Wesley 2003, ISBN 978-0-201-74551-1, pp. I-XXI, 1-647
- [j34]Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin: Actor-Oriented Design of Embedded Hardware and Software Systems. Journal of Circuits, Systems, and Computers 12(3): 231-260 (2003)
- [j33]Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong: Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE 91(1): 127-144 (2003)
- [j32]Stephen A. Edwards, Edward A. Lee: The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48(1): 21-42 (2003)
- [c20]
- 2002
- [j31]
- [j30]Jie Liu, Edward A. Lee: A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM Trans. Model. Comput. Simul. 12(4): 343-368 (2002)
- [j29]Praveen K. Murthy, Edward A. Lee: Multidimensional synchronous dataflow. IEEE Transactions on Signal Processing 50(8): 2064-2079 (2002)
- 2001
- [c19]
- [c18]Xiaojun Liu, Yuhong Xiong, Edward A. Lee: The Ptolemy II Framework for Visual Languages. HCC 2001: 50-
- 2000
- [j28]
- [c17]Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf: Embedded systems education (panel abstract). DAC 2000: 519
- [c16]Yuhong Xiong, Edward A. Lee: An Extensible Type System for Component-Based Design. TACAS 2000: 20-37
1990 – 1999
- 1999
- [j27]Edward A. Lee: Modeling Concurrent Real-Time Processes Using Discrete Events. Ann. Software Eng. 7: 25-45 (1999)
- [j26]Walid A. Najjar, Edward A. Lee, Guang R. Gao: Advances in the dataflow computational model. Parallel Computing 25(13-14): 1907-1929 (1999)
- [j25]Alain Girault, Bilung Lee, Edward A. Lee: Hierarchical finite state machines with multiple concurrency models. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 742-760 (1999)
- [j24]Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee: Synthesis of Embedded Software from Synchronous Dataflow Specifications. VLSI Signal Processing 21(2): 151-166 (1999)
- 1998
- [j23]Edward A. Lee, David G. Messerschmitt: Engineering and Education for the Future. IEEE Computer 31: 77-85 (1998)
- [j22]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli: A framework for comparing models of computation. IEEE Trans. on CAD of Integrated Circuits and Systems 17(12): 1217-1229 (1998)
- [c15]Bilung Lee, Edward A. Lee: Hierarchical Concurrent Finite State Machines in Ptolemy. ACSD 1998: 34-40
- 1997
- [j21]Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee: APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations. Design Autom. for Emb. Sys. 2(1): 33-60 (1997)
- [j20]Asawaree Kalavade, Edward A. Lee: The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection. Design Autom. for Emb. Sys. 2(2): 125-163 (1997)
- [j19]Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee: Joint Minimization of Code and Data for Synchronous Dataflow Programs. Formal Methods in System Design 11(1): 41-70 (1997)
- [j18]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee: Optimizing synchronization in multiprocessor DSP systems. IEEE Transactions on Signal Processing 45(6): 1605-1618 (1997)
- [j17]Wan-Teh Chang, Soonhoi Ha, Edward A. Lee: Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow. VLSI Signal Processing 15(1-2): 127-144 (1997)
- [j16]Sundararajan Sriram, Edward A. Lee: Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors. VLSI Signal Processing 15(3): 207-220 (1997)
- [c14]Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee: Optimized software synthesis for synchronous dataflow. ASAP 1997: 250-262
- 1996
- [j15]John R. Barry, Edward A. Lee, David G. Messerschmitt: Capacity penalty due to ideal zero-forcing decision-feedback equalization. IEEE Transactions on Information Theory 42(4): 1062-1071 (1996)
- [j14]Asawaree Kalavade, Edward A. Lee: Complexity management in system-level design. VLSI Signal Processing 14(2): 157-169 (1996)
- [c13]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee: Latency-constrained Resynchronization for Multiprocessor DSP Implementation. ASAP 1996: 365-380
- [c12]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli: Comparing models of computation. ICCAD 1996: 234-241
- [c11]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee: Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules. IPPS 1996: 199-205
- 1995
- [j13]José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck: Software synthesis for DSP using ptolemy. VLSI Signal Processing 9(1-2): 7-21 (1995)
- [c10]Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee: Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems. ASAP 1995: 298-309
- [c9]Jürgen Teich, Lothar Thiele, Edward A. Lee: Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model. ISSS 1995: 156-161
- 1994
- [b1]Edward A. Lee, David G. Messerschmitt: Digital communication (2. ed.). Kluwer 1994, ISBN 978-0-7923-9391-7, pp. 1-893
- [j12]Shuvra S. Bhattacharyya, Edward A. Lee: Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. Formal Methods in System Design 5(3): 183-205 (1994)
- [j11]Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt: Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. Int. Journal in Computer Simulation 4(2): 0- (1994)
- [j10]Shuvra S. Bhattacharyya, Edward A. Lee: Memory management for dataflow programming of multirate signal processing algorithms. IEEE Transactions on Signal Processing 42(5): 1190-1201 (1994)
- [c8]Asawaree Kalavade, Edward A. Lee: A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem. CODES 1994: 42-48
- [c7]Asawaree Kalavade, Edward A. Lee: Manifestations of Heterogeneity in Hardware/Software Co-Design. DAC 1994: 437-438
- [c6]Jordi Cortadella, José A. B. Fortes, Edward A. Lee: Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction. HICSS (1) 1994: 56-57
- 1993
- [j9]Asawaree Kalavade, Edward A. Lee: A Hardware-Software Codesign Methodology for DSP Applications. IEEE Design & Test of Computers 10(3): 16-28 (1993)
- [j8]John R. Barry, Joseph M. Kahn, William J. Krause, Edward A. Lee, David G. Messerschmitt: Simulation of Multipath Impulse Response for Indoor Wireless Optical Channels. IEEE Journal on Selected Areas in Communications 11(3): 367-379 (1993)
- [j7]Gilbert C. Sih, Edward A. Lee: A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures. IEEE Trans. Parallel Distrib. Syst. 4(2): 175-187 (1993)
- [j6]Gilbert C. Sih, Edward A. Lee: Declustering: A New Multiprocessor Scheduling Technique. IEEE Trans. Parallel Distrib. Syst. 4(6): 625-637 (1993)
- [j5]Shuvra S. Bhattacharyya, Edward A. Lee: Scheduling synchronous dataflow graphs for efficient looping. VLSI Signal Processing 6(3): 271-288 (1993)
- [c5]Edward A. Lee: Mulitdimensional Streams Rooted in Dataflow. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism 1993: 295-306
- 1991
- [j4]Soonhoi Ha, Edward A. Lee: Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration. IEEE Trans. Computers 40(11): 1225-1238 (1991)
- [j3]Edward A. Lee: Consistency in Dataflow Graphs. IEEE Trans. Parallel Distrib. Syst. 2(2): 223-235 (1991)
- 1990
- [j2]Edward A. Lee, Jeffery C. Bier: Architectures for Statically Scheduled Dataflow. J. Parallel Distrib. Comput. 10(4): 333-348 (1990)
- [c4]Gilbert C. Sih, Edward A. Lee: Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks. ICPP (1) 1990: 9-16
- [c3]Gilbert C. Sih, Edward A. Lee: Dynamic-level scheduling for heterogeneous processor networks. SPDP 1990: 42-49
1980 – 1989
- 1989
- [c2]Edward A. Lee, E. Goei, H. Heine, W. Ho, S. Bhattacharyya, Jeffery C. Bier, E. Guntvedt: GABRIEL: A Design Environment for Programmable DSPs. DAC 1989: 141-146
- 1987
- [j1]Edward A. Lee, David G. Messerschmitt: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. IEEE Trans. Computers 36(1): 24-35 (1987)
- [c1]Edward A. Lee, David G. Messerschmitt: Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation. COMPCON 1987: 310-315
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-02 22:00 CEST by the dblp team