Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDEdward A. Lee
Edward Ashford Lee
Person information
- affiliation: University of California, Berkeley, USA
- award (1997): Presidential Young Investigator Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j78]Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli:
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4(4): 43:1-43:27 (2020)- [j77]Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee:
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things 1(1): 4:1-4:27 (2020) - [c178]Mathieu Jan, Mihail Asavoae, Martin Schoeberl
, Edward A. Lee:
Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC 2020: 103-108 - [c177]Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah:
Model Checking Software in Cyberphysical Systems. COMPSAC 2020: 1017-1026 - [c176]Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee:
A Language for Deterministic Coordination Across Multiple Timelines. FDL 2020: 1-8 - [c175]Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee:
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR 2020 - [i5]Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus:
Learning Branching Heuristics for Propositional Model Counting. CoRR abs/2007.03204 (2020)
2010 – 2019
- 2019
- [j76]Marten Lohstroh, Hokeun Kim, John C. Eidson, Chadlia Jerad, Beth Osyk, Edward A. Lee:
On Enabling Technologies for the Internet of Important Things. IEEE Access 7: 27244-27256 (2019) - [j75]Edward A. Lee:
Modeling in engineering and science. Commun. ACM 62(1): 35-36 (2019) - [j74]Hokeun Kim, Edward A. Lee, Schahram Dustdar:
Creating a Resilient IoT With Edge Computing. Computer 52(8): 43-53 (2019) - [j73]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid co-simulation: it's about time. Softw. Syst. Model. 18(3): 1655-1679 (2019) - [c174]Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE 2019: 59-85 - [c173]Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, Edward A. Lee:
Actors Revisited for Time-Critical Systems. DAC 2019: 152 - [c172]Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee:
Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion 2019: 1 - [c171]Marten Lohstroh, Edward A. Lee:
Deterministic Actors. FDL 2019: 1-8 - [c170]Edward A. Lee:
A fundamental look at models and intelligence: abstract of keynote. SEsCPS@ICSE 2019: 1 - [c169]Edward A. Lee:
Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli. ISPD 2019: 126 - [c168]Matthew Weber, Ravi Akella, Edward A. Lee:
Service Discovery for the Connected Car with Semantic Accessors. IV 2019: 2417-2422 - [c167]Edward A. Lee:
Observation and Interaction - Invited Paper. LATA 2019: 31-42 - [c166]Marten Lohstroh, Edward A. Lee:
Work-in-Progress: Real-Time Reactors in C. RTSS 2019: 572-575 - 2018
- [j72]Edward A. Lee:
Is software the result of top-down intelligent design or evolution? Commun. ACM 61(9): 34-36 (2018) - [j71]Edward A. Lee:
What Is Real Time Computing? A Personal View. IEEE Des. Test 35(2): 64-72 (2018) - [j70]Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee:
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143: 116-139 (2018) - [j69]Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber:
A Component Architecture for the Internet of Things. Proc. IEEE 106(9): 1527-1542 (2018) - [c165]Edward A. Lee, Marjan Sirjani:
What Good are Models? FACS 2018: 3-31 - [c164]Edward A. Lee:
Models of Timed Systems. FORMATS 2018: 17-33 - [c163]Chadlia Jerad, Edward A. Lee:
Deterministic Timing for the Industrial Internet of Things. ICII 2018: 13-22 - [c162]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. MoDELS 2018: 368 - [c161]Ben Zhang, Xin Jin, Sylvia Ratnasamy, John Wawrzynek, Edward A. Lee:
AWStream: adaptive wide-area streaming analytics. SIGCOMM 2018: 236-252 - [i4]Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A Metric for Linear Temporal Logic. CoRR abs/1812.03923 (2018) - 2017
- [j68]Hokeun Kim, Edward A. Lee:
Authentication and Authorization for the Internet of Things. IT Prof. 19(5): 27-33 (2017) - [j67]Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14(3): 38-39 (2017) - [c160]Hokeun Kim, Armin Wasicek, Edward A. Lee:
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. CyPhy 2017: 83-93 - [c159]Marten Lohstroh, Hokeun Kim, Edward A. Lee:
Contextual callbacks for resource discovery and trust negotiation on the internet of things: work-in-progress. EMSOFT Companion 2017: 14:1-14:2 - [c158]Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman:
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI 2017: 147-158 - [c157]Edward A. Lee, Jan Reineke, Michael Zimmer:
Abstract PRET Machines. RTSS 2017: 1-11 - [c156]Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee:
An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys 2017: 8-13 - [c155]Chih-Hong Cheng, Edward A. Lee, Harald Ruess:
autoCode4: Structural Controller Synthesis. TACAS (1) 2017: 398-404 - 2016
- [j66]Nitesh Mor, Ben Zhang, John Kolb, Douglas S. Chan, Nikhil Goyal, Nicholas Sun, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz:
Toward a Global Data Infrastructure. IEEE Internet Comput. 20(3): 54-62 (2016) - [j65]Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee:
Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proc. IEEE 104(5): 997-1012 (2016) - [j64]Edward A. Lee:
Fundamental Limits of Cyber-Physical Systems Modeling. ACM Trans. Cyber Phys. Syst. 1(1): 3:1-3:26 (2016) - [j63]Ilge Akkaya, Yan Liu, Edward A. Lee:
Uncertainty Analysis of Middleware Services for Streaming Smart Grid Applications. IEEE Trans. Serv. Comput. 9(2): 174-185 (2016) - [c154]Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Coordinated Actors for Reliable Self-adaptive Systems. FACS 2016: 241-259 - [c153]Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee:
A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities. FiCloud 2016: 114-122 - [c152]Marten Lohstroh, Christopher X. Brooks, Edward A. Lee:
Demo Abstract: Building IoT Applications with Accessors in CapeCode. ICCPS 2016: 41:1 - [c151]Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. IoTDI 2016: 187-198 - [c150]Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c149]Shuhei Emoto, Ilge Akkaya, Edward A. Lee:
Cooperative multi-robot information acquisition based on distributed robust model predictive control. ROBIO 2016: 874-879 - [c148]Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee:
FIDE: an FMI integrated development environment. SAC 2016: 1759-1766 - [c147]Edward A. Lee, Danella Zhao:
Plenary I: The Internet of important things. SoCC 2016: 1-3 - 2015
- [j62]Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber:
A Vision of Swarmlets. IEEE Internet Comput. 19(2): 20-28 (2015) - [j61]Edward A. Lee:
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. Sensors 15(3): 4837-4869 (2015) - [j60]Eleftherios Matsikoudis, Edward A. Lee:
The fixed-point theory of strictly causal functions. Theor. Comput. Sci. 574: 39-77 (2015) - [c146]Michael Zimmer, J. Karl Hedrick, Edward A. Lee:
Ramifications of software implementation and deployment: A case study on yaw moment controller design. ACC 2015: 2014-2019 - [c145]Edward A. Lee:
Architectural Support for Cyber-Physical Systems. ASPLOS 2015: 1 - [c144]Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya:
System simulation from operational data. DAC 2015: 3:1-3:6 - [c143]Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter:
Modeling and simulating cyber-physical systems using CyPhySim. EMSOFT 2015: 115-124 - [c142]Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz:
The Cloud is Not Enough: Saving IoT from the Cloud. HotCloud 2015 - [c141]Ben Zhang, Nitesh Mor, John Kolb, Douglas S. Chan, Ken Lutz, Eric Allman, John Wawrzynek, Edward A. Lee, John Kubiatowicz:
The Cloud is Not Enough: Saving IoT from the Cloud. HotStorage 2015 - [c140]David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. HSCC 2015: 179-188 - [c139]Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter:
CyPhySim: a cyber-physical systems simulator. HSCC 2015: 301-302 - [c138]Matthew Weber, Edward A. Lee:
A model for semantic localization. IPSN 2015: 350-351 - [c137]Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh:
A predictable and command-level priority-based DRAM controller for mixed-criticality systems. RTAS 2015: 317-326 - [c136]Marten Lohstroh, Edward A. Lee:
An Interface Theory for the Internet of Things. SEFM 2015: 20-34 - [i3]Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. CoRR abs/1511.02279 (2015) - 2014
- [j59]Edward A. Lee:
Constructive Models of Discrete and Continuous Physical Phenomena. IEEE Access 2: 797-821 (2014) - [j58]Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014) - [c135]Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee:
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS 2014: 24:1-24:10 - [c134]Edward A. Lee, Peter Palensky:
Message from the Chairs. MSCPES@CPSWeek 2014: 1-2 - [c133]Armin Wasicek, Patricia Derler, Edward A. Lee:
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. DAC 2014: 21:1-21:6 - [c132]Edward A. Lee:
Constructive Collisions. FPS@ETAPS 2014: 161-176 - [c131]Edward A. Lee:
It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming. ISORC 2014: 213 - [c130]Edward A. Lee:
Keynote - It's about time. ReConFig 2014: 1 - [c129]Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee:
FlexPRET: A processor platform for mixed-criticality systems. RTAS 2014: 101-110 - [c128]Ben Zhang, Yu-Hsiang Chen, Claire Tuna, Achal Dave, Yang Li, Edward A. Lee, Björn Hartmann:
HOBS: head orientation-based selection in physical spaces. SUI 2014: 17-25 - 2013
- [j57]Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee:
A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23(4): 834-881 (2013) - [j56]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. Embed. Comput. Syst. 12(3): 83:1-83:26 (2013) - [c127]Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A tool integration approach for architectural exploration of aircraft electric power systems. CPSNA 2013: 38-43 - [c126]Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Eelco Scholte:
Industrial Cyber-Physical Systems - iCyPhy. CSDM 2013: 21-37 - [c125]David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Determinate composition of FMUs for co-simulation. EMSOFT 2013: 2:1-2:12 - [c124]Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee:
On the schedulability of real-time discrete-event systems. EMSOFT 2013: 12:1-12:15 - [c123]Dai N. Bui, Edward A. Lee:
StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions. EMSOFT 2013: 20:1-20:10 - [c122]Eleftherios Matsikoudis, Edward A. Lee:
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. FCT 2013: 248-258 - [c121]Eleftherios Matsikoudis, Edward A. Lee:
On Fixed Points of Strictly Causal Functions. FORMATS 2013: 183-197 - [c120]Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee:
On the Verification of Timed Discrete-Event Models. FORMATS 2013: 213-227 - [c119]Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. ICCPS 2013: 109-118 - [c118]Ilge Akkaya, Yan Liu, Edward A. Lee, Ian Gorton:
Modeling uncertainty for middleware-based streaming power grid applications. MW4NextGen@Middleware 2013: 4:1-4:6 - [c117]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. SPIN 2013: 358-375 - [c116]Eleftherios Matsikoudis, Edward A. Lee:
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. FICS 2013: 56-71 - [i2]Chih-Hong Cheng, Edward A. Lee:
Numerical LTL Synthesis for Cyber-Physical Systems. CoRR abs/1307.3722 (2013) - 2012
- [j55]Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Modeling Cyber-Physical Systems. Proc. IEEE 100(1): 13-28 (2012) - [j54]John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou:
Distributed Real-Time Software for Cyber-Physical Systems. Proc. IEEE 100(1): 45-59 (2012) - [j53]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) - [c115]Eleftherios Matsikoudis, Edward A. Lee:
From Transitions to Executions. CMCS 2012: 170-190 - [c114]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [c113]Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen:
Teaching embedded systems the Berkeley way. WESE 2012: 1 - [c112]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 - [c111]Edward A. Lee:
Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk. Haifa Verification Conference 2012: 2 - [c110]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 - [c109]David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS 2012: 49-54 - [c108]Chris Shaver, Edward A. Lee:
The Coroutine Model of Computation. MoDELS 2012: 319-334 - [c107]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 - [c106]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 - [c105]Edward A. Lee:
It's about time. ICSAMOS 2012 - 2011
- [j52]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14:1-14:41 (2011) - [c104]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 - [c103]Dai N. Bui, Edward A. Lee, Isaac Liu, Hiren D. Patel, Jan Reineke:
Temporal isolation on multiprocessing architectures. DAC 2011: 274-279 - [c102]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Component-based design for the future. DATE 2011: 1029 - [c101]Edward A. Lee:
Heterogeneous actor modeling. EMSOFT 2011: 3-12 - [c100]Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee:
A practical ontology framework for static model analysis. EMSOFT 2011: 23-32 - [c99]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 - [c98]Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia:
An introductory capstone design course on embedded systems. ISCAS 2011: 1199-1202 - [c97]Slobodan Matic, Ilge Akkaya, Michael Zimmer, John C. Eidson, Edward A. Lee:
PTIDES model on a distributed testbed emulating smart grid real-time applications. ISGT Europe 2011: 1-8 - [c96]Jeff C. Jensen, Danica H. Chang, Edward A. Lee:
A model-based design methodology for cyber-physical systems. IWCMC 2011: 1666-1671 - [e3]François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee:
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 [contents] - 2010
- [j51]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) - [c95]Maarten Wiggers, Lothar Thiele, Edward A. Lee, Simon Schliecker, Marco Bekooij:
Modeling and analyzing real-time multiprocessor systems. CODES+ISSS 2010: 329-330 - [c94]Christopher X. Brooks, Edward A. Lee, Stavros Tripakis:
Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332 - [c93]Edward A. Lee:
CPS foundations. DAC 2010: 737-742 - [c92]Thomas Huining Feng, Edward A. Lee, Lee W. Shruben:
Ptera: an event-oriented model of computation for heterogeneous systems. EMSOFT 2010: 219-228 - [c91]Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee:
Model-based specification of timing requirements. EMSOFT 2010: 239-248 - [c90]Edward A. Lee, Stavros Tripakis:
Modal Models in Ptolemy. EOOLT 2010: 11-21 - [c89]Edward A. Lee, Sanjit A. Seshia:
An introductory textbook on cyber-physical systems. WESE 2010: 1 - [c88]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 - [c87]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 - [c86]