Travelled to:1 × Austria
1 × Denmark
1 × France
1 × Ireland
1 × Norway
1 × Turkey
1 × United Kingdom
2 × Germany
8 × USA
Collaborated with:∅ M.Lohstroh A.Wasicek C.Shaver A.L.Sangiovanni-Vincentelli S.A.Edwards Y.Xiong A.Kalavade P.Derler S.Tripakis J.Zou J.S.Auerbach D.F.Bacon E.Wandeler J.W.Janneck L.Thiele D.N.Bui I.Liu H.D.Patel J.Reineke H.Kim L.Greenberg A.Iwai I.Akkaya F.Cremona D.Broman M.Masin M.Leung T.Mandl E.Latronico C.P.Shelton B.Lickly E.Goei H.Heine W.Ho S.S.Bhattacharyya J.C.Bier E.Guntvedt
Talks about:system (4) design (4) model (4) time (3) base (3) architectur (2) heterogen (2) interfac (2) theori (2) physic (2)
Person: Edward A. Lee
DBLP: Lee:Edward_A=
Contributed to:
2015
2015
20152014
20122011
201120102010
2009200920072005
2000199419892018Wrote 17 papers:
- ASPLOS-2015-Lee #architecture #cyber-physical
- Architectural Support for Cyber-Physical Systems (EAL), p. 1.
- DAC-2015-WasicekLKGIA #simulation
- System simulation from operational data (AW, EAL, HK, LG, AI, IA), p. 6.
- SEFM-2015-LohstrohL #interface #internet
- An Interface Theory for the Internet of Things (ML, EAL), pp. 20–34.
- DAC-2014-WasicekDL #aspect-oriented #cyber-physical #modelling
- Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems (AW, PD, EAL), p. 6.
- MoDELS-2012-ShaverL
- The Coroutine Model of Computation (CS, EAL), pp. 319–334.
- DAC-2011-BuiLLPR #architecture #multi
- Temporal isolation on multiprocessing architectures (DNB, EAL, IL, HDP, JR), pp. 274–279.
- DATE-2011-LeeS #component #design
- Component-based design for the future (EAL, ALSV), p. 1029.
- DAC-2010-Lee #continuation
- CPS foundations (EAL), pp. 737–742.
- MoDELS-v2-2010-Lee #modelling
- Disciplined Heterogeneous Modeling — Invited Paper (EAL), pp. 273–287.
- LCTES-2009-ZouABL #embedded #flexibility #graph #realtime #theory and practice
- PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice (JZ, JSA, DFB, EAL), pp. 31–40.
- MoDELS-2009-LeungMLLSTL #ontology #scalability #semantics #using
- Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
- DAC-2007-EdwardsL #precise
- The Case for the Precision Timed (PRET) Machine (SAE, EAL), pp. 264–265.
- SEFM-2005-WandelerJLT #automaton #interface #modelling #static analysis
- Counting Interface Automata and their Application in Static Analysis of Actor Models (EW, JWJ, EAL, LT), pp. 106–116.
- TACAS-2000-XiongL #component #design #type system
- An Extensible Type System for Component-Based Design (YX, EAL), pp. 20–37.
- DAC-1994-KalavadeeL #co-evolution #design #hardware
- Manifestations of Heterogeneity in Hardware/Software Co-Design (AK, EAL), pp. 437–438.
- DAC-1989-LeeGHHBBG #design #named #programmable
- GABRIEL: A Design Environment for Programmable DSPs (EAL, EG, HH, WHH, SSB, JCB, EG), pp. 141–146.
- MoDELS-2018-CremonaLBLMT #hybrid
- Hybrid Co-simulation: It’s About Time (FC, ML, DB, EAL, MM, ST), p. 368.