More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

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

export refined list as

showing all ?? records

2020 – today

see FAQ

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

2023
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/MehrabianKSDA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/MehrabianKSDA23
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo A. Andrade:
A run-time verification method with consideration of uncertainties for cyber-physical systems. Microprocess. Microsystems 101: 104890 (2023)
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/ShrivastavaD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/ShrivastavaD21
Aviral Shrivastava, Patricia Derler:
Introduction to the Special Issue on Time for CPS (TCPS). ACM Trans. Cyber Phys. Syst. 5(2): 12:1-12:2 (2021)

2010 – 2019

see FAQ

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

2019
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/DerlerST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/DerlerST19
Patricia Derler, Klaus Schneider, Jean-Pierre Talpin:
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). ACM Trans. Embed. Comput. Syst. 18(1): 1:1-1:2 (2019)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/LohstrohRGDCLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/LohstrohRGDCLS19
Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE 2019: 59-85
2018
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MehrabianKMSLDG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MehrabianKMSLDG18
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:
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. DAC 2018: 144:1-144:6
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2018lee
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/tecs/MehrabianKSEDAL17
- ask others
- share record
  persistent 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 R. Griffor, Marc Weiss, Kevin B. Stanton:
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16(5s): 169:1-169:20 (2017)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/ShrivastavaMKDA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/ShrivastavaMKDA17
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:
A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. DAC 2017: 69:1-69:6
[e1]
- view
- export record
  dblp key:
  - conf/memocode/2017
- ask others
- share record
  persistent 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
  - details & citations
- export record
  dblp key:
  - journals/at/BarbieriDABF16
- ask others
- share record
  persistent 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. Autom. 64(3): 244-252 (2016)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/AkkayaDEL16
- ask others
- share record
  persistent 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. Proc. IEEE 104(5): 997-1012 (2016)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/codes/ShrivastavaDLSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codes/ShrivastavaDLSK16
Aviral Shrivastava, Patricia Derler, Ya-Shian Li-Baboud, Kevin B. 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
  authority control:
- export record
  dblp key:
  - conf/memocode/DerlerRL16
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/reconfig/AndradeDELSSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/reconfig/AndradeDELSSW15
Hugo A. Andrade, Patricia Derler, John C. Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin B. 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
  authority control:
- export record
  dblp key:
  - conf/dac/WasicekDL14
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/dsrt/LasnierCSPD13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/iccps/DerlerLTT13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/pieee/DerlerLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/DerlerLV12
Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Modeling Cyber-Physical Systems. Proc. IEEE 100(1): 13-28 (2012)
2010
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/DerlerR10
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/monterey/ResmeritaBDNP10
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/rtas/ZouMLFD09
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/dsrt/DerlerLM08
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/monterey/DerlerNPRT08
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/ResmeritaDPN07
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/monterey/AschauerDDPS07
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/teaa/DerlerW06
- ask others
- share record
  persistent 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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.