Home

Bio:

Dr. Patricia Derler is a Research Scientist at National Instruments, Berkeley. She received her Ph.D. degree in computer science from the University of Salzburg, Austria and her undergraduate degree from the University of Hagenberg, Austria. She has been awarded her Ph.D. degree sub auspiciis Praesidentis rei publicae (under the auspices of the President of Austria). After she graduated, she became a postdoctoral researcher at UC Berkeley. In 2015, she joined National Instruments in Berkeley. Her research surrounds modeling and simulation of Cyber-Physical Systems with a focus on timed models of computations, correct-by-construction methodologies for system-level design and analysis as well as modeling of predictable behavior in software, platform, network and environment. She was program chair and technical program committee member for various conferences and served as editor for various journals.

Research Interests:

  • Modeling and development of cyber-physical systems
  • Models of computation for distributed embedded real-time systems
  • Modeling and simulation of time
  • Predictability in software, platform, network and environment
  • Aspect-oriented modeling

Relevant Presentations

Patricia Derler, Timestamp Temporal Logic (TTL) and Testing Methodology for Monitoring the Timing of Cyber-Physical Systems, WSTS, June 2018.

Patricia Derler, Programming With Time, WSTS, April 2017.

Patricia Derler, Specification of Precise Timing in Synchronous Dataflow Models, MEMOCODE, November 2016.

Patricia Derler, As Time Goes By, Invited Talk, IIC Information Meeting - September 15, 2014.

Patricia Derler, Once Upon A Time, Invited Talk, IIC Information Meeting - Challenges On The Road Ahead - September 16, 2014.

Patricia Derler, Edward Lee, Heterogeneous Concurrent Modeling and Design in Java, Invited Talk, International Symposium on System-on-Chip, November 2nd, 2011, Tampere, Finland.

Patricia Derler, Edward Lee, Modeling Heterogeneous Applications in Ptolemy II, Tutorial, International Symposium on System-on-Chip, October 31st, 2011, Tampere, Finland.

Patricia Derler, John Eidson, Edward Lee, Slobodan Matic, Michael Zimmer, Model-Based Development of Deterministic, Event-Driven, Real-Time Distributed Systems, MBDEFP Workshop, October 13th, 2011, Taipei, Taiwan.

Janette Cardoso, Patricia Derler, John Eidson, Edward Lee, Network Latencies and Packet Delay Variation in Cyber-Physical Systems, IEEE NSW 2011, West Point, New York.

Patricia Derler, Efficient Execution and Simulation of Time-Annotated Software, Dissertation Defense, 2010, Salzburg.