Models and Tools for SOA Governance. - Patricia Derler; Rainer Weinreich (TEAA, 2006)

Modeling and Simulation of TDL Applications. - Stefan Resmerita; Patricia Derler; Wolfgang Pree; Andreas Naderlinger (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Could an Agile Requirements Analysis Be Automated?-Lessons Learned from the Successful Overhauling of an Industrial Automation System. - Thomas Aschauer; Gerd Dauenhauer; Patricia Derler; Wolfgang Pree; Christoph Steindl (Monterey Workshop, 2007)

Simulation and Implementation of the PTIDES Programming Model. - Patricia Derler; Edward A. Lee; Slobodan Matic (DS-RT, 2008)

Simulation of LET Models in Simulink and Ptolemy. - Patricia Derler; Andreas Naderlinger; Wolfgang Pree; Stefan Resmerita; Josef Templ (Monterey Workshop, 2008)

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee; Thomas Huining Feng; Patricia Derler (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Flexible Static Scheduling of Software with Logical Execution Time Constraints. - Patricia Derler; Stefan Resmerita (CIT, 2010)

Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. - Stefan Resmerita; Kenneth R. Butts; Patricia Derler; Andreas Naderlinger; Wolfgang Pree (Monterey Workshop, 2010)

Modeling Cyber-Physical Systems. - Patricia Derler; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (Proc. IEEE, 2012)

Distributed Simulation of Heterogeneous and Real-Time Systems. - Gilles Lasnier; Janette Cardoso; Pierre Siron; Claire Pagetti; Patricia Derler (DS-RT, 2013)

Cyber-physical system design contracts. - Patricia Derler; Edward A. Lee; Stavros Tripakis; Martin Törngren (ICCPS, 2013)

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. - Armin Wasicek; Patricia Derler; Edward A. Lee (DAC, 2014)

Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems. - Hugo A. Andrade; Patricia Derler; John C. Eidson; Ya-Shian Li-Baboud; Aviral Shrivastava; Kevin B. Stanton; Marc Weiss (ReConFig, 2015)

Time in cyber-physical systems. - Aviral Shrivastava; Patricia Derler; Ya-Shian Li-Baboud; Kevin B. Stanton; Mohammad Khayatian; Hugo A. Andrade; Marc Weiss; John C. Eidson; Sundeep Chandhoke (CODES+ISSS, 2016)

Specification of precise timing in synchronous dataflow models. - Patricia Derler; Kaushik Ravindran; Rhishikesh Limaye (MEMOCODE, 2016)

Design of mechatronic systems through aspect and object-oriented modeling. - Giacomo Barbieri; Patricia Derler; David M. Auslander; Roberto Borsari; Cesare Fantuzzi (Autom., 2016)

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. - Ilge Akkaya; Patricia Derler; Shuhei Emoto; Edward A. Lee (Proc. IEEE, 2016)

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 (DAC, 2017)

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. - 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 (ACM Trans. Embed. Comput. Syst., 2017)

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 (DAC, 2018)

Reactors: A Deterministic Model for Composable Reactive Systems. - Marten Lohstroh; Íñigo Íncer Romeo; Andrés Goens; Patricia Derler; Jerónimo Castrillón; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CyPhy/WESE, 2019)

Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). - Patricia Derler; Klaus Schneider 001; Jean-Pierre Talpin (ACM Trans. Embed. Comput. Syst., 2019)

Introduction to the Special Issue on Time for CPS (TCPS). - Aviral Shrivastava; Patricia Derler (ACM Trans. Cyber Phys. Syst., 2021)

A run-time verification method with consideration of uncertainties for cyber-physical systems. - Mohammadreza Mehrabian; Mohammad Khayatian; Aviral Shrivastava; Patricia Derler; Hugo A. Andrade (Microprocess. Microsystems, 2023)