Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011 | 1048 | 2011 |
Cyber-physical system design contracts P Derler, EA Lee, S Tripakis, M Törngren Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical …, 2013 | 168 | 2013 |
Aspect-oriented modeling of attacks in automotive cyber-physical systems A Wasicek, P Derler, EA Lee Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014 | 109 | 2014 |
Systems engineering for industrial cyber–physical systems using aspects I Akkaya, P Derler, S Emoto, EA Lee Proceedings of the IEEE 104 (5), 997-1012, 2016 | 100 | 2016 |
Real-time simulation technologies: principles, methodologies, and applications K Popovici, PJ Mosterman CRC Press, 2012 | 81 | 2012 |
Addressing modeling challenges in cyber-physical systems P Derler, EA Lee, AL Sangiovanni-Vincentelli University of California, Berkeley, Tech. Rep. UCB/EECS-2011-17, 2011 | 81 | 2011 |
Reactors: A deterministic model for composable reactive systems M Lohstroh, ÍÍ Romeo, A Goens, P Derler, J Castrillon, EA Lee, ... Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020 | 77 | 2020 |
Distributed simulation of heterogeneous and real-time systems G Lasnier, J Cardoso, P Siron, C Pagetti, P Derler 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and …, 2013 | 76 | 2013 |
Execution strategies for ptides, a programming model for distributed embedded systems J Zou, S Matic, EA Lee, TH Feng, P Derler 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009 | 63 | 2009 |
PTIDES: A programming model for distributed real-time embedded systems P Derler, TH Feng, EA Lee, S Matic, HD Patel, Y Zhao, J Zou University of California, Berkeley, EECS Technical Report. EECS-2008-72, 2008 | 63 | 2008 |
Models and tools for SOA governance P Derler, R Weinreich Trends in Enterprise Application Architecture: 2nd International Conference …, 2007 | 53 | 2007 |
Temporal issues in cyber-physical systems D Broman, P Derler, J Eidson Journal of the Indian Institute of Science 93 (3), 389-402, 2013 | 51 | 2013 |
Automatically Mapping Program Functions to Distributed Heterogeneous Platforms Based on Hardware Attributes and Specified Constraints K Ravindran, HA Andrade, A Prasad, A Ghosal, TN Tran, R Limaye, ... US Patent App. 15/470,374, 2017 | 41 | 2017 |
Model-based evaluation of GPS spoofing attacks on power grid sensors I Akkaya, EA Lee, P Derler 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems …, 2013 | 37 | 2013 |
Time in cyber-physical systems A Shrivastava, P Derler, YSL Baboud, K Stanton, M Khayatian, ... Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on …, 2016 | 31 | 2016 |
Simulation and implementation of the PTIDES programming model P Derler, EA Lee, S Matic 2008 12th IEEE/ACM International Symposium on Distributed Simulation and …, 2008 | 25 | 2008 |
Timestamp temporal logic (TTL) for testing the timing of cyber-physical systems M Mehrabian, M Khayatian, A Shrivastava, JC Eidson, P Derler, ... ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-20, 2017 | 23 | 2017 |
A 297mops/0.4 mw ultra low power coarse-grained reconfigurable accelerator CMA-SOTB-2 K Masuyama, Y Fujita, H Okuhara, H Amano 2015 International Conference on ReConFigurable Computing and FPGAs …, 2015 | 21 | 2015 |
Design contracts for cyber-physical systems: making timing assumptions explicit M Toerngren, S Tripakis, P Derler, EA Lee EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS …, 2012 | 19 | 2012 |
How should autonomous vehicles drive? Policy, methodological, and social considerations for designing a driver AY Bin-Nun, P Derler, N Mehdipour, RD Tebbens Humanities and social sciences communications 9 (1), 1-13, 2022 | 17 | 2022 |