Patricia Derler

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 11

Top Topics

Verification Method

Top Venues

ACM Trans. Embed. Comput. Syst.

ACM Trans. Cyber Phys. Syst.

Publications

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 (2023)
Aviral Shrivastava, Patricia Derler
Introduction to the Special Issue on Time for CPS (TCPS). ACM Trans. Cyber Phys. Syst. 5 (2) (2021)
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)
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) (2019)
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)
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) (2017)
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)
Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee
Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proc. IEEE 104 (5) (2016)
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)
Giacomo Barbieri, Patricia Derler, David M. Auslander, Roberto Borsari, Cesare Fantuzzi
Design of mechatronic systems through aspect and object-oriented modeling. Autom. 64 (3) (2016)
Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye
Specification of precise timing in synchronous dataflow models. MEMOCODE (2016)
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)
Armin Wasicek, Patricia Derler, Edward A. Lee
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. DAC (2014)
Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler
Distributed Simulation of Heterogeneous and Real-Time Systems. DS-RT (2013)
Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren
Cyber-physical system design contracts. ICCPS (2013)
Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
Modeling Cyber-Physical Systems. Proc. IEEE 100 (1) (2012)
Patricia Derler, Stefan Resmerita
Flexible Static Scheduling of Software with Logical Execution Time Constraints. CIT (2010)
Stefan Resmerita, Kenneth R. Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree
Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. Monterey Workshop (2010)
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)
Patricia Derler, Edward A. Lee, Slobodan Matic
Simulation and Implementation of the PTIDES Programming Model. DS-RT (2008)
Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ
Simulation of LET Models in Simulink and Ptolemy. Monterey Workshop (2008)
Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger
Modeling and Simulation of TDL Applications. Model-Based Engineering of Embedded Real-Time Systems (2007)
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)
Patricia Derler, Rainer Weinreich
Models and Tools for SOA Governance. TEAA (2006)