Author Info
Name
Affiliation
Papers
PATRICIA DERLER
Univ Calif Berkeley, Berkeley, CA 94720 USA
17
Collaborators
Citations 
PageRank 
34
82
8.45
Referers 
Referees 
References 
247
409
178
Search Limit
100409
Title
Citations
PageRank
Year
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017).00.342019
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems.00.342018
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.20.392017
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited.30.412017
Time in cyber-physical systems60.632016
Specification of precise timing in synchronous dataflow models.00.342016
Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.80.482016
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems10.362015
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems90.592014
Cyber-physical system design contracts140.762013
Migration of legacy software towards correct-by-construction timing behavior30.422010
Flexible Static Scheduling of Software with Logical Execution Time Constraints40.442010
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems160.992009
Simulation of LET models in simulink and ptolemy40.482008
Modeling and simulation of TDL applications10.352007
Could an Agile Requirements Analysis Be Automated?--Lessons Learned from the Successful Overhauling of an Industrial Automation System10.382007
Models and tools for SOA governance100.752006