ask others

Patricia Derler

> Home > Persons

Person information

affiliation: National Instruments, Berkeley, CA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c16]
- view
  - electronic edition via DOI
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dac/MehrabianKMSLDG18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/MehrabianKMSLDG18
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]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/2018lee
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/2018lee
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tecs/MehrabianKSEDAL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tecs/MehrabianKSEDAL17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dac/ShrivastavaMKDA17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/ShrivastavaMKDA17
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]
- view
  - table of contents in dblp
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/2017
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/2017
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]
- view
  - electronic edition @ degruyter.com
- export record
  dblp key:
  - journals/at/BarbieriDABF16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/at/BarbieriDABF16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/pieee/AkkayaDEL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pieee/AkkayaDEL16
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/codes/ShrivastavaDLSK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/codes/ShrivastavaDLSK16
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/memocode/DerlerRL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/DerlerRL16
Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye:
Specification of precise timing in synchronous dataflow models. MEMOCODE 2016: 85-94
2015
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/reconfig/AndradeDELSSW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/reconfig/AndradeDELSSW15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dac/WasicekDL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dac/WasicekDL14
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]
- view
- export record
  dblp key:
  - conf/dsrt/LasnierCSPD13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dsrt/LasnierCSPD13
Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler:
Distributed Simulation of Heterogeneous and Real-Time Systems. DS-RT 2013: 55-62
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iccps/DerlerLTT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iccps/DerlerLTT13
Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. ICCPS 2013: 109-118
2012
[j1]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/pieee/DerlerLV12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pieee/DerlerLV12
Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Modeling Cyber-Physical Systems. Proceedings of the IEEE 100(1): 13-28 (2012)
2010
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/IEEEcit/DerlerR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/IEEEcit/DerlerR10
Patricia Derler, Stefan Resmerita:
Flexible Static Scheduling of Software with Logical Execution Time Constraints. CIT 2010: 1719-1726
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/monterey/ResmeritaBDNP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/monterey/ResmeritaBDNP10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/rtas/ZouMLFD09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rtas/ZouMLFD09
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/dsrt/DerlerLM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dsrt/DerlerLM08
Patricia Derler, Edward A. Lee, Slobodan Matic:
Simulation and Implementation of the PTIDES Programming Model. DS-RT 2008: 330-333
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/monterey/DerlerNPRT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/monterey/DerlerNPRT08
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/ResmeritaDPN07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/ResmeritaDPN07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/monterey/AschauerDDPS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/monterey/AschauerDDPS07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/teaa/DerlerW06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/teaa/DerlerW06
Patricia Derler, Rainer Weinreich:
Models and Tools for SOA Governance. TEAA 2006: 112-126

Coauthor Index

see FAQ

maintained by

at