Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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
- 2023
[i10]Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jerónimo Castrillón, Edward A. Lee:
High-Performance Deterministic Concurrency using Lingua Franca. CoRR abs/2301.02444 (2023)- [i9]Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard:
Consistency vs. Availability in Distributed Real-Time Systems. CoRR abs/2301.08906 (2023) - [i8]Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee:
Modal Reactors. CoRR abs/2301.09597 (2023) - 2022
- [c186]Edward A. Lee
, Marten Lohstroh:
Generalizing Logical Execution Time. Principles of Systems Design 2022: 160-181 - [c185]Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard:
Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) 2022: 60-89 - [p2]Edward A. Lee:
Are We Losing Control? Perspectives on Digital Humanism 2022: 3-7 - [e4]Hannes Werthner, Erich Prem, Edward A. Lee, Carlo Ghezzi:
Perspectives on Digital Humanism. Springer 2022, ISBN 978-3-030-86143-8 [contents] - [i7]Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee:
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. CoRR abs/2207.09555 (2022) - 2021
- [j88]Marten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee:
Toward a Lingua Franca for Deterministic Concurrent Systems. ACM Trans. Embed. Comput. Syst. 20(4): 36:1-36:27 (2021) - [j87]Edward A. Lee:
Determinism. ACM Trans. Embed. Comput. Syst. 20(5): 38:1-38:34 (2021) - [j86]Martin A. Sehr, Marten Lohstroh, Matthew Weber, Ines Ugalde, Martin Witte, Joerg Neidig, Stephan Hoeme, Mehrdad Niknami, Edward A. Lee:
Programmable Logic Controllers in the Context of Industry 4.0. IEEE Trans. Ind. Informatics 17(5): 3523-3533 (2021) - [c184]Edward A. Lee, Marten Lohstroh:
Time for All Programs, Not Just Real-Time Programs. ISoLA 2021: 213-232 - [p1]Matthew Weber, Edward A. Lee:
Semantic Localization for IoT. Semantic IoT 2021: 365-383 - [i6]Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard:
Quantifying and Generalizing the CAP Theorem. CoRR abs/2109.07771 (2021) - 2020
- [j85]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) - [j84]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) - [c183]Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee:
Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC 2020: 103-108 - [c182]Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah:
Model Checking Software in Cyberphysical Systems. COMPSAC 2020: 1017-1026 - [c181]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 - [c180]Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee:
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR 2020 - [c179]Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE 2020: 1-10 - [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
- [j83]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) - [j82]Edward A. Lee:
Modeling in engineering and science. Commun. ACM 62(1): 35-36 (2019) - [j81]Hokeun Kim, Edward A. Lee, Schahram Dustdar:
Creating a Resilient IoT With Edge Computing. Computer 52(8): 43-53 (2019) - [j80]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) - [c178]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 - [c177]Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher D. Gill, Marjan Sirjani, Edward A. Lee:
Actors Revisited for Time-Critical Systems. DAC 2019: 152 - [c176]Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee:
Programs with ironclad timing guarantees: work-in-progress. EMSOFT Companion 2019: 1 - [c175]Marten Lohstroh, Edward A. Lee:
Deterministic Actors. FDL 2019: 1-8 - [c174]Edward A. Lee:
A fundamental look at models and intelligence: abstract of keynote. SEsCPS@ICSE 2019: 1 - [c173]Edward A. Lee:
Freedom From Choice and the Power of Models: in Honor of Alberto Sangiovanni-Vincentelli. ISPD 2019: 126 - [c172]Matthew Weber, Ravi Akella, Edward A. Lee:
Service Discovery for the Connected Car with Semantic Accessors. IV 2019: 2417-2422 - [c171]Edward A. Lee:
Observation and Interaction - Invited Paper. LATA 2019: 31-42 - [c170]Marten Lohstroh, Edward A. Lee:
Work-in-Progress: Real-Time Reactors in C. RTSS 2019: 572-575 - 2018
- [j79]Edward A. Lee:
Is software the result of top-down intelligent design or evolution? Commun. ACM 61(9): 34-36 (2018) - [j78]Edward A. Lee:
What Is Real Time Computing? A Personal View. IEEE Des. Test 35(2): 64-72 (2018) - [j77]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) - [j76]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) - [c169]Edward A. Lee, Marjan Sirjani:
What Good are Models? FACS 2018: 3-31 - [c168]Edward A. Lee:
Models of Timed Systems. FORMATS 2018: 17-33 - [c167]Chadlia Jerad, Edward A. Lee:
Deterministic Timing for the Industrial Internet of Things. ICII 2018: 13-22 - [c166]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. MoDELS 2018: 368 - [c165]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
- [j75]Hokeun Kim, Edward A. Lee:
Authentication and Authorization for the Internet of Things. IT Prof. 19(5): 27-33 (2017) - [j74]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) - [c164]Hokeun Kim, Armin Wasicek, Edward A. Lee:
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. CyPhy 2017: 83-93 - [c163]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 - [c162]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 - [c161]Edward A. Lee, Jan Reineke, Michael Zimmer:
Abstract PRET Machines. RTSS 2017: 1-11 - [c160]Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee:
An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys 2017: 8-13 - [c159]Chih-Hong Cheng, Edward A. Lee, Harald Ruess:
autoCode4: Structural Controller Synthesis. TACAS (1) 2017: 398-404 - 2016
- [j73]Shuhei Emoto, Ilge Akkaya, Edward A. Lee:
Information seeking and model predictive control of a cooperative multi-robot system. Artif. Life Robotics 21(4): 393-398 (2016) - [j72]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) - [j71]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) - [j70]Edward A. Lee:
Fundamental Limits of Cyber-Physical Systems Modeling. ACM Trans. Cyber Phys. Syst. 1(1): 3:1-3:26 (2016) - [j69]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) - [c158]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 - [c157]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 - [c156]Marten Lohstroh, Christopher X. Brooks, Edward A. Lee:
Demo Abstract: Building IoT Applications with Accessors in CapeCode. ICCPS 2016: 41:1 - [c155]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 - [c154]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 - [c153]Shuhei Emoto, Ilge Akkaya, Edward A. Lee:
Cooperative multi-robot information acquisition based on distributed robust model predictive control. ROBIO 2016: 874-879 - [c152]Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee:
FIDE: an FMI integrated development environment. SAC 2016: 1759-1766 - [c151]Edward A. Lee, Danella Zhao:
Plenary I: The Internet of important things. SoCC 2016: 1-3 - 2015
- [j68]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) - [j67]Edward A. Lee:
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. Sensors 15(3): 4837-4869 (2015) - [j66]Eleftherios Matsikoudis, Edward A. Lee:
The fixed-point theory of strictly causal functions. Theor. Comput. Sci. 574: 39-77 (2015) - [c150]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 - [c149]Edward A. Lee:
Architectural Support for Cyber-Physical Systems. ASPLOS 2015: 1 - [c148]Armin Wasicek, Edward A. Lee, Hokeun Kim, Lev Greenberg, Akihito Iwai, Ilge Akkaya:
System simulation from operational data. DAC 2015: 3:1-3:6 - [c147]Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter:
Modeling and simulating cyber-physical systems using CyPhySim. EMSOFT 2015: 115-124 - [c146]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 - [c145]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 - [c144]David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. HSCC 2015: 179-188 - [c143]Christopher X. Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, Michael Wetter:
CyPhySim: a cyber-physical systems simulator. HSCC 2015: 301-302 - [c142]Matthew Weber, Edward A. Lee:
A model for semantic localization. IPSN 2015: 350-351 - [c141]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 - [c140]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
- [j65]Edward A. Lee:
Constructive Models of Discrete and Continuous Physical Phenomena. IEEE Access 2: 797-821 (2014) - [j64]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) - [c139]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 - [c138]Edward A. Lee, Peter Palensky:
Message from the Chairs. MSCPES@CPSWeek 2014: 1-2 - [c137]Armin Wasicek, Patricia Derler, Edward A. Lee:
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. DAC 2014: 21:1-21:6 - [c136]Edward A. Lee:
Constructive Collisions. FPS@ETAPS 2014: 161-176 - [c135]Edward A. Lee:
It's about Time: Leveraging Clock Synchronization for Distributed Real-Time Programming. ISORC 2014: 213 - [c134]Edward A. Lee:
Keynote - It's about time. ReConFig 2014: 1 - [c133]Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee:
FlexPRET: A processor platform for mixed-criticality systems. RTAS 2014: 101-110 - [c132]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
- [j63]Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee:
A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23(4): 834-881 (2013) - [j62]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) - [c131]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 - [c130]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 - [c129]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 - [c128]Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee:
On the schedulability of real-time discrete-event systems. EMSOFT 2013: 12:1-12:15 - [c127]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 - [c126]Eleftherios Matsikoudis, Edward A. Lee:
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. FCT 2013: 248-258 - [c125]Eleftherios Matsikoudis, Edward A. Lee:
On Fixed Points of Strictly Causal Functions. FORMATS 2013: 183-197 - [c124]Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee:
On the Verification of Timed Discrete-Event Models. FORMATS 2013: 213-227 - [c123]Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. ICCPS 2013: 109-118 - [c122]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 - [c121]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. SPIN 2013: 358-375 - [c120]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
- [j61]Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Modeling Cyber-Physical Systems. Proc. IEEE 100(1): 13-28 (2012) - [j60]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) - [j59]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) - [c119]Eleftherios Matsikoudis, Edward A. Lee:
From Transitions to Executions. CMCS 2012: 170-190 - [c118]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [c117]Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen:
Teaching embedded systems the Berkeley way. WESE 2012: 1 - [c116]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 - [c115]Edward A. Lee:
Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk. Haifa Verification Conference 2012: 2 - [c114]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 - [c113]