Modeling Timed Systems
Patricia Derler , John Eidson , Jia Zou , Edward A. Lee
Ptolemy.org, 2014.
5
2013
Temporal Issues in Cyber-Physical Systems
Patricia Derler , John C Eidson , David Broman
Journal of the Indian Institute of Science 93 ( 3) 389 -402
32
2013
Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems
Patricia Derler , YaShian Li-Baboud , John Eidson , Hugo A. Andrade
ACM Transactions in Embedded Computing Systems 16 ( 5)
2017
Automatically Mapping Program Functions to Distributed Heterogeneous Platforms Based on Hardware Attributes and Specified Constraints
Patricia Derler , Jacob Kornerup , Kaushik Ravindran , Arkadeb Ghosal
23
2017
Bridging the gap between classical extra-functional properties of legacy embedded software and modern requirements addressed by Model-Based Design
Patricia Derler , Andreas Naderlinger , Stefan Resmerita , Kenneth Butts
2011
The Validator tool suite: filling the gap between conventional
Patricia Derler , Stefan Resmerita , Wolfgang Pree
CRC Press
2011
Introduction to the Special Issue on Time for CPS (TCPS)
Patricia Derler , Aviral Shrivastava
ACM Transactions on Cyber-Physical Systems 5 ( 2) 3433948
2021
Design of mechatronic systems through aspect and object-oriented modeling
Giacomo Barbieri , Patricia Derler , David M. Auslander , Roberto Borsari
At-automatisierungstechnik 64 ( 3) 244 -252
2
2016
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
Jia Zou , Slobodan Matic , Edward A. Lee , Thomas Huining Feng
real time technology and applications symposium 77 -86
40
2009
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems
Hugo A. Andrade , Patricia Derler , John C. Eidson , Ya-Shian Li-Baboud
2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig) 1 -6
5
2015
Cyber-physical system design contracts
Patricia Derler , Edward A. Lee , Stavros Tripakis , Martin Törngren
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 109 -118
82
2013
Time in cyber-physical systems
Aviral Shrivastava , Patricia Derler , Ya-Shian Li Baboud , Kevin Stanton
international conference on hardware/software codesign and system synthesis 4
14
2016
Using Ptides and synchronized clocks to design distributed systems with deterministic system wide timing
Patricia Derler , John C. Eidson , Stuart Goose , Edward A. Lee
2013 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS) Proceedings 41 -46
10
2013
Endlessly circulating messages in IEEE 1588-2008 systems
David Broman , Patricia Derler , Ankush Desai , John C. Eidson
2014 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS) 7 -12
3
2014
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems
Mohammadreza Mehrabian , Mohammad Khayatian , Aviral Shrivastava , John C. Eidson
ACM Transactions in Embedded Computing Systems 16 ( 5) 169
14
2017
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems
Mohammadreza Mehrabian , Mohammad Khayatian , Ahmed Mousa , Aviral Shrivastava
design automation conference 144
3
2018
Migration of Legacy Software Towards Correct-by-Construction Timing Behavior
Stefan Resmerita , Kenneth Butts , Patricia Derler , Andreas Naderlinger
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 55 -76
6
2011
Specification of precise timing in synchronous dataflow models
Patricia Derler , Kaushik Ravindran , Rhishikesh Limaye
formal methods 85 -94
1
2016
Systems Engineering for Industrial Cyber–Physical Systems Using Aspects
Ilge Akkaya , Patricia Derler , Shuhei Emoto , Edward A. Lee
Proceedings of the IEEE 104 ( 5) 997 -1012
45
2016