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
8052011
Modeling cyber–physical systems
P Derler, EA Lee, AS Vincentelli
Proceedings of the IEEE 100 (1), 13-28, 2011
8052011
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
1312013
Aspect-oriented modeling of attacks in automotive cyber-physical systems
A Wasicek, P Derler, EA Lee
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2014
842014
Addressing modeling challenges in cyber-physical systems
P Derler, EA Lee, AL Sangiovanni-Vincentelli
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 2011
782011
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
652016
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
652013
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
562009
PTIDES: A programming model for distributed real-time embedded systems
P Derler, TH Feng, EA Lee, S Matic, HD Patel, Y Zheo, J Zou
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 2008
472008
Models and tools for SOA governance
P Derler, R Weinreich
International Conference on Trends in Enterprise Application Architecture …, 2006
472006
Temporal issues in cyber-physical systems
D Broman, P Derler, J Eidson
Journal of the Indian Institute of Science 93 (3), 389-402, 2013
412013
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
302017
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
262013
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
232008
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
192015
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, 59-85, 2019
182019
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
182012
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
172016
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
142017
Using ptides and synchronized clocks to design distributed systems with deterministic system wide timing
P Derler, JC Eidson, S Goose, EA Lee, S Matic, M Zimmer
2013 IEEE International Symposium on Precision Clock Synchronization for …, 2013
122013
The system can't perform the operation now. Try again later.
Articles 1–20