Patricia Derler

According to our database, Patricia Derler authored at least 24 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2021

Introduction to the Special Issue on Time for CPS (TCPS).

Aviral Shrivastava, Patricia Derler

ACM Trans. Cyber Phys. Syst., 2021

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, Jean-Pierre Talpin

ACM Trans. Embed. Comput. Syst., 2019

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

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

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

Proceedings of the 55th Annual Design Automation Conference, 2018

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

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

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.

Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee

Proc. IEEE, 2016

Design of mechatronic systems through aspect and object-oriented modeling.

Giacomo Barbieri, Patricia Derler, David M. Auslander, Roberto Borsari, Cesare Fantuzzi

Autom., 2016

Specification of precise timing in synchronous dataflow models.

Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

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

Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016

2015

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

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2015

2014

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems.

Armin Wasicek, Patricia Derler, Edward A. Lee

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Cyber-physical system design contracts.

Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Distributed Simulation of Heterogeneous and Real-Time Systems.

Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler

Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

2012

Modeling Cyber-Physical Systems.

Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proc. IEEE, 2012

2010

Migration of Legacy Software Towards Correct-by-Construction Timing Behavior.

Stefan Resmerita, Kenneth R. Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Flexible Static Scheduling of Software with Logical Execution Time Constraints.

Patricia Derler, Stefan Resmerita

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems.

Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

2008

Simulation of LET Models in Simulink and Ptolemy.

Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Simulation and Implementation of the PTIDES Programming Model.

Patricia Derler, Edward A. Lee, Slobodan Matic

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

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

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Modeling and Simulation of TDL Applications.

Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

Models and Tools for SOA Governance.

Patricia Derler, Rainer Weinreich

Proceedings of the Trends in Enterprise Application Architecture, 2006