Patricia Derler
Person information
- affiliation: National Instruments, Berkeley, CA, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [c16]Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li-Baboud, Patricia Derler, Edward Griffor, Hugo A. Andrade, Marc Weiss, John C. Eidson, Dhananjay M. Anand:
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. DAC 2018: 144:1-144:6 - [e2]Marten Lohstroh, Patricia Derler, Marjan Sirjani:
Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10760, Springer 2018, ISBN 978-3-319-95245-1 [contents] - 2017
- [j4]Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John C. Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss, Kevin Stanton:
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst. 16(5): 169:1-169:20 (2017) - [c15]Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin Stanton, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss, John C. Eidson:
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. DAC 2017: 69:1-69:6 - [e1]Jean-Pierre Talpin, Patricia Derler, Klaus Schneider:
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017. ACM 2017, ISBN 978-1-4503-5093-8 [contents] - 2016
- [j3]Giacomo Barbieri, Patricia Derler, David M. Auslander, Roberto Borsari, Cesare Fantuzzi:
Design of mechatronic systems through aspect and object-oriented modeling. Automatisierungstechnik 64(3): 244-252 (2016) - [j2]Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee:
Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proceedings of the IEEE 104(5): 997-1012 (2016) - [c14]Aviral Shrivastava, Patricia Derler, Ya-Shian Li-Baboud, Kevin Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John C. Eidson, Sundeep Chandhoke:
Time in cyber-physical systems. CODES+ISSS 2016: 4:1-4:10 - [c13]Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye:
Specification of precise timing in synchronous dataflow models. MEMOCODE 2016: 85-94 - 2015
- [c12]Hugo A. Andrade, Patricia Derler, John C. Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin Stanton, Marc Weiss:
Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems. ReConFig 2015: 1-6 - 2014
- [c11]Armin Wasicek, Patricia Derler, Edward A. Lee:
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. DAC 2014: 21:1-21:6 - 2013
- [c10]Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler:
Distributed Simulation of Heterogeneous and Real-Time Systems. DS-RT 2013: 55-62 - [c9]Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. ICCPS 2013: 109-118 - 2012
- [j1]Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Modeling Cyber-Physical Systems. Proceedings of the IEEE 100(1): 13-28 (2012) - 2010
- [c8]Patricia Derler, Stefan Resmerita:
Flexible Static Scheduling of Software with Logical Execution Time Constraints. CIT 2010: 1719-1726 - [c7]Stefan Resmerita, Kenneth R. Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree:
Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. Monterey Workshop 2010: 55-76
2000 – 2009
- 2009
- [c6]Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler:
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 77-86 - 2008
- [c5]Patricia Derler, Edward A. Lee, Slobodan Matic:
Simulation and Implementation of the PTIDES Programming Model. DS-RT 2008: 330-333 - [c4]Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ:
Simulation of LET Models in Simulink and Ptolemy. Monterey Workshop 2008: 83-92 - 2007
- [c3]Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger:
Modeling and Simulation of TDL Applications. Model-Based Engineering of Embedded Real-Time Systems 2007: 107-128 - [c2]Thomas Aschauer, Gerd Dauenhauer, Patricia Derler, Wolfgang Pree, Christoph Steindl:
Could an Agile Requirements Analysis Be Automated?-Lessons Learned from the Successful Overhauling of an Industrial Automation System. Monterey Workshop 2007: 25-42 - 2006
- [c1]
Coauthor Index
last updated on 2019-01-09 01:16 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint