Follow
Patricia Derler
Patricia Derler
Unknown affiliation
Verified email at eecs.berkeley.edu - Homepage
Title
Cited by
Cited by
Year
Modeling cyber–physical systems
P Derler, EA Lee, AS Vincentelli
Proceedings of the IEEE 100 (1), 13-28, 2011
10482011
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
1682013
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
1092014
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
1002016
Real-time simulation technologies: principles, methodologies, and applications
K Popovici, PJ Mosterman
CRC Press, 2012
812012
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
812011
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
772020
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
762013
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
632009
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
632008
Models and tools for SOA governance
P Derler, R Weinreich
Trends in Enterprise Application Architecture: 2nd International Conference …, 2007
532007
Temporal issues in cyber-physical systems
D Broman, P Derler, J Eidson
Journal of the Indian Institute of Science 93 (3), 389-402, 2013
512013
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
412017
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
372013
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
312016
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
252008
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
232017
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
212015
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
192012
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
172022
The system can't perform the operation now. Try again later.
Articles 1–20