Segui
Patricia Derler
Patricia Derler
Affiliazione sconosciuta
Email verificata su eecs.berkeley.edu - Home page
Titolo
Citata da
Citata da
Anno
Modeling cyber–physical systems
P Derler, EA Lee, AS Vincentelli
Proceedings of the IEEE 100 (1), 13-28, 2011
10142011
Modeling cyber–physical systems
P Derler, EA Lee, AS Vincentelli
Proceedings of the IEEE 100 (1), 13-28, 2011
10142011
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
1642013
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
1022014
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
972016
Addressing modeling challenges in cyber-physical systems
P Derler, EA Lee, AL Sangiovanni-Vincentelli
EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-17, 2011
812011
Real-time simulation technologies: principles, methodologies, and applications
K Popovici, PJ Mosterman
CRC Press, 2017
752017
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
752013
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
632020
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
612009
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
612008
Models and tools for SOA governance
P Derler, R Weinreich
Trends in Enterprise Application Architecture: 2nd International Conference …, 2007
552007
Temporal issues in cyber-physical systems
D Broman, P Derler, J Eidson
Journal of the Indian Institute of Science 93 (3), 389-402, 2013
492013
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
402017
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
362013
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
262016
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
222017
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
182012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20