Publications
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo Andrade, A run-time verification method with consideration of uncertainties for cyber-physical systems, Microprocessors and Microsystems, 2023, 104890, ISSN 0141-9331.
Bin-Nun, A.Y., Derler, P., Mehdipour, N. et al. How should autonomous vehicles drive? Policy, methodological, and social considerations for designing a driver. Humanit Soc Sci Commun 9, 299 (2022). https://doi.org/10.1057/s41599-022-01286-2
I. IEEE VT, "Literature Review on Kinematic Properties of Road Users for Use on Safety-Related Models for Automated Driving Systems," in Literature Review on Kinematic Properties of Road Users for Use on Safety-Related Models for Automated Driving Systems , vol., no., pp.1-35, 28 April 2022.
Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillion, Edward Lee and Alberto Sangiovanni-Vincentelli. Reactors: A Deterministic Model for Composable Reactive Systems, CyPhy 2019.
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Moussa, Aviral Shrivastava, Ya-Shian Li, Patricia Derler, Edward Griffor, Hugo A. Andrade, Marc Weiss and John Eidson. TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems. In Proceedings of the 55th Annual Design Automation Conference (DAC), 2018.
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo Andrade, Li-Baboud Ya-Shian, Edward Griffor, Marc Weiss and Kevin Stanton, Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. EMSOFT 2017.
Aviral Shrivastava Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo Andrade, Kevin Stanton, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss, and John Eidson, INVITED: A Testbed to Verify the Timing Behavior of Cyber-Physical Systems, DAC 2017, Austin, TX.
Patricia Derler, Kaushik Ravindran, Rhishikesh Limaye, Specification of Precise Timing in Synchronous Dataflow Models, Memocode '16, Kanpur, India, November 2016.
Aviral Shrivastava, Patricia Derler, Ya-Shian Li Baboud, Kevin Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John Eidson, Sundeep Chandhoke, Time in Cyber-Physical Systems, CODES-ISSS '16, Invited Paper, Pittsburgh, USA, October 2016.
Giacomo Barbieri, Patricia Derler, David M. Auslander, Roberto Borsari, Cesare Fantuzzi, Design of mechatronic systems through aspect and object-oriented modeling, Automatisierungstechnik. Volume 64, Issue 3, Pages 244–252, ISSN (Online) 2196-677X, ISSN (Print) 0178-2312, DOI: 10.1515/auto-2015-0071, March 2016.
Arkadeb Ghosal, Kaushik Ravindran, Patricia Derler, Hugo A. Andrade, Jeannie Falcon, Intelligent Machine Condition Monitoring for Cyber-Physical Systems, TC-CCPS Newsletter, Volume 1, Issue 1, February 02, 2016.
Hugo Andrade, Patricia Derler, Challenges in Synthesizing IoT/CPS Applications onto Upcoming Timed Platforms, Embedded world Conference 2016 Nuremberg, Germany, February 2016
Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee, Systems Engineering for Industrial Cyber-Physical Systems using Aspects, Proceedings of the IEEE, 2016.
Hugo A. Andrade, Patricia Derler, John C. Eidson, Ya‐Shian Li‐Baboud, Aviral Shrivastava, Kevin Stanton and Marc Weiss. Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber‐Physical Systems, 2015 International Conference on ReConFigurable Computing and FPGAs, December 7-9, 2015.
Patricia Derler, Edward A. Lee, Michael Zimmer, Logically Synchronous Models of Distributed Systems with Explicit Timing Specifications, In Proceedings of 20th IMEKO TC4 International Symposium and 18th International Workshop on ADC Modelling and Testing Research on Electric and Electronic Measurement for the Economic Upturn, Benevento, Italy, September 15-17, 2014.
John C. Eidson, David Broman, Patricia Derler, Ankush Desai, Sanjit Seshia, Endlessly Circulating Messages in IEEE 1588-2008 Systems, In Proceedings of 2014 International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication.
Armin Wasicek, Patricia Derler, Edward A. Lee, Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems, Proceedings of Design and Automation Conference, In Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference (DAC '14). ACM, New York, NY, USA, , Article 21 , 6 pages.
Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler. Distributed Simulation of Heterogeneous and Real-time Systems. 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, October 30 - November 1, 2013 Delft, Netherlands.
Patricia Derler, John C. Eidson, Stuart Goose, Edward A. Lee, Slobodan Matic, Michael Zimmer, Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic Systemwide Timing, International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, September 22-27, 2013, Lemgo, Germany. Technical Report No. UCB/EECS-2013-65.
David Broman, Patricia Derler, and John C. Eidson. Temporal Issues in Cyber-Physical Systems. Journal of Indian Institute of Science, 2013.
I. Akkaya, E. A. Lee, P. Derler. Model-Based Evaluation of GPS Spoofing Attacks on Power Grid Sensors. To appear in Proceedings of the IEEE Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Berkeley, CA, May 2013.
P. Derler, E. A. Lee, M. Torngren, S. Tripakis. Cyber-Physical System Design Contracts, ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems, 2013.
Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. "Modeling Cyber-Physical Systems". Proceedings of the IEEE (special issue on CPS), 100(1):13-28, January 2012.
J. Cardoso, P. Derler, J. Eidson, E. A. Lee, Network Latency and Packet Delay Variation in Cyber-Physical Systems. The 1st IEEE International Workshop on Network Science (NSW 2011), West Point, New York, USA, June 2011.
P. Derler, S. Resmerita, Flexible Static Scheduling of Software with Logical Execution Time Constraints, The 7th IEEE International Conference on Embedded Software and Systems (ICESS), Bradford, UK, July 2010.
S. Resmerita, P. Derler, A. Naderlinger and W. Pree, Migration of legacy software towards correct-by-construction timing behavior, 16th Monterey Workshop on Modeling, Development and Verification of Adaptive Computer Systems: The Grand Challenge for Robust Software, March 31 - April 2, 2010.
S. Resmerita, P. Derler, Flexible Scheduling of Predictable Software with Logical Execution Time Constraints Workshop on Reconciling Performance with Predictability (RePP), Greoble, 15 October 2009.
J. Zou, S. Matic, E. A. Lee, T. Huining Feng, P. Derler, Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems, 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009, IEEE Computer Society, 77-86, April, 2009.
P. Derler, E. A. Lee, S. Matic, Simulation and Implementation of the PTIDES Programming Model, Proceedings of the 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications, October, 2008.
P. Derler, A. Naderlinger, W. Pree, S. Resmerita, J. Templ, Simulation of LET Models in Simulink and Ptolemy, Monterey Workshop 2008, Budapest, Sept. 24-26, 2008.
T. Aschauer, G. Dauenhauer, P. Derler, W. Pree, C. Steindl (2007) Could an agile requirements analysis be automated? - Lessons Learned from the Successful Overhauling of an Industrial Automation System 14th Monterey Workshop, Workshop on Innovations for Requirements Analysis: From Stakeholders Needs to Formal Designs, 14th Monterey Workshop 2007, Revised Selected Papers, LCNS 5320, Springer-Verlag, 2008, pp. 25-42.
P. Derler, R. Weinreich (2006) Models and Tools for SOA Governance. International Conference on Trends in Enterprise Application Architecture, Berlin, Germany, Nov. 29 - Dec. 1, 2006, Springer Lecture Notes on Computer Science (LNCS), 2006.
Book Chapters
Janette Cardoso, Patricia Derler, John C. Eidson, Edward A. Lee, Slobodan Matic, Yang Zhao, and Jia Zou, " Modeling Timed Systems," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
Christopher Brooks, Joseph Buck, Elaine Cheong, John S. Davis II, Patricia Derler, Thomas Huining Feng, Geronica Galicia, Mudit Goel, Soonhoi Ha, Edward A. Lee, Jie Liu, X iaojun Liu, David Messerschmitt, Lukito Muliadi, Stephen Neuendorffer, John Reekie, Bert Rodiers, Neil Smyth, Yuhong Xiong, and Haiyand Zheng, "Software Architecture," chapter in Claudius Ptolemaeus, ed., System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
Patricia Derler, Elizabeth A. Latronico, Edward A. Lee, Man-Kit Leung, Ben Lickly, and Charles Shelton, "Ontologies," chapter in Claudius Ptolemaeus, ed.,System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014.
S. Resmerita, P. Derler, W. Pree, K. Butts, The Validator tool suite: filling the gap between conventional software-in-the-loop and hardware-in-the-loop simulation environments, In Real-time Simulation Technologies: Principles, Methodologies, and Applications. To appear.
S. Resmerita, P. Derler, W. Pree and A. Naderlinger, Modeling and Simulation of TDL Applications, In Model-Based Engineering of Embedded Real-Time Systems (MBEERTS'07), LNCS, 2010.
Technical Reports
S. Wolff, K. Pierce and P. Derler, 2013. Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison, Department of Engineering, Aarhus University. Denmark. 19 pp. - Technical report ECETR-15.
P. Derler, E. A. Lee, A. Sangiovanni-Vincentelli, Addressing Modeling Challenges in Cyber-Physical Systems, Technical report, EECS Department University of California, Berkeley, UCB/EECS-2011-17, March, 2011.PDF
S. Resmerita, P. Derler and E. A. Lee, Modeling and Simulation of Legacy Embedded Systems, Technical Report No. UCB/EECS-2010-38, EECS Department, UC Berkeley, April 2010.
S. Resmerita, P. Derler, W. Pree, Timing Definition Language (TDL) Modeling in Ptolemy II, Department of Computer Science, University of Salzburg, Tech. Rep. 21, June 2008.
P. Derler, T. H. Feng, E. A. Lee, S. Matic, H. D. Patel, Y. Zhao, and J. Zou, PTIDES: A Programming Model for Distributed Real-Time Embedded Systems, EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-72, May 2008.
Posters
P. Derler and S. Resmerita, Relaxing Scheduling Constraints for Systems with Logical Execution Time Specifications, Poster presentation at the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 2009. PDF
S. Resmerita and P. Derler, APES-LESS: Access Point Event Simulator for Legacy Embedded Software Systems, Poster presentation at the 2009 Berkeley EECS Annual Research Symposium, UC Berkeley, February 2009. PDF
PhD Thesis
P. Derler, Efficient Execution and Simulation of Time-Annotated Embedded Software, PhD Thesis, University of Salzburg.