BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lee:Edward_A=

Contributed to:

ASPLOS 20152015
DAC 20152015
SEFM 20152015
DAC 20142014
MoDELS 20122012
DAC 20112011
DATE 20112011
DAC 20102010
MoDELS (2) 20102010
LCTES 20092009
MoDELS 20092009
DAC 20072007
SEFM 20052005
TACAS 20002000
DAC 19941994
DAC 19891989
MoDELS 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.