Patricia Derler

26 papers A* 3A 1C 5Misc 1Journal 7Unranked 8

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A run-time verification method with consideration of uncertainties for cyber-physical systems. Microprocess. Microsystems Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo A. Andrade
2021	J	`jnl`	Introduction to the Special Issue on Time for CPS (TCPS). ACM Trans. Cyber Phys. Syst. Aviral Shrivastava, Patricia Derler
2019	J	`jnl`	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. Patricia Derler, Klaus Schneider, Jean-Pierre Talpin
2019	—	`conf`	Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2018	A*	`conf`	An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems. DAC 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
2018	—	`ed.`	Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday Principles of Modeling Marten Lohstroh, Patricia Derler, Marjan Sirjani
2017	A*	`conf`	A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited. DAC 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
2017	C	`ed.`	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 MEMOCODE Jean-Pierre Talpin, Patricia Derler, Klaus Schneider
2017	J	`jnl`	Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 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
2016	J	`jnl`	Design of mechatronic systems through aspect and object-oriented modeling. Autom. Giacomo Barbieri, Patricia Derler, David M. Auslander, Roberto Borsari, Cesare Fantuzzi
2016	C	`conf`	Specification of precise timing in synchronous dataflow models. MEMOCODE Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye
2016	J	`jnl`	Systems Engineering for Industrial Cyber-Physical Systems Using Aspects. Proc. IEEE Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee
2016	Misc	`conf`	Time in cyber-physical systems. CODES+ISSS Aviral Shrivastava, Patricia Derler, Ya-Shian Li-Baboud, Kevin B. Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John C. Eidson, Sundeep Chandhoke
2015	—	`conf`	Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems. ReConFig Hugo A. Andrade, Patricia Derler, John C. Eidson, Ya-Shian Li-Baboud, Aviral Shrivastava, Kevin B. Stanton, Marc Weiss
2014	A*	`conf`	Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems. DAC Armin Wasicek, Patricia Derler, Edward A. Lee
2013	—	`conf`	Cyber-physical system design contracts. ICCPS Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren
2013	C	`conf`	Distributed Simulation of Heterogeneous and Real-Time Systems. DS-RT Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler
2012	J	`jnl`	Modeling Cyber-Physical Systems. Proc. IEEE Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2010	C	`conf`	Flexible Static Scheduling of Software with Logical Execution Time Constraints. CIT Patricia Derler, Stefan Resmerita
2010	—	`conf`	Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. Monterey Workshop Stefan Resmerita, Kenneth R. Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree
2009	A	`conf`	Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, Patricia Derler
2008	C	`conf`	Simulation and Implementation of the PTIDES Programming Model. DS-RT Patricia Derler, Edward A. Lee, Slobodan Matic
2008	—	`conf`	Simulation of LET Models in Simulink and Ptolemy. Monterey Workshop Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ
2007	—	`conf`	Could an Agile Requirements Analysis Be Automated?-Lessons Learned from the Successful Overhauling of an Industrial Automation System. Monterey Workshop Thomas Aschauer, Gerd Dauenhauer, Patricia Derler, Wolfgang Pree, Christoph Steindl
2007	—	`conf`	Modeling and Simulation of TDL Applications. Model-Based Engineering of Embedded Real-Time Systems Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger
2006	—	`conf`	Models and Tools for SOA Governance. TEAA Patricia Derler, Rainer Weinreich