 | 2009 |
|---|
| 88 |       | 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 |
| 87 | | Stavros Tripakis,
Ben Lickly,
Thomas A. Henzinger,
Edward A. Lee:
On relational interfaces.
EMSOFT 2009: 67-76 |
| 86 | | Edward A. Lee,
Slobodan Matic,
Sanjit A. Seshia,
Jia Zou:
The Case for Timing-Centric Distributed Software Invited Paper.
ICDCS Workshops 2009: 57-64 |
| 85 | | 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 |
| 84 | | 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 |
| 83 | | 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 |
| 82 | | Edward A. Lee,
Xiaojun Liu,
Stephen Neuendorffer:
Classes and inheritance in actor-oriented design.
ACM Trans. Embedded Comput. Syst. 8(4): (2009) |
| 81 | | Edward A. Lee:
Computing needs time.
Commun. ACM 52(5): 70-79 (2009) |
| 80 | | Antoon Goderis,
Christopher Brooks,
Ilkay Altintas,
Edward A. Lee,
Carole A. Goble:
Heterogeneous composition of models of computation.
Future Generation Comp. Syst. 25(5): 552-560 (2009) |
| 2008 |
|---|
| 79 | | 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 |
| 78 | | 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 |
| 77 | | Patricia Derler,
Edward A. Lee,
Slobodan Matic:
Simulation and Implementation of the PTIDES Programming Model.
DS-RT 2008: 330-333 |
| 76 | | 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 |
| 75 | | Edward A. Lee:
Time is a Resource, and Other Stories.
ISORC 2008: 355 |
| 74 | | Edward A. Lee:
Cyber Physical Systems: Design Challenges.
ISORC 2008: 363-369 |
| 73 | | Ye Zhou,
Edward A. Lee:
Causality interfaces for actor networks.
ACM Trans. Embedded Comput. Syst. 7(3): (2008) |
| 72 | | Xiaojun Liu,
Edward A. Lee:
CPO semantics of timed interactive actor networks.
Theor. Comput. Sci. 409(1): 110-125 (2008) |
| 2007 |
|---|
| 71 | | Stephen A. Edwards,
Edward A. Lee:
The Case for the Precision Timed (PRET) Machine.
DAC 2007: 264-265 |
| 70 | | Edward A. Lee,
Haiyang Zheng:
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.
EMSOFT 2007: 114-123 |
| 69 | | Gang Zhou,
Man-Kit Leung,
Edward A. Lee:
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.
ICESS 2007: 193-206 |
| 68 | | 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 |
| 67 | | Antoon Goderis,
Christopher 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 |
| 2006 |
|---|
| 66 | | Xiaojun Liu,
Eleftherios Matsikoudis,
Edward A. Lee:
Modeling Timed Concurrent Systems.
CONCUR 2006: 1-15 |
| 65 | | Ye Zhou,
Edward A. Lee:
A causality interface for deadlock analysis in dataflow.
EMSOFT 2006: 44-52 |
| 64 | | Edward A. Lee:
Concurrent Semantics Without the Notions of State or State Transitions.
FORMATS 2006: 18-31 |
| 63 | | Haiyang Zheng,
Edward A. Lee,
Aaron D. Ames:
Beyond Zeno: Get on with It!
HSCC 2006: 568-582 |
| 62 | | Edward A. Lee:
Discrete event models: getting the semantics right.
Winter Simulation Conference 2006: 1 |
| 61 | | Thomas Huining Feng,
Edward A. Lee:
Incremental checkpointing with application to distributed discrete event simulation.
Winter Simulation Conference 2006: 1004-1011 |
| 60 | | 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) |
| 59 | | Edward A. Lee:
The Problem with Threads.
IEEE Computer 39(5): 33-42 (2006) |
| 2005 |
|---|
| 58 | | 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 |
| 57 | | Edward A. Lee,
Haiyang Zheng:
Operational Semantics of Hybrid Systems.
HSCC 2005: 25-53 |
| 56 | | 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 |
| 55 | | Elaine Cheong,
Edward A. Lee,
Yang Zhao:
Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.
SenSys 2005: 302 |
| 54 | | Edward A. Lee:
Absolutely Positively on Time: What Would It Take?
IEEE Computer 38(7): 85-87 (2005) |
| 2004 |
|---|
| 53 | | Philip Baldwin,
Sanjeev Kohli,
Edward A. Lee,
Xiaojun Liu,
Yang Zhao:
Modeling of sensor nets in Ptolemy II.
IPSN 2004: 359-368 |
| 52 | | Edward A. Lee,
Stephen Neuendorffer:
Classes and subclasses in actor-oriented design.
MEMOCODE 2004: 161-168 |
| 51 | | Stephen Neuendorffer,
Edward A. Lee:
Hierarchical reconfiguration of dataflow models.
MEMOCODE 2004: 179-188 |
| 50 | | Edward A. Lee,
Yuhong Xiong:
A behavioral type system and its application in Ptolemy II.
Formal Asp. Comput. 16(3): 210-237 (2004) |
| 2003 |
|---|
| 49 | | Jie Liu,
Edward A. Lee:
On the Causality of Mixed-Signal and Hybrid Models.
HSCC 2003: 328-342 |
| 48 | | 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) |
| 47 |  | Johan Eker,
Jörn W. Janneck,
Edward A. Lee,
Jie Liu,
Xiaojun Liu,
J. Ludvig,
Stephen Neuendorffer,
S. Sachs,
Yuhong Xiong:
Taming heterogeneity - the Ptolemy approach.
Proceedings of the IEEE 91(1): 127-144 (2003) |
| 46 | | Stephen A. Edwards,
Edward A. Lee:
The semantics and execution of a synchronous block-diagram language.
Sci. Comput. Program. 48(1): 21-42 (2003) |
| 2002 |
|---|
| 45 | | 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) |
| 44 | | Edward A. Lee:
Embedded Software.
Advances in Computers 56: 56-97 (2002) |
| 2001 |
|---|
| 43 | | Edward A. Lee,
Yuhong Xiong:
System-Level Types for Component-Based Design.
EMSOFT 2001: 237-253 |
| 42 | | Xiaojun Liu,
Yuhong Xiong,
Edward A. Lee:
The Ptolemy II Framework for Visual Languages.
HCC 2001: 50- |
| 2000 |
|---|
| 41 | | Sharad Malik,
D. K. Arvind,
Edward A. Lee,
Phil Koopman,
Alberto L. Sangiovanni-Vincentelli,
Wayne Wolf:
Embedded systems education (panel abstract).
DAC 2000: 519 |
| 40 | | Yuhong Xiong,
Edward A. Lee:
An Extensible Type System for Component-Based Design.
TACAS 2000: 20-37 |
| 39 | | Edward A. Lee:
What's Ahead for Embedded Software?
IEEE Computer 33(9): 18-26 (2000) |
| 1999 |
|---|
| 38 | | Edward A. Lee:
Modeling Concurrent Real-Time Processes Using Discrete Events.
Ann. Software Eng. 7: 25-45 (1999) |
| 37 | | 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) |
| 36 | | Walid A. Najjar,
Edward A. Lee,
Guang R. Gao:
Advances in the dataflow computational model.
Parallel Computing 25(13-14): 1907-1929 (1999) |
| 35 | | 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 |
|---|
| 34 | | Bilung Lee,
Edward A. Lee:
Hierarchical Concurrent Finite State Machines in Ptolemy.
ACSD 1998: 34-40 |
| 33 | | Edward A. Lee,
David G. Messerschmitt:
Engineering and Education for the Future.
IEEE Computer 31: 77-85 (1998) |
| 32 | | 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) |
| 1997 |
|---|
| 31 | | Shuvra S. Bhattacharyya,
Praveen K. Murthy,
Edward A. Lee:
Optimized software synthesis for synchronous dataflow.
ASAP 1997: 250-262 |
| 30 | | 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) |
| 29 | | 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) |
| 28 | | Sundararajan Sriram,
Edward A. Lee:
Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors.
VLSI Signal Processing 15(3): 207-220 (1997) |
| 1996 |
|---|
| 27 | | Shuvra S. Bhattacharyya,
Sundararajan Sriram,
Edward A. Lee:
Latency-constrained Resynchronization for Multiprocessor DSP Implementation.
ASAP 1996: 365-380 |
| 26 | | Edward A. Lee,
Alberto L. Sangiovanni-Vincentelli:
Comparing models of computation.
ICCAD 1996: 234-241 |
| 25 | | Shuvra S. Bhattacharyya,
Sundararajan Sriram,
Edward A. Lee:
Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules.
IPPS 1996: 199-205 |
| 24 | | 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) |
| 23 | | Asawaree Kalavade,
Edward A. Lee:
Complexity management in system-level design.
VLSI Signal Processing 14(2): 157-169 (1996) |
| 1995 |
|---|
| 22 | | Shuvra S. Bhattacharyya,
Sundararajan Sriram,
Edward A. Lee:
Minimizing Synchronization Overhead in Statically Scheduled Multiprocessor Systems.
ASAP 1995: 298-309 |
| 21 | | 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 |
| 20 | | 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) |
| 1994 |
|---|
| 19 | | Asawaree Kalavade,
Edward A. Lee:
A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem.
CODES 1994: 42-48 |
| 18 | | Asawaree Kalavade,
Edward A. Lee:
Manifestations of Heterogeneity in Hardware/Software Co-Design.
DAC 1994: 437-438 |
| 17 | | Jordi Cortadella,
José A. B. Fortes,
Edward A. Lee:
Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction.
HICSS (1) 1994: 56-57 |
| 16 | | 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) |
| 15 | | 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) |
| 1993 |
|---|
| 14 | | Edward A. Lee:
Mulitdimensional Streams Rooted in Dataflow.
Architectures and Compilation Techniques for Fine and Medium Grain Parallelism 1993: 295-306 |
| 13 | | Asawaree Kalavade,
Edward A. Lee:
A Hardware-Software Codesign Methodology for DSP Applications.
IEEE Design & Test of Computers 10(3): 16-28 (1993) |
| 12 | | 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) |
| 11 | | 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) |
| 10 | | Gilbert C. Sih,
Edward A. Lee:
Declustering: A New Multiprocessor Scheduling Technique.
IEEE Trans. Parallel Distrib. Syst. 4(6): 625-637 (1993) |
| 9 | | Shuvra S. Bhattacharyya,
Edward A. Lee:
Scheduling synchronous dataflow graphs for efficient looping.
VLSI Signal Processing 6(3): 271-288 (1993) |
| 1991 |
|---|
| 8 | | 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) |
| 7 | | Edward A. Lee:
Consistency in Dataflow Graphs.
IEEE Trans. Parallel Distrib. Syst. 2(2): 223-235 (1991) |
| 1990 |
|---|
| 6 | | Gilbert C. Sih,
Edward A. Lee:
Scheduling to Account for Interprocessor Communication within Interconnection-Constrained Processor Networks.
ICPP (1) 1990: 9-16 |
| 5 | | Gilbert C. Sih,
Edward A. Lee:
Dynamic-level scheduling for heterogeneous processor networks.
SPDP 1990: 42-49 |
| 4 | | Edward A. Lee,
Jeffery C. Bier:
Architectures for Statically Scheduled Dataflow.
J. Parallel Distrib. Comput. 10(4): 333-348 (1990) |
| 1989 |
|---|
| 3 | | 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 |
|---|
| 2 | | Edward A. Lee,
David G. Messerschmitt:
Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation.
COMPCON 1987: 310-315 |
| 1 | | 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) |
