


Остановите войну!
for scientists:


default search action
Edward 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]