Patricia Derler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2009–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DAC | An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. | Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward R. Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand |
| 2017 | DAC | A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. | Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin B. Stanton, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, John C. Eidson |
| 2016 | MEMOCODE | Specification of precise timing in synchronous dataflow models. | Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye |
| 2014 | DAC | Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. | Armin Wasicek, Patricia Derler, Edward A. Lee |
| 2009 | RTAS | Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. | Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler |